چکیده
سیستمهای عامل مدرن قابلیتهای خود را به صورت پویا در زمان اجرا مونتاژ میکنند. این ترکیب پویا اخیراً در چارچوب حساب دیفرانسیلی ترکیبپذیری فضایی به طور کامل مورد بررسی رسمی قرار گرفته است. در این چارچوب، یک قابلیت به عنوان یک عملگر عمل میکند که یک معکوس ردیابیشده را حمل میکند و اجزا به صورت پلاگین مونتاژ میشوند. این ساختار پلاگین توسط یک فرآیند واحد مدیریت میشود که یک زمینه مشترک را به اشتراک میگذارد. این فرآیند به عنوان یک حامل عملیات عمل میکند و همه اجزا را در یک دامنه شکست فیزیکی قرار میدهد. در این حالت، یک خطا باعث توقف همزمان همه اجزا میشود و مرگ فرآیند، تمام جلساتی که توسط آن میزبانی میشوند را قطع میکند. این مقاله نشان میدهد که نه مدلسازی و نه حساب دیفرانسیلی، یک عامل را به یک فرآیند خاص محدود نمیکند. بومیت مدل زبانی، تمام حالات میانمرحله را خارج از مدل نگه میدارد و شرط صحت تنها بر اساس فضای وضعیت تعریف میشود. این مشاهدات به چهار لِمه خلاصه میشوند که فرضیات آنها، فرضیات حساب دیفرانسیلی و بومیت استنتاج مدل زبانی هستند. بر اساس این لِمهها، مقاله Logos را معرفی میکند؛ یک پلتفرم عامل بینفرآیندی شبیه ROS که در آن یک پلاگین به عنوان یک فرآیند عمل میکند و تنها وضعیت مشترک، یک نسخه مکمل است. پس از اعمال عملیات کشتار در چهار مرز چرخه فراخوانی ابزار، هشتاد جلسه بدون تکرار تأثیر، از سر گرفته میشوند. مقایسه خطای یکسان با یک پیکربندی مرجع تکفرآیندی نشان میدهد که در ساختار جلسه هممحل، یک خطا منجر به قطع هر جلسه میشود، در حالی که در ساختار فرآیند همتا، یک خطا تنها در یک گره به پایان میرسد.