ఓపెన్ seL4 మైక్రోకెర్నల్ను అభివృద్ధి చేసే ప్రాజెక్ట్ ACM సాఫ్ట్వేర్ సిస్టమ్ అవార్డును అందుకుంది, ఇది కంప్యూటర్ సిస్టమ్స్ రంగంలో అత్యంత అధీకృత అంతర్జాతీయ సంస్థ అయిన అసోసియేషన్ ఫర్ కంప్యూటింగ్ మెషినరీ (ACM) ద్వారా ఏటా ప్రదానం చేస్తుంది. ఆపరేషన్ యొక్క విశ్వసనీయత యొక్క గణిత రుజువు రంగంలో సాధించిన విజయాలకు ఈ బహుమతి ఇవ్వబడుతుంది, ఇది అధికారిక భాషలో పేర్కొన్న స్పెసిఫికేషన్లతో పూర్తి సమ్మతిని ప్రదర్శిస్తుంది మరియు మిషన్-క్రిటికల్ అప్లికేషన్లలో ఉపయోగించడానికి సంసిద్ధతను గుర్తిస్తుంది. పారిశ్రామిక ఆపరేటింగ్ సిస్టమ్-స్థాయి డిజైన్ల కోసం విశ్వసనీయత మరియు భద్రతను పూర్తిగా అధికారికంగా ధృవీకరించడం మాత్రమే కాకుండా, పనితీరు మరియు బహుముఖ ప్రజ్ఞలో రాజీ పడకుండా దీన్ని సాధించడం కూడా సాధ్యమేనని seL4 ప్రాజెక్ట్ చూపించింది.
ACM సాఫ్ట్వేర్ సిస్టమ్ అవార్డును పరిశ్రమపై నిర్వచించే ప్రభావాన్ని చూపే సాఫ్ట్వేర్ సిస్టమ్ల అభివృద్ధిని గుర్తించడానికి, కొత్త కాన్సెప్ట్లను పరిచయం చేయడం లేదా వాణిజ్య అప్లికేషన్ యొక్క కొత్త రంగాలను తెరవడం కోసం ప్రతి సంవత్సరం అందించబడుతుంది. అవార్డు మొత్తం 35 వేల అమెరికన్ డాలర్లు. గత సంవత్సరాల్లో, ACM అవార్డులు GCC మరియు LLVM ప్రాజెక్ట్లకు మరియు వాటి వ్యవస్థాపకులు రిచర్డ్ స్టాల్మన్ మరియు క్రిస్ లాట్నర్లకు అందించబడ్డాయి. ఈ అవార్డు UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB మరియు Eclipseley వంటి సాంకేతికతలను కూడా గుర్తించింది. .
seL4 మైక్రోకెర్నల్ యొక్క నిర్మాణం వినియోగదారు స్థలంలోకి కెర్నల్ వనరులను నిర్వహించడం కోసం భాగాలను తరలించడం మరియు వినియోగదారు వనరుల వంటి వనరుల కోసం అదే యాక్సెస్ నియంత్రణ సాధనాలను ఉపయోగించడం కోసం గుర్తించదగినది. మైక్రోకెర్నల్ ఫైల్లు, ప్రాసెస్లు, నెట్వర్క్ కనెక్షన్లు మరియు ఇలాంటి వాటిని నిర్వహించడానికి సిద్ధంగా ఉన్న అధిక-స్థాయి సంగ్రహాలను అందించదు; బదులుగా, ఇది భౌతిక చిరునామా స్థలం, అంతరాయాలు మరియు ప్రాసెసర్ వనరులకు ప్రాప్యతను నియంత్రించడానికి కనీస మెకానిజమ్లను మాత్రమే అందిస్తుంది. హార్డ్వేర్తో పరస్పర చర్య చేయడానికి ఉన్నత-స్థాయి సంగ్రహణలు మరియు డ్రైవర్లు వినియోగదారు-స్థాయి పనుల రూపంలో మైక్రోకెర్నల్ పైన విడిగా అమలు చేయబడతాయి. మైక్రోకెర్నల్కు అందుబాటులో ఉన్న వనరులకు అటువంటి పనుల యాక్సెస్ నియమాల నిర్వచనం ద్వారా నిర్వహించబడుతుంది.
మూలం: opennet.ru