11.1 IntroDuCtIon Distributed appli

11.1 IntroDuCtIon

Distributed applications rely on specific forms of coordination among processes to accomplish their goals. Some tasks of coordination can be viewed as a form of preprocessing. Examples include clock synchronization, spanning tree construction, and leader election. In this section, we single out a couple of specific coordination algorithms and explain their construction. Our first example addresses leader election, where one among a designated set of processes is cho- sen as leader and assigned special responsibilities. The second example addresses a problem of model transformation: Recall that asynchrony is hard to deal with in real-life applications due to the lack of temporal guarantees—it is simpler to write algorithms on the synchronous pro- cess model (where processes execute actions in lockstep synchrony) and easier to prove their correctness. This motivates the design of synchronizers that transform an asynchronous model into a synchronous one and help run synchronous algorithms on asynchronous systems. In this section, we will discuss several algorithms for leader election and synchronizer construction.

Результаты (русский) 2:

11.1 Введение

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

Результаты (русский) 3:

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