It's the pesky unlock call that's needed in the delete function prior to the early return that motivates data structures such as the lock_guard in C++ that can release an underlying mutex when it goes out of scope.