माइक्रोसफ्टले Windows को लागि eBPF कार्यान्वयन तयार गरेको छ

माइक्रोसफ्टले विन्डोजको लागि eBPF सबसिस्टमको कार्यान्वयन प्रकाशित गरेको छ, जसले तपाईंलाई अपरेटिङ सिस्टम कर्नेल स्तरमा चलिरहेको मनमानी ह्यान्डलरहरू सुरू गर्न अनुमति दिन्छ। eBPF ले कर्नेलमा निर्मित बाइटकोड अनुवादक प्रदान गर्दछ, जसले प्रयोगकर्ता स्पेसबाट लोड गरिएको नेटवर्क सञ्चालन ह्यान्डलरहरू सिर्जना गर्न, पहुँच नियन्त्रण गर्न र प्रणालीहरूको सञ्चालनको निगरानी गर्न सम्भव बनाउँछ। eBPF लाई रिलीज 3.18 देखि लिनक्स कर्नेलमा समावेश गरिएको छ र तपाइँलाई आगमन / बाहिर जाने नेटवर्क प्याकेटहरू, प्याकेट फर्वार्डिङ, ब्यान्डविथ व्यवस्थापन, प्रणाली कल अवरोध, पहुँच नियन्त्रण र ट्रेसिङ ह्यान्डल गर्न अनुमति दिन्छ। JIT कम्पाइलेशनको प्रयोगको लागि धन्यवाद, बाइटकोडलाई फ्लाईमा मेसिन निर्देशनहरूमा अनुवाद गरिएको छ र कम्पाइल गरिएको कोडको प्रदर्शनको साथ कार्यान्वयन गरिन्छ। Windows को लागि eBPF MIT लाइसेन्स अन्तर्गत खुला स्रोत हो।

विन्डोजको लागि eBPF अवस्थित eBPF उपकरणहरूसँग प्रयोग गर्न सकिन्छ र लिनक्समा eBPF अनुप्रयोगहरूका लागि प्रयोग गरिने सामान्य API प्रदान गर्दछ। अन्य चीजहरूको बीचमा, परियोजनाले तपाइँलाई मानक क्ल्याङ्-आधारित eBPF कम्पाइलर प्रयोग गरेर C मा लेखिएको कोड eBPF बाइटकोडमा कम्पाइल गर्न र Windows कर्नेलको माथि लिनक्सको लागि पहिले नै सिर्जना गरिएका eBPF ह्यान्डलरहरू चलाउन अनुमति दिन्छ, विशेष अनुकूलता तह प्रदान गर्दै र मानक Libbpf लाई समर्थन गर्दछ। eBPF कार्यक्रमहरूसँग अन्तर्क्रिया गर्ने अनुप्रयोगहरूसँग अनुकूलताका लागि API। यसमा XDP (एक्सप्रेस डेटा पथ) र सकेट बाइन्ड, नेटवर्क स्ट्याक र विन्डोज नेटवर्क ड्राइभरहरूमा अमूर्त पहुँचको लागि लिनक्स-जस्तो हुकहरू प्रदान गर्ने तहहरू समावेश छन्। योजनाहरूले मानक लिनक्स eBPF प्रोसेसरहरूसँग पूर्ण स्रोत कोड स्तर अनुकूलता प्रदान गर्दछ।

Windows को लागि eBPF कार्यान्वयन बीचको मुख्य भिन्नता वैकल्पिक बाइटकोड प्रमाणिकरणको प्रयोग हो, मूल रूपमा VMware कर्मचारीहरू र क्यानाडाली र इजरायली विश्वविद्यालयहरूका अनुसन्धानकर्ताहरूले प्रस्ताव गरेका थिए। प्रमाणिकरणकर्ता प्रयोगकर्ता स्पेसमा छुट्टै, पृथक प्रक्रियामा चल्छ र त्रुटिहरू पहिचान गर्न र सम्भावित दुर्भावनापूर्ण गतिविधि रोक्न BPF कार्यक्रमहरू कार्यान्वयन गर्नु अघि प्रयोग गरिन्छ।

प्रमाणिकरणको लागि, विन्डोजको लागि eBPF ले एब्स्ट्र्याक्ट व्याख्यामा आधारित स्थिर विश्लेषण विधि प्रयोग गर्दछ, जसले लिनक्सको लागि eBPF प्रमाणिकरणकर्ताको तुलनामा, कम गलत सकारात्मक दर देखाउँदछ, लूप विश्लेषणलाई समर्थन गर्दछ, र राम्रो स्केलेबिलिटी प्रदान गर्दछ। विधिले अवस्थित eBPF कार्यक्रमहरूको विश्लेषणबाट प्राप्त धेरै विशिष्ट कार्यान्वयन ढाँचाहरूलाई ध्यानमा राख्छ।

प्रमाणिकरण पछि, बाइटकोड कर्नेल स्तरमा चलिरहेको एक दोभाषेमा स्थानान्तरण गरिन्छ, वा JIT कम्पाइलर मार्फत पास गरिन्छ, त्यसपछि कर्नेल अधिकारहरूको साथ नतिजा मेसिन कोडको कार्यान्वयन हुन्छ। कर्नेल स्तरमा eBPF ह्यान्डलरहरूलाई अलग गर्न, HVCI (HyperVisor-enforced Code Integrity) मेकानिज्म प्रयोग गरिन्छ, जसले कर्नेलमा भएका प्रक्रियाहरूलाई सुरक्षित गर्न भर्चुअलाइजेशन उपकरणहरू प्रयोग गर्दछ र डिजिटल हस्ताक्षर प्रयोग गरेर कार्यान्वयन कोडको अखण्डताको पुष्टि प्रदान गर्दछ। HVCI को सीमितता यो हो कि यसले व्याख्या गरिएको eBPF कार्यक्रमहरू मात्र प्रमाणित गर्न सक्छ र JIT सँग संयोजनमा प्रयोग गर्न सकिँदैन (तपाईसँग प्रदर्शन वा अतिरिक्त सुरक्षाको विकल्प छ)।

स्रोत: opennet.ru