Introduction to Reliable and Secure Distributed Programming

در محاسبات مدرن یک برنامه معمولاً بین چندین فرآیند توزیع می شود. چالش اساسی هنگام توسعه برنامه های توزیع شده قابل اعتماد و ایمن، پشتیبانی از همکاری فرآیندهای مورد نیاز برای اجرای یک کار مشترک است، حتی زمانی که برخی از این فرآیندها با شکست مواجه شوند. خرابی ها ممکن است از خرابی تا حملات خصمانه توسط فرآیندهای مخرب متغیر باشد.

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

این کتاب نشان‌دهنده ویرایش دوم \"مقدمه‌ای بر برنامه‌نویسی توزیع‌شده قابل اعتماد\" است. دامنه آن گسترش یافته است تا امنیت در برابر اقدامات مخرب توسط فرآیندهای غیرهمکاری را شامل شود. این دامنه مهم به طور گسترده با نام \"Byzantine Fault-tolerance\" شناخته شده است.

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes.

Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding

This book represents the second edition of "Introduction to Reliable Distributed Programming". Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name "Byzantine fault-tolerance".