Abstractions for Fault-Tolerant Global Computing

Dominic Duggan
2002 Electronical Notes in Theoretical Computer Science  
Global computing (WAN programming, Internet programming) distinguishes itself from local computing (LAN computing) by among other things the fact that it exposes the network to the application, rather than seeking to hide it with network transparency as in LAN programming. Global computing languages seek to provide useful abstractions for building applications in such environments. This paper introduces the pik-calculus, a calculus for asynchronous distributed programming that incorporates
more » ... actions for building faulttolerant global applications. The calculus incorporates notions of atomic failure and failure dependencies, from which various forms of distributed transactions and optimistic computation may be built. The pik-calculus extends the asynchronous pi-calculus with a notion of logs and "safe" operations for modifying those logs. 116 Open access under CC BY-NC-ND license.
doi:10.1016/s1571-0661(04)80419-5 fatcat:fqygq3tj6rhszcwfbj5bnlf5vi