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