Здравствуйте, watchmaker, Вы писали:
W>Не гарантируется и не соблюдается.
То есть, соблюсти последовательность кроме синхронного вызова с ожиданием подтверждения — никак не получится. Возможно ли тогда для экономии ресурсов применить MAP_NOSYNC, дабы ОС не скидывала данные самостоятельно, а только тогда, когда потребуется приложению?

W>msync с флагом MS_ASYNC — это вызов-подсказка. Он не влияет на данные, он лишь сообщает ОС что пора бы уже начать их сбрасывать на диск.
Ок, понял, наверно это просто добавление команды на сброс кэша в какую-нибудь AIO-очередь. Но в какой-то момент при синхронизации "грязные" страницы все-равно должны быть заблокированы на запись?