X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/c279db4240a3a3c30f069ab9dea8055cf94280da..5224670fe4e903bd507eabd486f8723353893bfa:/paxos.h diff --git a/paxos.h b/paxos.h index 79924a3..20e249c 100644 --- a/paxos.h +++ b/paxos.h @@ -46,8 +46,7 @@ class proposer_acceptor { friend class log; class log l = {this, me}; - void commit(unsigned instance, const value_t & v); - void commit(unsigned instance, const value_t & v, lock & pxs_mutex_lock); + void commit(unsigned instance, const value_t & v, lock & acceptor_mutex_lock); paxos_protocol::status preparereq(prepareres & r, const node_t & src, unsigned instance, prop_t n); paxos_protocol::status acceptreq(bool & r, const node_t & src, unsigned instance, prop_t n, const value_t & v);