Abstract:Online transaction processing (OLTP) is widely used on modern cloud infrastructures to complete important businesses such as payments and stock exchanges. Remote Direct Memory Access (RDMA) is a technology that enables ultra-low inter-server memory access latency - which is critical for implementing high-performance concurrency control protocols in distributed OLTP. In this article, we develop RCC, the first unified and comprehensive RDMA-enabled distributed transaction processing framework containing six serializable concurrency control protocols—not only the classical protocols ${{\sf NOWAIT}}$NOWAIT, ${{\sf WAITDIE}}$WAITDIE, ${{\sf OCC}}$OCC, but also more advanced ${{\sf MVCC}}$MVCC, ${{\sf SUNDIAL}}$SUNDIAL, and ${{\sf CALVIN}}$CALVIN — the deterministic protocol. Our goal is to unbiasedly compare protocols on OLTP workloads in a common execution environment with the concurrency control protocol being the only changeable component. From RCC, we obtained new insights on building RDMA-based protocols. We analyzed stage-wise latency breakdown to develop more efficient hybrid implementations. Moreover, RCC can enumerate all stage-wise hybrid designs under a given workload characteristic. Our results show that throughput-wise hybrid designs are better than RPC or one-sided counterparts by 32.2% and up to 67%; three hybrid designs are better than their pure counterparts by up to 17.8%. RCC can provide performance insights and be used as the common open-sourced infrastructure for fast prototyping new implementations.

P_rbt-Calculus Compensation and Exception Handling Protocol.

13pm2d-73 Pi Rbt-Calculus Protocol For Web Service Long Running Transactions

πRBT-calculus protocol for web service long running transactions

Modeling BPEL and BPEL4People with a Timed Interruptable Pi-Calculus.

E-business Processes Composition Based on Pi-Calculus Technology

Modeling BPEL and BPEL4People with a timed interruptable π-calculus

Enabling effective automated composition compensation with paired net for reliable web services transaction

Semantics of BPEL4WS-Like fault and compensation handling

Inter-Organizational Business Process Modeling For Electronic Commerce Based On Pi-Calculus

A formal business protocols with composition algebra for cloud computing

On Compensation Primitives as Adaptable Processes

Operability of π-calculus Technology in P2P Collaboration Business Network

Deploying Π-Calculus Technology in Inter-organizational Process

Modeling service compatibility with pi-calculus for choreography

Service-oriented Mobile Calculus Technology in M-Business Interoperability Between Customer and E-Shop

An Efficient Transaction Commit Protocol for Composite Web Services

RDMA-enabled Concurrency Control Protocols for Transactions in the Cloud Era

Modeling Method for Inter-Organizational Workflow Based on Pi-Calculus

Dynamic Business Process Modeling and Verification for Inter-Organizational Collaboration

Theoretical foundations of scope-based compensable flow language for web service

Using Pi-Calculus To Formalize Domain Administration Of Rbac