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

[Yuxin Ren]

Hi,

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!
Yuxin