Но ты ж ленивая жёпа

В svace что-то не очень верится

Как он это будет находить?

Симулировать последовательность ифников

Но он никогда логические ерроры не найдет

Ну так вот да

А я про то чтобы описать всё формально с учётом параллелизма

Ну то есть Rust это кусочек вот этого

Но он опять же описывает по идее не всё

Один клиент насрал в блок, оно пошло в урину. В это время другой клиент туда насрал со смешением, а третий всё это читает

Как тут без залочки блеать

Запись ладно. Журнал

А чтение

Да, тебе там очередь нужна чтобы срать в журнал

Даже интересно блять

Эм, да тривиально. Сохраняешь каждую запись в какой-то map условно говоря, и читаешь каждую часть откуда надо
Или ты про то, чтобы третий обязательно увидел записи первых двух?
Ну тогда просто задерживаешь выполнение чтения до того момента, как первые две завершатся
Но формально это не нужно, т.к. при "одновременном" чтении и записи (т.е. когда чтение отправлено не после записи) гарантии никакой тебе диск не даёт

Обмажем ерасурекодингом и заебись

При частичной перезаписи надо сделать чтение

Вангую можно словить ерасуре хуёв

Сделай заябывалку