Case Study in Prototyping With Rapide: Shared Memory Multiprocessor System
Alexandre Santoro · 1993
Rapide is a concurrent object-oriented language designed for prototyping distributed systems. This paper describes the creation of such a prototype, more specifically a shared memory multiprocessor system. The design is presented in an evolutionary manner, starting with a simple CPU + memory model. The paper also presents some simulation results and shows how the partially ordered event sets that Rapide produces can be used both for performance analysis and for an in-depth understanding of the model's behavior. Key Words and Phrases: prototyping, simulation, event-based modelling, formal constraints, performance measurements Copyright c fl 1993 by Alexandre Santoro Contents 1 Introduction 1 2 The First System 2 3 The Second System 5 4 The Third System 8 5 Constraints 13 6 Performance Analysis 17 7 Comments 20 A Rapide-0.2 Code for Multiprocessor System 24 A.1 Memory : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 24 A.2 CPU : : : : : : : : : :...