Graduate Thesis Or Dissertation
 

Specification of parallel processing using production systems

Public Deposited

Contenu téléchargeable

Télécharger le fichier PDF
https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/sn00b246v

Descriptions

Attribute NameValues
Creator
Abstract
  • 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 Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Déclaration de droits
Publisher
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

Des relations

Parents:

This work has no parents.

Dans Collection:

Articles

La vignette Titre Date de téléchargement Visibilité actes
file details GazalyMohammed1982.pdf 2017-08-23 Public Télécharger