LINUX.ORG.RU

История изменений

Исправление www_linux_org_ru, (текущая версия) :

В общем случае Вася может испортить что-то у тебя в адресном пространстве и без рестарта не обойтись.

вот о чем я тут бы хотел наверно поговорить — так это об уровнях гарантий (тема всплыла еще в разговоре с mersinvald)

вот, скажем, в плюсах UB это все что угодно

если бы в расте не были бы так робки и сделали попытку как-то гарантированно ограничить вред от unsafe функции какой-то областью адресов например, то это была бы интересная альтернатива доказательству их правильности

Исходная версия www_linux_org_ru, :

В общем случае Вася может испортить что-то у тебя в адресном пространстве и без рестарта не обойтись.

вот о чем я тут бы хотел наверно поговорить — так это об уровнях гарантий (тема всплыла еще в разговоре с mersinvald)

вот, скажем, в плюсах UB это все что угодно

если бы в расте не были бы так робки и сделали попытку как-то гарантированно ограничить вред от unsafe функции какой-то областью адресов например, то это было бы интересно