تصاویر لحظهای و وضعیت سراسری
یک تصویر لحظهای سراسری، نمایی سازگار از وضعیت یک محاسبات توزیعشده — وضعیت محلی هر فرآیند به علاوه پیامهای در حال انتقال — را بدون توقف سیستم ثبت میکند.
Definition
یک وضعیت سراسری سازگار، مجموعهای از وضعیتهای فرآیند محلی و محتویات کانال است که متناظر با یک برش سازگار است — برشی که در آن، برای هر دریافت پیام ثبتشده، ارسال متناظر نیز ثبت شده باشد — به طوری که این وضعیت میتوانست در طول محاسبات ایجاد شده باشد، حتی اگر هیچ لحظه سراسری مشاهده نشده باشد.
Scope
این موضوع مفهوم وضعیت سراسری سازگار و برش تعریفکننده آن، الگوریتم تصویر لحظهای مبتنی بر نشانگر چندی-لامپورت و مفروضات آن (کانالهای FIFO، تحویل قابل اعتماد)، و کاربرد تصاویر لحظهای در تشخیص ویژگیهای پایدار مانند تشخیص خاتمه و بنبست و در نقطهگذاری و بازیابی توزیعشده را پوشش میدهد.
Core questions
- چه چیزی یک وضعیت سراسری ثبتشده را سازگار میکند نه غیرممکن؟
- چگونه میتوان چنین وضعیتی را در حالی که محاسبات همچنان در حال اجراست، ثبت کرد؟
- چگونه ویژگیهای پایدار مانند خاتمه و بنبست از تصاویر لحظهای تشخیص داده میشوند؟
Key theories
- برشهای سازگار
- یک وضعیت سراسری متناظر با برشی در توالی رویدادهای فرآیندها است؛ برش دقیقاً زمانی سازگار است که تحت رابطه «قبل از» بسته باشد، و اطمینان حاصل کند که هیچ پیامی قبل از ارسال آن در وضعیت ثبتشده دریافت نمیشود.
- الگوریتم تصویر لحظهای چندی-لامپورت
- یک آغازگر وضعیت خود را ثبت میکند و یک نشانگر را در هر کانال خروجی ارسال میکند؛ هر فرآیند، با اولین دریافت یک نشانگر، وضعیت خود را ثبت میکند و سپس پیامهای ورودی را در کانالهای دیگر تا زمان رسیدن نشانگرهای آنها ثبت میکند و محتویات کانال را ضبط میکند.
- تشخیص ویژگی پایدار
- از آنجایی که تصاویر لحظهای وضعیتی را ثبت میکنند که سیستم میتوانست در آن باشد، هر ویژگی پایداری (ویژگیای که پس از برقرار شدن، درست باقی میماند، مانند خاتمه یا بنبست) که در یک تصویر لحظهای تشخیص داده شود، واقعاً برقرار است، و تصاویر لحظهای را به ابزاری عمومی برای تشخیص تبدیل میکند.
Clinical relevance
الگوریتمهای تصویر لحظهای، نقطهگذاری/راهاندازی مجدد توزیعشده را برای بازیابی خطا، از جمله تصویربرداری ناهمزمان مورد استفاده موتورهای پردازش جریان مدرن برای ارائه تضمینهای دقیقاً یکبار، و همچنین تشخیص بنبست و خاتمه در محاسبات طولانیمدت، قدرت میبخشند.
History
الگوریتم چندی و لامپورت در سال ۱۹۸۵ اولین روش عملی را برای ثبت یک وضعیت سراسری سازگار بدون توقف سیستم ارائه داد؛ ماتِرن و دیگران نظریه برش زیربنایی را تعمیم دادند، و این تکنیک بعدها به اساس پردازش جریان تحملپذیر خطا تبدیل شد.
Key figures
- K. Mani Chandy
- Leslie Lamport
- Friedemann Mattern
Related topics
Seminal works
- chandy1985
- mattern1989
- lynch1996
Frequently asked questions
- آیا گرفتن تصویر لحظهای نیاز به توقف سیستم دارد؟
- خیر. الگوریتم چندی-لامپورت یک وضعیت سراسری سازگار را در حالی که محاسبات ادامه دارد، با انتشار نشانگرها در طول کانالها ثبت میکند؛ وضعیت ثبتشده، وضعیتی است که سیستم میتوانست در آن باشد، حتی اگر هرگز به طور سراسری متوقف نشده باشد.