[Barrelfish-users] two phase commit (2PC ) implementation
reto.achermann at inf.ethz.ch
Fri Feb 17 20:46:02 CET 2017
You may have a look at /usr/monitor/capops/*.
On 17/02/17 18:53, Yuxin Ren wrote:
> On Fri, Feb 17, 2017 at 2:36 AM, Timothy Roscoe <troscoe at inf.ethz.ch> wrote:
>> Hi Yuxin,
>> This statement is true, except that we do not use 2PC for capability
>> retype at this point.
> This means 2PC is used for some other operations, right?
> Could you point me a link to the 2PC implementation?
> Thank you so much for your reply.
>> Instead, every capability has a "home" node,
>> and operations on that capability are serialized through that node.
>> For the moment, that's a faster way to do it.
>> -- Mothy
>> At Fri, 17 Feb 2017 05:49:36 +0800, Yuxin Ren <ryx at gwmail.gwu.edu> wrote:
>>> Barrelfish implements a apability model using a local partial replica
>>> of the capability database on each
>>> core, and maintains the consistency of those replicas (for remote
>>> operations such as retype, revocation, etc.)
>>> using message-passing protocols such as 2PC.
>>> Is above statement true?
>>> If so, could someone provide me link to the 2PC implementation in Barrelfish?
>>> Thanks a lot!
>>> Barrelfish-users mailing list
>>> Barrelfish-users at lists.inf.ethz.ch
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
More information about the Barrelfish-users