[Barrelfish-users] two phase commit (2PC ) implementation

Yuxin Ren ryx at gwmail.gwu.edu
Thu Feb 16 22:49:36 CET 2017


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!

More information about the Barrelfish-users mailing list