دانلود پاورپوینت آشنایی با اسنپ شات جهت رشته مهندسی نرم افزار در قالب 26 اسلاید و با فرمت pptx به صورت کامل و جامع و با قابلیت ویرایش
یک روش برای حل GPE این بود که پردازهی مبصر P0 از دیگر پردازهها درخواست کند تا حالت محلی خود را اعلام کنند و سپس آنها را باهم ادغام کند. این روش را Snapshot گوییم. ولی حالت سراسری اخذشده ممکن است سازگار نباشد.
برای داشتن یک حالت سراسری سازگار حاصل از پروتکل snapshot، Chandy & Lamport روشی ارائه دادند. (با فرض FIFO بودن کانالها (حمل FIFO) و حذف جزئیات چگونگی اعلام حالت محلی پردازندهها به درخواست P0 )
فرض که همه پردازهها حالت خود را در ساعت واقعی یکسانی ثبت میکنند. سپس P0 یک زمانtss را (به حد کافی در آینده، طوری که پیغام ارسال شده قبل از tss به همه پردازهها برسد) انتخاب میکند.
فهرست مطالب
Distributed Snapshot
پروتکلهای Snapshot
الگوریتم
خواص Snapshots
گزاره های پایدار (Stable Predicates)
گزارههای ناپایدار
تشخیص Definitely () ,Possibly()