AMD ने AMD Zen 3 CPUs च्या Specter-STL हल्ल्याच्या संभाव्य भेद्यतेची पुष्टी केली आहे

AMD ने Zen 3 मालिका प्रोसेसरमध्ये लागू केलेल्या PSF (प्रेडिक्टिव स्टोअर फॉरवर्डिंग) ऑप्टिमायझेशन तंत्रज्ञानाच्या सुरक्षेचे विश्लेषण करणारा अहवाल प्रकाशित केला आहे. अभ्यासाने मे २०१८ मध्ये ओळखल्या गेलेल्या Spectre-STL (Spectre-v4) हल्ला पद्धतीच्या लागू होण्याची सैद्धांतिकरित्या पुष्टी केली आहे. PSF तंत्रज्ञान, परंतु व्यवहारात, आक्रमणास नेतृत्व करण्यास सक्षम असलेले कोणतेही कोड टेम्पलेट्स अद्याप सापडलेले नाहीत आणि एकूण धोक्याचे मूल्यमापन नगण्य आहे.

आम्हाला आठवू द्या की Specter-v4 (Speculative Store Bypass) हल्ला हा अप्रत्यक्ष पत्ता वापरून पर्यायी लेखन आणि वाचन ऑपरेशन्सवर प्रक्रिया करताना ऑपरेशन्सच्या सट्टेबाज अंमलबजावणीचा परिणाम काढून टाकल्यानंतर प्रोसेसर कॅशेमध्ये सेट केलेला डेटा पुनर्संचयित करण्यावर आधारित आहे. जेव्हा रीड ऑपरेशन लिहिण्याच्या ऑपरेशनचे अनुसरण करते (उदा. mov [rbx + rcx], 0x0; mov rax, [rdx + rsi]), वाचलेल्या पत्त्याचा ऑफसेट अशाच ऑपरेशन्समुळे आधीच ओळखला जाऊ शकतो (वाचन ऑपरेशन्स अधिक वारंवार केले जाते आणि कॅशेमधून वाचन केले जाऊ शकते) आणि प्रोसेसर राइटच्या अप्रत्यक्ष ऑफसेटची गणना होण्याची प्रतीक्षा न करता राइटच्या आधी वाचन करू शकतो.

हे वैशिष्ट्य स्टोअर ऑपरेशन अद्याप पूर्ण झालेले नसताना काही पत्त्यावर जुन्या मूल्यामध्ये प्रवेश करण्यासाठी वाचन सूचना देते. अंदाज त्रुटी असल्यास, अयशस्वी सट्टा ऑपरेशन टाकून दिले जाईल, परंतु त्याच्या अंमलबजावणीचे ट्रेस प्रोसेसर कॅशेमध्ये राहतील आणि प्रवेशातील बदलांच्या विश्लेषणावर आधारित कॅशेची सामग्री निर्धारित करण्याच्या पद्धतींपैकी एकाद्वारे पुनर्प्राप्त केली जाऊ शकते. कॅश्ड आणि अनकॅश्ड डेटासाठी वेळ.

AMD Zen 3 प्रोसेसरमध्ये जोडलेले, PSF STLF (स्टोअर-टू-लोड-फॉरवर्डिंग) ला ऑप्टिमाइझ करते, जे वाचन आणि लेखन ऑपरेशन्समधील नातेसंबंधाचा अंदाज घेऊन वाचन ऑपरेशन्स सट्टेबाजपणे करते. क्लासिक STLF वापरताना, प्रोसेसर मागील "स्टोअर" कमांडमधून थेट फॉरवर्ड केलेल्या डेटावर "लोड" ऑपरेशन करतो, परिणाम प्रत्यक्षात मेमरीमध्ये लिहिला जाण्याची वाट न पाहता, परंतु "लोड" मध्ये वापरलेले पत्ते याची खात्री करून घेतो. आणि "स्टोअर" कमांड जुळतात. PSF ऑप्टिमायझेशन पत्त्याची तपासणी सट्टा बनवते आणि पत्त्याच्या माहितीची गणना होण्यापूर्वी एक "लोड" ऑपरेशन करते जर एकाच पत्त्यामध्ये फेरफार करणारे स्टोअर/लोड जोडी यापूर्वी कार्यान्वित केले गेले असेल. अंदाज अयशस्वी झाल्यास, स्थिती परत आणली जाते, परंतु डेटा कॅशेमध्ये राहतो.

PSF वर हल्ला केवळ एका स्तरावरील विशेषाधिकारांच्या चौकटीतच शक्य आहे, केवळ वर्तमान प्रक्रियेचा संदर्भ समाविष्ट करतो आणि अॅड्रेस स्पेस आयसोलेशन पद्धती किंवा हार्डवेअर सँडबॉक्स यंत्रणेद्वारे अवरोधित केला जातो. या प्रकरणात, प्रक्रियेतील सॉफ्टवेअर सँडबॉक्सिंग पद्धती संभाव्यतः समस्येमुळे प्रभावित होऊ शकतात. हा हल्ला ब्राउझर, कोड एक्झिक्युशन व्हर्च्युअल मशीन्स आणि एका प्रक्रियेत तृतीय-पक्ष कोड कार्यान्वित करणार्‍या JIT सारख्या प्रणालींना धोका निर्माण करतो (हल्ला अविश्वासू सँडबॉक्स कोडला इतर प्रक्रिया डेटामध्ये प्रवेश मिळवू शकतो).

AMD ने PSF पूर्णपणे किंवा निवडकपणे अक्षम करण्यासाठी अनेक पद्धती प्रदान केल्या आहेत, परंतु बहुतेक अनुप्रयोगांसाठी नगण्य धोका लक्षात घेता, हे ऑप्टिमायझेशन डीफॉल्टनुसार अक्षम केले जाऊ नये अशी शिफारस केली आहे. अविश्वासू कोड कार्यान्वित करणाऱ्या प्रक्रियांना निवडकपणे संरक्षित करण्यासाठी, वैयक्तिक थ्रेड्ससह, “SSBD” आणि “PSFD” MSR बिट्स सेट करून PSF अक्षम करण्याचा प्रस्ताव आहे. Linux कर्नलसाठी “psfd” आणि “nopsfd” कमांड लाइन पर्यायांच्या अंमलबजावणीसह पॅचेस तयार केले गेले आहेत जे PSF कसे चालू आणि बंद करायचे हे नियंत्रित करतात.

स्त्रोत: opennet.ru