[Haskell-beginners] Simulation of interconnect network

[Ulrik Rasmussen]

Roger King skrev:
> I am building a simulator for an interconnect network for a multiprocessor computer.  I would like to develop it in Haskell as an opportunity to learn Haskell.
>
> The network will have a number of routers with input ports and output ports and crossbars between them.  I would like to simulate the protocol.  This would be an event driven simulator.  It would be at a high level, leaving out many details.  I would like it to be fast and be able to run it on several processors.
>
> I would like to know if you have any advice.  Has anyone done this before?  Are there any discrete event simulators written in Haskell?
> R
>   
(Resubmussion: Forgot to send the mail to the list)

You could take a look at the CHP library: 
http://www.cs.kent.ac.uk/projects/ofa/chp/. The library is influenced by 
the CSP calculus, which is used to reason about systems of communicating 
processes. Using this, you could model each node of your network as a 
CHP process which communicates with the other nodes over channels. All 
the communication is synchronous, and the theory behind it is pretty 
solid: http://www.usingcsp.com/

/Ulrik