Static Local Coordination Avoidance for Distributed Objects
In high-throughput, distributed systems, such as large-scale banking infrastructure, synchronization between actors becomes a bottle-neck in high-contention scenarios. This results in delays for users, and reduces opportunities for scaling such systems. This paper proposes Static Local Coordination Avoidance, which analyzes application invariants at compile time to detect whether messages are independent, so that synchronization at run time is avoided, and parallelism is increased. Analysis shows that in industry scenarios up to 60% of operations are independent. Initial performance evaluation shows that, in comparison to a standard 2-phase commit baseline, throughput is increased, and latency is reduced. As a result, scalability bottlenecks in high-contention scenarios in distributed actor systems are reduced for independent messages.
Tue 22 OctDisplayed time zone: Beirut change
11:00 - 12:30 | |||
11:00 30mTalk | Modal Assertions for Actor Correctness AGERE Colin Gordon Drexel University DOI Pre-print | ||
11:30 30mTalk | Static Local Coordination Avoidance for Distributed Objects AGERE Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands DOI Pre-print Media Attached | ||
12:00 30mTalk | Locations and Session Types in a Language with Higher-Order Reflection AGERE Michael Tran Department of Computer Science, Aalborg University, Denmark, Alexander Rønning Bendixen Department of Computer Science, Aalborg University, Denmark, Bjarke Bredow Bojesen Department of Computer Science, Aalborg University, Denmark, Hans Hüttel Department of Computer Science, Aalborg University, Stian Lasse Lybech Department of Computer Science, Aalborg University, Denmark |