On detecting over-eager concurrency in asynchronously communicating concurrent object systems

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