Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072003676> ?p ?o ?g. }
- W2072003676 endingPage "464" @default.
- W2072003676 startingPage "439" @default.
- W2072003676 abstract "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." @default.
- W2072003676 created "2016-06-24" @default.
- W2072003676 creator A5017694478 @default.
- W2072003676 creator A5024900384 @default.
- W2072003676 creator A5031800049 @default.
- W2072003676 creator A5075794170 @default.
- W2072003676 date "2011-11-26" @default.
- W2072003676 modified "2023-09-27" @default.
- W2072003676 title "Atomicity failure and the retrenchment atomicity pattern" @default.
- W2072003676 cites W1505593098 @default.
- W2072003676 cites W1522974305 @default.
- W2072003676 cites W1545892695 @default.
- W2072003676 cites W159140081 @default.
- W2072003676 cites W1706290598 @default.
- W2072003676 cites W1985464429 @default.
- W2072003676 cites W1986913310 @default.
- W2072003676 cites W1993691278 @default.
- W2072003676 cites W2009752377 @default.
- W2072003676 cites W2020620442 @default.
- W2072003676 cites W2030828698 @default.
- W2072003676 cites W2048884567 @default.
- W2072003676 cites W2074794556 @default.
- W2072003676 cites W2086512828 @default.
- W2072003676 cites W2089894773 @default.
- W2072003676 cites W2098505698 @default.
- W2072003676 cites W2103824348 @default.
- W2072003676 cites W2105578427 @default.
- W2072003676 cites W2105772643 @default.
- W2072003676 cites W2110710544 @default.
- W2072003676 cites W2112143545 @default.
- W2072003676 cites W2113289347 @default.
- W2072003676 cites W2113751407 @default.
- W2072003676 cites W2119653453 @default.
- W2072003676 cites W2121277374 @default.
- W2072003676 cites W2128933126 @default.
- W2072003676 cites W2129990308 @default.
- W2072003676 cites W2142185961 @default.
- W2072003676 cites W2148513795 @default.
- W2072003676 cites W2149748947 @default.
- W2072003676 cites W2161031452 @default.
- W2072003676 cites W2167399349 @default.
- W2072003676 cites W2172064476 @default.
- W2072003676 cites W2500079794 @default.
- W2072003676 cites W2617307175 @default.
- W2072003676 cites W3155619820 @default.
- W2072003676 cites W4211041421 @default.
- W2072003676 cites W4230958226 @default.
- W2072003676 cites W4238982306 @default.
- W2072003676 cites W4242949098 @default.
- W2072003676 cites W4253543873 @default.
- W2072003676 doi "https://doi.org/10.1007/s00165-011-0216-1" @default.
- W2072003676 hasPublicationYear "2011" @default.
- W2072003676 type Work @default.
- W2072003676 sameAs 2072003676 @default.
- W2072003676 citedByCount "1" @default.
- W2072003676 countsByYear W20720036762015 @default.
- W2072003676 crossrefType "journal-article" @default.
- W2072003676 hasAuthorship W2072003676A5017694478 @default.
- W2072003676 hasAuthorship W2072003676A5024900384 @default.
- W2072003676 hasAuthorship W2072003676A5031800049 @default.
- W2072003676 hasAuthorship W2072003676A5075794170 @default.
- W2072003676 hasBestOaLocation W20720036762 @default.
- W2072003676 hasConcept C101173714 @default.
- W2072003676 hasConcept C120314980 @default.
- W2072003676 hasConcept C134277064 @default.
- W2072003676 hasConcept C167149655 @default.
- W2072003676 hasConcept C17744445 @default.
- W2072003676 hasConcept C188045909 @default.
- W2072003676 hasConcept C199360897 @default.
- W2072003676 hasConcept C24858836 @default.
- W2072003676 hasConcept C3116431 @default.
- W2072003676 hasConcept C41008148 @default.
- W2072003676 hasConcept C72108876 @default.
- W2072003676 hasConcept C75949130 @default.
- W2072003676 hasConcept C80444323 @default.
- W2072003676 hasConceptScore W2072003676C101173714 @default.
- W2072003676 hasConceptScore W2072003676C120314980 @default.
- W2072003676 hasConceptScore W2072003676C134277064 @default.
- W2072003676 hasConceptScore W2072003676C167149655 @default.
- W2072003676 hasConceptScore W2072003676C17744445 @default.
- W2072003676 hasConceptScore W2072003676C188045909 @default.
- W2072003676 hasConceptScore W2072003676C199360897 @default.
- W2072003676 hasConceptScore W2072003676C24858836 @default.
- W2072003676 hasConceptScore W2072003676C3116431 @default.
- W2072003676 hasConceptScore W2072003676C41008148 @default.
- W2072003676 hasConceptScore W2072003676C72108876 @default.
- W2072003676 hasConceptScore W2072003676C75949130 @default.
- W2072003676 hasConceptScore W2072003676C80444323 @default.
- W2072003676 hasIssue "3" @default.
- W2072003676 hasLocation W20720036761 @default.
- W2072003676 hasLocation W20720036762 @default.
- W2072003676 hasOpenAccess W2072003676 @default.
- W2072003676 hasPrimaryLocation W20720036761 @default.
- W2072003676 hasRelatedWork W1972170503 @default.
- W2072003676 hasRelatedWork W1972925764 @default.
- W2072003676 hasRelatedWork W2018479316 @default.
- W2072003676 hasRelatedWork W204696703 @default.
- W2072003676 hasRelatedWork W2084130915 @default.