गळती असलेला अर्धविराम
Author
Venue
ACM प्रोग्रामिंग भाषा 2021 यांचे कार्यवाही
Abstract
कार्यक्रम तर्कशास्त्र आणि अर्थशास्त्र क्रमात्मक रचनेबद्दल एक आनंददायी कथा सांगतात: (S1; S2) अंमलात आणताना प्रथम S1 आणि नंतर S2 चालवले जाते. तथापि, कार्यक्षमता सुधारण्यासाठी प्रोसेसर निर्देशांक्रमाबाहेर अंमलात आणतात, आणि संकलक कार्यक्रमांचे क्रम आणखी नाट्यमयपणे पुनःक्रमबद्ध करतात. रचनेनुसार, एकल-थ्रेड प्रणालींना या पुनःक्रमबद्धतेचे निरीक्षण करता येत नाही; परंतु बहु-थ्रेड प्रणालींना ते करता येते, ज्यामुळे ही कथा खूपच कमी आनंददायी बनते. या परिणामी गोंधळाला समजून घेण्याचा एक औपचारिक प्रयत्न 'रिलॅक्स्ड मेमरी मॉडेल' म्हणून ओळखला जातो. पूर्वीचे मॉडेल्स किंवा तर क्रमागत रचनेवर थेट लक्ष देण्यात अपयशी ठरतात, किंवा प्रोसेसर व कंपाइलरवर अती मर्यादा घालतात, किंवा प्रत्यक्षात निरीक्षणीय नसलेल्या अर्थहीन 'थिन-एअर' वर्तनास परवानगी देतात. आधुनिक हार्डवेअरसाठी लक्ष्यित करत क्रमागत रचनेला समर्थन देण्यासाठी, आम्ही मानक घटना-आधारित पद्धतीत पूर्वअटी आणि प्रिडिकेट ट्रान्सफॉर्मरच्या कुटुंबांसह समृद्धीकरण करतो. (S1;S2) च्या अर्थाची गणना करताना, S2 मधील घटना e च्या पूर्वअटीवर लागू होणारा प्रिडिकेट ट्रान्सफॉर्मर e ज्या घटनांवर अवलंबून आहे त्या घटनांच्या संचाच्या आधारे निवडला जातो. आम्ही हा दृष्टिकोन दोन विद्यमान मेमरी मॉडेल्सवर लागू करतो.
