DISCIPLINED OBJECT-ORIENTED CONCURRENCY CONTROL

dc.contributor.authorKittlitz, Kenneth A.eng
dc.date.accessioned2008-05-20T23:31:16Z
dc.date.available2008-05-20T23:31:16Z
dc.date.computerscience1999-05-27eng
dc.date.issued1993-06-01eng
dc.description.abstractThis thesis investigates the applicability of object-oriented programming to the domain of concurrency control. Approaches to object-oriented concurrency control are described and evaluated, revealing that many do not distinguish between different concurrency control problems and do not recognize the dependencies these problems have on object interfaces and implementations. This thesis shows that such omissions make inheritance of concurrency policies complicated and error-prone, and develops an approach to object concurrency control that avoids both failings. A separation of the typing and code reuse hierarchies allows subtyping principles to be applied to the inheritance of synchronization, concurrent access control, priority and active object properties, resulting in concurrency control policies that are easily inheritable and incrementally modifiable. Automated tools are shown to play a large role in this process. The feasibility of verifying the system using a process calculus is discussed.eng
dc.description.notesWe are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.caeng
dc.identifier.department1993-520-25eng
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/31305
dc.identifier.urihttp://hdl.handle.net/1880/46552
dc.language.isoEngeng
dc.publisher.corporateUniversity of Calgaryeng
dc.publisher.facultyScienceeng
dc.subjectComputer Scienceeng
dc.titleDISCIPLINED OBJECT-ORIENTED CONCURRENCY CONTROLeng
dc.typeunknown
thesis.degree.disciplineComputer Scienceeng
Files
Original bundle
Now showing 1 - 2 of 2
Loading...
Thumbnail Image
Name:
.pnm
Size:
1 MB
Format:
Unknown data format
Loading...
Thumbnail Image
Name:
1993-520-25.pdf
Size:
7.67 MB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.86 KB
Format:
Plain Text
Description: