Concurrent abstract state machines

n/

Atomicity Failure and the Retrenchment Atomicity Pattern

The issues surrounding the question of atomicity, both in the past and nowadays, are briefly reviewed, and a picture of an ACID (atomic, consistent, isolated, durable) transaction as a refinement problem is presented. An example of a simple air traffic control system is introduced, and the discrepancies that can arise when read-only operations examine the state at atomic and finegrained levels are handled by retrenchment. Non-ACID timing aspects of the ATC example are also handled by retrenchment, and the treatment is generalised to yield the Retrenchment Atomicity Pattern. The utility of the pattern is confirmed against a number of different case studies. One is the Mondex Electronic Purse, its protocol treated as a conventional atomic transaction. Another is the recovery protocol of Mondex, viewed as a compensated transaction (leading to the view that compensated transactions in general fit the pattern). A final one comprises various unruly phenomena occurring in the implementations of software transactional memory systems, which can frequently display non-ACID behaviour. In all cases the Atomicity Pattern is seen to perform well

2015-16 Graduate Bulletin

After 2003 the University of Dayton Bulletin went exclusively online. This copy was downloaded from the University of Dayton\u27s website in March of 2018. Please note: Even though this copy says draft it is the final copy.https://ecommons.udayton.edu/bulletin_grad/1046/thumbnail.jp

1998-1999 Bulletin

Volume 108, Number 1 Scanned from the copy held in the Registrar\u27s Office.https://ecommons.udayton.edu/bulletin_grad/1029/thumbnail.jp

2013-14 Graduate Bulletin

After 2003 the University of Dayton Bulletin went exclusively online. This copy was downloaded from the University of Dayton\u27s website.https://ecommons.udayton.edu/bulletin_grad/1008/thumbnail.jp

2002-2003 Bulletin

Volume 112, Number 1 Scanned from the copy held in the Registrar\u27s Office.https://ecommons.udayton.edu/bulletin_grad/1031/thumbnail.jp

2000-2001 Bulletin

Volume 110, Number 1 Scanned from the copy held in the Registrar\u27s Office.https://ecommons.udayton.edu/bulletin_grad/1030/thumbnail.jp