Модель согласованности файловой системы Google

Question

Я читал о GFS и ее модели согласованности, но я не понимаю ее. В частности, кто-то может дать мне конкретный пример сценарий (или объяснения того, почему это не может произойти) из:

• одновременной звукозаписывающей Append, что может привести к рекордно дублированию
• одновременно запись дописывания, что может привести к неопределенные регионы
• одновременных операций записи (на один блок), которые могут привести к неопределенным регионов

Answer 1

Я цитирую от http://research.google.com/archive/gfs.html. Проверьте Таблицы 1, который представляет собой краткое изложение возможных результатов для записи/присоединяет:

1. «Если запись Append терпит неудачу в любом реплики, клиент повторит операцию. В результате реплики одного и того же фрагмента могут содержать разные данные, включая дубликаты одной и той же записи полностью или частично. " Таким образом, любой сбой на реплике (например, таймаут) приведет к дублированию записи по крайней мере на других репликах. Это может произойти без одновременной записи.

2. Такая же ситуация, которая вызывает дублируемую запись, также вызывает несогласованную (и, следовательно, неопределенную) область. Если реплика не подтвердила мутацию, она, возможно, не выполнила ее. В этом случае, когда клиент повторяет добавление, эта реплика должна будет добавить дополнение вместо отсутствующих данных, чтобы запись могла быть записана с правильным смещением. Таким образом, одна реплика будет иметь прописку, а другая будет иметь ранее записанную запись в этом регионе.

3. Сбой записи может привести к непоследовательной (следовательно, неопределенной) области. Более интересно, успешные параллельные записи могут вызывать согласованные, но неопределенные области. «Если запись в приложении большой или пересекает границу блока, код клиента GFS разбивает его на несколько операций записи . Они [...] могут чередоваться и перезаписываться параллельными операциями от других клиентов.Следовательно, общая область файлов может содержать фрагменты из разных клиентов , хотя реплики будут идентичными, поскольку отдельные операции успешно завершены в том же порядке на всех репликах. Это оставляет область файла в последовательном но неопределенном состоянии [...].»

Answer 2

Я не думаю, что это на самом деле имеет дело с одновременным Append но с хотя бы один раз семантики их системы.

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

Для таких случаев распределенные системы гарантирует, что сообщение либо доставляется либо в самый раз или доставленные по крайней мере один раз.

В этом случае представляется, что GFS определил по крайней мере один раз доставка на узлы хранения.