Orchestration and atomicity

Simple item page
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.date.updated2013-09-11T19:14:45Zen
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.description.departmentComputer Science
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttp://hdl.handle.net/2152/21166en
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
thesis.degree.departmentComputer Sciencesen
thesis.degree.disciplineComputer Scienceen
thesis.degree.grantorThe University of Texas at Austinen
thesis.degree.levelDoctoralen
thesis.degree.nameDoctor of Philosophyen

Access full-text files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
KITCHIN-DISSERTATION-2013.pdf
Size:
1.38 MB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
LICENSE.txt
Size:
1.84 KB
Format:
Plain Text
Description:
Download

Collections

UT Electronic Theses and Dissertations