फेसबुकले हर्मिट प्रकाशित गर्दछ, दोहोर्याउन सकिने कार्यक्रम कार्यान्वयनको लागि एउटा टुलकिट

फेसबुक (रूसी संघमा प्रतिबन्धित) ले हर्मिट टूलकिटको लागि कोड प्रकाशित गर्‍यो, जसले कार्यक्रमहरूको निर्धारणात्मक कार्यान्वयनको लागि वातावरण सिर्जना गर्दछ, विभिन्न रनहरूलाई समान परिणाम प्राप्त गर्न र समान इनपुट डाटा प्रयोग गरेर कार्यान्वयन दोहोर्याउन अनुमति दिन्छ। परियोजना कोड Rust मा लेखिएको छ र BSD लाइसेन्स अन्तर्गत वितरण गरिएको छ।

सामान्य कार्यान्वयनको क्रममा, नतिजा विभिन्न बाह्य कारकहरूद्वारा प्रभावित हुन्छ, जस्तै हालको समय, थ्रेड शेड्युलिङ, भर्चुअल मेमोरी ठेगानाहरू, स्यूडोरेन्डम नम्बर जनरेटरबाट डेटा, र विभिन्न अद्वितीय पहिचानकर्ताहरू। हर्मिटले तपाइँलाई कन्टेनरमा प्रोग्राम चलाउन अनुमति दिन्छ जसमा यी कारकहरू पछिल्ला रनहरूमा स्थिर रहन्छन्। दोहोरिने योग्य कार्यान्वयन, जसले वातावरणको गैर-निरन्तर प्यारामिटरहरू पूर्ण रूपमा पुन: उत्पादन गर्दछ, त्रुटि निदानको लागि प्रयोग गर्न सकिन्छ, दोहोर्याइएको रनको साथ बहु-चरण डिबगिङ, रिग्रेसन परीक्षणहरूको लागि निश्चित वातावरण सिर्जना गर्न, तनाव परीक्षण, मल्टिथ्रेडिङको साथ समस्याहरू पहिचान गर्न र दोहोर्याउन मिल्ने निर्माण प्रणालीहरूमा। ।

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

कार्यान्वयन प्रगतिमा सबैभन्दा जटिल चर प्रभावहरू मध्ये एक थ्रेड अनुसूचक हो, जसको व्यवहार धेरै बाह्य कारकहरूमा निर्भर हुन्छ, जस्तै CPU कोरहरूको संख्या र अन्य कार्यान्वयन थ्रेडहरूको उपस्थिति। अनुसूचकको दोहोर्याउने व्यवहार सुनिश्चित गर्न, सबै थ्रेडहरू केवल एक CPU कोरको सम्बन्धमा क्रमिक रूपमा कार्यान्वयन गरिन्छ र थ्रेडहरूमा नियन्त्रण हस्तान्तरण गरिएको क्रम कायम राख्छ। प्रत्येक थ्रेडलाई निश्चित संख्याका निर्देशनहरू कार्यान्वयन गर्न अनुमति दिइन्छ, जसको कार्यान्वयन पछि रोकिन्छ र अर्को थ्रेडमा स्थानान्तरण गरिन्छ (सीपीयू PMU (कार्यसम्पादन निगरानी इकाई) लाई सीमित गर्न, जसले सशर्त शाखाहरूको निर्दिष्ट संख्या पछि कार्यान्वयन रोक्छ)।

दौड अवस्थाका कारण थ्रेडहरूसँग समस्याहरूको निदान गर्न, हर्मिटसँग सञ्चालनहरू पहिचान गर्ने मोड छ जसको कार्यान्वयन आदेश अर्डर बाहिर थियो र असामान्य रूपमा बन्द भयो। त्यस्ता समस्याहरू पहिचान गर्न, सही सञ्चालन र कार्यान्वयनको असामान्य समाप्ति रेकर्ड गरिएका राज्यहरूको तुलना गरिन्छ।

स्रोत: opennet.ru