3

В php есть возможность одновременного доступа к файлу с блокировками на запись LOCK_EX (экслюзивный доступ для записи) и на чтение LOCK_SH (общий доступ для чтения) Блокировка вызывается после открытия файла через flock

При вызове блокировки поведение зависит от типа блокировки. В общем то оно работает аналогично ReaderWriterLock и в c# для подобного поведения нужно использовать его. Однако ReaderWriterLock в c# работает в рамках одного процесса (и не относится непосредственно к файлам).

Более того windows будет мешать одновременному доступу к файлу с разных процессов.

В c# есть FileShare, но похоже, что это всего лишь разрешение другому процессу открывать файл на такой же тип доступа (из msdn не сильно понятно что но на самом деле)

Приведите пример как в c# сделать такое же поведение блокировки с общим файлом, как в php или его абстрактном аналоге ReaderWriterLock

upd: вижу требуется пояснение какое именно поведение ожидается допустим есть несколько процессов которые почти одновременно хотят

  1. читать
  2. читать
  3. читать
  4. писать
  5. читать
  6. писать

Первые 3 получат разрешение на одновременное чтение. 4й подождет и получит блок для записи когда первые 3 отпустят файл. 5й будет ждать пока 4й не освободит, а 6й пока не освободит 5й

Так вот варианты FileShare.ReadWrite или FileShare.Write никакой очереди не соблюдают (я проверил 2х писателей и у меня на выходе в файле каша). Они всего лишь указывают, что другой процесс может делать без выброса исключения. Но никак не защищают файлы от одновременной записи.

Если же поставить эксклюзивную блокировку без FileShare, то другие процессы будут получать исключения, что мы и хотим избежать

upd2: и снова никто не понимает в чем проблема.

Проблема: много процессов, которые могут читать и писать в файл.

Цель: защитить общий файл от конкурентного доступа, дабы в один момент только один писатель мог писать. Не "запретить другим доступ",а обеспечить конкурирующий доступ, когда много читателей может много читать одновременно, но писать только один, то есть то, для чего нужен ReaderWriterLock (не вижу я принципиальной разницы между ним и системой блокировки файлов в php)

Вариант "лови исключения и повторяй через 100мс до победного" не выдерживают критики. Писатель, который ждет пока файл освободится, может никогда не дождаться, потому что в эти 100мс куча читателей могут открыть файл для себя. Правильное решение - блокировка для чтения/записи ставится в очередь и в пхп (и не только в нем) это доступно из коробки,но в c# я не нашел как это делается.

Если сказать коротко, то вопрос звучит так: как сделать ReaderWriterLock для файлов, которые шарятся между несколькими процессами?

3
  • Где-то вы напутали. Судя по описанию поведения блокировок в PHP, оно совершенно не аналогично ReaderWriterLock 5 апр 2016 в 17:42
  • @PavelMayorov ну почему же. Вполне себе такое же - читатели друг другу не мешают, но стоит появится писателю и добраться до защищенной секции и заявить блокировку, то все читатели будут ждать. Не упадут с исключениями,а будут ждать
    – vitidev
    5 апр 2016 в 18:49
  • Тогда я не понимаю, что означает "одновременное получение двух блокировок". С ReaderWriterLock так сделать нельзя - пока кто-то получил блокировку на запись, остальные должны ждать. 5 апр 2016 в 18:53

2 ответа 2

6

Поведение, аналогичное описанному в PHP:

File.Open(path, mode, FileAccess.ReadWrite, FileShare.Read)

Эта команда открывает файл для чтения-записи, и при этом разрешает открывать файл для чтения другим процессам (тем самым удерживая блокировку записи).

File.Open(path, mode, FileAccess.Read, FileShare.ReadWrite)

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


Поведение, аналогичное ReaderWriterLock:

File.Open(path, mode, FileAccess.ReadWrite, FileShare.None)

Это - эксклюзивная блокировка файла, с открытием его в режиме чтения-записи.

File.Open(path, mode, FileAccess.Read, FileShare.Read)

Это - неэксклюзивная блокировка файла, с открытием его в режиме чтения.


Ну и остались нерассмотренными еще 14 комбинаций :)

8
  • А что будет если 2 процесса хотят получить блокировку на запись? Будут ли они писать одновременно или же станут в очередь? в msdn этот вопрос не освещен
    – vitidev
    5 апр 2016 в 18:49
  • Зависит от того, что вы понимаете "блокировкой на запись". 5 апр 2016 в 18:51
  • В приведенных мною примерах операции открытия файла на запись - эксклюзивные, поскольку запрещают запись для других. 5 апр 2016 в 18:52
  • Я понимаю что есть файл и открывать на чтение его могут одновременно сколько угодно. Потом появляется писатель который заявляет эксклюзивную блокировку с целью записать и его запрос становится в очередь и когда доходит наконец до файла, то файл блокируется. Все новые читатели и писатели становятся в очередь и ждут пока писатель не освободит файл. Тут не нужно проверять с исключениями "доступен ли файл для такой операции" и 2 писателя отработают друг за другом, а не одновременно. Собственно вопрос FileShare.ReadWrite дает такое же поведение?
    – vitidev
    5 апр 2016 в 18:55
  • 1
    Тогда я не вижу ответа на свой основной вопрос. Как должен быть описан вариант позволяющий получить эксклюзивную блокировку для записи, чтобы другой процесс желающий получить такую же блокировку просто ждал пока первый процесс освободит? При этом разумеется читатели тоже могут заявлять желание заблокировать. FileShare, как я понял, всего лишь разрешение/запрет другим процессам, но не имеют отношения к вышеописанным блокировкам для чтения и записи "много читателей, но только один писатель за раз"
    – vitidev
    5 апр 2016 в 19:00
1

Разобрался в чате, чего же от меня хотелось.

С помощью пары FileAccess/FileShare нужного поведения не добиться. Требуемое поведение в WInAPI доступно через LockFileEx, использование в C# можно увидеть тут: https://stackoverflow.com/questions/1784195/using-lockfileex-in-c-sharp

20
  • А почему не подходит просто FileShare.Read для читателей и FileShare.None для писателей? Объясните, чтобы и нам было понятно.
    – VladD
    6 апр 2016 в 11:30
  • @VladD при FileShare.Read писателю придется ловить момент, чтобы влезть со своим FileShare.None. А это разве try..catch где в любой момент может влезть еще куча читателей, вместо того, чтобы стать в несуществующую очередь.
    – vitidev
    6 апр 2016 в 11:36
  • @VladD активный опрос против блокирующего либо асинхронного вызова. Плюс в LockFileEx сама заявка на эксклюзивную блокировку может заблокировать читателя - в то время как в подходе FileAccess/FileShare возможна ситуация "голодания". 6 апр 2016 в 11:40
  • @PavelMayorov: Ну да, активный опрос с экспоненциальными задержками, по-моему, вполне адекватен, учитывая, что ловить исключения и пытаться переоткрыть файл всё равно придётся (временный сбой сетевого диска? медленное распознавание системой флешки?)
    – VladD
    6 апр 2016 в 11:53
  • @vitidev: Ну, да, race, но поскольку у нас несколько процессов, то никто в любом случае не гарантирует «справедливое распределение» права на блокировку. У нас же не RTOS.
    – VladD
    6 апр 2016 в 11:54

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.