In: Yakovlev, A.; Gomes, L.; Lavagno, L.: Hardware Design and Petri Nets, pages 291-310. Boston: Kluwer Academic Publishers, 2000.
Abstract: Memory subsystems often turn out to be the main performance bottleneck in current computer systems. Nevertheless, the architectural features of common RAM chips are not utilized to their limits. Therefore, a complex Petri net model of a memory subsystem was developed and investigated to explore possible improvements. The chapter reports the results of a case study in which widely used synchronous RAMs were examined. It demonstrates how impressive throughout increases can be obtained by an enhanced memory controller scheme that could even make second level caches redundant in cost or power dissipation critical systems. Furthermore, using colored time Petri nets leads to a descriptive view of the memory subsystem because a Petri net model combines data and control flow as well as structural information in a natural way. The case study finally underpins the advantages of this approach.
Keywords: Colored Petri nets, instruction scheduling, memory systems, modeling.