கசிவுள்ள அரைக்கோடு
Author
Venue
ACM நிரலாக்க மொழிகள் 2021-இன் செயல்முறைகள்
Abstract
நிரல் தர்க்கங்கள் மற்றும் சொற்பொருள் விளக்கம் வரிசைக் கட்டமைப்பைப் பற்றி ஒரு இனிமையான கதையைச் சொல்கின்றன: (S1; S2)-ஐச் செயல்படுத்தும்போது, நாம் முதலில் S1-ஐச் செயல்படுத்தி, பின்னர் S2-ஐச் செயல்படுத்துகிறோம். இருப்பினும், செயல்திறனை மேம்படுத்த, செயலிகள் கட்டளைகளை வரிசைக்குப் புறம்பாகச் செயல்படுத்துகின்றன, மேலும் தொகுப்பான்கள் நிரல்களை இன்னும் வியத்தகு முறையில் மறுவரிசைப்படுத்துகின்றன. வடிவமைப்பின்படி, ஒற்றை-இழை அமைப்புகளால் இந்த மறுவரிசைப்படுத்தல்களைக் கவனிக்க முடியாது; இருப்பினும், பல-இழை அமைப்புகளால் முடியும், இது கதையை கணிசமாகக் குறைவான இனிமையானதாக ஆக்குகிறது. இதன் விளைவாக ஏற்படும் குழப்பத்தைப் புரிந்துகொள்வதற்கான ஒரு முறையான முயற்சி "தளர்வான நினைவகம் மாதிரி" (relaxed memory model) என்று அழைக்கப்படுகிறது. முந்தைய மாதிரிகள், வரிசைப்படுத்தப்பட்ட தொகுப்பை நேரடியாகக் கையாளத் தவறுகின்றன, அல்லது செயலிகள் மற்றும் தொகுப்பான்களை அதிகமாகக் கட்டுப்படுத்துகின்றன, அல்லது நடைமுறையில் காண முடியாத அர்த்தமற்ற, திடீர் நடத்தைகளை அனுமதிக்கின்றன. நவீன வன்பொருளை இலக்காகக் கொண்டு வரிசைப்படுத்தப்பட்ட தொகுப்பை ஆதரிப்பதற்காக, நாங்கள் நிலையான நிகழ்வு அடிப்படையிலான அணுகுமுறையை முன்நிபந்தனைகள் மற்றும் பண்பியல் மாற்றிகளின் குடும்பங்கள் மூலம் மேம்படுத்துகிறோம். (S1;S2)-இன் அர்த்தத்தைக் கணக்கிடும்போது, S2-இலிருந்து வரும் e என்ற நிகழ்வின் முன்நிபந்தனைக்குப் பயன்படுத்தப்படும் முன்தொடர்பு மாற்றி, e சார்ந்திருக்கும் S1-இல் உள்ள நிகழ்வுகளின் தொகுப்பின் அடிப்படையில் தேர்ந்தெடுக்கப்படுகிறது. இந்த அணுகுமுறையை நாங்கள் ஏற்கனவே உள்ள இரண்டு நினைவக மாதிரிகளுக்குப் பயன்படுத்துகிறோம்.
