eBPF उपप्रणालीमा कमजोरीहरू जसले स्पेक्टर आक्रमणहरू विरुद्ध सुरक्षालाई बाइपास गर्न अनुमति दिन्छ

लिनक्स कर्नेल (CVE-2021-33624) मा एउटा जोखिम पहिचान गरिएको छ जसले eBPF उपप्रणालीलाई स्पेक्टर वर्गको कमजोरीहरू विरुद्ध सुरक्षा बाइपास गर्न प्रयोग गर्न अनुमति दिन्छ, जसले मेमोरीको सामग्रीहरू निर्धारण गर्न सम्भव बनाउँछ। निश्चित कार्यहरूको सट्टा कार्यान्वयन। स्पेक्टर आक्रमणलाई विशेषाधिकार प्राप्त कोडमा आदेशहरूको निश्चित अनुक्रमको उपस्थिति आवश्यक छ जसले निर्देशनहरूको सट्टा कार्यान्वयनमा जान्छ। कार्यान्वयनको लागि प्रसारित BPF कार्यक्रमहरूलाई हेरफेर गरेर, eBPF मा समान निर्देशनहरू उत्पन्न गर्न र साइड च्यानलहरू मार्फत कर्नेल मेमोरी र भौतिक मेमोरीको मनमानी क्षेत्रहरूको सामग्री चुहावट गर्न सम्भव छ।

भेरिफायरमा त्रुटिहरूको कारणले गर्दा जोखिम हुन्छ, जुन BPF कार्यक्रमहरूमा त्रुटिहरू र अस्वीकार्य गतिविधिहरू पत्ता लगाउन प्रयोग गरिन्छ। प्रमाणिकरणकर्ताले सम्भावित कोड कार्यान्वयन मार्गहरू गणना गर्दछ, तर निर्देशन सेट आर्किटेक्चरको अर्थशास्त्रको दृष्टिकोणबाट अस्वीकार्य हुने शाखाहरू विकल्पहरू छोड्छ। BPF कार्यक्रम कार्यान्वयन गर्दा, प्रमाणिकरणकर्ताले ध्यान नदिने त्यस्ता शाखा विकल्पहरू प्रोसेसरद्वारा गलत भविष्यवाणी गर्न सकिन्छ र सट्टा मोडमा कार्यान्वयन गर्न सकिन्छ। उदाहरणका लागि, "लोड" अपरेशनको विश्लेषण गर्दा, प्रमाणिकरणकर्ताले अपेक्षा गर्दछ कि निर्देशनले ठेगानाको साथ दर्ता प्रयोग गर्दछ जसको मान सधैं निर्दिष्ट सीमा भित्र हुन्छ, तर एक आक्रमणकर्ताले सर्तहरू सिर्जना गर्न सक्छ जस अन्तर्गत प्रोसेसरले अनुमानित रूपमा अपरेशन गर्न प्रयास गर्नेछ। प्रमाणीकरण सर्तहरू पूरा नगर्ने ठेगाना।

समस्या कर्नेल 4.15 को रिलीज देखि देखा परेको छ र प्याच को रूप मा फिक्स गरिएको छ (1, 2, 3, 4)। असुरक्षा वितरण (Debian, RHEL, Ubuntu, Fedora, SUSE, Arch) मा अनिश्चित रहन्छ।

थप रूपमा, तपाइँ स्पेक्टर कमजोरीहरू विरुद्ध सुरक्षा गर्न उपकरणहरूको प्रदर्शन प्रभावको बारेमा नोट नोट गर्न सक्नुहुन्छ। नोटले rr (रेकर्ड र रिप्ले) डिबगरको अप्टिमाइजेसनको नतिजाहरूलाई संक्षेप गर्दछ, जुन एक पटक फायरफक्समा दोहोर्याउन गाह्रो हुने त्रुटिहरूलाई डिबग गर्न मोजिलामा सिर्जना गरिएको थियो। डाइरेक्टरीहरूको अस्तित्व जाँच गर्न प्रयोग गरिने प्रणाली कलहरू क्यास गर्नाले परीक्षण परियोजनाको लागि "rr स्रोतहरू" सञ्चालनलाई ३ मिनेट १९ सेकेन्डबाट ३६ सेकेन्डमा घटाइयो।

अप्टिमाइजेसन लेखकले स्पेक्टर सुरक्षा असक्षम गरेपछि प्रदर्शन कसरी परिवर्तन हुन्छ भनेर जाँच गर्ने निर्णय गर्यो। "शमन = बन्द" प्यारामिटरको साथ प्रणाली बुट गरेपछि, अनुकूलन बिना "rr स्रोतहरू" को कार्यान्वयन समय 2 मिनेट 5 सेकेन्ड (1.6 गुणा छिटो) थियो, र अनुकूलन संग यो 33 सेकेन्ड (9% छिटो) थियो। चाखलाग्दो कुरा के छ भने, स्पेक्टर सुरक्षा असक्षम पार्नुले कर्नेल स्तरमा कोड कार्यान्वयन समयलाई १.४ गुणा (२m1.4s बाट 2m9s सम्म) घटाएको मात्र होइन, प्रयोगकर्ता स्पेसमा (1m32s बाट 1m9s सम्म) कार्यान्वयन गर्ने समय पनि आधा घटाएको छ, सम्भवतः CPU क्यास अपरेशन र CPU क्यास कम भएकोले। स्पेक्टर सुरक्षा सक्षम हुँदा रिसेट हुन्छ।

स्रोत: opennet.ru