エリオット・I・オーガニック『Multicsシステム構造解説』を読む

読み始めて秒で後悔した。あらゆるものに細かくアクセス権が設定されている世界を皆様は好きですか?
2
(change of )*state @TuvianNavy

有機先生、って珍しい苗字でね?

2020-09-20 21:19:47
(change of )*state @TuvianNavy

序文。Oraganick先生がMulticsの開発者向けガイドとしてサブシステム別に記述した文書から本が発展した。詳細なシステム全体の説明を皆が必要としたので調べまくって1970年秋時点のMulticsの現状にキャッチアップした。GE635から645にHWもアップグレードしたのでその差分も

2020-09-20 21:25:04
(change of )*state @TuvianNavy

本書はMulticsの発表論文と外部仕様とOS本体の全リストの間の空隙を埋めるものである、と

2020-09-20 21:28:04
(change of )*state @TuvianNavy

本人による序文がここから長い、文章の密度がいきなり上がって目が泳ぐのでとりあえず飛ばすぞ

2020-09-20 21:31:12
(change of )*state @TuvianNavy

第一章。Multicsの仮想記憶を支えるGE645のハードウェアアドレッシング機構の説明。GE635は4プロセッサマシンで初期の対称マルチプロセッサ機。GE645のMMUはMulticsの為に設計製造されたものらしい

2020-09-20 21:36:28
(change of )*state @TuvianNavy

MulticsのセグメントはACLつきのアドレス空間で、ファイルシステムのように名前も持ってる なんか最近のクラウドストレージのようなやつだな

2020-09-20 21:40:46
(change of )*state @TuvianNavy

UNIX(Linux)はここから一旦退化してmmapとcgroupでMultics同等に戻ったわけね。。。

2020-09-20 21:43:24
(change of )*state @TuvianNavy

AtlasのデマンドページングとB5000のセグメントの両方を取り込んだので柔軟性もセキュリティもメモリ効率も実現しました。ユーザーからはページは見えませんがその上のセグメントの改廃やアクセス権の設定ができる

2020-09-20 21:48:57
(change of )*state @TuvianNavy

『ソーシャルネットワーク』のザッカーバーグの授業シーンみたいな説明が続く、ばっさり略

2020-09-20 21:51:17
(change of )*state @TuvianNavy

名前付き構造体のハードウェアレベルサポートがあるのか、、重そう

2020-09-20 21:58:55
(change of )*state @TuvianNavy

命令のフェッチもセグメントとその中の相対アドレスの組でフルアドレスになるのでそれがフェッチ元になる、つらそう

2020-09-20 22:04:07
(change of )*state @TuvianNavy

なんかすんげえ複雑な話になってる。。何この多段間接解決機構

2020-09-20 22:06:12
(change of )*state @TuvianNavy

*理解を諦めた*次いくぞ次

2020-09-20 22:10:51
(change of )*state @TuvianNavy

その次がDLL。OSレベルで遅延束縛がデフォルト

2020-09-20 22:15:59
(change of )*state @TuvianNavy

ちょっと読み始めたことを後悔してる。文章が平易でも書いてある内容がちょっとえぐすぎる。。

2020-09-20 22:17:45
(change of )*state @TuvianNavy

なんかDLLもIPCも全部目的別アドレス空間を介してMMUと密結合してるっぽい、きっつー

2020-09-20 22:21:02
(change of )*state @TuvianNavy

これはUNIX作りたくなるわ。。

2020-09-20 22:21:42
(change of )*state @TuvianNavy

ACL回避できる作りになってないからセキュリティは期待通り動作すると思うけど、これまともに使おうと思ったらすごい設定をゆるくするのが横行するに決まってるやつだ

2020-09-20 22:33:44
(change of )*state @TuvianNavy

MIT Pressなんで組版もきれいだし、文章も平易だし、本としていたってまともなんだけど、それをいうならMulticsは「まともすぎて辛い」

2020-09-20 22:40:36
(change of )*state @TuvianNavy

Mosberger-Eranianと一緒に積んであるけど、根本原理が少なくて異様に設定が細かいMulticsと、目的別の仕組みが多くてページ数が多くて根本原理が無いLinuxって好対照だよなあ

2020-09-20 23:10:32