Modelling multiprocessor systems in PEPA
نویسنده
چکیده
The model is inspired from [2] (see also [1, 3]). Consider a multiprocessor system with a shared memory. Processes running on this system have to compete for access to the common memory: to gain access and to use the common memory they need also to acquire the system bus which is released when access to the common memory is terminated; for simplicity the bus will not be explicitly represented in the following. Processes are mapped onto processors. The processors are not explicitly represented but they determine the rate of activities in the associated processes, i.e. all processes have the same functional behaviour, but actions progress at different speeds depending on the processor on which they are running, and the number of processes present on the processor. It is the modeller’s responsibility to select rates appropriately. A protocol which is not completely fair, but simply prevents one processor from monopolising the memory, imposes that after each access of a processor to the memory, some other processor must gain access before the first can access again. A process running on the ith processor is represented as Pi:
منابع مشابه
An Eecient Algorithm for Aggregating Pepa Models
Performance Evaluation Process Algebra (PEPA) is a formal language for performance modelling based on process algebra. It has previously been shown that using the process algebra apparatus compact performance models can be derived which retain the essential behavioural characteristics of the modelled system. However no ee-cient algorithm for this derivation was given. In this paper we present a...
متن کاملBio-PEPA: A framework for the modelling and analysis of biological systems
In this work we present Bio-PEPA, a process algebra for the modelling and the analysis of biochemical networks. It is a modification of PEPA, originally defined for the performance analysis of computer systems, in order to handle some features of biological models, such as stoichiometry and the use of general kinetic laws. Bio-PEPA may be seen as an intermediate, formal, compositional represent...
متن کاملPEPA Nets: A Structured Performance Modelling Formalism
In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way, the net is used to provide a structure for combining related PEPA systems. The combined modelling language naturally represents such applications as mobile code systems where the PEPA terms are used to model the program code ...
متن کاملAnalysing Robot Swarm Decision-Making with Bio-PEPA
We present a novel method to analyse swarm robotics systems based on Bio-PEPA. Bio-PEPA is a process algebraic language originally developed to analyse biochemical systems. Its main advantage is that it allows different kinds of analyses of a swarm robotics system starting from a single description. In general, to carry out different kinds of analysis, it is necessary to develop multiple models...
متن کاملStochastic Process Algebra Models of a Circadian Clock
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques from different modelling paradigms, PEPA and stochastic π-calculus.
متن کامل