বিতর্কিত কম্পিউটিংয়ে theকমত্যের সমস্যাটি এত গুরুত্বপূর্ণ কেন?


19

বিতরণ করা কম্পিউটিংয়ে, sensকমত্যের সমস্যাটি কেন্দ্রীয় বিষয়গুলির মধ্যে একটি বলে মনে হচ্ছে যা নিবিড় গবেষণাকে আকর্ষণ করেছে। বিশেষত, "ওয়ান ত্রুটিযুক্ত প্রক্রিয়া সহ বিতরণ সম্মতির অসম্পূর্ণতা" পত্রিকাটি 2001 এর পিওডিসি প্রভাবশালী কাগজ পুরষ্কার পেয়েছিল ।

তাহলে theকমত্যের সমস্যাটি এত গুরুত্বপূর্ণ কেন? তত্ত্ব এবং অনুশীলনে উভয়ই আমরা sensকমত্যের সাথে কী অর্জন করতে পারি?

যে কোনও তথ্যসূত্র বা বিবরণ সত্যই সহায়ক হবে।

উত্তর:


18

আপনি যে কাগজটি উল্লেখ করেছেন তা 2 কারণে গুরুত্বপূর্ণ:

  1. এটি দেখায় যে এমন কোনও অ্যাসিনক্রোনাস ডিটারিমনস্টিক sensক্যমত্য অ্যালগরিদম নেই যা এমনকি একটি একক ক্রাশ ত্রুটিও সহ্য করে। মনে রাখবেন যে সিঙ্ক্রোনাস সেটিংয়ে একটি ডিস্ট্রিমেন্টিক অ্যালগরিদম রয়েছে যা রাউন্ডে শেষ হয় যখন ক্র্যাশ হয়ে যায়।ff+1f
  2. এটা তোলে প্রবর্তন bivalence এবং univalence কনফিগারেশনের (*), যা পরে অনেক কম সীমা এবং অসম্ভবতা প্রমাণে ব্যবহৃত হয়।

অ্যাপ্লিকেশন

Sensকমত্য সমস্যার একটি গুরুত্বপূর্ণ প্রয়োগ হ'ল কিছু বৈশ্বিক পদক্ষেপ গ্রহণের জন্য দোষ-সহনশীল পরিবেশে সমন্বয়কারী বা নেতার নির্বাচন। একটি sensক্যমত্য অ্যালগরিদম আপনাকে অগ্রিম "সুপারনোড" ঠিক না করেই ফ্লাই অন-ফ্লাই করার অনুমতি দেয় (যা ব্যর্থতার একক পয়েন্টটি প্রবর্তন করবে)।

অন্য একটি অ্যাপ্লিকেশনটি বিতরণ করা নেটওয়ার্কে ধারাবাহিকতা বজায় রাখছে: মনে করুন যে আপনার কাছে একই পরিবেশ নিরীক্ষণ করার জন্য বিভিন্ন সেন্সর নোড রয়েছে। এই ক্ষেত্রে সেন্সর নোডগুলির মধ্যে কিছু ক্র্যাশ হয়ে গেছে (বা এমনকি একটি হার্ডওয়্যার ত্রুটির কারণে ক্ষতিগ্রস্থ ডেটা প্রেরণও শুরু করেছে), একটি sensক্যমত্য প্রোটোকল যেমন ত্রুটিগুলির বিরুদ্ধে দৃ rob়তা নিশ্চিত করে।


(*) বিতরণ করা অ্যালগরিদমের একটি রান কনফিগারেশনের ক্রম। একটি কনফিগারেশন প্রক্রিয়াগুলির স্থানীয় রাজ্যের একটি ভেক্টর। প্রতিটি প্রক্রিয়া একটি নিয়ন্ত্রক রাষ্ট্র মেশিন চালায়। যে কোনও সঠিক sensক্যমত্য অ্যালগরিদম শেষ পর্যন্ত এমন একটি কনফিগারেশনে পৌঁছাতে হবে যেখানে প্রতিটি প্রক্রিয়া একই ইনপুট মানটির (অপরিবর্তনীয়) সিদ্ধান্ত নিয়েছে। একটি কনফিগারেশন হল - valent যদি, কোন ব্যাপার কি প্রতিদ্বন্দ্বী করে, সব সম্ভব এক্সটেনশন এর একটি সিদ্ধান্ত মান সীসা । আনুষাঙ্গিকভাবে, আমরা - ভারসাম্য সংজ্ঞায়িত করতে পারি । একটি কনফিগারেশন হল দ্বিযোজী উভয় সিদ্ধান্ত থেকে পৌঁছানো হয়1 সি 1 0 সেঃ সি সিC1C10CC(যার মধ্যে দু'জনের মধ্যে কোন একটি পৌঁছেছে তা বিরোধীদের উপর নির্ভর করে)। স্পষ্টতই, কোনও প্রক্রিয়া দ্বিখণ্ডিত কনফিগারেশন সিদ্ধান্ত নিতে পারে না , অন্যথায় আমরা চুক্তির দ্বন্দ্ব পাই! সুতরাং আমরা যদি এইরকম দ্বিখণ্ডিত কনফিগারেশনের একটি অসীম অনুক্রম তৈরি করতে পারি, আমরা দেখিয়েছি যে এই সেটিংটিতে কোনও sensক্যমত্য অ্যালগরিদম নেই।C


2
একটি সম্পূরক হিসাবে @AJed: আমি কাগজ উপর glanced আছে সিঙ্ক্রোনাইজেশন মাউরিস Herlihy দ্বারা এবং এখন ঐক্যমত্য সমস্যার একটি অতিরিক্ত মহান তাত্ত্বিক প্রভাব উপস্থাপন করতে পারেন। Sens ক্যমত্য সংখ্যার ধারণাটি ব্যবহার করে , কেউ দেখিয়ে দিতে পারেন যে সিঙ্ক্রোনাইজেশন আদিমগণের একটি অসীম শ্রেণিবিন্যাস রয়েছে, যেমন এক স্তরে কোনও আদিম উচ্চ স্তরের কোনও আদিমদের অপেক্ষার মুক্ত প্রয়োগের জন্য ব্যবহার করা যায় না। সহজ ভাষায়, sensকমত্য সমস্যাটি আদিম সিঙ্ক্রোনাইজেশন ক্রিয়াকলাপের আপেক্ষিক শক্তি সংজ্ঞায়িত করতে একীভূত তত্ত্ব হিসাবে বিভক্ত হয় । এটি মার্জিত।
হেনগ্সিন

1
এফএলপি অসম্ভব সম্ভাবনার ফলাফলের প্রমাণ বুঝতে আমার কিছুটা সমস্যা আছে। আপনি আমাকে কিছু ইঙ্গিত দিতে পারেন? দয়া করে [এফএলপি প্রমাণ] দেখুন ( স্ট্যাকওভারফ্লো . com / q / 15131730 / 1833118 )। ধন্যবাদ।
hengxin

"যেখানে প্রতিটি প্রক্রিয়া সিদ্ধান্ত নিয়েছে" সম্ভবত হওয়া উচিত "যেখানে প্রতিটি সঠিক প্রক্রিয়া সিদ্ধান্ত নিয়েছে"?
nbro

"শত্রুরা যাই করুক না কেন" বিরোধীদের মধ্যে কে আছে তা আপনার ব্যাখ্যা করা উচিত।
nbro

"সি এর সমস্ত সম্ভাব্য এক্সটেনশন", "সি এর সম্প্রসারণ" বলতে কী বোঝ? সাধারণভাবে একটি কনফিগারেশনের সম্প্রসারণ কী?
nbro

7

এটি দেখায় যে কোনও ত্রুটি-সহনশীল ডিটারিমেন্টিক অ্যালগরিদম নেই। বেশ শক্তিশালী তাত্ত্বিক ফলাফল, যা ডিজাইনারদের ত্রুটি-সহনশীলতার সাথে আলাদাভাবে আচরণ করতে বাধ্য করে, এর মধ্যে কয়েকটি সিঙ্ক্রোনাইজেশন এবং এলোমেলোকরণ।

মন্তব্য: আমার মতে, সিঙ্ক্রোনাইজেশন সিস্টেমের একটি অতিরিক্ত ধারণা যা ব্যবহারিক প্রয়োগগুলিতে খুব কমই পাওয়া যায়।

রেফারেন্সের জন্য, উইকিপিডিয়া লিঙ্কটি পরীক্ষা করুন । ব্যবহারিক অ্যাপ্লিকেশনগুলির জন্য এই ব্লগটিও দেখুন


1
হ্যাঁ, আমি সিঙ্ক্রোনাইজেশনে র্যান্ডমাইজেশন পছন্দ করি। সংমিশ্রণ, আনবাউন্ডেড বিলম্ব, অপ্রত্যাশিত ব্যর্থতা এবং অত্যধিক অ-নিরস্তামূলক অর্থে যে পরিবেশে বিতরণ করা কম্পিউটিং নাটকগুলি খুব দরিদ্র is যতক্ষণ না এটি নিখুঁত না হয়, আমরা কেন এলোমেলোকরণ ব্যবহার করি না, অত্যধিক জটিলতা এড়ানোর সময় কিছু গ্যারান্টি অর্জন করি।
হেনগ্সিন

1
সিঙ্ক্রোনাইজেশনের কথা বলতে গেলে আমি কেবল তত্ত্বের ধারণাটি পছন্দ করি না । তবে শিল্পে , সমন্বয় বা আংশিক সিঙ্ক্রোনাইজেশন ঘন ঘন প্রয়োগ করা হয়। উদাহরণস্বরূপ, গুগলের স্প্যানার একটি বিশ্বব্যাপী বিতরণ করা সিঙ্ক্রোনসলিপি-প্রতিলিপি করা ডেটাবেস। এটি আমাকে কম সিদ্ধান্ত নেয়। আপনার মতামত কি?
হেনগ্সিন

আমার ধারণা, সেখানে কীভাবে সিঙ্ক্রোনাইজেশন প্রয়োগ করা হয় তা আরও ভাল। তবে এটি খুব আকর্ষণীয় রেফারেন্স। - আমি যা বলতে চাইছি এটি সিস্টেমের কোনও প্রাকৃতিক বৈশিষ্ট্য নয়। এটি অবশ্যই এতে যুক্ত করা উচিত।
এজেড

সাধারণভাবে, আপনার উইকিপিডিয়া রেফারেন্স হিসাবে দেওয়া উচিত নয়। আমি সবেমাত্র সেই উইকিপিডিয়া নিবন্ধটি পড়েছি: এটি বেশ অসম্পূর্ণ এবং অসংগঠিত; এটা বিভ্রান্তিকর হতে পারে।
nbro

5

Reasonকমত্য সংক্রান্ত সমস্যাগুলির অন্যতম কারণ হ'ল এগুলি খুব সাধারণ এবং তারা বিতরণকৃত কম্পিউটিং সিস্টেমগুলির জন্য এক ধরণের সর্বজনীন সমস্যা

যদি আমরা কোনও অ্যাসিঙ্ক বিতরণ ব্যবস্থায় sensক্যমত্য সমাধান করতে পারি তবে আমরা এটিকে ভাগ করে নেওয়া বস্তুগুলিতে ক্রিয়া লিনিয়ারাইজ করতে এবং ভাগ করা বস্তুর জন্য লিনিয়ারাইজিবিলিটি পেতে পারি।

সরলতার জন্য, আপনি কতগুলি সমস্যা সম্পর্কে ভাবতে পারেন যে কোন মানটির সাথে একমত হওয়ার চেয়ে সহজ?

(খাঁটি) অ্যাসিঙ্ক বিতরণ সিস্টেমে sensক্যমত্য সম্পর্কে অসম্ভবতার ফলটি আমাদের বলে যে আমরা কিছু অতিরিক্ত "স্টাফ" ছাড়াই (খাঁটি) অ্যাসিঙ্ক বিতরণ সিস্টেমে যে সমস্যাগুলি সমাধান করতে চাই তা সমাধান করতে পারি না। এটি অ্যাসিঙ্ক মডেলগুলিতে নিয়ে যায় যেখানে আমরা sensকমত্য সমাধান করতে পারি, যেমন র্যান্ডমাইজড অ্যালগরিদম, ফল্ট ডিটেক্টর, আংশিক সিঙ্ক্রোনির মডেল ইত্যাদি solve

এই কারণেই অনুশীলনে অ্যালগরিদমগুলি যে ল্যাম্পোর্টের প্যাকসোস, গুগলের নিবিড়, অ্যাপাচি জুকিপার এবং আরও সাম্প্রতিক সময়ে রাফ্ট বিতরণ ব্যবস্থাগুলির মূল কেন্দ্রে রয়েছে যেখানে আমরা প্রায়শই সার্ভারগুলির মধ্যে একটি রাষ্ট্রকে প্রতিলিপি করতে চাই।


0

আমি কেবল যুক্ত করব যে গণনার প্রকৃতি ক্রমবর্ধমান স্ট্যাক জুড়ে বিতরণ করা হচ্ছে: অনেকগুলি সিপিইউ, একটি মেশিনে অনেকগুলি প্রক্রিয়া, ল্যান দ্বারা সংযুক্ত অনেকগুলি মেশিন, আন্তঃ দ্বারা সংযুক্ত অনেক ল্যান।

এটি সাধারণ (বিতরণ / বৈশ্বিক) রাষ্ট্রের সর্বজনীন সমস্যার সৃষ্টি করে - প্রতিটি অ্যালগোরিদম একটি নির্দিষ্ট রাষ্ট্রকে ধরে নেয় এবং যদি গণনাটি একাধিক জায়গায় সঞ্চালিত হয়, তবে রাষ্ট্রকেও বিতরণ করতে হবে।

এই ডোমেনের প্রভাবশালী কাগজপত্র ( প্যাকস এবং আরও সম্প্রতি রাফ্ট ) আপনি যে কাগজটি উদ্ধৃত করছেন তার পরে প্রকাশিত হয়েছিল। উভয়ই কিছু ব্যর্থতার উপস্থিতিতে sensকমত্যের বিষয়গুলিকে সম্বোধন করে।

বাইজেন্টাইন ত্রুটিগুলি কয়েকটি পদ্ধতির ব্যবহার করে বিতরণ সিস্টেমে এড়ানো যায়।

বাইজেন্টাইন ফল্ট সহনশীলতায় উইকিপিডিয়া এন্ট্রিটি একবার দেখুন ।


এফএলপি অসম্পূর্ণতা ফলাফল এমনকি সর্বাধিক বেসিক ব্যর্থতা (ক্র্যাশ) এর সেটিংয়ের ক্ষেত্রেও প্রযোজ্য তাই বাইজেন্টাইন ব্যর্থতা এড়ানোর বিষয়ে অনুচ্ছেদের মূল বক্তব্য কী তা আমি নিশ্চিত নই। মনে রাখবেন যে আমাদের যদি ব্যর্থতা না থাকে তবে conক্যমত্য বরং সহজ: একটি নির্দিষ্ট প্রক্রিয়া তার মান সম্প্রচার করে এবং প্রতিটি প্রক্রিয়া সেই মানটি তা পাওয়ার সাথে সাথেই সিদ্ধান্ত নেয় ides
কাভেহ
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.