seL4 પ્રોજેક્ટ એસીએમ સોફ્ટવેર સિસ્ટમ એવોર્ડ જીત્યો

seL4 ઓપન માઇક્રોકર્નલ પ્રોજેક્ટને ACM સોફ્ટવેર સિસ્ટમ એવોર્ડ મળ્યો છે, જે એસોસિએશન ફોર કમ્પ્યુટિંગ મશીનરી (ACM) દ્વારા આપવામાં આવતો વાર્ષિક પુરસ્કાર છે, જે કોમ્પ્યુટર સિસ્ટમ્સના ક્ષેત્રમાં સૌથી પ્રતિષ્ઠિત આંતરરાષ્ટ્રીય સંસ્થા છે. આ પુરસ્કાર કામગીરીના ગાણિતિક પુરાવાના ક્ષેત્રમાં સિદ્ધિઓ માટે આપવામાં આવે છે, જે ઔપચારિક ભાષામાં આપવામાં આવેલા વિશિષ્ટતાઓનું સંપૂર્ણ પાલન સૂચવે છે અને મિશન-ક્રિટીકલ એપ્લિકેશન્સમાં ઉપયોગ માટે તત્પરતાને માન્યતા આપે છે. seL4 પ્રોજેક્ટે દર્શાવ્યું છે કે ઔદ્યોગિક ઓપરેટિંગ સિસ્ટમના સ્તરે પ્રોજેક્ટ્સ માટે વિશ્વસનીયતા અને સુરક્ષાને સંપૂર્ણપણે ઔપચારિક રીતે ચકાસવાનું માત્ર શક્ય નથી, પરંતુ પ્રદર્શન અને વૈવિધ્યતાને બલિદાન આપ્યા વિના પણ આ પ્રાપ્ત કરવું શક્ય છે.

એસીએમ સૉફ્ટવેર સિસ્ટમ પુરસ્કાર દર વર્ષે એવી સૉફ્ટવેર સિસ્ટમ્સના વિકાસને ઓળખવા માટે આપવામાં આવે છે જેણે ઉદ્યોગ પર નિર્ણાયક અસર કરી હોય, નવી વિભાવનાઓ રજૂ કરી હોય અથવા નવી વ્યાવસાયિક એપ્લિકેશનો ખોલી હોય. એવોર્ડની રકમ 35 હજાર યુએસ ડોલર છે. પાછલા વર્ષોમાં, GCC અને LLVM પ્રોજેક્ટ્સ અને તેમના સ્થાપકો રિચાર્ડ સ્ટોલમેન અને ક્રિસ લેટનરને ACM એવોર્ડ આપવામાં આવ્યા છે. અન્ય પ્રોજેક્ટ્સ અને ટેક્નોલોજીઓ કે જેને એવોર્ડ આપવામાં આવ્યો હતો તેમાં UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB અને eclipseનો સમાવેશ થાય છે. .

seL4 માઇક્રોકર્નલનું આર્કિટેક્ચર યુઝર સ્પેસમાં કર્નલ સંસાધનોનું સંચાલન કરવા માટેના ભાગોને દૂર કરવા અને વપરાશકર્તા સંસાધનો જેવા સંસાધનો માટે એક્સેસ કંટ્રોલના સમાન માધ્યમો લાગુ કરવા માટે નોંધપાત્ર છે. માઇક્રોકર્નલ ફાઇલો, પ્રક્રિયાઓ, નેટવર્ક કનેક્શન્સ અને તેના જેવા મેનેજ કરવા માટે આઉટ-ઓફ-ધ-બૉક્સ ઉચ્ચ-સ્તરના એબ્સ્ટ્રેક્શન્સ પ્રદાન કરતું નથી, તેના બદલે તે ભૌતિક સરનામાં સ્થાન, વિક્ષેપો અને પ્રોસેસર સંસાધનોની ઍક્સેસને નિયંત્રિત કરવા માટે માત્ર ન્યૂનતમ પદ્ધતિઓ પ્રદાન કરે છે. હાર્ડવેર સાથે ક્રિયાપ્રતિક્રિયા કરવા માટે ઉચ્ચ-સ્તરના એબ્સ્ટ્રેક્શન્સ અને ડ્રાઇવરો વપરાશકર્તા-સ્તરના કાર્યોના સ્વરૂપમાં માઇક્રોકર્નલની ટોચ પર અલગથી લાગુ કરવામાં આવે છે. માઇક્રોકર્નલ માટે ઉપલબ્ધ સંસાધનોમાં આવા કાર્યોની ઍક્સેસ નિયમોની વ્યાખ્યા દ્વારા ગોઠવવામાં આવે છે.

સોર્સ: opennet.ru