Сервер документов: обработка одновременных сохранений

Мое предложение было бы чем-то вроде вашего первого. Когда первый пользователь (Боб) открывает документ, он получает блокировку, чтобы другие пользователи могли читать только текущий документ. Если пользователь сохраняет документ во время его использования, он сохраняет блокировку. Только когда он выйдет из документа, он будет разблокирован, и другие люди смогут его редактировать.

Если второй пользователь (Кейт) откроет документ, пока у Боба есть блокировка, Кейт получит сообщение о том, что документ нельзя редактировать, но она может читать его, пока блокировка не будет снята.

Так что же происходит, когда Боб получает блокировку, может, сохраняет документ один или два раза, но затем выходит из приложения, оставляя блокировку зависшей?

Как вы сами сказали, возможно, лучший вариант - требовать от клиента с блокировкой отправлять эхо-запросы с определенной частотой. Если вы не получаете пинг от клиента в течение определенного времени, это фактически означает, что его клиент больше не отвечает. Если это веб-приложение, вы можете использовать javascript для проверки связи. Документ, который был сохранен последним, снимает блокировку, и теперь Кейт может получить его.

Пинг может содержать имя документа, заблокированного клиентом, и сервер может вычислить, когда был получен последний эхо-запрос для этого документа.

Первый вариант, который вы описываете, по сути является пессимистической моделью блокировки, а второй - оптимистической моделью. Какой из них выбрать, на самом деле зависит от ряда факторов, но, по сути, зависит от того, как бизнес хочет работать. Например, будет ли пользователям неоправданно неудобно, если документ, который им нужно отредактировать, был заблокирован другим пользователем? Что произойдет, если документ заблокирован и кто-то уйдет в отпуск со своим клиентом? Какова вероятность разногласий по каждому документу - т.е. насколько вероятно, что один и тот же документ будет изменен двумя пользователями одновременно? Насколько локализованы изменения в одном документе? (Если один и тот же раздел изменяется регулярно, выполнение слияния может занять больше времени, чем простое повторное внесение изменений).

Предполагая, что конкуренция относительно низкая и / или размер каждого изменения довольно мал, я бы, вероятно, выбрал оптимистичную модель, которая разрешает конфликты с помощью автоматического или ручного слияния. Номер версии или контрольная сумма содержимого документа могут использоваться, чтобы определить, требуется ли слияние.

В настоящее время документы публикуются ограниченной группой людей, каждый из которых работает над отдельной темой. Таким образом, неудобства, связанные с замками, сведены к минимуму. Люди чаще всего расширяют существующие документы и исправляют в них ошибки.

Говоря о пессимистической модели, сценария «левый клиент подключен на N дней» можно избежать, установив дату истечения срока блокировки, скажем, за один день до даты начала блокировки. Поскольку редактируемые документы ни в коем случае не являются критически важными и довольно редко изменяются несколькими пользователями, этого может быть достаточно.

Теперь рассмотрим оптимистическую модель. Как выявить различия, если документы имеют регулярную (скажем, иерархическую) структуру? Если не? Каковы шансы на успешное автоматическое слияние в этих случаях?

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

Что вы думаете?