Есть одна тонкость
При WAIT_ABANDONED все-таки происходит захват мьютекса (в отличие от WAIT_TIMEOUT и WAIT_FIALED), и в этом случае следует обязательно делать ReleaseMutex

И еще, наверное, было бы правильно предоставить пользователю возможность "спаять" схему так, чтобы WAIT_ABADONED работал эквивалентно с WAIT_OBJECT_0 .....