We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that reify semantic constraints between actions. Constraint types include conflict, execution order, dependence, and atomicity. The local state is some schedule that conforms to the constraints; because of conflicts, client state is only tentative. For consistency, site schedules should converge; we designed a decentralised, asynchronous commitment protocol. Each client makes a proposal, reflecting its tentative and or preferred schedules. Our protocol distributes the proposals, which it decomposes into semantically-meaningful units called candidates, and runs an election between comparable candidates. A candidate wins when it receives a majority or a plurality. The protocol is fully asynchronous: each site executes its tentative schedule independently, and determines locally when a candidate has won an election. The committed schedule is as close as possible to the preferences expressed by clients.
Theoretician’s Abstract Consensus has been regarded as the fundamental problem that must be solved to implement a fault-tolerant distributed system. However, only a weaker problem than traditional consensus need be solved. We generalize the consensus problem to include both traditional consensus and this weaker version. A straightforward generalization of the Paxos consensus algorithm implements general consensus. The generalizations of consensus and of the Paxos algorithm require a mathematical detour de force into a type of object called a command-structure set. A sub for use in an acoustic telemetry system provides a sound path of low impedance to facilitate the transmission of acoustic signals through a string of pipe positioned in a wellbore. The sub section of pipe includes a tubular receiving member positioned in the bore of a pipe section and spaced from the interior walls thereof. Ports and flow channels are also provided to permit the passage of well fluids through the pipe section when an acoustic instrument is positioned in the tubular receiving member. A lateral shoulder is formed in the interior wall of the receiving member and is arranged to matingly receive a flat portion on the instrument. The abutment of the flat portion of the instrument and the shoulder provides a positive sound path for transmission of longitudinal sound waves from the instrument to the receiver member. The receiver member in turn is connected to the pipe section by longitudinal portions essentially concentric with the axis of the pipe section so as to provide a direct low impedance sound path for the efficient direct transmission of longitudinal sound waves.