37. Структура сетевой ос (одноранговые, с выделенными серверами, для рабочих групп и ос для сетей масштаба предприятия)




Название37. Структура сетевой ос (одноранговые, с выделенными серверами, для рабочих групп и ос для сетей масштаба предприятия)
страница14/26
Дата публикации17.03.2013
Размер1.75 Mb.
ТипДокументы
odtdocs.ru > География > Документы
1   ...   10   11   12   13   14   15   16   17   ...   26
^

Алгоритм синхронизации логических часов


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

Введем для двух произвольных событий отношение "случилось до". Выражение a ® b читается "a случилось до b" и означает, что все процессы в системе считают, что сначала произошло событие a, а потом - событие b. Отношение "случилось до" обладает свойством транзитивности: если выражения a ® b и b ® c истинны, то справедливо и выражение a ® c. Для двух событий одного и того же процесса всегда можно установить отношение "случилось до", аналогично может быть установлено это отношение и для событий передачи сообщения одним процессом и приемом его другим, так как прием не может произойти раньше отправки. Однако, если два произвольных события случились в разных процессах на разных машинах, и эти процессы не имеют между собой никакой связи (даже косвенной через третьи процессы), то нельзя сказать с полной определенностью, какое из событий произошло раньше, а какое позже.

Ставится задача создания такого механизма ведения времени, который бы для каждого события а мог указать значение времени Т(а), с которым бы были согласны все процессы в системе. При этом должно выполняться условие: если а ® b , то Т(а) < Т(b). Кроме того, время может только увеличиваться и, следовательно, любые корректировки времени могут выполняться только путем добавления положительных значений, и никогда - путем вычитания.

Рассмотрим алгоритм решения этой задачи, который предложил Lamport. Для отметок времени в нем используются события. На рисунке 3.6 показаны три процесса, выполняющихся на разных машинах, каждая из которых имеет свои часы, идущие со своей скоростью. Как видно из рисунка, когда часы процесса 0 показали время 6, в процессе 1 часы показывали 8, а в процессе 2 - 10. Предполагается, что все эти часы идут с постоянной для себя скоростью.

В момент времени 6 процесс 0 посылает сообщение А процессу 1. Это сообщение приходит к процессу 1 в момент времени 16 по его часам. В логическом смысле это вполне возможно, так как 6<16. Аналогично, сообщение В, посланное процессом 1 процессу 2 пришло к последнему в момент времени 40, то есть его передача заняла 16 единиц времени, что также является правдоподобным.



Рис. 3.6. Синхронизация логических часов 
а - три процесса, каждый со своими собственными часами; 
б - алгоритм синхронизации логических часов


Ну а далее начинаются весьма странные вещи. Сообщение С от процесса 2 к процессу 1 было отправлено в момент времени 64, а поступило в место назначения в момент времени 54. Очевидно, что это невозможно. Такие ситуации необходимо предотвращать. Решение Lamport'а вытекает непосредственно из отношений "случилось до". Так как С было отправлено в момент 60, то оно должно дойти в момент 61 или позже. Следовательно, каждое сообщение должно нести с собой время своего отправления по часам машины-отправителя. Если в машине, получившей сообщение, часы показывают время, которое меньше времени отправления, то эти часы переводятся вперед, так, чтобы они показали время, большее времени отправления сообщения. На рисунке 3.6,б видно, что С поступило в момент 61, а сообщение D - в 70.

Этот алгоритм удовлетворяет сформулированным выше требованиям.
1   ...   10   11   12   13   14   15   16   17   ...   26

Похожие:

Инструкция по установке инфо-бухгалтер 7 сетевая версия для Windows 1
Проверка настроек клиента для сетей Microsoft, адаптера сетевой карты и сетевых протоколов для Windows 95/98 13

Краткое содержание Диалог представляет собой вымышленную летопись...

37. Структура сетевой ос (одноранговые, с выделенными серверами, для рабочих групп и ос для сетей масштаба предприятия) iconКорпоративная информационная система на программных продуктах фирмы 1С
Функционирование современного предприятия невозможно без наличия эффективного инструмента контроля и управления предприятием автоматизированной...

Урока. 1этап
«Социальная структура общества». Скажите, пожалуйста, из каких групп состоит общество? Как они называются? Приведите примеры. Сегодня...

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

А. И. Приймак Рабочий учебный план для подготовки новых рабочих по профессии «Штукатур»
Настоящий пакет документов предназначены для подготовки рабочих по профессии «Штукатур»

Экономика предприятия Смирнов Юрий Георгиевич Основные черты предприятия
Обладает комплексом средств производства. Совокупность этих средств для каждого вида предприятия, произодящего продукцию, имеют свою...

5: "Социальная структура общества"
В широком смысле под социальной структурой понимается строение общества в целом, система связей между всеми его основными элементами....

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

А. И. Приймак Рабочий учебный план для подготовки новых рабочих по...
Настоящий пакет документов предназначены для подготовки рабочих по профессии «Столяр строительный»

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
odtdocs.ru
Главная страница