Show simple item record

dc.contributor.advisorMisra, Jayadev
dc.contributor.advisorCook, William Randall
dc.creatorKitchin, David Wilsonen
dc.date.accessioned2013-09-11T19:14:44Zen
dc.date.issued2013-08en
dc.date.submittedAugust 2013en
dc.identifier.urihttp://hdl.handle.net/2152/21166en
dc.descriptiontexten
dc.description.abstractThis dissertation presents the concurrent programming language Ora, an extension of the Orc orchestration language with the capability to execute transactions. A new formal definition of transactions is given, in terms of two complementary properties: atomicity and coatomicity. These properties are described in terms of a partial order of events, rather than as properties of a totally ordered program trace. Atomicity and coatomicity are ensured in Ora programs by a novel algorithm for multiversion concurrency control.en
dc.format.mimetypeapplication/pdfen
dc.language.isoen_USen
dc.subjectOrchestrationen
dc.subjectConcurrencyen
dc.subjectTransactionsen
dc.subjectTransactional memoryen
dc.subjectAtomicityen
dc.subjectCoatomicityen
dc.subjectOrcen
dc.subjectOraen
dc.subjectMVCCen
dc.titleOrchestration and atomicityen
dc.date.updated2013-09-11T19:14:45Zen
dc.description.departmentComputer Sciencesen
thesis.degree.departmentComputer Sciencesen
thesis.degree.disciplineComputer Scienceen
thesis.degree.grantorThe University of Texas at Austinen
thesis.degree.levelDoctoralen
thesis.degree.nameDoctor of Philosophyen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record