
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

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
participants (2)
-
Roger King
-
Ulrik Rasmussen