Operating system 巴雷尔鱼状态复制的解释

你能告诉我Barrelfish操作系统是如何在每个内核上实现内核的状态复制的吗？如果e有一个多核或多核芯片，它是如何在内核上实现紧密耦合的“共享”的。 当我试图理解这一点时，即使我试图检查源代码，也没有更多的文档解释在整个内核上生成内核的过程

如果你能给我提供一个理解这部分源代码的方法，那将是非常好的，因为我真的试图追踪源代码，但看起来我像是在大海中孤独地游泳

非常感谢。

---

Abdo ~

Barrelfish中状态复制的一个例子是能力系统[1，特别是第5节]。每个核心（事实上，每个调度程序）都有自己的存储功能。许多操作可以在本地完成，而无需与其他内核同步。如果需要同步，功能系统可以帮助我们找到所有副本，因为到其他核心的复制操作是显式的，并且可以跟踪

Barrelfish源代码可能不是进一步研究的地方，因为我们的能力系统相当复杂

如果您还有其他问题，请参阅Deepthink建议的我们的邮件列表[2]

[1]

---

[2] Barrelfish中状态复制的一个例子是能力系统[1，特别是第5节]。每个核心（事实上，每个调度程序）都有自己的存储功能。许多操作可以在本地完成，而无需与其他内核同步。如果需要同步，功能系统可以帮助我们找到所有副本，因为到其他核心的复制操作是显式的，并且可以跟踪

Barrelfish源代码可能不是进一步研究的地方，因为我们的能力系统相当复杂

如果您还有其他问题，请参阅Deepthink建议的我们的邮件列表[2]

[1]

---

[2]

试试邮件列表：桶装鱼是一种研究工具。。。我真的怀疑这个社区是否有很多专家。。。我已经把他们的论文作为我操作系统课程的一部分读过了，但还没有这样用过。。。但很快我就会在虚拟机中运行桶装鱼并分析它的非决定论。。。。我的项目在kvm管理程序中。你在做什么？？为什么需要barrelfish操作系统？@Deepthink，我很有兴趣知道使用barrelfish的工作原理，我仍然停留在记忆中理解TLB，但感觉没有做太多的努力。我不需要接触代码的任何部分（至少我希望：）。我将在虚拟机中运行Barrelfish，记录它的所有非确定性，然后重播它。我正在研究多处理器记录回放，通过到目前为止在VM中使用gentoo所做的工作，我们已经意识到非确定性越大，记录回放的速度就越慢。我们想知道一个像桶鱼这样的操作系统在多核环境下能有多好的表现。很幸运，我必须使用这个代码，祝你好运：）试试邮件列表：--桶鱼是一个研究操作系统。。。我真的怀疑这个社区是否有很多专家。。。我已经把他们的论文作为我操作系统课程的一部分读过了，但还没有这样用过。。。但很快我就会在虚拟机中运行桶装鱼并分析它的非决定论。。。。我的项目在kvm管理程序中。你在做什么？？为什么需要barrelfish操作系统？@Deepthink，我很有兴趣知道使用barrelfish的工作原理，我仍然停留在记忆中理解TLB，但感觉没有做太多的努力。我不需要接触代码的任何部分（至少我希望：）。我将在虚拟机中运行Barrelfish，记录它的所有非确定性，然后重播它。我正在研究多处理器记录回放，通过到目前为止在VM中使用gentoo所做的工作，我们已经意识到非确定性越大，记录回放的速度就越慢。我们想知道一个操作系统，比如用于多核的桶鱼，在记录重放中的表现有多好。幸运的是，我必须使用这段代码，祝你好运：）简单地说，我正在尝试处理桶鱼的两个部分：第一：我想玩TLB，我的MPhil的当前虚拟内存实现，因为我对这一计算领域非常陌生，第二，我想知道它是如何工作的，这种状态复制，以及如果我想作为一个VM跨越一组内核，在试图控制资源时会发生什么，我正在努力研究barrelfish的两个部分：第一：我想研究TLB，以及当前的MPhil虚拟内存实现，因为我对这一计算领域非常陌生，第二，我想知道这种状态复制是如何工作的，如果我想将一组核心作为一个VM来跨越，那么在尝试控制资源时会发生什么？