История изменений
Исправление dvetutnev, (текущая версия) :
А почему сбойный close приводит к поведению, нарушающему спецификацию?
А разве обратное доказано? Для всех окружений где это будет использоваться? Отсутствие доказательства некорректности != доказательству корректности.
Если речь о порче памяти - это понятно, что дальше ничего хорошего с системой не будет, но ошибочный код возврата - это не порча памяти, а контролируемая ситуация.
Ошибочный код возврата close гарантирует, что никто не испортил память? В месте вызова этого close обеспечено, что никакой модуль ядра ничего не затер до его вызова? А после? Возможна ситуация, в которой close возвращает ошибку, от того, что кто-то промахнулся в адресной арифметике в модуле ядра и он затер какие-то структуры?
Исправление dvetutnev, :
А почему сбойный close приводит к поведению, нарушающему спецификацию?
А разве обратное доказано? Для всех окружений где это будет использоваться? Отсутствие доказательства некорректности != доказательству корректности.
Если речь о порче памяти - это понятно, что дальше ничего хорошего с системой не будет, но ошибочный код возврата - это не порча памяти, а контролируемая ситуация.
Ошибочный код возврата close гарантирует, что никто не испортил память? В месте вызова этого close обеспечено, что никакой модуль ядра ничего не затер до его вызова? А после? Возможна ситуация, в которой close возвращает ошибку, от того, что кто-то промахнулся в адресной арифметике в модуле ядра и оно затерло какие-то структуры.
Исправление dvetutnev, :
А почему сбойный close приводит к поведению, нарушающему спецификацию?
А разве обратное доказано? Для всех окружений где это будет использоваться? Отсутствие доказательства некорректности != доказательству корректности.
Если речь о порче памяти - это понятно, что дальше ничего хорошего с системой не будет, но ошибочный код возврата - это не порча памяти, а контролируемая ситуация.
Ошибочный код возврата close гарантирует, что никто не испортил память? В месте вызова этого close обеспечено, что никакой модуль ядра ничего не затер до его вызова? А после?
Исправление dvetutnev, :
А почему сбойный close приводит к поведению, нарушающему спецификацию?
А разве обратное доказано? Для всех окружений где это будет использоваться? Отсутствие доказательства некорректности != доказательству корректности.
Если речь о порче памяти - это понятно, что дальше ничего хорошего с системой не будет, но ошибочный код возврата - это не порча памяти, а контролируемая ситуация.
Ошибочный код возврата close гарантирует, что никто не испортил память? В месте вызова этого close обеспечено, что никакой модуль ядра ничего не затер перед ним? А после?
Исходная версия dvetutnev, :
А почему сбойный close приводит к поведению, нарушающему спецификацию?
А разве обратное доказано? Для всех окружений где это будет использоваться? Отсутствие доказательства некорректности != доказательству корректности.
Если речь о порче памяти - это понятно, что дальше ничего хорошего с системой не будет, но ошибочный код возврата - это не порча памяти, а контролируемая ситуация.
Ошибочный код возврата close гарантирует, что никто не испортил память? В месте вызова этого close обеспечено, что никакой модуль ядра ничего не затер? А после?