Дистанционная блокировка

Question

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

Я накапливал несколько идей на бумаге и в моей голове в течение нескольких недель; но я думаю, что я действительно должен взглянуть на предшествующую литературу. Есть ли?

Он будет работать через XMPP - но это деталь реализации. Я просто ищу спецификацию или что-то подобное в реальном потоке протоколов - поэтому не имеет значения, из какого протокола исходит литература.

Спасибо за миллион.

Answer 1

Распределенные мьютексы - сложные структуры. Вам нужно справиться со всевозможными странными условиями, которых не существует в одной машинной реализации. В частности, вам нужно обрабатывать ситуации, когда агенты теряют связь с группой и все еще удерживают блокировку на общем ресурсе. В дополнение к этому сценарию существуют сложные сценарии, в которых ваша группа разбита, и вы получаете блокировку ресурса. Когда разбитые группы объединяются в большую группу, вам нужен какой-то способ примирить замки, что далеко не тривиально.

Я бы настоятельно рекомендовал изучить некоторые промежуточные программы для обмена сообщениями , такие как Erlang и JBoss

Я бы также рекомендовал опубликовать отдельные вопросы по конкретным распределенным алгоритмам / структурам данных, которые вам необходимо реализовать. Возможно, вам не помешает стандартная реализация в библиотеке промежуточного программного обеспечения, которая может быть настроена в соответствии с вашими потребностями.