New insights into modeling multithreaded architectures

In this paper, we focus on the modeling of multithreaded architectures through a special class of finite state machines called "synchronized automata" in order to facilitate the computation of an efficiency measure. These machines allow us to model multithreaded architectures in a very simple and intuitive manner. Moreover, there exists a deep connection between the model and the theory of Generating Functions to compute, for instance, the mean time the processor stay in a given state. We exemplify a two processes parallel system to convince the reader of the useful of this formal treatment in modeling and we mention the limits of the approach.