تقی شاهقلی - گروه کامپیوتر دانشگاه آزاد اسلامی واحد زنجان
حسن نادری - گروه کامپیوتر دانشگاه علم و صنعت ایران

در مقاله ی حاضر به بهانه ی معرفی مفهوم نسبتا جدید و مهم خودپایداری در سیستمهای توزیع شده به تشریح اولین الگوریتم خودپایدار تصادفی برای حل مساله انحصار متقابل در سیستمهای توزیع شده و تحلیل صحت و کارایی آن با استفاده از ابزار PRISM می پردازیم مفهوم خودپایداری در سال 1973 توسط دایکسترا معرفی گردید و به عنوان مهمترین کار وی عنوان شده است این مفهوم با خاصیت در صورتی که مشکلات مربوط به پیاده سازی آن بطور کامل حل شود یک پیشرفت بزرگ در زمینه تحمل خرابی در سیستمهای توزیع شده خواهد بود.

الگوریتمهای توزیع شده، تحمل خرابی، خودپایداری، انحصار متقابل، توکن