Issue No. 07 - July (1994 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/71.296320
<p>We propose a methodology for programming multiprocessor event-driven systems. Thismethodology is based on two programming levels: the task level, which involvesprogramming the basic actions that may be executed in the system as units with a singlecontrol thread; and the job level, on which parallel programs to be executed by thecomplete multiprocessor system are developed. We also present the structure andimplementation of an operating system designed as the programming support for software development under the proposed methodology. The model that has been chosen for the representation of the system software is based on an extended Petri net, which provides a well-established conceptual model for the development of the tasks, thus allowing a totally independent and generic development. This model also facilitates job-level programming, since the Petri net is a very powerful description tool for the parallel program.</p>
Index Termsoperating systems (computers); shared memory systems; Petri nets; softwareengineering; parallel programming; programming environments; shared memorymultimicroprocessor operating system; extended Petri net model; event-driven systems;task level programming; parallel programs; operating system; programming support;software development; system software; extended Petri net; conceptual model; job-levelprogramming
J. Gregorio, J. Drake, M. González Harbour and F. Vallejo, "Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model," in IEEE Transactions on Parallel & Distributed Systems, vol. 5, no. , pp. 749-762, 1994.