Kの開発メモ #0000
- (by K, 2012.09.09)
- ここは川合の開発の進捗などをレポートするところです。
- 当初はその予定だったが、今ではむしろ主たる目的はKの備忘録になってしまっている（苦笑）。
2012.09.07 Fri
- OSC2012東京秋の1日目の帰り道で、KOZOSの坂井さんといろいろ話をして、OSECPUを作ろうと思い立つ。基本設計を完了する。
2012.09.09 Sun
- wikiページを立ち上げた。FrontPageとmemo0000とpage0000を書いた。
- この「おせくぷ」という名前は、もちろんOS+SEC+CPUに由来する。
- OSECPUは、寄生型OSとして出発する。これは第二世代OSASKのefg01方式と同じである。
- なぜそうするのかというと、この方法ではじめれば、OSのブートとかデバイスドライバとかシェルとかマルチタスクなどについて悩む必要がなく、APIの開発に集中できるからだ。僕はセキュアなAPIとはこういうものだと示したい。
- OSそのものの開発については、もう「はりぼてOS」で十分に例を示せていると僕は思う。そんなことをもう一度やり直しても面白くはない。
- なんとなれば、いつでも「はりぼてOS」のAPIだけをOSECPUに置き換えることができるだろうし、そうすれば普通のOSにもなるだろう。
2012.09.10 Mon
- このwikiのページ名だけど、僕が書くものについては、memo系はログっぽいもの、page系はまとめっぽいものを書き溜める。他の人はこの名前を使わないでください。
- page0001とpage0002を書いた。
2012.09.11 Tue
- page0003とpage0004を書いた。
- 想定しているクラック手法も書くべきだよなあ。OSECPUはセキュリティ対策みたいなものなので、対策だけ書いても分かりにくいと思う。
- 以下、自分用の備忘録。
- ポインタをOSASKでいうところのスロット番号化すれば、一箇所に集めやすい。その代わり、間接参照が増えるのでアクセスは遅くなる。
- オンメモリ化を保証するシステムコールがあれば、ページングもどきもできる。
- malloc時に、同時にオンメモリ化するかのフラグがある。
- オフメモリ化も必要。しかしオフメモリ化APIを呼んでもそれで直ちにオフメモリ化されるわけではない。
- その意味では、そもそもメモリ上に載っている活きたポインタはそう多くないのか。
- じゃあスロット番号化はやめて、ポインタのありかの一覧を作らせようか。
- いやこれは没。
- ゾーン式のリンクカウント方式を思いつく。レジスタもしくはメモリにポインタを代入するたびにこのリンクカウントを更新させる。これだとGCができそうだ。でもオーバーヘッドが大きすぎると思ったので没とする。
- freeするときに、該当メモリにアクセスできるすべてのポインタを見つけ出して、それをNULLにする。性能優先モードのときはこの走査をしないでいい。なぜなら残ったポインタを使わないから。
- この方法だとセキュア優先モードが結構遅い。そこでオブジェクトグループという概念を考えた。オブジェクトグループは階層になっていて、所属しているオブジェクトグループよりも上のオブジェクト内のポインタからは参照されない。参照もしない。つまり閉じている感じ。これなら探しに行く範囲を限定できる。オブジェクトはn個のオブジェクトグループに所属できる。nは1に固定すべきだろうか。ここは要検討。
こめんと欄
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
