Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Concurrent design patterns for resource sharing
Proceedings of the conference on TRI-Ada '97
IEEE Software
| Hi-index | 0.00 |
Distributed systems may have local concurrency if the operating system at a node supports multiple tasks. There may also be global concurrency with sequential processes spanning several nodes. Entity-life modeling (ELM) is a method to pattern software concurrency after the concurrency inherent in the problem domain. The events that occur in the problem are partitioned into sequences called threads. The events in each thread are separated in time, allowing for processing. A set of threads that include all events in a problem is called a thread model of the problem. Each thread becomes either a single-node task or a software process that spans nodes. A flexible manufacturing system (FMS) is used as an example. In the FMS, jobs undergo machining at different workstations. The FMS software is distributed to workstation nodes. There is global concurrency between processes representing sequences of actions for each job. Two thread models of the FMS and the resulting designs are compared.