Title :
Evaluating concurrency options in software specifications
Author :
Scratchley, W. Craig ; Woodside, C.M.
Author_Institution :
Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
Abstract :
An approach called PERFECT is described which evaluates the feasibility of proposed software concurrency architectures for a set of scenarios and a set of quality-of-service requirements. An evaluation is performed by constructing and simulating a virtual implementation which conforms to the specified behaviour and the specified concurrency architecture. For simulation, the execution of application activities and kernel primitives must be sequenced for each concurrent thread. The approach is successfully demonstrated on specified scenarios for a group communication server
Keywords :
digital simulation; multi-threading; multiprocessing programs; software metrics; software quality; PERFECT; application activities; concurrency options evaluation; concurrent thread; group communication server; kernel primitives; quality-of-service requirements; simulation; software concurrency architectures; software specifications; virtual implementation; Application software; Communication switching; Computer architecture; Concurrent computing; Delay; Postal services; Proposals; Software design; Systems engineering and theory; Yarn;
Conference_Titel :
Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 1999. Proceedings. 7th International Symposium on
Conference_Location :
College Park, MD
Print_ISBN :
0-7695-0381-0
DOI :
10.1109/MASCOT.1999.805071