Current Search: Petri nets (x) » Real-time control (x)
-
-
Title
-
Correctness analysis of cache conherence protocols using Petri nets.
-
Creator
-
Hassan, Ahmed Kamal., Florida Atlantic University, Mahgoub, Imad
-
Abstract/Description
-
The use of cache memories in multiprocessor systems increases the overall systems performance. Caches reduce the amount of network traffic and provide a solution to the memory contention problem. However, caches introduce memory consistency problems. The existence of multiple cache copies of a memory block will result in an inconsistent view of memory if one processor changes a value in its associated cache. Cache coherence protocols are algorithms designed in software or hardware to maintain...
Show moreThe use of cache memories in multiprocessor systems increases the overall systems performance. Caches reduce the amount of network traffic and provide a solution to the memory contention problem. However, caches introduce memory consistency problems. The existence of multiple cache copies of a memory block will result in an inconsistent view of memory if one processor changes a value in its associated cache. Cache coherence protocols are algorithms designed in software or hardware to maintain memory consistency. With the increased complexity of some of the more recent protocols, testing for the correctness of these protocols becomes an issue that requires more elaborate work. In this thesis, correctness analysis of a selected group of representative cache coherence protocols was performed using Petri nets as a modeling and analysis tool. First, the Petri net graphs for these protocols were designed. These graphs were built by following the logical and coherence actions performed by the protocols in response to the different processors' requests that threatens memory consistency. Correctness analysis was then performed on these graphs.
Show less
-
Date Issued
-
1997
-
PURL
-
http://purl.flvc.org/fcla/dt/15366
-
Subject Headings
-
Cache memory, Multiprocessors, Computer network protocols, Petri nets
-
Format
-
Document (PDF)
-
-
Title
-
A petri net framework for the simulation and control of automated systems.
-
Creator
-
Murgatroy, Richard John, Jr., Florida Atlantic University, Masory, Oren, College of Engineering and Computer Science, Department of Ocean and Mechanical Engineering
-
Abstract/Description
-
This thesis presents a programming framework in the C language to execute a petri net simulation and real-time control for an automated system. This framework allows for the simulation of a proposed flexible automated system, and also the simultaneous development of the real-time control. The system is based on petri nets, which are used to model the system. Basic petri net theory and the construction of models using petri nets are discussed. The program is designed to allow a hierarchical...
Show moreThis thesis presents a programming framework in the C language to execute a petri net simulation and real-time control for an automated system. This framework allows for the simulation of a proposed flexible automated system, and also the simultaneous development of the real-time control. The system is based on petri nets, which are used to model the system. Basic petri net theory and the construction of models using petri nets are discussed. The program is designed to allow a hierarchical structure to the petri net model, and a modular approach to the program design is taken using some concepts from object oriented programming. The program provides a time-based diagnostic system incorporated into the framework to detect problems during the execution of the actual system. An example application is provided to demonstrate the implementation of the framework to both simulate and control an actual system.
Show less
-
Date Issued
-
1995
-
PURL
-
http://purl.flvc.org/fcla/dt/15226
-
Subject Headings
-
Petri nets, Computer integrated manufacturing systems--Computer simulation, Flexible manufacturing systems--Computer simulation
-
Format
-
Document (PDF)
