خلاصه: کارایی الگوریتم ها در سیستم های توزیع شده به صورت مستقیم از توازن بین همروندی و انحصار متقابل تأثیر می پذیرد. همروندی و انحصار متقابل دو مقوله متضاد هستند که نبود همروندی به کاهش کارایی و نبود انحصار متقابل به از دست رفتن صحت و درستی عملکرد سیستم ختم می شود پس وجود هر دو آنها در سیستم ضروری است.