On 22 Nov, 2014, at 00:14 , Eduardo Horvath <e...@netbsd.org> wrote: > The last time I tried it the kernel would only run in TSO mode on SPARC > machines. Mutexes just didn't work.
I'll guess one problem is in sparc/mutex.h, here:
#define MUTEX_RECEIVE(mtx) /* nothing */
#define MUTEX_GIVE(mtx) /* nothing */
This works with TSO, but with RMO they need to somehow generate
hardware memory barriers. See arm/mutex.h for an example with
them filled in.
Dennis Ferguson
