単語帖_continuation，マイクロカーネル，コンテクストスイッチング，ビザンチン合意問題