遊びすぎた。 パズルとか編入書類のごたごたとかばっかりやってて、wortel がエラー吐くとこからぜーんぜん進んでないよ。いや、っていうか各種 (Hurd にあんまり関係ない) 論文も読んでたわけですが。

脱線が止まらない人達 おくじ 『私はもう飽きたし、時間を浪費しているだけだと思ったので、もう説得するのはやめました。言いたいことがあったら、どんどん言ってやってください。』 と言われたものの、何を言うか考えてるうちに下火になってきた…のか? 週…

[L4] ちょっと physmem を読んでて気になる事があったので L4ng をググる。すると一番上に Espen さんの presen 資料が出てきたわけだが、種類が Microsoft PowerPoint。「うわ、何してんのこの人。気持ち悪っ」と思いつつ落としてみると拡張子が .pdf に。…

[独り言] Coyotos への移行 自分の頭の中を dump するといつでも偉そうな事を主観的に bias 全開で書くことになりますな。まあいいやそのための日記だし。 で、本気で移行するかという話が出ている。まあ議論を読みながら「そういう話は何で出ないの?」とか…

今週末はちょっと体調崩してあんまり進められなかった。脊椎の歪みが酷くなって座ってるのが辛い…このところ背筋をサボってたからだ。ちなみに歪んでるのは生まれつき。それはそれとして、Hurd/L4 ちょっとでも読もうさ。wortel を読む。うーん、comment 中…

おっ INLINE void __attribute__((noreturn)) initial_switch_to(tcb_t * tcb) { asm("movl %0, %%esp\n" "ret\n" : : "r"(tcb->stack)); while (true) /* do nothing */; } 「なんでも継続」draft にあった「継続を積んでそこに return する code」だ。実物…

何か（°Д°)ハァ？みたいな状態が続いてたので萎えかけてたんですが、Bas Wijnen が「コード書くべ」って言い出したのを見て source を読み進めることにした。まだ実験も満足にできない程度の理解度ですよ。先は遠い。のか?

この 2 週間程で、結構な量の email が飛び交った。どれもこれも非常に良く勉強になりますた。お蔭で "capability で security を構築する" ということのイメージがはっきり湧くようになってきた。まだ把握しきれてはいないので、Shapiro 先生に御教授願っと…

一日中読んでました。半日か。前半寝てたし。未読投稿数 79 て。 でも一時的にも活気が戻ったみたいで嬉しい。この後も私が質問とか投げまくるとある程度は持続できるのかな? 尤もこういう抽象的な議論ばっかり続くのも困るわけですが。 ということで再び覚…

面白い。面白い。ぶへへ、何か理解が進んできたぞ。「VFS を namespace にして translator を設置して…」という話と capability との間の関係が具体的にイメージできるようになってきた。確かにこれは Unix とは全然違う (もっと共通部分が大きいと思ってた)…

それも私が前から疑問に思ってたところに! こりゃぁしばらく目が離せないぞ!! ;; Comparing "copy" and "map/unmap" : archives にはまだ出てないのでとりあえず link 無し。 Capability についてはサッパリわかってなかったけど、address space については…

Matthew Lemerre が「Marcus の LSM talk に基づいた cap framework 作ったよん」だって。Libcap を見る限り、API もできてなさそげだったし、device driver はひとまず無理ですな。それにこっちの方が面白そうだからこっちやろうっと。

とりあえず driver の辺りを見てみることに。Deva/fabrica proposal と POSIX driver interface proposal があって、どっちがいいの悪いのという話が夏に出てたはず。両方見て toy implementation ぐらい書いてみるか。 と思ったけど、physmem の動作を調べ…

おくじさんに「どんどん書いたらいいよ」と言われて自問したけど、やっぱり Hurd が弄りたい。Hurd を書こう。 というわけでとりあえず source を読み漁る…ったのは夕方の話。春に読んだときと違ってずいぶんすんなり頭に入って来る。どうしたことだ。焦りみ…

昨日の Hurd の記事に反応があった。私に向けたもんではないけれど。てっきり見にこられる/たのは最初だけかと思ってましたが。これ見て、この日記のどこにも名前書いてない事に気づいた。遅ぇ。名前は井上です。だから「丼(上)」日記。気分で(上)は省略。ど…

uim.el は一旦休憩。もうちょっとで分かりそうな気配。がするときは大抵まだ先は長い。これを契機に、俄に Hurd への興味が復活してきたので、いろいろ読み耽る。Neal Walfield は、市場原理を模した資源管理を考えているらしい。これは面白そうだ。Prototyp…