Conversation

Notices

1. まちカドおるみん御嬢様 (orumin@mstdn.maud.io)'s status on Thursday, 07-Jan-2021 22:58:14 JST まちカドおるみん御嬢様

   アカデミックに有名なのは 4.2 BSD を小さくしようとすることから始まって version 2.5/3.0 で結果的に microkernel となった Mach。なので monolithic を下敷きにしたからといって micro にできないわけではない。

   • まちカドおるみん御嬢様 (orumin@mstdn.maud.io)'s status on Thursday, 07-Jan-2021 23:06:22 JST まちカドおるみん御嬢様

     in reply to

     • B̅

     @cmplstofB Mach や Amoeba、SPIN、V などの初期の分散 OS やカーネル小型化をめざしたものをまとめて第一世代 microkernel と言い、あくまで microkernel 黎明期なだけで micro から monolithic に一部あるいは全て引き戻したということではないので hybrid と普通言わない。対して、L4 は第二世代と言う

   • B̅ (cmplstofb@mathtod.online)'s status on Thursday, 07-Jan-2021 23:06:23 JST B̅

     in reply to

     @orumin それってhybridじゃなくて純粋な（←いや純粋なってどういう意味か自分でもよく分かってないんですけど…）micro kernelなんですかね。

   • まちカドおるみん御嬢様 (orumin@mstdn.maud.io)'s status on Thursday, 07-Jan-2021 23:07:18 JST まちカドおるみん御嬢様

     in reply to

     • B̅

     @cmplstofB また、この L4 に形式証明を付けることでより安全な OS を目指した seL4 は第三世代と言う（または自称している）