...SpikeOS was designed to handle millions of microthreads, for example in a neural network hosting millions of spiking model neurons.
SpikeOS handles microthread scheduling, synchronization, distribution and communication.
*** This project has been forked. NeuraNEP (sourceforge.net/projects/neuranep) represents a major update to SpikeOS. It has the same core functionality plus several enhancements, including a scripting interface. NeuraNEP is engineering-oriented, as opposed to simulation-oriented, and some features/capabilities have changed.