'সত্য সম্মতি' অর্থ কী?

28

আমি প্রায়শই কোনও প্রসঙ্গ ছাড়াই 'সত্যিকারের সমার্থক শব্দার্থক' এবং 'সত্য সমঝোতার সমতা' এর মতো বাক্যাংশ শুনি। এই পদগুলির অর্থ কী এবং সেগুলি কেন গুরুত্বপূর্ণ?

সত্য সম্মতি সমতার কয়েকটি উদাহরণ কী কী এবং সেগুলির জন্য প্রয়োজনীয়তা কী? উদাহরণস্বরূপ, কোন ক্ষেত্রে এগুলি আরও বেশি স্ট্যান্ডার্ড সমতুল্যতার (বিসিমুলেশন, ট্রেস সমতুল্য ইত্যাদি) চেয়ে বেশি প্রযোজ্য?

terminology reference-request concurrency

— Daniil
সূত্র

23

"সত্য সম্মতি" শব্দটি সমবর্তী এবং সমান্তরাল গণনার তাত্ত্বিক গবেষণায় উত্থিত হয়। এটি ইন্টারলেভিং সমঝোতার বিপরীতে। সত্যিকারের সম্মতিটি আন্তঃকালীনকরণকে হ্রাস করা যায় না conc গণনার প্রতিটি পদক্ষেপে কেবলমাত্র একটি পারমাণবিক কম্পিউটিং অ্যাকশন (যেমন প্রেরক এবং প্রাপকের মধ্যে বার্তাগুলির বিনিময়) সংঘটিত হতে পারে তবে কনক্যুরঞ্জি আন্তঃলিবিযুক্ত হয়। এই ধরণের একাধিক পারমাণবিক পদক্ষেপ যদি এক ধাপে সংঘটিত হয় তবে কনক্যুরঞ্জি সত্য।

উভয়কে আলাদা করার সহজ উপায় হ'ল সমান্তরাল রচনার নিয়মটি। একটি ইন্টারলিভিং ভিত্তিক সেটিংয়ে এটি দেখতে এমন কিছু দেখাচ্ছে:

\frac{P \to P^{'}}{P | Q \to P^{'} | Q}

$\frac{P \rightarrow P'}{P|Q \rightarrow P'|Q}$

এই নিয়মটি প্রয়োগ করে যে একটি সমান্তরাল রচনাতে কেবল একটি প্রক্রিয়া একটি পারমাণবিক ক্রিয়া সম্পাদন করতে পারে। সত্য সম্মিলনের জন্য, নীচের মতো একটি নিয়ম আরও উপযুক্ত হবে।

\frac{P \to P^{'} Q \to Q^{'}}{P | Q \to P^{'} | Q^{'}}

$\frac{P \rightarrow P'\quad Q \rightarrow Q'}{P|Q \rightarrow P'|Q'}$

এই নিয়মটি সমান্তরাল রচনায় উভয় অংশগ্রহণকারীকে পারমাণবিক ক্রিয়া সম্পাদন করার অনুমতি দেয়।

$\pi$ -calculi)। যাইহোক, এই সরলতা পর্যবেক্ষণের ধনী ফর্মগুলির (যেমন সময়সীমী গণনা) সহ একযোগে গণনার জন্য অদৃশ্য হয়ে যায়: সত্য সম্মতি এবং আন্তঃস্তৃত সমঝোতার মধ্যে পার্থক্য পর্যবেক্ষণযোগ্য হয়ে যায়।

বিসিমুলেশন এবং ট্রেসগুলির মতো স্ট্যান্ডার্ড ভারসাম্যগুলির ক্ষেত্রে সত্য এবং আন্তঃবিবাহিত ভিত্তিক সম্মতিতে একই সংজ্ঞা রয়েছে। তবে তারা অন্তর্নিহিত ক্যালকুলাসের উপর নির্ভর করে বিভিন্ন প্রক্রিয়া সমান করতে বা নাও করতে পারে।

$\pi$

P = \bar{x} | \bar{y} | x . y . \bar{a} | y . \bar{b}

$P \quad=\quad \overline{x} \ |\ \overline{y} \ |\ x.y.\overline{a} \ |\ y.\overline{b}$

\begin{array}{rcl} P & \to & y . \bar{a} | \bar{b} \end{array}

$\begin{eqnarray*} P &\rightarrow& y.\overline{a} \ |\ \overline{b} \end{eqnarray*}$

\begin{array}{rcl} P & \to & \bar{x} | x . y . \bar{a} | \bar{b} \\ \to & y . \bar{a} | \bar{b} \end{array}

$\begin{eqnarray*} P &\rightarrow & \overline{x} \ |\ x.y.\overline{a} \ |\ \overline{b} \\ &\rightarrow & y.\overline{a} \ |\ \overline{b} \end{eqnarray*}$

$P$

\begin{array}{rcl} P & \to & \bar{y} | y . \bar{a} | y . \bar{b} \\ \to & \bar{a} | y . \bar{b} \end{array}

$\begin{eqnarray*} P &\rightarrow & \overline{y} \ |\ y.\overline{a} \ |\ y.\overline{b} \\ &\rightarrow & \overline{a} \ |\ y.\overline{b} \end{eqnarray*}$

— মার্টিন বার্গার
সূত্র

ধন্যবাদ, দুর্দান্ত উত্তর! আপনি দয়া করে আমাকে আরও পড়ার জন্য কিছু রেফারেন্স দিতে পারেন?

— ড্যানিল

π

$\pi$

0

সত্য বলতে, আমি নিজেই একটি উত্তর জন্য googling ছিল। এখানে শব্দার্থবিজ্ঞান কী? "প্রক্রিয়া বীজগণিত" বর্ণনায় আমরা একটি অর্থ "রূপান্তর সিস্টেম" অর্পণ করি; অর্থ হ'ল রূপান্তর সিস্টেম যা সংজ্ঞায়িত এসওএস বিধি ব্যবহার করে প্রাথমিক সিস্টেমের বিবরণ থেকে উত্পন্ন হয়। সুতরাং, ইন্টারলিভিং শব্দার্থক ব্যবহার করে, আমরা প্রাপ্ত রূপান্তর ব্যবস্থায় সমস্ত সমসাময়িক কাঠামো হারাব।

আর একটি উত্তর হতে পারে যে এটি "পর্যবেক্ষণযোগ্য পার্থক্য" নয় বরং "পর্যবেক্ষণযোগ্যতার" মধ্যে পার্থক্য। একটি ইন্টারলিভিং শব্দার্থবিদ্যা ব্যবহার করে, আমরা কেবল রৈখিক রানগুলি পর্যবেক্ষণ করতে পারি; যদিও, প্রকৃত সম্মতি ব্যবহার করে আমরা "একযোগে রান" (সিএফ ডাব্লু। রিসিগ'13 পেট্রি নেট বই) পর্যবেক্ষণ করতে পারি।

তবুও, আমি উপরে যা বলেছিলাম তাতে আমার কিছু সন্দেহ রয়েছে এবং গভীর অন্তর্দৃষ্টিগুলি শুনতে এটি আকর্ষণীয় হবে। অর্থাত, ল্যাম্পোর্ট ভেক্টর ক্লকগুলি ব্যবহার করে, কতগুলি আপেক্ষিকতত্ত্ব তত্ক্ষণিক তত্ত্বে স্থানান্তরিত হতে পারে।

— লিওনিড দ্বারজানস্কি
সূত্র

1

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

— কাই

@ কাই, রেফারেন্স খুব প্রশংসা করা হয়! লিঙ্কগুলি নষ্ট হয়ে যাওয়ার ক্ষেত্রে আমি সেগুলি লিখব: আংশিক অর্ডার সহ মডেলিং কনকুরঞ্জি; জি প্লটকিন ভি। প্র্যাট, টিমস পমসেটগুলি দেখতে পারে। > একটি ক্ষতিকারক উপায়ে তৈরি করা যেতে পারে অবশ্যই, আমি কেবল "সিনট্যাক্টিকাল বর্ণনা / শব্দার্থ / অর্থ" এর পৃথক ধারণাটি ক্লিয়ার করতে চেয়েছিলাম।

— লিওনিড দ্বারজানস্কি