13:51:10
2023-09-23 13:36:37 Posting Legasus / Tora tora@mstdn.nere9.help

This account is not set to public on notestock.

13:52:53

むかしは19VでもでっかいACアダプタしか手にはいらなかったんだよなあ。

13:54:50
2023-09-23 13:27:55 Posting まちカドおるみん御嬢様 orumin@mstdn.maud.io

もともと microkernel の発展に、OS 機能のうち特権が必要な IPC やプロセス生成の部分だけのところを exokernel、filesystem や network、POSIX API のような microkernel の server にあたる部分を SDK のただのライブラリーにしてしまってアプリのバイナリにそのままくっつけてしまう library OS、という組み合せが 1995 年に提唱されている前史がまずある。
で、2013 年に exokernel を Amazon EC2 のようなクラウド IaaS 上の VM 環境を提供する hypervisor、library OS + app の組み合わせを VM 上の単一の OS kernel と app の結合(つまり、uni な kernel)、という現代への翻案をした論文が出てきて、unikernel はそれを実現する MirageOS という実装に対するアーキテクチャ名としての命名でした

13:55:08
2023-09-23 13:28:45 Posting まちカドおるみん御嬢様 orumin@mstdn.maud.io

MirageOS の follower が出なければ unikernel は Mirage を指す固有名詞になったかもしれないが、unikernel は研究の一分野になったので一般名詞化した

13:55:15
2023-09-23 13:31:26 Posting まちカドおるみん御嬢様 orumin@mstdn.maud.io

exokernel + libOS のほうも実は Aegis と ExOS という実装名が与えられている

13:55:20
2023-09-23 13:32:29 Posting まちカドおるみん御嬢様 orumin@mstdn.maud.io

これのほうは Prof. Andrew Tanenbaum の名著、『モダンオペレーティングシステム』にもさわりが出てきているので、これを教科書としてやっている講義とかには出てきているのかもしれない

13:55:46

モダンオペレーティングシステム、テキストに指定しても学生は買わないというな。高くて。

13:55:53
2023-09-23 13:34:08 Posting まちカドおるみん御嬢様 orumin@mstdn.maud.io

80s の第一世代マイクロカーネルの登場から OS の発展はまったく凍結していて OS は進化をしていない、という誤った認知のひとをよくみるのでかなしい。『モダンオペレーティングシステム』でいいから読んでとなる

15:30:02
2023-09-23 14:27:04 Posting もちゃ(あと-9.80Kg) mot@mastodon.motcha.tech

This account is not set to public on notestock.

15:30:03
2023-09-23 14:39:59 Posting まちカドおるみん御嬢様 orumin@mstdn.maud.io

基本的に下側に Hyper-V が居たり個別のアプリを Ring -1 レベルで VM 的に分離させたりできるはずなので、microkernel や unikernel での研究の果実は如実に応用されている

18:36:26

150℃10分を指定されてるんだけど、家庭用のオーブンでそんな時間で熱が通りくるわけがなくですな。

19:11:34

180℃設定(庫内の温度計が160℃表示)で40分でした。