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

fYear

1999

fDate

1999

Firstpage

330

Lastpage

338

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/MASCOT.1999.805071

Filename

805071