Barrelfish OSが、各コアでカーネルの状態レプリケーションをどのように実装しているか、またはeにマルチコアまたは多数のコアチップがある場合は、コアで密接に結合された「共有」をどのように実装しているかを教えてください。この点を理解しようとしているので、ソースコードをチェックしようとしても、コア全体にカーネルを生成するこのプロセスを説明するドキュメントはこれ以上ありません。
そして、この部分のソースコードを理解する方法を教えていただければ、私は実際にソースコードをトレースしようとしているので素晴らしいでしょうが、私は海で一人で泳いでいるように見えます。
どうもありがとう。アブド〜
Barrelfish での状態複製の 1 つの例は、機能システム [1、特にセクション 5] です。すべてのコア (実際にはすべてのディスパッチャ) には、機能用の独自のストレージがあります。多くの操作は、他のコアと同期せずにローカルで実行できます。同期が必要な場合、機能システムは、他のコアへのコピー操作が明示的で追跡できるため、すべてのレプリカを見つけるのに役立ちます。
私たちの機能システムは非常に複雑であるため、Barrelfish のソース コードはおそらくこれをさらに調べる場所ではありません。
さらに質問がある場合は、Deepthought が提案するメーリング リスト [2] を参照してください。
[1] http://www.barrelfish.org/TN-013-CapabilityManagement.pdf
[2] http://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users