ক্ষরিত সেমিকোলন
Author
Venue
ACM প্রোগ্রামিং ভাষা ২০১১-এর কার্যবিবরণী
Abstract
প্রোগ্রাম লজিক এবং সেম্যান্টিকস ধারাবাহিক সংমিশ্রণ সম্পর্কে একটি মনোরম গল্প বলে: যখন (S1; S2) কার্যকর করা হয়, আমরা প্রথমে S1 তারপর S2 কার্যকর করি। তবে কর্মক্ষমতা উন্নত করতে প্রসেসরগুলো নির্দেশনাগুলো ক্রমবহির্ভূতভাবে কার্যকর করে, এবং কম্পাইলাররা প্রোগ্রামগুলোকে আরও নাটকীয়ভাবে পুনর্বিন্যাস করে। নকশামাফিক একক-থ্রেডযুক্ত সিস্টেমগুলো এই পুনর্বিন্যাসগুলো পর্যবেক্ষণ করতে পারে না; তবে বহু-থ্রেডযুক্ত সিস্টেমগুলো পারে, যা গল্পটিকে যথেষ্ট কম মনোরম করে তোলে। ফলস্বরূপ বিশৃঙ্খলা বোঝার একটি আনুষ্ঠানিক প্রচেষ্টাকে "রিল্যাক্সড মেমোরি মডেল" বলা হয়। পূর্ববর্তী মডেলগুলো হয় সরাসরি ধারাবাহিক সংমিশ্রণকে মোকাবেলা করতে ব্যর্থ হয়, অথবা প্রসেসর ও কম্পাইলারকে অতিরিক্তভাবে সীমাবদ্ধ করে, অথবা বাস্তবে পর্যবেক্ষণযোগ্য নয় এমন অবাস্তব "থিন-এয়ার" আচরণ অনুমোদন করে। আধুনিক হার্ডওয়্যারকে লক্ষ্য করে ধারাবাহিক সংমিশ্রণকে সমর্থন করার জন্য, আমরা শর্তাবলী এবং প্রেডিকেট ট্রান্সফর্মারদের পরিবার যোগ করে স্ট্যান্ডার্ড ইভেন্ট-ভিত্তিক পদ্ধতিকে সমৃদ্ধ করি। (S1;S2)-এর অর্থ নির্ধারণের সময়, S2 থেকে কোনো ইভেন্ট e-এর প্রিকন্ডিশনে প্রয়োগকৃত প্রেডिकेट ট্রান্সফরমারটি S1-এ থাকা সেই ইভেন্টগুলোর সেটের উপর ভিত্তি করে নির্বাচন করা হয়, যেগুলোর উপর e নির্ভর করে। আমরা এই পদ্ধতিটি দুইটি বিদ্যমান মেমোরি মডেলে প্রয়োগ করি।
