Implementing Isolation for Service-Based Applications

Wei Chen¹, Alan Fekete¹, Paul Greenfield², and Julian Jang³

¹School of Information Technologies, University of Sydney, NSW 2006 Australia
weichen@it.usyd.edu.au
fekete@it.usyd.edu.au

²CSIRO Mathematical and Information Sciences, Locked Bag 17, North Ryde NSW1670 Australia
paul.greenfield@csiro.au

³CSIRO ICT Centre, Locked Bag 17, North Ryde NSW 1670 Australia
julian.jang@csiro.au

Abstract. Loosely-coupled distributed systems can be difficult to design and implement correctly, with time-of-check-to-time-of-use flaws arising from the lack of isolation being of particular concern. It is not feasible to use traditional distributed ACID transactions to solve such problems because the business activities being integrated are typically long-running and the interacting participants have incomplete mutual trust. ’Promises’ were recently proposed as a solution to this problem. This paper discusses how promise-based isolation can be implemented when resources are described by predicates over properties, rather than being identified explicitly.

LNCS 5870, p. 365 ff.

Full article in PDF | BibTeX

lncs@springer.com
© Springer-Verlag Berlin Heidelberg 2009