[sunshowers]

I think another reason is that C++ mutexes typically don't poison on throwing an exception.