Has there been any work on a checked_mutex class? I have a prototype
mutex class that tracks the order in which locks were acquired. If a lock would
violate the partial ordering defined by the historical lock acquisitions, then
it throws an exception rather than risking deadlock. Does this sound correct
and useful?
-