বিতরণ করা কম্পিউটিংয়ের একটি উদাহরণ এখানে:
1। পটভূমি
1.1 অ্যাসিনক্রোনাস শেয়ার্ড মেমোরি মডেল
আসুন বিতরণ করা নোডগুলির একটি সংগ্রহ বিবেচনা করি যা ভাগ করা মেমরি ভেরিয়েবলগুলি ব্যবহার করে যোগাযোগ করে। এমন একটি শত্রু রয়েছে যেটি যখন কোনও নোড পদক্ষেপ নেয় এবং কখন বার্তা সরবরাহ করে তা নিয়ন্ত্রণ করে। গণনাটি অ্যাসিনক্রোনাস , অর্থাত্, বিরোধীরা নোডের পদক্ষেপগুলিকে যে কোনও (সীমাবদ্ধ) সময়ের জন্য বিলম্ব করতে পারে।
আপনি নোডের একটি পদক্ষেপকে তার স্থানীয় অটোমেটনের (অ্যালগোরিদম অনুসারে) রাষ্ট্রীয় রূপান্তর হিসাবে ভাবতে পারেন যেখানে শেষ পদক্ষেপের পরে পরবর্তী রাষ্ট্রটি বর্তমান রাষ্ট্র এবং নোডের পর্যবেক্ষণ দ্বারা নির্ধারিত হয়।
1.2 সুরক্ষা এবং প্রাণবন্ততা
আনুষ্ঠানিকভাবে অ্যালগরিদমের বৈশিষ্ট্যগুলির বিষয়ে আনুষ্ঠানিকভাবে যখন তর্ক করা হয় তখন আমরা সুরক্ষা এবং প্রাণবন্ত বৈশিষ্ট্যের মধ্যে পার্থক্য করি। অনানুষ্ঠানিকভাবে, কোনও
সুরক্ষা সম্পত্তি এমন গ্যারান্টি হিসাবে ব্যাখ্যা করা যেতে পারে যে "খারাপ" কিছু কখনই ঘটে না। (উদাহরণস্বরূপ, পারস্পরিক বর্জনের জন্য, একটি সুরক্ষা সম্পত্তি হবে যে কোনও দুটি নোড একই সাথে সমালোচনামূলক বিভাগে প্রবেশ করে না)) অন্যদিকে , জীবন্ততাটিকে "ভাল কিছু ঘটবে অবশেষে" হিসাবে ব্যাখ্যা করা যেতে পারে, যেমন: প্রতিটি নোড অবশেষে শেষ হয়।
এমএমα , β। এম2- এনএনαβ
এসপি। এমপিএম। পি
কোয়েনিগের ইনফিনিটি লেমাকে প্রয়োগ করা
কোনও নির্দিষ্ট সম্পত্তি সুরক্ষা সম্পত্তি কিনা তা দেখা সর্বদা সহজ নয়: মৌলিক ভাগ করা মেমরি ভেরিয়েবলের শীর্ষে পারমাণবিক বিষয়গুলি পড়ুন / লেখার বাস্তবায়ন বিবেচনা করুন। এই ধরনের প্রয়োগের জন্য অনুরোধগুলি এবং তাদের প্রতিক্রিয়াগুলি এমনভাবে পরিচালনা করা উচিত যাতে তারা এমনভাবে দেখায় যেন তারা কোনও সময়ে তাত্ক্ষণিকভাবে ঘটে থাকে এবং তাদের অনুরোধের আদেশকে লঙ্ঘন করে না। ( অ্যাসিনক্রোনাস অপারেশনের কারণে, অনুরোধ এবং প্রতিক্রিয়ার মধ্যে প্রকৃত সময়কাল ননজারো হতে পারে)) পারমাণবিকতা লিনিয়ারাইজিবিলিটি নামেও পরিচিত । [এ] এর ১৩.১ ধারাটি একটি প্রমাণ দেয় যে পারমাণবিকতা একটি সুরক্ষা সম্পত্তি। প্রমাণটি কোয়েনিগের লেমাকে ব্যবহার করে দেখায় যে মৃত্যুদণ্ডের যে কোনও অসীম অনুক্রমের সীমা (যা প্রত্যেকেই পরমাণুকে সন্তুষ্ট করে) এছাড়াও পারমাণবিকতাকে সন্তুষ্ট করে।
[এ] এন লিঞ্চ। বিতরণ অ্যালগরিদম। মরগান কাউফম্যান, 1996