👍🏼 🏉 🥖 VCL में परमाणुओं और सूक्ष्म बग का दुरुपयोग 👴🏾 🎱 💋

बग खोज

मुझे सिस्टम के लंबे समय तक चलने और गहन डिबगिंग के बाद डेल्फिक नियंत्रण के अपर्याप्त व्यवहार से संबंधित बग के एक लंबे समय से पीड़ा हुई थी। सूचियों को अद्यतन करना बंद कर दिया गया, बटन दबाए गए, इनपुट क्षेत्रों ने ध्यान खोना शुरू कर दिया। और सब कुछ उदास था, और आईडीई को पुनरारंभ करने से मदद नहीं मिली। इसके अलावा, आईडीई को पुनः आरंभ करने के बाद, यह स्वयं भी विफल होने लगा। मुझे रिबूट करना पड़ा।
आज इसने मुझे परेशान कर दिया, और मैंने उसकी तलाश शुरू कर दी। मुझे कहना होगा कि कोई फायदा नहीं हुआ।
विंडो संदेशों को गिरवी रखकर, मैंने विश्लेषण करना शुरू किया कि क्या गलत हुआ।
यह पता चला कि Control.pas मॉड्यूल में निम्नलिखित लाइनें हैं:

function FindControl(Handle: HWnd): TWinControl; var OwningProcess: DWORD; begin Result := nil; if (Handle <> 0) and (GetWindowThreadProcessID(Handle, OwningProcess) <> 0) and (OwningProcess = GetCurrentProcessId) then begin if GlobalFindAtom(PChar(ControlAtomString)) = ControlAtom then Result := Pointer(GetProp(Handle, MakeIntAtom(ControlAtom))) else Result := ObjectFromHWnd(Handle); end; end;

और GetProp (हैंडल, MakeIntAtom (ControlAtom)) हमेशा 0 लौटाता है। यह तुरंत स्पष्ट हो गया कि ControlAtom किसी कारण से 0 है, और GlobalFindAtom (PChar (ControlAtomString)) भी 0 देता है।
ControlAtomString और ControlAtom को InitControls प्रक्रिया में आरंभीकृत किया जाता है, जिसे मॉड्यूल इनिशियल सेक्शन में कहा जाता है:

 procedure InitControls; var UserHandle: HMODULE; begin {$IF NOT DEFINED(CLR)} WindowAtomString := Format('Delphi%.8X',[GetCurrentProcessID]); WindowAtom := GlobalAddAtom(PChar(WindowAtomString)); ControlAtomString := Format('ControlOfs%.8X%.8X', [HInstance, GetCurrentThreadID]); ControlAtom := GlobalAddAtom(PChar(ControlAtomString)); RM_GetObjectInstance := RegisterWindowMessage(PChar(ControlAtomString)); {$IFEND}

ControlAtomString सही तरीके से आबाद है, लेकिन ControlAtom शून्य से आबाद है। यहां त्रुटियों की कोई जांच नहीं है, इसलिए यह बहुत बाद में वापस आया, अफसोस। यदि आप GlobalAddAtom के बाद GetLastError सम्मिलित करते हैं , तो यह ERROR_NOT_ENOUGH_MEMORY वापस आ जाएगी। और यदि आप अभी भी MSDN पर GlobalAddAtom पर टिप्पणी को ध्यान से पढ़ते हैं, तो आप नोटिस कर सकते हैं:

जब अनुप्रयोग समाप्त हो जाता है तो वैश्विक परमाणु स्वचालित रूप से हटाए नहीं जाते हैं। GlobalAddAtom फ़ंक्शन के लिए प्रत्येक कॉल के लिए, GlobalDeleteAtom फ़ंक्शन के लिए संबंधित कॉल होनी चाहिए।

सब कुछ तुरंत स्पष्ट हो जाता है। यदि आवेदन को गलत तरीके से समाप्त किया जाता है, तो वैश्विक परमाणु प्रवाहित हो जाएंगे। और बिल्ली नामित परमाणुओं के लिए रोती है: 0xC000-0xFFFF, अर्थात, केवल 16383। यही है प्रत्येक dll, और डेल्फी में लिखे गए प्रत्येक exe-shnik ने गलत पूर्ण पत्तियों पर VCL का उपयोग करके वैश्विक परमाणुओं को लीक किया। अधिक सटीक होने के लिए - फिर प्रति उदाहरण 2-3 परमाणु:
Controls.tom और Controls.pas में WindowAtom और डायलॉगस्पेस में WndProcPtrAtom

वैकल्पिक हल

निर्मित परमाणु देखें मुश्किल नहीं है। वैश्विक स्ट्रिंग परमाणुओं को सूचीबद्ध करने वाले एक सरल अनुप्रयोग के लिए कोड यहां दिया गया है:

 program EnumAtomsSample; {$APPTYPE CONSOLE} uses Windows, SysUtils; function GetAtomName(nAtom: TAtom): string; var n: Integer; tmpstr: array [0..255] of Char; begin n := GlobalGetAtomName(nAtom, PChar(@tmpstr[0]), 256); if n = 0 then Result := '' else Result := tmpstr; end; procedure EnumAtoms; var i: Integer; s: string; begin for i := MAXINTATOM to MAXWORD do begin s := GetAtomName(i); if (s <> '') then WriteLn(s); end; end; begin try EnumAtoms; ReadLn; except on E: Exception do Writeln(E.ClassName, ': ', E.Message); end; end.

आप यह सुनिश्चित कर सकते हैं कि परमाणु किसी वीसीएल परियोजना को शुरू करके प्रवाहित करते हैं, और इसे कार्य प्रबंधक के माध्यम से प्रवाहित करते हैं।

चूँकि परमाणु वैश्विक होते हैं, हम उनकी परवाह किए बिना उन्हें बना सकते हैं। यह किसी भी तरह यह निर्धारित करना सीखता है कि परमाणु लीक हो गया है।
यदि आप परमाणुओं के नाम पर ध्यान देते हैं, तो इसके लिए
WndProcPtrAtom WndProcPtr [HInstance] [थ्रेडिड] है
ControlAtom ControlOfs [HInstance] [थ्रेडिड] है
WindowAtom डेल्फी है [ProcessID]
सभी मामलों में, हम समझ सकते हैं कि परमाणु सबसे अधिक संभावना है कि डेल्फी द्वारा एक विशिष्ट उपसर्ग + एक या दो 32-बिट संख्या में हेक्स द्वारा बनाया गया है। इसके अलावा, या तो ProcessID या ThreadID HEX को लिखा जाता है। हम आसानी से जांच कर सकते हैं कि सिस्टम में ऐसी कोई प्रक्रिया या धागा है या नहीं। यदि नहीं, तो हमारे पास एक स्पष्ट रूप से लीक परमाणु है, और हम इसे जारी करने का जोखिम उठा सकते हैं। हाँ हाँ, एक मौका ले लो। तथ्य यह है कि हमने यह सुनिश्चित करने के बाद कि इस आईडी के साथ कोई थ्रेड / प्रक्रिया नहीं है, और परमाणु को हटाने जा रहे हैं, यह प्रक्रिया बिल्कुल उसी आईडी के साथ दिखाई दे सकती है और डेल्फी प्रक्रिया हो सकती है। यदि सत्यापन और विलोपन के बीच के अंतराल में ऐसा होता है, तो हम परमाणु को वैध आवेदन से हरा देंगे। स्थिति अत्यंत संभावना नहीं है, क्योंकि चेक के बीच के अंतराल में, एक आवश्यक डेल्फ़िक प्रक्रिया बनाई जानी चाहिए, हमेशा बिल्कुल एक ही आईडी द्वारा, और इसके परमाणुओं को आरम्भ करने के लिए समय होना आवश्यक है। मुझे इस समस्या को हल करने के लिए अन्य वर्कअराउंड्स (वीसीएल कोड को संपादित किए बिना) नहीं दिखते हैं।

मैंने ऐसे लीक हुए वैश्विक परमाणुओं की सफाई के लिए एक कंसोल टूल लिखा।

इस उपकरण का कोड इस प्रकार है:

 program AtomCleaner; {$APPTYPE CONSOLE} uses Windows, SysUtils; const THREAD_QUERY_INFORMATION = $0040; function OpenThread(dwDesiredAccess: DWORD; bInheritHandle: BOOL; dwThreadId: DWORD): THandle; stdcall; external kernel32; function ThreadExists(const ThreadID: Cardinal): Boolean; var h: THandle; begin h := OpenThread(THREAD_QUERY_INFORMATION, False, ThreadID); if h = 0 then begin Result := False; end else begin Result := True; CloseHandle(h); end; end; function TryHexChar(c: Char; out b: Byte): Boolean; begin Result := True; case c of '0'..'9': b := Byte(c) - Byte('0'); 'a'..'f': b := (Byte(c) - Byte('a')) + 10; 'A'..'F': b := (Byte(c) - Byte('A')) + 10; else Result := False; end; end; function TryHexToInt(const s: string; out value: Cardinal): Boolean; var i: Integer; chval: Byte; begin Result := True; value := 0; for i := 1 to Length(s) do begin if not TryHexChar(s[i], chval) then begin Result := False; Exit; end; value := value shl 4; value := value + chval; end; end; function GetAtomName(nAtom: TAtom): string; var n: Integer; tmpstr: array [0..255] of Char; begin n := GlobalGetAtomName(nAtom, PChar(@tmpstr[0]), 256); if n = 0 then Result := '' else Result := tmpstr; end; function CloseAtom(nAtom: TAtom): Boolean; var n: Integer; s: string; begin Result := False; s := GetAtomName(nAtom); if s = '' then Exit; WriteLn('Closing atom: ', IntToHex(nAtom, 4), ' ', s); GlobalDeleteAtom(nAtom); Result := True; end; function ProcessAtom(nAtom: TAtom): Boolean; var s: string; n: Integer; id: Cardinal; begin Result := False; s := GetAtomName(nAtom); n := Pos('ControlOfs', s); if n = 1 then begin Delete(s, 1, Length('ControlOfs')); if Length(s) <> 16 then Exit; Delete(s, 1, 8); if not TryHexToInt(s, id) then Exit; if not ThreadExists(id) then Exit(CloseAtom(nAtom)); Exit; end; n := Pos('WndProcPtr', s); if n = 1 then begin Delete(s, 1, Length('WndProcPtr')); if Length(s) <> 16 then Exit; Delete(s, 1, 8); if not TryHexToInt(s, id) then Exit; if not ThreadExists(id) then Exit(CloseAtom(nAtom)); Exit; end; n := Pos('Delphi', s); if n = 1 then begin Delete(s, 1, Length('Delphi')); if Length(s) <> 8 then Exit; if not TryHexToInt(s, id) then Exit; if GetProcessVersion(id) = 0 then if GetLastError = ERROR_INVALID_PARAMETER then Exit(CloseAtom(nAtom)); Exit; end; end; procedure EnumAndCloseAtoms; var i: Integer; begin i := MAXINTATOM; while i <= MAXWORD do begin if not ProcessAtom(i) then Inc(i); end; end; begin try EnumAndCloseAtoms; except on E: Exception do Writeln(E.ClassName, ': ', E.Message); end; end.

बस चलाते हैं, लीक हुए परमाणुओं को साफ किया जाता है। जाँच करें, हो सकता है कि अभी आप पहले ही सिस्टम में परमाणुओं को लीक कर चुके हैं।

निष्कर्ष में

कोड के निरीक्षण से पता चला कि इन वैश्विक परमाणुओं का उपयोग केवल सेटप्रॉप और गेटप्रॉप कार्यों के लिए किया जाता है। यह पूरी तरह से समझ से बाहर है कि डेल्फी डेवलपर्स ने परमाणुओं का उपयोग करने का फैसला क्यों किया। आखिरकार, ये दोनों फ़ंक्शन स्ट्रिंगर्स को पॉइंटर्स के साथ ठीक काम करते हैं। यह एक अद्वितीय स्ट्रिंग को प्रसारित करने के लिए पर्याप्त है, जो अपने आप में पहले से ही मौजूद है, क्योंकि इसके साथ एक परमाणु को प्रारंभिक किया जाता है।
वीसीएल कोड में ऐसी तुलनाओं का तर्क भी समझ से बाहर है:
अगर GlobalFindAtom (PChar (ControlAtomString)) = ControlAtom
दोनों चर एक स्थान पर आरम्भिक हैं। स्ट्रिंग अद्वितीय होने वाली है (HInstance and ThreadID से)। सत्यापन हमेशा सच लौटेगा। काश, डेल्फी अब नई सुविधाओं को बढ़ावा दे रही है, सभी तरह के FMXs। यह संभावना नहीं है कि वे इस बग को ठीक कर देंगे। व्यक्तिगत रूप से, मैं QC पर रिपोर्ट करना भी नहीं चाहता, यह जानना कि यह कैसे ठीक होता है। लेकिन किसी तरह आपको इसके साथ रहना होगा। जो लोग अपने आवेदन की शुरुआत में उपरोक्त टूल के कोड को निष्पादित कर सकते हैं। मेरी राय में, यह हर तरह से लीक परमाणुओं की प्रतीक्षा से बेहतर है।
खैर, अपने स्वयं के विकास में, हमें वैश्विक परमाणुओं से बचने की कोशिश करनी चाहिए, क्योंकि ओएस उनके रिसाव को नियंत्रित नहीं करता है।

उपकरण + स्रोत

VCL में परमाणुओं और सूक्ष्म बग का दुरुपयोग

बग खोज

वैकल्पिक हल

निष्कर्ष में

More articles: