लीकी सेमीकोलन
Author
Venue
एसीएम प्रोग्रामिंग लैंग्वेजेज़ 2021 की कार्यवाही
Abstract
प्रोग्राम तर्क और अर्थशास्त्र क्रमिक संरचना के बारे में एक सुखद कहानी बताते हैं: जब (S1; S2) को निष्पादित किया जाता है, तो हम पहले S1 और फिर S2 को निष्पादित करते हैं। हालांकि, प्रदर्शन में सुधार के लिए, प्रोसेसर निर्देशों को क्रम से बाहर निष्पादित करते हैं, और कंपाइलर कार्यक्रमों को और भी नाटकीय रूप से पुनर्व्यवस्थित करते हैं। डिज़ाइन के अनुसार, सिंगल-थ्रेडेड सिस्टम इन पुनर्व्यवस्थाओं को देख नहीं सकते; हालांकि, मल्टी-थ्रेडेड सिस्टम देख सकते हैं, जिससे कहानी काफी कम सुखद हो जाती है। परिणामस्वरूप होने वाली गड़बड़ी को समझने का एक औपचारिक प्रयास "रिलैक्स्ड मेमोरी मॉडल" के रूप में जाना जाता है। पिछले मॉडल या तो क्रमिक संरचना को सीधे संबोधित करने में विफल रहते हैं, या प्रोसेसरों और कंपाइलरों को अत्यधिक प्रतिबंधित करते हैं, या ऐसे बेतुके व्यवहार की अनुमति देते हैं जो व्यवहार में अवलोकन योग्य नहीं होते हैं। आधुनिक हार्डवेयर को लक्षित करते हुए क्रमिक संरचना का समर्थन करने के लिए, हम मानक घटना-आधारित दृष्टिकोण को पूर्व-शर्तों और प्रेडिकेट ट्रांसफॉर्मर्स के परिवारों के साथ समृद्ध करते हैं। (S1;S2) के अर्थ की गणना करते समय, S2 से किसी घटना e की पूर्वशर्त पर लागू होने वाला प्रिडिकेट ट्रांसफॉर्मर, S1 में उन घटनाओं के सेट के आधार पर चुना जाता है जिन पर e निर्भर करती है। हम इस दृष्टिकोण को दो मौजूदा मेमोरी मॉडलों पर लागू करते हैं।
