Timed Petri net models of multithreaded multiprocessor architectures

Zuberek, W. M. and Govindarajan, R. and Suciu, Floarea (1997) Timed Petri net models of multithreaded multiprocessor architectures. In: Seventh International Workshop on Petri Nets and Performance Models, 3-6 June 1997, Saint Malo, France.

[img] [English] PDF - Submitted Version
Available under License Creative Commons Attribution Non-commercial.

Download (176kB)

Abstract

Multithreaded distributed-memory multiprocessor architectures are composed of a number of (multithreaded) processors, each with its memory, and an interconnection network. The long memory latencies and unpredictable synchronization delays are tolerated by context switching, i.e., by suspending the current thread and switching the processor to another 'ready' thread provided such a thread is available. Because of very simple representation of concurrency and synchronization, timed Petri net models seem to be well suited for modeling and evaluation of such architectures. However, accurate net models of multithreaded multiprocessors become quite complicated, so their analysis can be a nontrivial task. This paper describes a timed colored Petri net model of a multithreaded multiprocessor architecture, and presents some results obtained by simulation of this model. A simplified approach to modeling such architectures is also proposed.

Item Type: Conference or Workshop Item (Paper)
URI: http://research.library.mun.ca/id/eprint/14621
Item ID: 14621
Department(s): Science, Faculty of > Computer Science
Date: June 1997
Date Type: Completion
Digital Object Identifier (DOI): https://doi.org/10.1109/PNPM.1997.595546
Related URLs:

Actions (login required)

View Item View Item

Downloads

Downloads per month over the past year

View more statistics