On Tue, 2017-10-24 at 14:45 -0700, Carlos O'Donell wrote: > We use tid's in the internals of a mutex to identify owner. This is > considered unique for the system (though it has an ABA pid-reuse > problem). The owner is only required for some mutex types. Are these types required for the intended use cases?