دانلود کتاب An Introduction to Distributed Algorithms

ترجمه فارسی توضیحات (ترجمه ماشینی)

مقدمه ای بر الگوریتم های توزیع شده

مقدمه‌ای بر الگوریتم‌های توزیع‌شده برخی از مفاهیم و الگوریتم‌های اصلی را شامل می‌شود، از تکنیک‌ها و کاربردهای پایه تا پیشرفته، که زیربنای برنامه‌نویسی سیستم‌های حافظه توزیع‌شده مانند شبکه‌های کامپیوتری، شبکه‌های ایستگاه‌های کاری و چند پردازنده‌ها هستند. نوشته شده از دیدگاه گسترده سیستم های حافظه توزیع شده به طور کلی شامل موضوعاتی مانند الگوریتم هایی برای حداکثر جریان، اشکال زدایی برنامه و شبیه سازی است که در متون معمولی تر در مورد الگوریتم های توزیع شده دیده نمی شود. حرکت از اصول به پیشرفت ها و کاربردها، ده فصل – با تمرین ها و یادداشت های کتابشناختی – موضوعات مختلفی را پوشش می دهد. اینها شامل مدل‌های محاسبات توزیع‌شده، انتشار اطلاعات، انتخاب رهبر، عکس‌های فوری توزیع‌شده، همگام‌سازی شبکه، خودپایداری، تشخیص خاتمه، تشخیص بن‌بست، الگوریتم‌های نمودار، حذف متقابل، اشکال‌زدایی برنامه و شبیه‌سازی است. همه الگوریتم‌ها در قالبی واضح و مبتنی بر الگو برای توصیف محاسبات ارسال پیام در میان گره‌های یک گراف متصل ارائه شده‌اند. چنین تنظیمات عمومی امکان رسیدگی به مشکلات ناشی از بسیاری از حوزه‌های کاربردی مختلف را فراهم می‌کند. ایده‌ها و الگوریتم‌های اصلی به‌گونه‌ای توصیف می‌شوند که شهود و دقت رسمی را متعادل می‌کند – اکثر آنها با یک بحث شهودی کلی و به دنبال آن اظهارات رسمی در مورد صحت پیچیدگی ارائه می‌شوند. یا سایر خواص

An Introduction to Distributed Algorithms

An Introduction to Distributed Algorithms takes up some of the main concepts and algorithms, ranging from basic to advanced techniques and applications, that underlie the programming of distributed-memory systems such as computer networks, networks of workstations, and multiprocessors. Written from the broad perspective of distributed-memory systems in general it includes topics such as algorithms for maximum flow, program debugging, and simulation that do not appear in more orthodox texts on distributed algorithms.Moving from fundamentals to advances and applications, ten chapters – with exercises and bibliographic notes – cover a variety of topics. These include models of distributed computation, information propagation, leader election, distributed snapshots, network synchronization, self- stability, termination detection, deadlock detection, graph algorithms, mutual exclusion, program debugging, and simulation. All of the algorithms are presented in a clear, template- based format for the description of message-passing computations among the nodes of a connected graph. Such a generic setting allows the treatment of problems originating from many different application areas.The main ideas and algorithms are described in a way that balances intuition and formal rigor – most are preceded by a general intuitive discussion and followed by formal statements as to correctness complexity or other properties.