seL4 ፕሮጀክት የኤሲኤም ሶፍትዌር ሲስተም ሽልማትን አሸንፏል

ክፍት ሴኤል 4 ማይክሮከርነል የሚያዘጋጀው ፕሮጀክት በኮምፒዩተር ሲስተሞች መስክ እጅግ ስልጣን ያለው አለምአቀፍ ድርጅት በኮምፑቲንግ ማሽነሪ (ACM) በየዓመቱ የሚሰጠውን የኤሲኤም ሶፍትዌር ሲስተም ሽልማት አግኝቷል። ሽልማቱ የሚሰጠው በሒሳብ አሠራሩ አስተማማኝነት ማረጋገጫ መስክ ውስጥ ላገኙት ስኬቶች ሲሆን ይህም በመደበኛ ቋንቋ የተገለጹትን ዝርዝር መግለጫዎች ሙሉ በሙሉ የሚያሟላ እና ለተልዕኮ-ወሳኝ አፕሊኬሽኖች ለመጠቀም ዝግጁነትን የሚገነዘብ ነው። የሴኤል 4 ኘሮጀክቱ እንደሚያሳየው ለኢንዱስትሪ ኦፕሬቲንግ ሲስተም ደረጃ ዲዛይኖች አስተማማኝነት እና ደህንነትን ሙሉ በሙሉ ማረጋገጥ ብቻ ሳይሆን አፈፃፀምን እና ሁለገብነትን ሳይቀንስ ይህንንም ለማሳካት ያስችላል።

የ ACM የሶፍትዌር ሲስተም ሽልማት በኢንዱስትሪው ላይ ጉልህ የሆነ ተፅእኖ ያላቸውን የሶፍትዌር ስርዓቶች እድገትን ለመለየት ፣ አዳዲስ ጽንሰ-ሀሳቦችን ለማስተዋወቅ ወይም አዲስ የንግድ መተግበሪያ ቦታዎችን ለመክፈት በየዓመቱ ይሰጣል። የሽልማቱ መጠን 35 ሺህ ዶላር ነው። ባለፉት ዓመታት የACM ሽልማቶች ለጂሲሲ እና ለኤልኤልቪኤም ፕሮጀክቶች እና መስራቾቻቸው ሪቻርድ ስታልማን እና ክሪስ ላትነር ተሰጥተዋል። ሽልማቱ እንደ UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB እና Eclipse የመሳሰሉ ፕሮጀክቶችን እና ቴክኖሎጂዎችን እውቅና ሰጥቷል. .

የሴኤል 4 ማይክሮከርነል አርክቴክቸር የከርነል ሃብቶችን ለማስተዳደር ክፍሎችን ወደ ተጠቃሚ ቦታ በማዘዋወር እና ለመሳሰሉት ግብአቶች ተመሳሳይ የመዳረሻ መቆጣጠሪያ መሳሪያዎችን እንደ የተጠቃሚ ሃብቶች በመጠቀም ይታወቃል። ማይክሮከርነል ፋይሎችን ፣ ሂደቶችን ፣ የአውታረ መረብ ግንኙነቶችን እና መሰል ነገሮችን ለማስተዳደር ዝግጁ-የተሰሩ የከፍተኛ ደረጃ ማጠቃለያዎችን አይሰጥም ፣ ይልቁንም የአካላዊ አድራሻ ቦታን ፣ መቆራረጥን እና የአቀነባባሪ ሃብቶችን ለመቆጣጠር አነስተኛ ዘዴዎችን ብቻ ይሰጣል። ከሃርድዌር ጋር መስተጋብር ለመፍጠር የከፍተኛ ደረጃ ማጠቃለያዎች እና አሽከርካሪዎች በማይክሮከርነል አናት ላይ በተጠቃሚ ደረጃ ተግባራት ውስጥ ተለይተው ተፈጻሚ ይሆናሉ። እንደነዚህ ያሉ ሥራዎችን ለማይክሮከርነል የሚገኙትን ሀብቶች መድረስ በሕጎች ፍቺ በኩል ተደራጅቷል ።

ምንጭ: opennet.ru

አስተያየት ያክሉ