On 26/04/2016 12:54, Stefan Hajnoczi wrote: > I wonder whether it would be cleaner to introduce new primitives instead > of modifying CoMutex/CoQueue. That way it would be clear whether code > is written to be thread-safe or not.
Interesting suggestion. I think we have few enough CoMutexes/CoQueues (also, almost all of them in core code and/or coarse-grained) that we can do the conversion in one series, but if I'm wrong it's certainly a possibility. vdi.c is a CoMutex that I know is not thread safe, but I've done the conversion to CoRwlock and it is not hard. Thanks, Paolo
