troupe
troupe copied to clipboard
Optimize ID generation
Currently, to create new ProcessIds and MonitorRefIds, a global TVar is used. This could be a cause for contention (to be profiled). If it is, this should be refactored into a more suitable datastructure (per-CPU?). This is not necessarily in STM: we simply need generated IDs to be (process-)unique.