سیستمهای توزیعشده
Published:
درستی الگوریتمها رو در distributed systems میشه با دو مشخصه safety و liveness نشون داد، که اولی میگه خطایی که سیستم رو از کار بیاندازه نباید پیش بیاد و دومی میگه یک اتفاق خوب در نهایت باید رخ بده. خوشحال خواهم بود اگر موقع مرگ، این دو مشخصه زندگیم برآورده شده باشه.