आरआयएससी-व्ही फाउंडेशनने घोषित केले की याची पडताळणी झाली आहे मायक्रोकेर्नल कसे कार्य करते सह सिस्टममध्ये seL4 सूचना सेट आर्किटेक्चर आरआयएससी-व्ही. ज्यामध्ये एसईएल 4 च्या विश्वासार्हतेच्या गणिताच्या पुराव्यांकडे पडताळणीची प्रक्रिया कमी केली गेली आहे, जे औपचारिक भाषेत निर्दिष्ट केलेल्या वैशिष्ट्यांचे पूर्ण अनुपालन दर्शवते.
विश्वसनीयता चाचणी आरईएससी-व्ही प्रोसेसरवर आधारित मिशन क्रिटिकल सिस्टममध्ये वापरण्यासाठी एसईएल 4 सक्षम करते RV64, ज्यास उच्च पातळीची विश्वसनीयता आवश्यक आहे आणि अपयशाची हमी देत नाही.
एसईएल 4 कर्नलच्या वर कार्यरत सॉफ्टवेअर डेव्हलपर पूर्णपणे खात्री बाळगू शकतात की सिस्टमच्या एका भागामध्ये बिघाड झाल्यास, हे अपयश प्रणालीच्या उर्वरित भागात आणि विशेषतः, त्याच्या गंभीर भागात पसरणार नाही.
SEL4 बद्दल
एसईएल 4 आर्किटेक्चर वापरकर्त्याच्या जागेवर कर्नल संसाधने व्यवस्थापित करण्यासाठी भाग काढून टाकण्यासाठी उल्लेखनीय आहे आणि वापरकर्त्यांच्या संसाधनांसाठी अशा संसाधनांसाठी समान प्रवेश नियंत्रण पद्धती वापरा.
मायक्रोकेर्नल उच्च-स्तरावरील अमूर्तता प्रदान करीत नाही फायली, प्रक्रिया, नेटवर्क कनेक्शन इ. व्यवस्थापित करण्यासाठी आधीच तयार आहे, परंतु त्याऐवजी केवळ भौतिक पत्त्याच्या जागेवर प्रवेश नियंत्रित करण्यासाठी किमान यंत्रणा प्रदान करते, व्यत्यय आणि प्रोसेसर संसाधने.
संगणकाशी संवाद साधण्यासाठी उच्च-स्तरीय अमूर्तता आणि नियंत्रक वापरकर्त्याच्या पातळीवर कार्य केलेल्या स्वरूपात मायक्रोकेनेलच्या वर स्वतंत्रपणे लागू केले जातात.
मायक्रोकेनलमध्ये उपलब्ध असलेल्या स्त्रोतांमध्ये अशा कार्यांची उपलब्धता नियमांच्या परिभाषाद्वारे आयोजित केली जाते.
आरआयएससी-व्ही एक मुक्त आणि लवचिक प्रणाली प्रदान करते मशीन सूचना की कपात न करता मनमानी अनुप्रयोगांसाठी मायक्रोप्रोसेसर तयार करण्याची परवानगी देते आणि वापरण्याच्या अटी लागू केल्याशिवाय.
आरआयएससी-व्ही आपल्याला पूर्णपणे ओपन प्रोसेसर आणि एसओसी तयार करण्याची परवानगी देते. सध्या, आरआयएससी-व्ही स्पेसिफिकेशनच्या आधारे, अनेक कंपन्या आणि विविध विनामूल्य परवाने (बीएसडी, एमआयटी, अपाचे २.०) अंतर्गत समुदाय आधीपासूनच उत्पादित मायक्रोप्रोसेसर कोर, एसओसी आणि चिप्सचे डझनभर रूपे विकसित करीत आहेत.
आरआयएससी-व्ही समर्थन ग्लिबसी २.२2.27, बिनूटील्स २.2.30०, जीसीसी,, व लिनक्स 7.१4.15 कर्नलच्या रिलिझ पासूनच आहे.
SEL4 मायक्रोकेनेल चाचणी बद्दल
सुरुवातीला, मायक्रोकेनेल 4-बिट एआरएम प्रोसेसरसाठी एसएलएल 32 ची तपासणी केली गेलीआणि नंतर x86 64-बिट प्रोसेसरसाठी.
असे दिसून आले आहे की ओपन मायक्रोकेनेलसह आरआयएससी-व्ही ओपन हार्डवेअर आर्किटेक्चरचे संयोजन SEL4 सुरक्षिततेची एक नवीन पातळी गाठेल, जसे की भविष्यातील हार्डवेअर घटक देखील पूर्णपणे सत्यापित केले जाऊ शकतात, जे मालकी हार्डवेअर आर्किटेक्चरसाठी प्राप्त करणे अशक्य आहे.
जेव्हा आम्ही सेएल 4 तपासतो, तेव्हा हार्डवेअर योग्यप्रकारे कार्य करीत आहे (अर्थात निर्दिष्ट केल्याप्रमाणे) आपण गृहित धरले पाहिजे. असे गृहीत धरते की प्रथम तेथे एक अस्पष्ट तपशील आहे, जे सर्व हार्डवेअरसाठी नाही.
परंतु तरीही असे स्पष्टीकरण अस्तित्त्वात आहे आणि ते औपचारिक आहे (म्हणजे गणिताच्या औपचारिकतेमध्ये विपुलता आहे जे त्याच्या गुणधर्मांबद्दल गणिताच्या तर्कांचे समर्थन करते), हे हार्डवेअरचे वर्तन प्रत्यक्षात पकडते हे आपल्याला कसे कळेल?
वास्तविकता अशी आहे की ती खरोखर नाही याची आपल्याला खात्री असू शकते. हार्डवेअर सॉफ्टवेअरमध्ये वेगळी नाही कारण दोन्ही बग्गी आहेत.
पण ओपन आयएसए चे फायदे रॉयल्टी-फ्री असण्यापलीकडे आहेत. एक म्हणजे ते ओपन सोर्स हार्डवेअर कार्यान्वयन करण्यास परवानगी देते.
एसईएल 4 तपासताना असे गृहित धरले जाते की उपकरणे सूचित केल्याप्रमाणे कार्य करतात आणि विशिष्टता प्रणालीच्या वागणुकीचे संपूर्ण वर्णन करते, परंतु वस्तुतः उपकरणे त्रुटीमुक्त नाहीत, जी सट्टेबाजीच्या अंमलबजावणी यंत्रणेत नियमितपणे उद्भवणा problems्या समस्यांद्वारे दर्शविली जाते. .
ओपन हार्डवेअर प्लॅटफॉर्म बदलांचे एकत्रीकरण सुलभ करतात सुरक्षिततेशी संबंधित, उदाहरणार्थ, तृतीय-पक्षाच्या चॅनेलद्वारे सर्व संभाव्य गळती चॅनेल अवरोधित करणे, जिथे सॉफ्टवेअरद्वारे निराकरण करण्याचा प्रयत्न करण्यापेक्षा हार्डवेअरद्वारे समस्या सोडविणे अधिक कार्यक्षम आहे.
शेवटी, जर तुम्हाला त्याबद्दल अधिक जाणून घ्यायचे असेल तर आपण नोटमधील सल्ला घेऊ शकता खालील दुवा.
माझ्यासाठी हा प्रोसेसर एक अशी गोष्ट आहे जी मला खूप कॉल करते. आम्ही खरेदी करू शकतो असा संगणक बनविण्यासाठी आम्हाला फक्त काही चरबी संगणकाची आवश्यकता आहे.
एआरएमचा मुद्दा हा मला त्रास देणारी बाब आहे, आम्ही आधीपासूनच पाहिले आहे की मंजुरीसह हुआवेईचे काय झाले. मला हे स्पष्ट आहे की माझ्या आरआयएससी-व्हीसाठी सर्व स्तरांवर हा एक चांगला उपाय आहे. याक्षणी हुवावेने यावर आधीच लक्ष ठेवले आहे आणि कदाचित भविष्यात त्यांच्याकडे या मायक्रोसह उपकरणे असतील. तसे असल्यास, निश्चितपणे अशा अधिक कंपन्या असतील जे त्यास स्वीकारतील आणि माझ्यासाठी तेच आदर्श आणि सर्वात महत्त्वाचे म्हणजे डिस्ट्रॉस समर्थन देतात आणि केवळ एआरएमच नव्हे तर बहुतेक गोष्टी घडतात.
+ 10