Результаты (
русский) 2:
[копия]Скопировано!
11.3.1 ABD синхронизатор
Асинхронный ограниченная задержка (ABD) синхронизатора [CCGZ90] [TKZ94] могут быть реализованы в сети , где каждый процесс имеет физические часы, и задержки распространения сообщений имеют известную верхнюю оценку б. В реальной жизни все физические часы имеют тенденцию к дрейфу. Тем не менее, чтобы сохранить нашу дискуссионную простой, мы предполагаем , что после инициализации, разница между парой физических часов не меняется в течение всего срока службы вычислений.
Пусть С физической часы процесса. Один или несколько процессов спонтанно инициировать действия синхронизатора, назначая C: = 0, выполнение действий для галочки (0), и отправкасигнал своим соседям (рис 11.4). По предположению, действия принимают нулевое время. Каждый noninitiating сосед J просыпается, когда он получаетсигнал от соседа, инициализирует его часы C до 0, и выполняет действия для галочки 0. Это завершает инициализацию. Перед тем, как процесс р имитирует действия клеща (I + 1), р вместе со своими соседями должны посылать и принимать все сообщения, соответствующие тик I. Если р посылаетсообщение Q, Q просыпается и посылает сообщение , которое является частью инициализации действий галочки 0, то р будет получать его во время ≤2δ. Таким образом, процесс р будет начать моделирование следующего импульса (клеща 1) во время 2б. В конце концов, процесс р будет имитировать клеща K синхронного алгоритма по местному времени часы 2kδ. Разрешение начать моделирование галочки , таким образом , полностью зависит от
локального значения тактовой частоты.
переводится, пожалуйста, подождите..