PSM: software tool for simulating, prototyping, and monitoring of multiprocessor systems

Stafylopatis, A; Papakonstantinou, I; Kaxiras, S

dc.contributor.author	Stafylopatis, A	en
dc.contributor.author	Papakonstantinou, I	en
dc.contributor.author	Kaxiras, S	en
dc.date.accessioned	2014-03-01T01:09:01Z
dc.date.available	2014-03-01T01:09:01Z
dc.date.issued	1992	en
dc.identifier.issn	0950-5849	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/10797
dc.relation.uri	http://www.scopus.com/inward/record.url?eid=2-s2.0-21844469061&partnerID=40&md5=26cc9a6559a0f5f7a2b9731e33eca90a	en
dc.subject	concurrency	en
dc.subject	concurrent programming	en
dc.subject	concurrent systems	en
dc.subject	modelling	en
dc.subject	prototyping	en
dc.subject	simulation	en
dc.subject	software tools	en
dc.subject.classification	Computer Science, Information Systems	en
dc.subject.classification	Computer Science, Software Engineering	en
dc.subject.other	PARALLEL PROGRAMS	en
dc.subject.other	ALLOCATION	en
dc.title	PSM: software tool for simulating, prototyping, and monitoring of multiprocessor systems	en
heal.type	journalArticle	en
heal.language	English	en
heal.publicationDate	1992	en
heal.abstract	A software system is described for simulating the execution of concurrent programs. Although the system has been implemented on a single processor, it enables the user to simulate the behaviour of shared-memory multiprocessors. The tool uses semaphores and coroutine-like concepts as the basis for an extension of Pascal and incorporates several syntactic and implementation constructs that are of interest by themselves. Though simple, it provides facilities for monitoring and run-time checking that make it extremely flexible in the modelling and prototyping of concurrent systems. The main features of the tool are illustrated through several programming examples. © 1992.	en
heal.publisher	BUTTERWORTH-HEINEMANN LTD	en
heal.journalName	Information and Software Technology	en
dc.identifier.isi	ISI:A1992HX10300003	en
dc.identifier.volume	34	en
dc.identifier.issue	5	en
dc.identifier.spage	313	en
dc.identifier.epage	325	en