论文信息 - Modelling Architectural Features with Petri Nets

Modelling Architectural Features with Petri Nets

In this paper we consider the use of Petri nets and extensions to describe features of existing architectures. Because the main attraction of Petri nets is in their ability to express synchronization and concurrency, our modelling is directed towards high-performance architectures. In particular, we show models for look-ahead processing schemes and the cache coherence problem.

Jean-Loup Baer

[1] James K. Archibald,et al. An economical solution to the cache coherence problem , 1984, ISCA '84.

[2] James E. Smith,et al. Instruction Issue Logic in Pipelined Supercomputers , 1984, IEEE Trans. Computers.

[3] James Archibald,et al. An economical solution to the cache coherence problem , 1984, ISCA 1984.

[4] R. M. Tomasulo,et al. An efficient algorithm for exploiting multiple arithmetic units , 1995 .

[5] Tilak Agerwala,et al. Special Feature: Putting Petri Nets to Work , 1979, Computer.

[6] Jean-Loup Baer,et al. Computer systems architecture , 1980 .

[7] Kurt Lautenbach,et al. The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[8] Kurt Jensen,et al. Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[9] Karl Martin Schmidt-Reindl,et al. Notations and terminology on Petri Net theory , 1987 .

[10] Arthur J. Bernstein,et al. Analysis of Programs for Parallel Processing , 1966, IEEE Trans. Electron. Comput..

[11] Alan Jay Smith,et al. Cache Memories , 1982, CSUR.