История изменений
Исправление Manhunt, (текущая версия) :
If a read() of file data can be proven (by any means) to occur after a write() of the data, it must reflect that write(), even if the calls are made by different processes.
Если умножить это на выдергивание шнура питания, то получаем что каждый write(), прежде чем вернуть управление, обязан сперва дождаться, что данные легли на пластины НЖМД.
Исправление Manhunt, :
If a read() of file data can be proven (by any means) to occur after a write() of the data, it must reflect that write(), even if the calls are made by different processes.
Если умножить это на выдергивание шнура питания, то получаем что каждый write() прежде чем вернуть управление, обязан сперва дождаться, что данные легли на пластины НЖМД.
Исходная версия Manhunt, :
If a read() of file data can be proven (by any means) to occur after a write() of the data, it must reflect that write(), even if the calls are made by different processes.
Если умножить это на выдергивание шнура питания, то получаем полный запрет кэширования записи в энергозависимой памяти.