Освобождает ли linux спин-блокировку/семафор при завершении процесса?

Если процесс удерживает некоторые спин-блокировки или семафоры и завершается случайно (например, из-за linux), будет ли linux правильно снимать эти блокировки? Если Linux не работает, то почему?