परमाणु संचालन

बस दूसरे दिन उन्होंने मुझसे एक सवाल किया।

और आपको सिस्टम मॉड्यूल से _LStrClr प्रक्रिया को कॉल करने पर LOCK उपसर्ग, या इसके एनालॉग इंटरलॉकडecrement की आवश्यकता क्यों है। यह प्रक्रिया लाइन के लिंक संदर्भ काउंटर को घटाती है और जब यह रीसेट हो जाता है, तो यह लाइन द्वारा पहले से कब्जा की गई मेमोरी को मुक्त कर देता है।

प्रश्न का सार यह था: ऐसी स्थिति की कल्पना करना लगभग असंभव है जहां एक स्ट्रिंग दो थ्रेड्स से एक साथ refs खो देगी, और इसलिए इस मामले में परमाणु ऑपरेशन बेमानी है।

सिद्धांत रूप में, आधार दिलचस्प है, लेकिन ...

लेकिन हम स्ट्रिंग को थ्रेड क्लास में पास करते हैं।
यह कम से कम refCnt में वृद्धि की ओर जाता है, और इसलिए हम संदर्भ काउंटर को अपघटित करते समय परमाणु संचालन का उपयोग नहीं किए जाने पर मेमेलक को "प्राप्त" कर सकते हैं।

यह _LStrClr कोड प्रदर्शित करता है:

procedure _LStrClr(var S); {$IFDEF PUREPASCAL} var P: PStrRec; begin if Pointer(S) <> nil then begin P := Pointer(Integer(S) - Sizeof(StrRec)); Pointer(S) := nil; if P.refCnt > 0 then if InterlockedDecrement(P.refCnt) = 0 then FreeMem(P); end; end; {$ELSE} asm { -> EAX pointer to str } MOV EDX,[EAX] { fetch str } TEST EDX,EDX { if nil, nothing to do } JE @@done MOV dword ptr [EAX],0 { clear str } MOV ECX,[EDX-skew].StrRec.refCnt { fetch refCnt } DEC ECX { if < 0: literal str } JL @@done LOCK DEC [EDX-skew].StrRec.refCnt { threadsafe dec refCount } JNE @@done PUSH EAX LEA EAX,[EDX-skew].StrRec.refCnt { if refCnt now zero, deallocate} CALL _FreeMem POP EAX @@done: end; {$ENDIF} 

गैर-परमाणु अपघटन का उपयोग करने के मामले में, जेएनई अनुदेश में गलत तरीके से निष्पादित होने की एक बड़ी संभावना है। (और यह वास्तव में सही ढंग से निष्पादित नहीं किया जाएगा यदि आप लॉक उपसर्ग को हटा दें)।

बेशक, मैंने इस स्थिति को इंटेल मैनुअल से उदाहरणों के साथ समझाने की कोशिश की, जहां काम समझाया गया है, लेकिन अंत में मैंने निम्नलिखित उदाहरण को लागू करने का फैसला किया (जिसके साथ मैं प्रश्न के लेखक को समझाने में सक्षम था):

 program interlocked; {$APPTYPE CONSOLE} uses Windows; const Limit = 1000000; DoubleLimit = Limit shl 1; var SameGlobalVariable: Integer; function Test1(lpParam: Pointer): DWORD; stdcall; var I: Integer; begin for I := 0 to Limit - 1 do asm lea eax, SameGlobalVariable inc [eax] //   end; end; function Test2(lpParam: Pointer): DWORD; stdcall; var I: Integer; begin for I := 0 to Limit - 1 do asm lea eax, SameGlobalVariable lock inc [eax] //   end; end; var I: Integer; hThread: THandle; ThreadID: DWORD; begin //     SameGlobalVariable SameGlobalVariable := 0; hThread := CreateThread(nil, 0, @Test1, nil, 0, ThreadID); for I := 0 to Limit - 1 do asm lea eax, SameGlobalVariable inc [eax] //   end; WaitForSingleObject(hThread, INFINITE); CloseHandle(hThread); if SameGlobalVariable <> DoubleLimit then Writeln('Step one failed. Expected: ', DoubleLimit, ' but current: ', SameGlobalVariable); //     SameGlobalVariable SameGlobalVariable := 0; hThread := CreateThread(nil, 0, @Test2, nil, 0, ThreadID); for I := 0 to Limit - 1 do asm lea eax, SameGlobalVariable lock inc [eax] //   end; WaitForSingleObject(hThread, INFINITE); CloseHandle(hThread); if SameGlobalVariable <> DoubleLimit then Writeln('Step two failed. Expected: ', DoubleLimit, ' but current: ', SameGlobalVariable); Readln; end. 

उदाहरण का सार एक निश्चित वैश्विक चर है SameGlobalVariable (यह कार्य के मूल कथन से लाइन लिंक के काउंटर के रूप में कार्य करता है) और सामान्य और परमाणु मोड में एक थ्रेड का उपयोग करके इसके मूल्य में परिवर्तन किए जाते हैं।

यहां आप ऑपरेशन के दो तरीकों के बीच अंतर को स्पष्ट रूप से देख सकते हैं।
कंसोल में, आपको निम्न जैसा कुछ दिखाई देगा:

 Step one failed. Expected: 2000000 but current: 1018924 

दूसरी अवतार में त्रुटियाँ जो आपने कभी नहीं देखी होंगी।

वैसे, पहले विकल्प का उपयोग काफी अच्छे रैंडमाइज़र के रूप में किया जा सकता है (जो मैंने पिछले लेखों में बात की थी)।

संक्षेप में:

विशेष रूप से डेल्फी और वीसीएल सिस्टम मॉड्यूल के स्रोत कोड का विश्लेषण कभी-कभी आपको मान्यताओं की तुलना में बहुत अधिक जानकारी दे सकता है कि यह वास्तव में कैसे काम करता है और यह एक तथ्य है, लेकिन ...



नहीं, यह एक तथ्य नहीं है, यह एक तथ्य से अधिक है - जिस तरह से यह वास्तव में था