Тп. Тп. Понял. Всё спасибо за потраченное на тушканчика время 😅

вроде такая формулировка стандарта

На практике ситуация эээ несколько хуже, особенно когда речь касается деструкторов в шаред либах

Но с ОС будет все в порядке

Обычно всё хорошо, если не течёт настоящий RAII
Файлы система закроет, а вот утекшая блокировка мьютекса... плохо, в общем

Да, да. Я просто что-то думал всё время, что в системе есть какой-то механизм по очистке динамической памяти runtime

Плюс есть ограниченные системные ресурсы, там уже можно что-то поломать

Она же умеет делать что угодно, например свопать)

Подробнее)

А что с блокировкой будет?

Ну поскольку есть лишний слой трансляции, можно перемещать физическую память

Мьютекс поломанный будет, так и скажет

И х3 что с ним потом делать

винда же хендлеры закроет, остальные так не умеют?

В смысле в системе? Так и останется? А это ограниченный ресурс в системе?

Проблема поломанного мьютекса не у ОС, а у пользователя этого мьютекса
Она звучит как "нихрена не гарантируется"

Все данные за этим мьютексом могут быть ошибочные

а, я думал речь про выход из программы и возврат памяти

Есть ограниченные ресурсы в системе, правда я последний раз хрюшку ломал, не тестировал на более поздних

В винде есть процесс с нулевым приоритетом, который занимается очисткой свободных страниц памяти.
Когда вызывается VirtualAlloc, то если память очищена, то она просто отдаётся процессу. Если её не успели очистить, то очистка происходит внутри VirtualAlloc. Это делается, чтобы какие-нибудь серьюрные данные не попали чужому приложению.

Т.е. если выделил новую память, для которой потребовался ViatualAlloc, то она будет обнулена (системой). Если же внутри приплюснутого кода выделил (malloc'ом), использовал, освободил, снова выделил, то может попасться уже использованная (своим же процессом) память, которая будет не обнулённой.

Как я понимаю, new обнуляет всегда.