Specification of parallel processing using production systems Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/sn00b246v

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • This research work investigates the use of production systems as a model of parallel processing. The purpose of the model is to provide a suitable medium within which parallel processing systems can be systematically specified, analyzed, and designed. Furthermore, the model provides a suitable means for deriving implementations of synchronization policy specifications by production systems. First, a review of some existing models of parallel processing is presented. Second, production systems are formally defined and their computation power demonstrated. Third, production system specification of synchronization policies of access to shared resources is systematically analyzed for compatibility, liveness and fairness. Furthermore, systematic design procedures for specifying systems of competing concurrent processes which are guaranteed to be compatible, live and fair are developed. Fourth, the property of maximal compatibility is investigated and a systematic procedure to derive implementations of the synchronization policy specifications within production systems is presented. Finally, production systems are compared to the other parallel processing models. The interactions between the different properties of synchronization policies, namely, maximal compatibility, liveness, and fairness are also investigated. The thesis is concluded by posing problems for further research.
Resource Type
Date Available
Date Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Rights Statement
Peer Reviewed
Language
Digitization Specifications
  • File scanned at 300 ppi (Monochrome) using Capture Perfect 3.0.82 on a Canon DR-9080C in PDF format. CVista PdfCompressor 4.0 was used for pdf compression and textual OCR.
Replaces
Additional Information
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2013-08-27T18:41:52Z (GMT) No. of bitstreams: 1 GazalyMohammed1982.pdf: 2250019 bytes, checksum: 2c816b1d99931afe1eab1c5f94a295da (MD5)
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2013-08-14T20:41:57Z (GMT) No. of bitstreams: 1 GazalyMohammed1982.pdf: 2250019 bytes, checksum: 2c816b1d99931afe1eab1c5f94a295da (MD5)
  • description.provenance : Submitted by Kevin Martin (martikev@onid.orst.edu) on 2013-08-14T20:28:01Z No. of bitstreams: 1 GazalyMohammed1982.pdf: 2250019 bytes, checksum: 2c816b1d99931afe1eab1c5f94a295da (MD5)
  • description.provenance : Made available in DSpace on 2013-08-27T18:41:53Z (GMT). No. of bitstreams: 1 GazalyMohammed1982.pdf: 2250019 bytes, checksum: 2c816b1d99931afe1eab1c5f94a295da (MD5) Previous issue date: 1981-06-08

Relationships

In Administrative Set:
Last modified: 08/23/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items