বিতরণকৃত অ্যালগরিদমগুলি বর্ণনা করার জন্য একটি একক গাণিতিক তত্ত্ব বিকাশে বিতরণকৃত কম্পিউটিংয়ের ক্ষেত্রটি খারাপভাবে হ্রাস পেয়েছে। বিতরণ করা গণনার কয়েকটি 'মডেল' এবং ফ্রেমওয়ার্ক রয়েছে যা একে অপরের সাথে কেবল সামঞ্জস্যপূর্ণ নয়। বিবিধ অস্থায়ী বৈশিষ্ট্যের নিবিড় বিস্ফোরণ (অ্যাসিনক্রোনারি, সিঙ্ক্রোনারি, আংশিক সিনক্রোনাই), বিভিন্ন যোগাযোগের আদিমতা (বার্তা পাস করা বনাম ভাগ করা মেমরি, সম্প্রচার বনাম ইউনিকাস্ট), একাধিক ত্রুটি মডেল (ব্যর্থ স্টপ, ক্র্যাশ পুনরুদ্ধার, বাদ দেওয়া, বাইজেন্টাইন ইত্যাদি) চালু) আমাদের সিস্টেমের মডেল, ফ্রেমওয়ার্ক এবং পদ্ধতিগুলির একটি অবিচ্ছেদ্য সংখ্যা রেখে গেছে, যেগুলি এই মডেলগুলি এবং ফ্রেমওয়ার্কগুলিতে আপেক্ষিক দ্রবণীয়তার ফলাফল এবং নিম্ন সীমাগুলির তুলনা করা কঠোর, অবলীল এবং কখনও কখনও অসম্ভব হয়ে পড়েছে।
আমার প্রশ্ন খুব সহজ, কেন তাই হয়? বিতরণকৃত কম্পিউটারিংয়ের (মৌলিকভাবে এর ক্রমবর্ধমান অংশ থেকে) এত কী আলাদা যে আমরা গবেষণাকে বিতরণকৃত কম্পিউটিংয়ের একীভূত তত্ত্বের সাথে সংগৃহীত করতে পারি নি? সিক্যুয়ালি কম্পিউটিং সহ, ট্যুরিং মেশিনস, রিকার্সিভ ফাংশনস এবং ল্যাম্বদা ক্যালকুলাস সমস্তই সমতুল্য হতে বেরিয়েছে। এটি কি কেবল ভাগ্যের এক স্ট্রোক ছিল, বা আমরা বিতরণ করা কম্পিউটিংয়ের সাথে এখনও সম্পন্ন হওয়া যায়নি এমনভাবে সিক্যুয়ালি কম্পিউটিংয়ের encapsুলেটে একটি ভাল কাজ করেছি?
অন্য কথায়, একটি মার্জিত তত্ত্ব (এবং যদি তাই হয়, কিভাবে এবং কেন?) যাও সহজাতভাবে unyielding গণনা বিতরণ করা হয়, বা আমরা এই জাতীয় তত্ত্ব আবিষ্কার করার জন্য যথেষ্ট স্মার্ট না?
এই সমস্যার সমাধান করার জন্য আমি কেবলমাত্র রেফারেন্সটি দেখতে পেলাম: ফিশার এবং মেরিট ডিওআই দ্বারা " বিতরণ করা কম্পিউটিং তত্ত্ব গবেষণার দুই দশকের মূল্যায়ন": 10.1007 / s00446-003-0096-6
যে কোনও তথ্যসূত্র বা বিবরণ সত্যই সহায়ক হবে।