اسٽيلر اتفاق پروٽوڪول کي سمجهڻ

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ

اسٽيلر اتفاق پروٽوڪول پهريون ڀيرو بيان ڪيو ويو آهي سائنسي مضمون David Mazier 2015 ۾. هي هڪ ”وفاقي بازنطيني معاهدو نظام“ آهي جيڪو اجازت ڏئي ٿو غير مرڪزي، ليڊر بيس ڪمپيوٽنگ نيٽ ورڪن کي موثر طريقي سان ڪنهن فيصلي تي اتفاق راءِ تائين پهچڻ جي. اسٽيلر جي ادائگي جو نيٽ ورڪ استعمال ڪري ٿو اسٽيلر اتفاق پروٽوڪول (SCP) هڪ مسلسل ٽرانزيڪشن جي تاريخ کي برقرار رکڻ لاءِ جيڪو سڀني شرڪت ڪندڙن کي نظر اچي ٿو.

اتفاق پروٽوڪول کي سمجھڻ ڏکيو سمجهيو ويندو آهي. SCP انھن مان گھڻن کان سادو آھي، پر اڃا تائين ھن شهرت کي حصيداري ڪري ٿو - جزوي طور تي غلط خيال جي ڪري ته "وفاقي ووٽنگ"، جيڪو سائنسي مضمون جي پھرئين اڌ جو موضوع آھي، SCP آھي. پر اهو سچ ناهي! اهو صرف هڪ اهم بلڊنگ بلاڪ آهي جيڪو آرٽيڪل جو ٻيو اڌ ٺاهڻ لاء استعمال ڪري ٿو حقيقي اسٽيلر اتفاق پروٽوڪول.

هن آرٽيڪل ۾ اسان مختصر طور تي وضاحت ڪنداسين ته "معاهدن جو نظام" ڇا آهي، ان کي "بزنطيني" ڇا ڪري سگهي ٿو ۽ ڇو بازنطيني نظام کي "وفاقي" بڻائي ٿو. اسان پوءِ SCP آرٽيڪل ۾ بيان ڪيل وفاقي ووٽنگ جي طريقيڪار جي وضاحت ڪنداسين، ۽ آخر ۾ اسين خود SCP پروٽوڪول جي وضاحت ڪنداسين.

معاهدو نظام

معاهدي جو هڪ نظام شرڪت ڪندڙن جي هڪ گروپ کي اجازت ڏئي ٿو ته ڪنهن موضوع تي اتفاق راءِ حاصل ڪري، جيئن لنچ لاءِ ڪهڙو آرڊر ڪجي.

Interstellar تي، اسان پنھنجي ڊائننگ معاهدي جو نظام لاڳو ڪيو آھي: اسان اھو حڪم ڪندا آھيون جيڪو اسان جو آپريشن مئنيجر، جان، چوي ٿو. هي هڪ سادي ۽ موثر معاهدي نظام آهي. اسان سڀ جان تي ڀروسو ڪندا آهيون ۽ يقين رکون ٿا ته هو هر روز ڪجهه دلچسپ ۽ غذائي ڳوليندو.

پر ڇا جيڪڏھن جان اسان جي ڀروسي جو غلط استعمال ڪري؟ هو اڪيلو ئي فيصلو ڪري سگهي ٿو ته اسان سڀني کي ويگن ٿيڻ گهرجي. هڪ يا ٻن هفتن ۾، اسان شايد هن کي ختم ڪري ڇڏينداسين ۽ اقتدار ايلزبيٿ جي حوالي ڪنداسين. پر اوچتو هوء avocados سان پيار ڪندي آهي anchovies ۽ سوچيو ته هر ڪنهن کي ائين هجڻ گهرجي. طاقت خراب ڪري ٿي. تنهن ڪري اهو بهتر آهي ته ڪجهه وڌيڪ جمهوري طريقا ڳوليو: ڪجهه طريقي سان پڪ ڪرڻ جو مختلف ترجيحن کي حساب ۾ ورتو وڃي، جڏهن ته بروقت ۽ غير واضح نتيجو کي يقيني بڻائي، ته جيئن ڪو به ماڻهو لنچ جو آرڊر ختم نه ڪري، يا پنج ماڻهو مختلف آرڊر ڏين، يا بحث. شام تائين ڇڪي ٿو.

اهو لڳي ٿو ته حل سادو آهي: ووٽ رکو! پر هي هڪ غلط تاثر آهي. ڪير بيلٽ گڏ ڪندو ۽ نتيجن جي رپورٽ ڪندو؟ ۽ ٻين کي ڇو مڃڻ گهرجي جيڪي هن چيو آهي؟ شايد اسان ڪري سگهون ٿا پهرين تي هڪ ليڊر کي ووٽ ڏيو جنهن تي اسان ووٽنگ جي اڳواڻي ڪرڻ تي اعتماد ڪيو - پر ان جي اڳواڻي ڪير ڪندو پهريون ووٽ ڏيڻ سان؟ ڇا جيڪڏهن اسان ليڊر تي متفق نه ٿي سگهون؟ يا ڇا جيڪڏهن اسان هڪ معاهدو تي پهچي سگهون ٿا، پر هي اڳواڻ هڪ اجلاس ۾ ڦاسي پيو يا بيمار موڪل تي وڃي ٿو؟

ساڳيو مسئلو ورهايل ڪمپيوٽر نيٽ ورڪن ۾ ٿئي ٿو. سڀني شرڪت ڪندڙن يا نوڊس کي لازمي طور تي ڪجھ فيصلي تي متفق ٿيڻ گھرجي، جھڙوڪ جنھن جو موڙ ھڪڙي حصيداري فائل کي اپڊيٽ ڪرڻ يا پروسيسنگ قطار مان ھڪڙي ڪم کي هٽائڻ آھي. هڪ cryptocurrency نيٽ ورڪ ۾، نوڊس کي بار بار اهو چونڊڻو پوندو آهي ته مڪمل ڪهاڻي ڪيترن ئي ممڪن نسخن مان ڪهڙي طرح نظر اچي ٿي، جيڪي ڪڏهن ڪڏهن تڪرار ڪندا آهن. هي نيٽ ورڪ معاهدو وصول ڪندڙ کي يقين ڏياري ٿو ته سڪو آهي (a) صحيح (جعلي ناهي) ۽ (b) اڃا تائين خرچ نه ڪيو ويو آهي. اهو پڻ يقيني بڻائي ٿو ته هو مستقبل ۾ سکن کي خرچ ڪرڻ جي قابل هوندو، ڇاڪاڻ ته نئين وصول ڪندڙ ساڳئي سببن لاء ساڳئي ضمانتون هونديون.

ورهايل ڪمپيوٽنگ نيٽ ورڪ ۾ ڪو به اتفاق وارو نظام لازمي طور تي غلطي برداشت ڪرڻ گهرجي: اهو لازمي نتيجو پيدا ڪرڻ گهرجي غلطين جي باوجود، جهڙوڪ سست لنڪس، غير جوابي نوڊس، ۽ غلط پيغام جي ترتيب. بازنطيني معاهدو سسٽم اضافي طور تي "بازنطين" غلطين جي خلاف مزاحمتي آهي: نوڊس جيڪي غلط معلومات ڏين ٿيون، ڇا ڪنهن غلطي جي ڪري يا عمدي ڪوشش ۾ سسٽم کي خراب ڪرڻ يا ڪجهه فائدو حاصل ڪرڻ جي ڪوشش ۾. "بازنطيني" غلطي رواداري - هڪ گروپ جي فيصلي تي ڀروسو ڪرڻ جي صلاحيت جيتوڻيڪ جڏهن ڪجهه گروپ ميمبر ڪوڙ ڪري سگھن ٿا يا ٻي صورت ۾ فيصلو ڪرڻ جي ضابطن تي عمل نه ڪن ٿا - سڏيو ويندو آهي بازنطيني سلطنت جي جنرلن جي باري ۾ مثالجن حملي کي منظم ڪرڻ جي ڪوشش ڪئي. سٺي وضاحت Anthony Stevens تي.

غور ڪريو crypto ڪوئن جي مالڪ ايلس، جنهن کي ضرور چونڊڻ گهرجي باب کان لذيذ آئس ڪريم خريد ڪرڻ ۽ ڪيرول جي قرض کي ادا ڪرڻ جي وچ ۾. ٿي سگهي ٿو ته ايلس انهن ٻنهي کي هڪ ئي وقت ۾ هڪ ئي سڪو خرچ ڪري دوکي سان ادا ڪرڻ چاهي. هن کي ڪرڻ لاء، هن کي باب جي ڪمپيوٽر کي قائل ڪرڻ گهرجي ته سڪو ڪڏهن به ڪيرول کي ادا نه ڪيو ويو، ۽ ڪيرول جي ڪمپيوٽر کي قائل ڪيو ته اهو سڪو ڪڏهن به باب کي ادا نه ڪيو ويو. بزنطيني نظام جو معاهدو ان کي ناممڪن بڻائي ٿو، اڪثريت جي حڪمراني جي هڪ فارم کي استعمال ڪندي. ڪورم. اهڙي نيٽ ورڪ ۾ هڪ نوڊ تاريخ جي هڪ خاص ورزن ڏانهن منتقل ٿيڻ کان انڪار ڪري ٿو جيستائين اهو ڏسي ٿو ته ڪافي تعداد ۾ ساٿي - هڪ ڪورم - اهڙي منتقلي تي متفق آهن. هڪ دفعو اهو ٿئي ٿو، اهي هڪ ووٽنگ بلاڪ ٺاهيندا ڪافي وڏا آهن باقي نيٽ ورڪ نوڊس کي مجبور ڪرڻ لاء انهن جي فيصلي سان متفق ٿيڻ لاء. ايلس ڪجهه نوڊس کي مجبور ڪري سگهي ٿو ته هو پنهنجي طرفان ڪوڙ ڳالهائي، پر جيڪڏهن نيٽ ورڪ ڪافي وڏو آهي، هن جي ڪوشش ايماندار نوڊس جي ووٽن جي مٿان ختم ٿي ويندي.

ڪورم لاءِ ڪيترا نوڊس گهربل آهن؟ گهٽ ۾ گهٽ، اڪثريت، يا بلڪه، هڪ قابل اڪثريت غلطين ۽ دوکي کي منهن ڏيڻ لاء. پر اڪثريت کي ڳڻڻ لاء، توهان کي شرڪت ڪندڙن جو ڪل تعداد ڄاڻڻ جي ضرورت آهي. Interstellar آفيس يا ضلعي اليڪشن ۾، اهي نمبر ڳولڻ آسان آهن. پر جيڪڏھن توھان جو گروپ ھڪڙو ٺھيل بيان ڪيل نيٽ ورڪ آھي جنھن ۾ نوڊس داخل ٿي سگھن ٿا ۽ ڇڏي سگھن ٿا پنھنجي مرضي کان سواءِ مرڪز کان، پوءِ توھان کي ضرورت آھي وفاقي هڪ بازنطيني معاهدو نظام جيڪو اڳواٽ مقرر ڪيل نوڊس جي فهرست مان ڪورم جو تعين ڪرڻ جي قابل ناهي، پر متحرڪ طور تي، وقت جي هڪ ڏنل نقطي تي نوڊس جي هميشه بدلجندڙ ۽ ناگزير طور تي نامڪمل اسنيپ شاٽ مان.

اهو هڪ وسيع نيٽ ورڪ ۾ هڪ واحد نوڊ جي نقطه نظر کان ڪورم ٺاهڻ ناممڪن لڳي سگهي ٿو، پر اهو ممڪن آهي. اهڙو ڪورم به غير مرڪزي ووٽنگ جي نتيجن جي ضمانت ڏئي سگهي ٿو. SCP وائيٽ پيپر ڏيکاري ٿو ته اهو ڪيئن ڪجي استعمال ڪندي هڪ طريقيڪار جنهن کي سڏيو ويندو آهي وفاقي ووٽ ذريعي.

بي صبري لاءِ

باقي مضمون وفاق ووٽنگ ۽ اسٽيلر اتفاق پروٽوڪول کي وڌيڪ تفصيل سان بيان ڪري ٿو. جيڪڏهن توهان تفصيلن ۾ دلچسپي نٿا رکو، هتي عمل جو هڪ عام جائزو آهي.

  1. نوڊس "نامزد" تي وفاقي ووٽنگ جا راؤنڊ هلائيندا آهن. هڪ وفاقي ووٽنگ گول جو مطلب آهي:
    • نوڊ ڪجهه بيان لاءِ ووٽ ڏئي ٿو، مثال طور، ”مان V جي قيمت پيش ڪريان ٿو“؛
    • نوڊ پيرن جي آوازن کي ٻڌندو آهي جيستائين اهو هڪ ڳولي نه ٿو جيڪو "حاصل" ڪري سگهي ٿو؛
    • نوڊ هن دعويٰ لاءِ ”ڪورم“ ڳولي ٿو. هڪ ڪورم نامزدگي جي "تصديق" ڪري ٿو.
  2. هڪ دفعو هڪ نوڊ هڪ يا وڌيڪ نامزدگي جي تصديق ڪري سگهي ٿو، اهو "تيار" ڪرڻ جي ڪوشش ڪري ٿو "بيليٽ" فيڊريشن ووٽنگ جي ڪيترن ئي دورن ذريعي.
  3. هڪ دفعو هڪ نوڊ تصديق ڪرڻ جي قابل آهي بيلٽ تيار آهي، اهو ان کي وفاق ووٽنگ جي اڃا به وڌيڪ رائونڊ ذريعي انجام ڏيڻ جي ڪوشش ڪري ٿو.
  4. هڪ دفعو هڪ نوڊ هڪ بيلٽ جي عزم جي تصديق ڪري سگهي ٿو، اهو ان بيلٽ جي قيمت کي "ٻاهرايو" ڪري سگهي ٿو ان کي اتفاق راءِ جي نتيجي طور استعمال ڪندي.

انهن مرحلن ۾ وفاقي ووٽنگ جا ڪيترائي راؤنڊ شامل آهن، جيڪي مجموعي طور تي هڪ SCP راؤنڊ ٺاهيندا آهن. اچو ته هڪ ويجهي نظر رکون ته هر قدم تي ڇا ٿئي.

وفاقي ووٽنگ

وفاق ووٽنگ اهو طئي ڪرڻ لاءِ هڪ طريقو آهي ته ڇا نيٽ ورڪ ڪنهن تجويز تي متفق ٿي سگهي ٿو. ووٽنگ جي دور ۾، هر نوڊ کي لازمي طور تي ڪيترن ئي ممڪن قدرن مان هڪ چونڊڻ گهرجي. اهو اهو نٿو ڪري سگهي جيستائين اهو يقين نه هجي ته نيٽ ورڪ ۾ ٻيا نوڊس هڪ مختلف نتيجو نه چونڊيندا. انهي کي يقيني بڻائڻ لاء، نوڊس پيغامن جي هڪ بيراج کي اڳتي ۽ پوئتي مٽائي ٿو ته جيئن هرڪو جي تصديق، اهو ڪورم ڪنڌ لڳن ٿا ساڳئي حل. هن حصي جو باقي حصو هن جملي ۾ اصطلاحن جي وضاحت ڪري ٿو ۽ ڪيئن سڄو عمل ٿئي ٿو.

ڪورم ۽ ڪورم سلائسون

اچو ته هڪ ڪورم جي وضاحت ڪندي شروع ڪريون. جيئن اسان مٿي ذڪر ڪيو آهي، متحرڪ رڪنيت سان گڏ هڪ غير مرڪزي نيٽ ورڪ ۾، اهو ناممڪن آهي ته اڳ ۾ ڄاڻڻ لاء نوڊس جو تعداد ۽ تنهنڪري اڪثريت لاء ڪيترا گهربل آهن. فيڊريشن ووٽنگ هن مسئلي کي حل ڪندي هڪ نئين خيال کي متعارف ڪرايو ڪورم کٽڻ (ڪورم سلائس): پيرن جو هڪ ننڍڙو سيٽ جنهن تي هڪ نوڊ اعتماد ڪري ٿو ووٽنگ جي صورتحال جي معلومات کي نيٽ ورڪ جي باقي حصي تائين پهچائڻ لاء. هر نوڊ پنهنجي ڪورم سلائس جي وضاحت ڪري ٿو (جنهن مان اهو هڪ حقيقي ميمبر بڻجي ويندو آهي).

ڪورم ٺهڻ شروع ٿئي ٿو ڪورم کٽڻ سان. هر نوڊ لاء، ان جا ڪٽي نوڊ شامل ڪيا ويا آهن. پوء سلائسن جا شرط شامل ڪيا ويا آهن اهي نوڊس ۽ ايئن. جئين توھان جاري رکو، اتي وڌيڪ ۽ وڌيڪ نوڊس آھن جيڪي توھان شامل نٿا ڪري سگھو ڇو ته اھي اڳ ۾ ئي سلائس ۾ شامل آھن. جڏهن شامل ڪرڻ لاءِ وڌيڪ نوان نوڊس نه هوندا آهن، اهو عمل بند ٿي ويندو آهي: اسان شروعاتي نوڊ جي ڪورم سلائس جي ”ٽرانزيٽو بندش“ ذريعي هڪ ڪورم ٺاهيو آهي.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
ڏنل نوڊ مان ڪورم ڳولڻ لاءِ...

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
... ان جي سلائس جا ميمبر شامل ڪريو...

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
... پوء اسان انهن نوڊس جا سلائس ميمبر شامل ڪندا آهيون.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
اسان جاري رکون ٿا جيستائين ڪو به نوڊس شامل ڪرڻ لاء باقي نه آهن.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
شامل ڪرڻ لاءِ ڪي به نوڊس باقي نه آھن. هي هڪ ڪورم آهي.

حقيقت ۾، هر نوڊ هڪ کان وڌيڪ سلائسن ۾ ظاهر ٿي سگهي ٿو. ڪورم ٺاھڻ لاءِ، صرف ھڪڙي سلائس کي چونڊيو ۽ ميمبرن کي شامل ڪريو؛ پوءِ هر ميمبر لاءِ ڪو به سليس چونڊيو ۽ ميمبر شامل ڪريو ان ڪٽي وغيره. هن جو مطلب آهي ته هر نوڊ ڪيترن ئي ممڪن ڪورم جو ميمبر آهي.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
هر قدم تي صرف هڪ ڪورم سلائس چونڊيو.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
هڪ ممڪن ڪورم. يا هڪ متبادل ...

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
...ٻين سلائسون چونڊيو...

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
... (جڏهن اهو ممڪن آهي) ...

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
... ٻيو ڪورم ٺاهي ٿو.

هڪ نوڊ کي ڪيئن خبر پوي ٿي ته ڪهڙي سلائسن ۾ ٻيا نوڊ آهن؟ ساڳيء طرح ٻين نوڊس بابت ٻين معلومات جي طور تي: ٽرانسميشن مان جيڪي هر نوڊ نيٽ ورڪ تي نشر ڪندا آهن جڏهن ان جي ووٽنگ جي حالت تبديل ٿي ويندي آهي. هر براڊ ڪاسٽ ۾ موڪليل نوڊ جي سلائسن بابت معلومات شامل آهي. ايس سي پي وائيٽ پيپر هڪ مواصلاتي ميڪانيزم جي وضاحت نٿو ڪري. عمل عام طور تي استعمال ڪن ٿا گپ شپ پروٽوڪول سڄي نيٽ ورڪ ۾ پيغامن جي نشريات جي ضمانت لاءِ.

ياد رهي ته معاهدي جي غير وفاقي بزنطيني نظام ۾، هڪ ڪورم سڀني نوڊس جي اڪثريت جي طور تي بيان ڪيو ويو آهي. بازنطيني معاهدو سسٽم سوال جي نقطي نظر کان ٺهيل آهي: سسٽم ڪيترو بي ايماندار نوڊس برداشت ڪري سگهي ٿو؟ N نوڊس جي سسٽم ۾ جيڪو F ناڪامين کان بچڻ لاءِ تيار ڪيو ويو آهي، هڪ نوڊ کي N-f ساٿين کان موٽ حاصل ڪندي ترقي ڪرڻ جي قابل هجڻ گهرجي ڇاڪاڻ ته انهن مان f هيٺ ٿي سگهي ٿو. پر N−f ساٿين کان جواب حاصل ڪرڻ تي، اسان فرض ڪري سگھون ٿا ته سڀئي f پيرس (جنھن مان نوڊ ڪو جواب نه مليو) اصل ۾ ايماندار آھن. اهڙيء طرح، N-f ساٿين مان f (جنهن مان جواب ملي ويو) بدسلوڪي آهن. نوڊس لاءِ ساڳئي اتفاق راءِ تي اچڻ لاءِ، باقي نوڊس جي اڪثريت ايماندار هجڻ لازمي آهي، يعني، اسان کي ضرورت آهي N−f 2f يا N > 3f کان وڏو هجڻ. تنهن ڪري عام طور تي هڪ سسٽم ٺاهيو ويو آهي f ناڪامين کان بچڻ لاءِ مجموعي طور تي N = 3f + 1 نوڊس ۽ ڪورم سائيز 2f + 1 هوندو. هڪ دفعو هڪ تجويز ڪورم جي حد کي گذري ٿو، باقي نيٽ ورڪ کي يقين آهي ته ڪنهن به مقابلي واري تجويز ناڪام ٿيندي. اهو ڪيئن نيٽ ورڪ جي نتيجي ۾ converges.

پر هڪ وفاقي بازنطيني معاهدي واري نظام ۾، نه رڳو اڪثريت نه ٿي سگهي ٿي (ڇاڪاڻ ته ڪو به نيٽ ورڪ جي ڪل سائيز کي نٿو ڄاڻي)، پر اڪثريت جو تصور مڪمل طور تي بيڪار آهي! جيڪڏهن سسٽم ۾ رڪنيت کليل آهي، ته پوء ڪو ماڻهو اڪثريت حاصل ڪري سگهي ٿو صرف هڪ نام نهاد سيبل حملي کي انجام ڏيڻ سان: بار بار نيٽ ورڪ ۾ شامل ٿيڻ ڪيترن ئي نوڊس ۾. پوءِ ڇو ٽرانزيڪٽ سلائس بندش سڏيو وڃي ٿو ڪورم، ۽ اهو ڪيئن مقابلي واري تجويز کي دٻائڻ جي قابل آهي؟

ٽيڪنيڪل طور تي، ڪو طريقو ناهي! ڇھن نوڊس جي ھڪڙي نيٽ ورڪ جو تصور ڪريو، جتي ٻه ٽي ڀيرا ھڪ ٻئي جي ڪورم سلائسن ۾ الڳ ٿيل آھن. پهريون ذيلي گروپ شايد اهو فيصلو ڪري سگهي ٿو ته ٻيو ڪڏهن به نه ٻڌندو، ۽ ان جي برعڪس. هن نيٽ ورڪ لاء اتفاق تائين پهچڻ جو ڪو به رستو ناهي (سواءِ اتفاق سان).

تنهن ڪري، SCP جي ضرورت آهي ته وفاقي ووٽنگ لاء (۽ ڪاغذ جي اهم نظريات لاڳو ڪرڻ لاء)، نيٽ ورڪ کي هڪ ملڪيت هجڻ گهرجي جنهن کي سڏيو ويندو آهي. corums جي ٽڪراء. ھن ملڪيت سان ھڪڙي نيٽ ورڪ ۾، ڪو به ٻه ڪورم جيڪي ٺاھي سگھجن ٿا ھميشه گھٽ ۾ گھٽ ھڪڙي نوڊ ۾ اوورليپ. نيٽ ورڪ جي موجوده جذبي جو تعين ڪرڻ لاءِ، اھو بھترين آھي جيترو اڪثريت سان. سمجهه سان، هن جو مطلب اهو آهي ته جيڪڏهن ڪو به ڪورم بيان X سان متفق آهي، ڪو ٻيو ڪورم ڪڏهن به ڪنهن ٻئي شيء تي متفق نه ٿي سگهي، ڇاڪاڻ ته اهو لازمي طور تي پهرين ڪورم مان ڪجهه نوڊ شامل ڪندو جيڪو اڳ ۾ ئي X لاء ووٽ ڪيو آهي.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
جيڪڏهن نيٽ ورڪ ۾ ڪورم جو هڪ چونڪ آهي ...

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
... ته پوءِ ڪو به ٻه ڪورم توهان ٺاهي سگهو ٿا...

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
... هميشه ٽڪراءُ ڪندو.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ

(يقيناً، اوورليپنگ نوڊس شايد بازنطيني ڪوڙ يا ٻي صورت ۾ خراب ٿي سگھن ٿا. ان صورت ۾، ڪورم جي چونڪ نيٽ ورڪ کي متفق ٿيڻ ۾ مدد نه ڪندو آهي. ان سبب لاء، SCP وائيٽ پيپر ۾ ڪيترائي نتيجا مبني آهن. واضح مفروضا، جيئن ته نيٽ ورڪ ڪورم ڪراسنگ ۾ ڇا رهجي ويو آهي جيتوڻيڪ خراب نوڊس کي ختم ڪرڻ کان پوء. سادگي لاء، اچو ته انهن فرضن کي ڇڏي ڏيو جڙيل باقي مضمون ۾).

اهو اميد ڪرڻ غير معقول لڳي سگھي ٿو ته هڪ قابل اعتماد ڪورم پار ڪرڻ ممڪن آهي آزاد نوڊس جي نيٽ ورڪ ۾. پر ائين ٿيڻ جا ٻه سبب آهن.

پهريون سبب خود انٽرنيٽ جو وجود آهي. انٽرنيٽ هڪ مڪمل مثال آهي آزاد نوڊس جي هڪ نيٽ ورڪ جو هڪ ٻئي سان ٽڪرائڻ واري ڪورم سان. انٽرنيٽ تي گھڻا نوڊس رڳو ڪجھ ٻين مقامي نوڊس سان ڳنڍجن ٿا، پر اھي ننڍا سيٽ اوورليپ ٿين ٿا ته جيئن ھر نوڊ کي ڪنھن رستي تي ٻئي نوڊ کان پھچي سگھجي.

ٻيو سبب اسٽيلر جي ادائگي جي نيٽ ورڪ لاء مخصوص آهي (SCP جو سڀ کان عام استعمال). اسٽيلر نيٽ ورڪ تي هر اثاثو هڪ جاري ڪندڙ آهي، ۽ اسٽيلر جي هدايتن جي ضرورت آهي ته هر جاري ڪندڙ کي نيٽ ورڪ تي هڪ يا وڌيڪ نوڊس مقرر ڪرڻ لاء ريڊيمپشن درخواستن تي عمل ڪرڻ لاء. اهو توهان جي بهترين مفاد ۾ آهي ته انهن نوڊس کي سڌو يا اڻ سڌي طرح شامل ڪيو هر اثاثن جي ڪورم سلائسن ۾ جنهن ۾ توهان دلچسپي رکو ٿا. ڏنل اثاثن ۾ دلچسپي رکندڙ سڀني نوڊس لاءِ ڪورم پوءِ گھٽ ۾ گھٽ انھن ريڊيمپشن نوڊس تي اوورليپ ڪندو. ڪيترن ئي اثاثن ۾ دلچسپي رکندڙ نوڊس ۾ لاڳاپيل جاري ڪندڙن جا سڀئي ريڊيمپشن نوڊس شامل هوندا انهن جي ڪورم سلائسن ۾، ۽ اهي سڀئي اثاثا گڏ ڪرڻ جي ڪوشش ڪندا. ان کان علاوه، ڪو به اثاثو جيڪي هن طريقي سان ڳنڍيل نه آهن نيٽ ورڪ تي ٻين سان، ۽ ڳنڍڻ نه گهرجي - اهو ڊزائين ڪيو ويو آهي ته هن نيٽ ورڪ لاء ڪو به ڪورم اوورليپ نه آهي (مثال طور، ڊالر زون کان بينڪ ڪڏهن ڪڏهن يورو زون جي بينڪن ۽ پئسو زون جي بينڪن سان واپار ڪرڻ چاهيندا آهن، تنهنڪري اهي ساڳئي نيٽ ورڪ تي آهن، پر ڪو به ناهي. انهن مان بيس بال ڪارڊ وڪڻڻ وارن ٻارن جي الڳ نيٽ ورڪ جو خيال رکندو آهي).

يقينن، توقع ڪورم ڪراسنگ نه آهي ضمانت. ٻيا بازنطيني معاهدو سسٽم انهن جي پيچيدگي جو گهڻو حصو ڪورم جي ضمانت تي آهي. SCP جي هڪ اهم جدت اها آهي ته اهو اتفاق راءِ واري الگورتھم مان ڪورم ٺاهڻ جي ذميواري پاڻ کي هٽائي ٿو ۽ ان کي ايپليڪيشن جي سطح تي آڻي ٿو. ان ڪري، جيتوڻيڪ وفاقي ووٽنگ ڪنهن به مسئلي تي ووٽ ڏيڻ لاءِ ڪافي عام آهي، پر ان جي ڀروسي جو دارومدار ان معنيٰ جي وسيع معنيٰ تي تنقيدي طور تي آهي. ڪجھ فرضي استعمال شايد ٻين وانگر سٺي ڳنڍيل نيٽ ورڪ ٺاهڻ لاءِ سازگار نه هجن.

ووٽنگ، قبوليت ۽ تصديق

وفاق جي ووٽنگ راؤنڊ ۾، هڪ نوڊ اختياري طور تي ڪجهه قدر V لاءِ ووٽ ڏيڻ شروع ڪري ٿو. ان جو مطلب آهي نيٽ ورڪ ڏانهن هڪ پيغام نشر ڪرڻ: "مان نوڊ N آهيان، منهنجو ڪورم سلائسون Q آهن، ۽ مان V لاءِ ووٽ ڏئي رهيو آهيان." جڏهن هڪ نوڊ هن طريقي سان ووٽ ڏئي ٿو، اهو واعدو ڪري ٿو ته هن ڪڏهن به V جي خلاف ووٽ نه ڏنو آهي ۽ ڪڏهن به نه.

پير صاحب جي نشريات ۾، هر نوڊ ڏسي ٿو ته ٻيا ڪيئن ووٽ ڏين ٿا. هڪ دفعو هڪ نوڊ انهن پيغامن مان ڪافي گڏ ڪري ٿو، اهو ڪورم سلائسن کي ٽريڪ ڪري سگهي ٿو ۽ ڪورم ڳولڻ جي ڪوشش ڪري ٿو. جيڪڏهن هو پيرن جو هڪ ڪورم ڏسي ٿو جيڪو پڻ V کي ووٽ ڏئي ٿو، هو اڳتي وڌائي سگهي ٿو اپنائڻ V ۽ هن نئين پيغام کي نيٽ ورڪ تي نشر ڪيو: "مان نوڊ N آهيان، منهنجي ڪورم سلائسون Q آهن، ۽ مان V قبول ڪريان ٿو." قبوليت سادي ووٽنگ کان وڌيڪ مضبوط ضمانت فراهم ڪري ٿي. جڏهن هڪ نوڊ V لاءِ ووٽ ڏئي ٿو، اهو ڪڏهن به ٻين اختيارن لاءِ ووٽ نٿو ڏئي سگهي. پر جيڪڏهن ڪو نوڊ قبول ڪري ٿو V، نيٽ ورڪ تي ڪو به نوڊ ڪڏهن به ٻئي آپشن کي قبول نه ڪندو (SCP وائيٽ پيپر ۾ Theorem 8 اهو ثابت ڪري ٿو).

يقينن، اتي هڪ وڏو امڪان آهي ته اتي فوري طور تي نوڊس جو ڪورم نه هوندو جيڪو V سان متفق هوندو. ٻيا نوڊس ٻين قدرن لاءِ ووٽ ڏئي سگھن ٿا. پر ھڪڙو ٻيو طريقو آھي ھڪڙو نوڊ لاءِ سادو ووٽنگ کان قبوليت ڏانھن. N شايد W لاءِ مختلف قدر قبول ڪري سگھي ٿو، جيتوڻيڪ ھن ان لاءِ ووٽ نه ڏنو آھي، ۽ جيتوڻيڪ ھن ان لاءِ ڪورم نه ڏٺو آھي. پنھنجي ووٽ کي تبديل ڪرڻ جو فيصلو ڪرڻ لاء، صرف ڏسو بلاڪ سيٽ نوڊس جن W کي قبول ڪيو آھي. ھڪ بلاڪنگ سيٽ ھر ھڪڙي ڪورم سلائسس مان ھڪڙو نوڊ آھي N. جيئن نالو مشھور آھي، اھو ڪري سگھي ٿو بلاڪ ڪو ٻيو مطلب. جيڪڏهن اهڙي سيٽ ۾ سڀئي نوڊس W کي قبول ڪن ٿا، ته پوءِ (Theorem 8 جي ذريعي) اهو ڪڏهن به ممڪن نه ٿيندو ته ڪورم ٺاهيو وڃي جيڪو هڪ مختلف قدر وٺي، ۽ ان ڪري N لاءِ W قبول ڪرڻ به محفوظ آهي.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
نوڊ N ٽن ڪورم سلائسن سان.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
BDF N لاءِ بلاڪنگ سيٽ آھي: ان ۾ N جي ھر سلائسن مان ھڪڙو نوڊ شامل آھي.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
BE پڻ N لاءِ بلاڪنگ سيٽ آھي ڇاڪاڻ ته E ن جي ٻن سلائسن ۾ نظر اچي ٿو.

پر بلاڪنگ سيٽ ڪورم ناهي. نوڊ N کي گهربل قدر قبول ڪرڻ لاءِ چالبازي ڪرڻ تمام آسان ٿيندو جيڪڏھن N جي ھر سلائس ۾ صرف ھڪڙي نوڊ کي ھيڪ ڪرڻ ڪافي ھو. ان ڪري، قدر کي قبول ڪرڻ ووٽنگ جي پڄاڻي نه آھي. ان جي بدران، N کي قيمت جي تصديق ڪرڻ گهرجي، اهو آهي، نوڊس جو هڪ ڪورم ان کي قبول ڪندي. جيڪڏهن اهو ايترو پري آهي، ته پوءِ، جيئن SCP وائيٽ پيپر ثابت ٿئي ٿو (Theorem 11 ۾)، باقي نيٽ ورڪ به آخرڪار ساڳئي قدر جي تصديق ڪندو، تنهنڪري N وفاق ووٽ کي هڪ خاص قدر سان ختم ڪندو نتيجي طور.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
وفاقي ووٽنگ.

ووٽنگ، قبوليت، ۽ تصديق جو عمل وفاقي ووٽنگ جو هڪ مڪمل دور آهي. اسٽيلر اتفاق راءِ پروٽوڪول انهن ڪيترن ئي دورن کي گڏ ڪري ٿو هڪ مڪمل اتفاق راءِ وارو نظام ٺاهي.

اسٽيلر اتفاق پروٽوڪول

متفقه نظام جا ٻه اهم خاصيتون آهن - حفاظت и بقا. هڪ اتفاق الورورٿم "محفوظ" آهي جيڪڏهن اهو ڪڏهن به مختلف شرڪت ڪندڙن کي مختلف نتيجا نه ڏئي سگهي (باب جي تاريخ جي ڪاپي ڪڏهن به ڪيرول سان تضاد نه ڪندي). "Livability" جو مطلب آهي ته الورورٿم هميشه هڪ نتيجو پيدا ڪندو، اهو آهي، اهو پڪو نه ٿيندو.

بيان ڪيل وفاقي ووٽنگ جي طريقيڪار محفوظ ان معنى ۾ ته جيڪڏهن ڪو نوڊ V جي قدر جي تصديق ڪري ٿو، ته ٻيو ڪو به نوڊ ٻي قدر جي تصديق نه ڪندو. پر ”ٻي معنيٰ جي تصديق نه ڪندو“ جو مطلب اهو ناهي ته اهو لازمي طور تي ڪنهن شيءِ جي تصديق ڪندو. شرڪت ڪيترن ئي مختلف قدرن تي ووٽ ڏئي سگھن ٿا ته ڪجھ به قبوليت جي حد تائين نه پھچندو. هن جو مطلب آهي ته وفاقي ووٽنگ ۾ نه آهي بقا.

اسٽيلر اتفاق راءِ پروٽوڪول وفاقي ووٽنگ کي اهڙي طريقي سان استعمال ڪري ٿو جيڪو ٻنهي سيڪيورٽي ۽ بقا کي يقيني بڻائي ٿو. (SCP جي حفاظت ۽ بقا جي ضمانتن جي نظرياتي حد هوندي آهي. ڊزائن هڪ تمام مضبوط حفاظتي گارنٽي کي چونڊيندي آهي، هڪ ننڍڙي بقا جي گھٽتائي کي قربان ڪندي، پر ڪافي وقت ڏنو وڃي، اتفاق راءِ تي پهچڻ جو تمام گهڻو امڪان آهي.) مختصر طور تي، خيال اهو آهي ته ڪيترن ئي قدرن تي ڪيترن ئي فيڊريڊ ووٽن کي حاصل ڪيو وڃي جيستائين انهن مان هڪ کي هيٺ ڏنل بيان ڪيل SCP ووٽنگ جي سڀني مرحلن ذريعي نه ٺاهي.

اهي قدر جن تي SCP اتفاق راءِ طلب ڪري ٿي، ٽرانزيڪشن جي تاريخ يا لنچ آرڊر يا ٻيو ڪجهه ٿي سگهي ٿو، پر اهو ياد رکڻ ضروري آهي ته اهي قدر نه آهن جيڪي قبول يا تصديق ٿيل آهن. ان جي بدران، وفاقي ووٽنگ جي مطابق ٿيندي آهي انهن قدرن بابت بيان.

وفاقي ووٽنگ جي پهرين مرحلي تي ٿينديون نامزدگي اسٽيج (نامزديءَ جو مرحلو)، بيانن جي هڪ سيٽ تي جيئن ته ”آءٌ نامزد ڪريان ٿو V،“ شايد V جي ڪيترن ئي مختلف قدرن لاءِ. نامزدگي جو مقصد هڪ يا وڌيڪ بيانن کي ڳولڻ آهي جيڪي قبوليت ۽ تصديق مان گذري وڃن.

تصديق ٿيل اميدوارن کي ڳولڻ کان پوء، SCP ووٽنگ جي مرحلي ڏانهن هلندو آهي، جتي مقصد هڪ خاص ڳولڻ آهي بليٽن (يعني، تجويز ڪيل قيمت لاء هڪ ڪنٽينر) ۽ هڪ ڪورم جيڪو اعلان ڪري سگهي ٿو انجام ڏيڻ ان لاءِ (عزم). جيڪڏهن ڪورم ووٽ ڏئي ٿو ته ان جي قيمت اتفاق راءِ طور قبول ڪئي ويندي آهي. پر ان کان اڳ جو ھڪڙو نوڊ بيلٽ ڪمٽ تي ووٽ ڏئي سگھي ٿو، اھو پھريائين تصديق ڪرڻ گھرجي منسوخي سڀ بيلٽ گهٽ انسداد قيمت سان. اهي مرحلا- بيلٽ کي منسوخ ڪرڻ هڪ ڳولڻ لاءِ جيڪو انجام ڏئي سگهجي ٿو- ڪيترن ئي بيلٽ دعوائن تي فيڊريٽ ووٽنگ جا ڪيترائي رائونڊ شامل آهن.

هيٺيان حصا نامزدگي ۽ ووٽنگ کي وڌيڪ تفصيل سان بيان ڪن ٿا.

نامزدگي

نامزدگي واري مرحلي جي شروعات ۾، هر نوڊ بي ترتيب طور V لاءِ قدر چونڊي سگهي ٿو ۽ بيان لاءِ ووٽ ڏئي سگهي ٿو "مان نامزدگي V." هن مرحلي تي مقصد هڪ وفاق ووٽ ذريعي ڪجهه قدر جي نامزدگي جي تصديق ڪرڻ آهي.

شايد ڪافي نوڊس ڪافي مختلف تجويزن تي ووٽ ڏين ٿا ته ڪو به نامزدگي قبوليت جي حد تائين پهچي نه سگھي. تنهن ڪري، انهن جي پنهنجي نامزدگي ووٽن کي نشر ڪرڻ کان علاوه، نوڊس پنهنجن ساٿين جي نامزدگي کي "عڪس" ڪن ٿا. گونج جو مطلب اهو آهي ته جيڪڏهن ڪو نوڊ نامزدگي V لاءِ ووٽ ڏئي ٿو، پر هڪ پاڙيسري کان هڪ پيغام ڏسي ٿو جيڪو نامزدگي لاءِ ووٽ ڏئي رهيو آهي، اهو هاڻي V ۽ W ٻنهي کي ووٽ ڏيندو. مختلف نامزدگيون. SCP ۾ انهن ووٽن کي منظم ڪرڻ لاءِ هڪ ميکانيزم شامل آهي. مختصر ۾، نوڊ جي نقطه نظر کان پير صاحب جي "ترجيح" کي طئي ڪرڻ لاءِ هڪ فارمولا آهي، ۽ صرف اعليٰ ترجيحي نوڊس جا ووٽ ظاهر ٿيندا آهن. نامزدگي گهڻي هوندي وٺندو آهي، هيٺئين حد تائين، تنهن ڪري نوڊ پيرن جي سيٽ کي وڌائيندو آهي جن جا ووٽ اهو ظاهر ڪندا. ترجيحي فارمولا ۾ شامل آهي سلاٽ نمبر ان جي ان پٽن مان هڪ آهي، تنهنڪري هڪ سلاٽ لاء اعلي-ترجيح وارو پير شايد گهٽ-ترجيح وارو پير آهي ٻيو، ۽ ان جي برعڪس).

تصوراتي طور تي، نامزدگي متوازي آهي، ٻئي V ۽ W الڳ الڳ وفاقي ووٽ آهن، هر هڪ انفرادي طور تي قبوليت يا تصديق حاصل ڪرڻ جي قابل آهي. عملي طور تي، SCP پروٽوڪول پيغام انهن انفرادي ووٽن کي گڏ ڪري ٿو.

جيتوڻيڪ V جي نامزدگي لاءِ ووٽ ڏيڻ هڪ واعدو آهي ته ڪڏهن به V جي نامزدگي جي خلاف ووٽ نه ڏيو، اهو درخواست جي سطح تي آهي - هن صورت ۾ SCP - اهو طئي ڪيو ويو آهي ته "خلاف" جو مطلب ڇا آهي. SCP اهڙو بيان نٿو ڏسي جيڪو "I nominate X" جي ووٽ سان تضاد رکي ٿو، اهو آهي، ڪو به ناهي "مان نامزد ڪرڻ جي خلاف آهيان X" پيغام، تنهنڪري نوڊ ڪنهن به قدر کي نامزد ڪرڻ لاء ووٽ ڏئي سگهي ٿو. انهن مان ڪيترائي نامزدگي ڪٿي به نه ويندا، پر آخرڪار نوڊ هڪ يا وڌيڪ قدرن کي قبول يا تصديق ڪرڻ جي قابل هوندو. هڪ دفعو نامزدگي جي تصديق ڪئي وئي آهي، هو بڻجي ويندو آهي اميدوار.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
SCP نامزدگي وفاقي ووٽنگ استعمال ڪندي. اتي ڪيترائي "B" قدر ٿي سگھن ٿا پيرن پاران اڳيان رکيا ويا آھن ۽ نوڊ پاران "عڪس".

نامزدگي جي نتيجي ۾ ڪيترن ئي تصديق ٿيل اميدوارن جي نتيجي ۾ ٿي سگھي ٿي. تنهن ڪري، SCP کي درخواست جي پرت جي ضرورت آهي ته اميدوارن کي هڪ ۾ گڏ ڪرڻ جو ڪجهه طريقو مهيا ڪرڻ لاء جامع (جامع). شامل ٿيڻ جو طريقو ڪجھ به ٿي سگهي ٿو. بنيادي شيء اها آهي ته جيڪڏهن اهو طريقو طئي ڪندڙ آهي، ته هر نوڊ ساڳئي اميدوارن کي گڏ ڪندو. لنچ ووٽنگ سسٽم ۾، "اتحاد" جو مطلب صرف ٻن اميدوارن مان هڪ کي رد ڪرڻ آهي. (پر هڪ مقرري طريقي سان: هر نوڊ کي ٻيهر سيٽ ڪرڻ لاءِ ساڳيو قدر چونڊڻ گهرجي. مثال طور، اڳوڻو چونڊ الفابيٽ جي ترتيب ۾). اسٽيلر جي ادائگي جي نيٽ ورڪ ۾، جتي ٽرانزيڪشن جي تاريخ تي ووٽ ڪيو ويو آهي، ٻن تجويز ڪيل نامزدگين کي ضم ڪرڻ ۾ شامل آهن انهن ٽرانزيڪشن کي ضم ڪرڻ ۽ انهن جي ٻن ٽائم اسٽيمپ جي تازي.

SCP وائيٽ پيپر ثابت ڪري ٿو (Theorem 12) ته توسيع واري مرحلي جي آخر تائين، نيٽ ورڪ آخرڪار هڪ واحد جامع ۾ بدلجي ٿو. پر اتي ھڪڙو مسئلو آھي: وفاق ووٽنگ ھڪڙو غير مطابقت وارو پروٽوڪول آھي (جهڙوڪ SCP). ٻين لفظن ۾، نوڊس وقت سان هموار نه هوندا آهن، پر صرف انهن پيغامن جي ذريعي جيڪي اهي موڪليندا آهن. نوڊ جي نقطي نظر کان، اهو واضح ناهي جڏهن ختم واڌ جو مرحلو. ۽ جيتوڻيڪ سڀئي نوڊس آخرڪار ساڳئي جامع تي پهچندا، اهي رستي ۾ مختلف رستا وٺي سگهن ٿا، رستي ۾ مختلف جامع اميدوار ٺاهي رهيا آهن، ۽ ڪڏهن به اهو نه ٻڌائي سگهندا ته ڪير آخري آهي.

پر اهو عام آهي. نامزدگي صرف تياري آهي. بنيادي شيء اها آهي ته اميدوارن جي تعداد کي محدود ڪرڻ لاء اتفاق راء حاصل ڪرڻ، جيڪو عمل ۾ ٿئي ٿو آفيس لاءِ ڊوڙڻ (بلوٽنگ).

هلندڙ

بليٽ هڪ جوڙو آهي , جتي counter is an integer that starts at 1 ۽ value is a candidate from the nomination stage. اهو ٿي سگهي ٿو هڪ نوڊ جو پنهنجو اميدوار يا هڪ پاڙيسري نوڊ جو اميدوار ان نوڊ طرفان قبول ڪيو وڃي. عام طور تي ڳالهائڻ، هڪ بيلٽ ۾ بار بار ڪوششون شامل آهن نيٽ ورڪ کي مجبور ڪرڻ جي لاءِ ڪجهه اميدوار تي اتفاق راءِ تائين پهچڻ لاءِ ڪجهه بيلٽ تي ممڪن طور تي ڪيترن ئي فيڊريڊ ووٽن کي بيلٽ بيانن تي رکڻ سان. بيلٽ تي ڳڻپيندڙ ڪوششن تي نظر رکندا آهن، ۽ وڌيڪ ڳڻپ وارا بيلٽ گهٽ ڳڻپ وارن بيلٽس تي اوليت رکن ٿا. جيڪڏهن خبر ليٽر ڦاسي پيو، هڪ نئون ووٽ شروع ٿئي ٿو، هاڻي بيلٽ تي .

اهو فرق ڪرڻ ضروري آهي مطلب (مثال طور، لنچ جو آرڊر ڇا هجڻ گهرجي: پيزا يا سلاد)، نيوز ليٽر (counter-value pair) ۽ بيانن ووٽن جي باري ۾. SCP راؤنڊ ۾ وفاقي ووٽنگ جا ڪيترائي دور شامل آهن، خاص طور تي هيٺين بيانن تي:

  • "مان بيلٽ بي ڪرڻ لاء تيار آهيان" ۽
  • "مان بيلٽ بي جي عزم جو اعلان ڪريان ٿو"

ڏنل نوڊ جي نقطه نظر کان، اتفاق تڏهن پهچي ٿو جڏهن اهو هڪ بيلٽ B ڳولي ٿو جنهن جي لاءِ اها تصديق ڪري سگهي ٿي (يعني ڪورم قبول ڪرڻ وارو ڳولهيو) بيان "آئون بيلٽ بي کي انجام ڏيان ٿو." هن نقطي کان، B ۾ بيان ڪيل قدر تي عمل ڪرڻ لاء محفوظ آهي - مثال طور، لنچ لاء هن آرڊر کي رکڻ. ان کي سڏيو ويندو آهي خارجي ڪرڻ معنيٰ هڪ دفعو بيلٽ جي قبوليت جي تصديق ڪئي وئي آهي، هڪ نوڊ پڪ ڪري سگهي ٿو ته ڪنهن ٻئي نوڊ ساڳئي قدر کي خارج ڪيو آهي يا مستقبل ۾ ائين ڪندو.

جيتوڻيڪ ڪيترن ئي وفاق وارا ووٽ تصوراتي طور تي ڪيترن ئي مختلف بيلٽس لاءِ دعويٰ تي ڪيا ويندا آهن، پر اهي ايترا پيغام نه مٽائيندا آهن ڇاڪاڻ ته هر پيغام ڪيترن ئي بيلٽس کي گڏ ڪري ٿو. ھڪڙو پيغام اھڙيءَ طرح ھڪڙي ئي وقت ڪيترن ئي وفاقي ووٽن جي حالت کي فروغ ڏئي ٿو، مثال طور: ”مان قبول ڪريان ٿو واعدو ووٽن کان وٺي اڳ "

اصطلاحن ”تيار ٿيل“ ۽ ”ڪمٽ“ جو مطلب ڇا آهي؟

هڪ نوڊ ووٽ ڏيڻ لاءِ ووٽ ڏئي ٿو جڏهن اهو يقين آهي ته ٻيا نوڊ مختلف قدرن سان بيلٽ نه ڪندا. هن کي قائل ڪرڻ جو مقصد آهي ايپليڪيشن تيار ڪرڻ. هڪ ووٽ جيڪو چوي ٿو "آئون بيلٽ B ڪرڻ لاءِ تيار آهيان" اهو واعدو آهي ته ڪڏهن به بيلٽ بي کان ننڍو نه ٿيندو، يعني ننڍي ڳڻپ سان (SCP کي گهربل آهي ته بيلٽ ۾ قيمتون هڪ خاص ترتيب ۾ هجن. اهڙيءَ طرح، نيوز ليٽر گهٽ ، جيڪڏهن N1

”مان بيلٽ بي ڪرڻ لاءِ تيار آهيان“ جو مطلب ڇو آهي ”مان واعدو ڪيان ٿو ته ڪڏهن به بيلٽ بي کان ننڍو نه ڪندس“؟ ڇو ته ايس سي پي کي ختم ڪرڻ جي وضاحت ڪري ٿو عزم جي برعڪس. بيلٽ تيار ڪرڻ لاءِ ووٽ پڻ شامل آهي ڪجهه ٻين بيلٽ کي نااهل ڪرڻ لاءِ ووٽ، ۽، جيئن اسان اڳ ۾ بحث ڪيو، هڪ شيءِ لاءِ ووٽ ڏيڻ هڪ واعدو آهي ته ان جي خلاف ووٽ نه ڏيڻ.

واعدو نشر ڪرڻ کان پهريان، هڪ نوڊ کي لازمي طور تي هڪ بليٽين ڳولڻ گهرجي ته اهو تيار ڪيل طور تي تصديق ڪري سگهي ٿو. ٻين لفظن ۾، اهو "آئون بيلٽ B ڪرڻ لاءِ تيار آهيان" جي موضوع تي فيڊريشن ووٽ ڏئي ٿو، ممڪن طور تي ڪيترن ئي مختلف بيلٽس تي، جيستائين اهو ڪورم قبول نه ڪري.

ووٽ تيار ڪرڻ لاءِ بيلٽ ڪٿان ايندا؟ پهريون، نوڊ نشر ڪري ٿو تيارين لاءِ ووٽ ڏيڻ لاءِ <1,C>، جتي C جامع اميدوار آهي جيڪو نامزدگي واري مرحلي ۾ تيار ڪيو ويو آهي. جڏهن ته، ووٽنگ جي تياري شروع ٿيڻ کان پوء، نامزدگي جي نتيجي ۾ ٿي سگهي ٿو اضافي اميدوارن کي نوان بيلٽ بڻجي ويندا. ان کان علاوه، پيرن جا مختلف اميدوار ٿي سگهن ٿا، ۽ اهي هڪ بلاڪنگ سيٽ ٺاهي سگهن ٿا جيڪو قبول ڪري ٿو "مان تيار آهيان B2 بيلٽ ڪرڻ لاء،" جيڪو نوڊ کي پڻ قبول ڪرڻ لاء قائل ڪندو. آخرڪار، اتي هڪ ٽائم آئوٽ ميڪنزم آهي جيڪو نئين بيلٽ تي فيڊريشن ووٽنگ جا نوان راؤنڊ ٺاهي ٿو جيڪڏهن موجوده بيلٽ پڪي ٿي ويا آهن ته اعلي ڳڻپ سان.

جيئن ئي نوڊ هڪ بيلٽ B ڳولي ٿو ته اهو تيار ڪيل طور تي تصديق ڪري سگهي ٿو، اهو هڪ نئون پيغام نشر ڪري ٿو "ڪمٽ بيلٽ بي." هي ووٽ ساٿين کي ٻڌائي ٿو ته نوڊ ڪڏهن به نه ڏيندو B. حقيقت ۾، جيڪڏهن B هڪ بيلٽ آهي ، پوءِ ”ڪمٽ بيلٽ "مطلب آهي هر بيلٽ جي تياري لاءِ ووٽ ڏيڻ جي غير مشروط رضامندي ڏانهن <∞، s>. هي اضافي قدر ٻين ساٿين کي ڪمٽٽ پير سان پڪڙڻ ۾ مدد ڪري ٿو جيڪڏهن اهي اڃا تائين پروٽوڪول جي اڳئين مرحلن ۾ آهن.

هن مرحلي تي، اهو هڪ ڀيرو ٻيهر زور ڏيڻ جي قابل آهي ته اهي غير مطابقت پروٽوڪول آهن. صرف ان ڪري ته هڪ نوڊ هڪ ڪمٽ لاءِ ووٽ موڪلي ٿو ان جو مطلب اهو ناهي ته ان جا ساٿي به ڪندا آهن. انهن مان ڪجهه اڃا تائين ووٽنگ جي تياري ۾ بيانن تي ووٽ ڏئي سگهي ٿو، ٻيا شايد اڳ ۾ ئي معني کي خارج ڪري چڪا آهن. SCP وضاحت ڪري ٿو ته ڪيئن هڪ نوڊ هر قسم جي پير صاحب جي پيغام کي پروسيس ڪرڻ گهرجي ان جي مرحلي کان سواء.

جيڪڏهن پيغام "مون هڪ عزم جو اعلان ڪيو آهي » وصول يا تصديق نه ٿي ڪري سگھجي، يعني پيغام جي قبوليت يا تصديق ٿيڻ جو امڪان يا - يا، ڪنهن به صورت ۾، قيمت C سان ڪو به بيلٽ، ۽ ٻيو نه، ڇاڪاڻ ته نوڊ اڳ ۾ ئي واعدو ڪيو آهي ته ڪڏهن به منسوخ نه ٿيندو . وقت تائين هڪ نوڊ هڪ ڪمٽ لاءِ ووٽ نشر ڪري ٿو، اهو سي يا ڪجھ به نه هوندو، ان تي منحصر آهي ته اتفاق راءِ ڪيتري حد تائين وڃي ٿو. بهرحال، اهو اڃا تائين ڪافي نه آهي نوڊ لاءِ ٻاهران C. ڪجهه بازنطيني همراهه (جيڪو ڪورم کان گهٽ آهي، اسان جي حفاظتي مفروضن جي بنياد تي) شايد نوڊ تي ڪوڙ ڳالهائي سگهي ٿو. قبول ڪرڻ ۽ پوءِ تصديق ڪرڻ ڪجهه بيلٽ (يا بيلٽ جي حد) اهو آهي جيڪو نوڊ کي اعتماد ڏئي ٿو آخرڪار C کي خارج ڪرڻ لاءِ.

اسٽيلر اتفاق پروٽوڪول کي سمجهڻ
وفاقي ووٽنگ ذريعي SCP ووٽنگ. نه ڏيکاريو ويو آهي: ٽائمر ڪنهن به وقت بند ٿي سگهي ٿو، بيلٽ تي ڳڻپ وڌائيندي (۽ ممڪن طور تي اضافي نامزد ٿيل اميدوارن جو هڪ نئون مجموعو پيدا ڪرڻ).

۽ اهو سڀ ڪجهه آهي! هڪ دفعو نيٽ ورڪ اتفاق راءِ تي پهچي چڪو آهي، اهو ٻيهر ٻيهر ڪرڻ لاءِ تيار آهي. اسٽيلر جي ادائگي جي نيٽ ورڪ تي، اهو لڳ ڀڳ هڪ ڀيرو هر 5 سيڪنڊن ۾ ٿئي ٿو: هڪ اهڙو ڪم جنهن لاءِ SCP پاران ضمانت ڏنل سيڪيورٽي ۽ بقا ٻنهي جي ضرورت آهي.

SCP هن کي حاصل ڪري سگهي ٿو وفاق ووٽنگ جي ڪيترن ئي رائونڊ تي ڀروسو ڪندي. وفاق ووٽنگ ممڪن آهي ڪورم سلائسز جي تصور سان: پيرن جو سيٽ جنهن تي هر نوڊ ان جي (موضوع) ڪورم جي حصي طور ڀروسو ڪرڻ جو فيصلو ڪيو آهي. هن تشڪيل جو مطلب آهي ته اتفاق راءِ تائين پهچي سگهجي ٿو نيٽ ورڪ ۾ به کليل رڪنيت ۽ بازنطيني فريب سان.

وڌيڪ پڙهڻ

  • اصل SCP وائيٽ پيپر ملي سگهي ٿو هتي۽ هتي ان جي عمل درآمد لاء مسودو specifications.
  • ايس سي پي پروٽوڪول جو اصل ليکڪ، ڊيوڊ ميزيئر، ان کي هڪ آسان (پر اڃا تائين ٽيڪنيڪل) انداز ۾ بيان ڪري ٿو. هتي.
  • توھان کي حيرت ٿي سگھي ٿي ته ھن مضمون ۾ اصطلاحن ”مائننگ“ يا ”ڪم جو ثبوت“ نه ملن. SCP انهن طريقن کي استعمال نٿو ڪري، پر ڪجهه ٻيا متفقه الگورتھم ڪندا آهن. زين ويدرسپون لکيو آهي رسائي لائق اتفاق الخوارزمي جو جائزو.
  • تفصيل سان قدم قدم هڪ سادي نيٽ ورڪ جيڪا SCP جي هڪ مڪمل دور ۾ اتفاق راءِ تائين پهچي ٿي.
  • پڙهندڙن لاءِ جيڪي SCP لاڳو ڪرڻ ۾ دلچسپي رکن ٿا: ڏسو سي ++ ڪوڊ, اسٽيلر ادائگي نيٽ ورڪ پاران استعمال ڪيو ويو، يا وڃو ڪوڊ، جيڪو مون SCP جي بهتر سمجھڻ لاءِ لکيو.

جو ذريعو: www.habr.com

تبصرو شامل ڪريو