Communicating Process Architectures 2009
Communicating Process
Architectures 2009 will start on the evening of Sunday 1st. November, through
to lunchtime on 4th. November at the Technische Universiteit Eindhoven
in Eindhoven, the Netherlands. The conference will run in its normal style
(a single stream of refereed papers during the day and fringe events
in the evenings). This year, however, we shall be part of
Formal Methods Week 2009
where registration for CPA also gives access to the sessions of other
conferences, tutorials and workshops running simultaenously –
follow their sidebar link to "Schedule" for the outline timetable.
Welcome!
WoTUG is a forum set up to support those applying the CSP
model of parallel processing. You will find on this site articles and information
that can help you design and build concurrent software and hardware systems that
really work, day in, day out, without any need to spend man-years of debugging
effort.
- Information on CSP, the mathematical basis of our work
- Our papers, the distilled results of our work
- The KRoC retargettable occam compiler
- A page about the group.
The Abstract below is from a paper in our database:
An Irregular Distributed Simulation Problem with a Dynamic Logical Process Structure
By Ming Q. Xu, Stephen J. Turner, Nie Pin
This paper describes a modeling problem which exhibits many features of more advanced distributed simulation: the simulation of biological population dynamics — "Host-parasite interactions". It is a dynamical simulation in which certain species of hosts and parasites live, move randomly, breed and (as far as parasites are concerned) infect the hosts in a two-dimensional ocean. Apart from its relevance to realistic biological studies, this simulation program does serve to illustrate many crucial ideas in dynamic time and event driven simulations. Our approach to the parallel implementation of this simulation requires the simulation objects (in this case, hosts and parasites) to be organised as LPs (Logical Processes) which can be created and destroyed dynamically at run time to reflect the birth/death of these simulation objects. In addition to their dynamical features, LPs must preserve the temporal aspects of the real world system. In other words, a global ordering of LP interactions (referred to here as actions) must be ensured to preserve the causality principle [1]. Also, the computational load can become imbalanced because the real world system or rather, the distribution of hosts and parasites in the underlying space is changing with time. The methods for counteracting this dynamical load imbalance will be described.We shall begin with the specification of the dynamical rules governing the behaviour of the hosts and parasites during the simulation.
Complete record...
|