Muen 1.0 નું પ્રકાશન, અત્યંત વિશ્વસનીય સિસ્ટમો બનાવવા માટે ઓપન સોર્સ માઇક્રોકર્નલ

વિકાસના આઠ વર્ષ પછી, મ્યુએન 1.0 પ્રોજેક્ટ બહાર પાડવામાં આવ્યો હતો, જેમાં સેપરેશન કર્નલ વિકસાવવામાં આવી હતી, જેના સ્ત્રોત કોડમાં ભૂલોની ગેરહાજરી ઔપચારિક વિશ્વસનીયતા ચકાસણીની ગાણિતિક પદ્ધતિઓનો ઉપયોગ કરીને પુષ્ટિ કરવામાં આવી હતી. કર્નલ x86_64 આર્કિટેક્ચર માટે ઉપલબ્ધ છે અને તેનો ઉપયોગ મિશન-ક્રિટીકલ સિસ્ટમ્સમાં થઈ શકે છે કે જેને વિશ્વસનીયતાના વધેલા સ્તરની જરૂર છે અને કોઈ નિષ્ફળતાની બાંયધરી નથી. પ્રોજેક્ટનો સ્ત્રોત કોડ એડા ભાષા અને તેની ચકાસી શકાય તેવી બોલી SPARK 2014 માં લખાયેલ છે. કોડ GPLv3 લાયસન્સ હેઠળ વિતરિત કરવામાં આવે છે.

વિભાજન કર્નલ એ એક માઇક્રોકર્નલ છે જે એકબીજાથી અલગ પડેલા ઘટકોના અમલ માટે વાતાવરણ પૂરું પાડે છે, જેની ક્રિયાપ્રતિક્રિયા આપેલ નિયમો દ્વારા સખત રીતે નિયંત્રિત થાય છે. Isolation Intel VT-x વર્ચ્યુઅલાઈઝેશન એક્સ્ટેન્શનના ઉપયોગ પર આધારિત છે અને તેમાં અપ્રગટ સંચાર ચેનલોના સંગઠનને અવરોધિત કરવા માટે સુરક્ષા પદ્ધતિઓનો સમાવેશ થાય છે. પાર્ટીશન કર્નલ અન્ય માઇક્રોકર્નલ્સ કરતાં વધુ ન્યૂનતમ અને સ્થિર છે, જે નિષ્ફળતાનું કારણ બની શકે તેવી પરિસ્થિતિઓની સંખ્યા ઘટાડે છે.

કર્નલ VMX રુટ મોડમાં ચાલે છે, હાઇપરવાઇઝરની જેમ, અને અન્ય તમામ ઘટકો VMX ​​નોન-રુટ મોડમાં ચાલે છે, ગેસ્ટ સિસ્ટમ્સની જેમ. ઇન્ટેલ VT-d DMA એક્સ્ટેન્શન્સ અને ઇન્ટરપ્ટ રિમેપિંગનો ઉપયોગ કરીને સાધનસામગ્રીની ઍક્સેસ કરવામાં આવે છે, જે મુએન હેઠળ ચાલતા ઘટકો સાથે PCI ઉપકરણોના સુરક્ષિત બંધનને અમલમાં મૂકવાનું શક્ય બનાવે છે.

મુએનની ક્ષમતાઓમાં મલ્ટી-કોર સિસ્ટમ્સ, નેસ્ટેડ મેમરી પેજીસ (EPT, એક્સટેન્ડેડ પેજ ટેબલ્સ), MSI (મેસેજ સિગ્નલ્ડ ઈન્ટરપ્ટ્સ), અને મેમરી પેજ એટ્રિબ્યુટ ટેબલ્સ (PAT, પેજ એટ્રિબ્યુટ ટેબલ) માટે સપોર્ટનો સમાવેશ થાય છે. Muen Intel VMX પ્રીમેપ્ટિવ ટાઈમર પર આધારિત નિશ્ચિત રાઉન્ડ-રોબિન શેડ્યૂલર પણ પ્રદાન કરે છે, એક કોમ્પેક્ટ રનટાઇમ જે પ્રભાવને અસર કરતું નથી, ક્રેશ ઑડિટિંગ સિસ્ટમ, નિયમ-આધારિત સ્ટેટિક રિસોર્સ અસાઇનમેન્ટ મિકેનિઝમ, ઇવેન્ટ હેન્ડલિંગ સિસ્ટમ અને શેર કરેલી મેમરી ચેનલો ચાલતા ઘટકોની અંદર સંચાર.

તે 64-બીટ મશીન કોડ, 32- અથવા 64-બીટ વર્ચ્યુઅલ મશીનો, Ada અને SPARK 64 ભાષાઓમાં 2014-બીટ એપ્લિકેશન્સ, લિનક્સ વર્ચ્યુઅલ મશીનો અને Muen ની ટોચ પર MirageOS પર આધારિત સ્વ-સમાયેલ "યુનિકર્નલ્સ" સાથે ચાલતા ઘટકોને સપોર્ટ કરે છે.

મુએન 1.0 ના પ્રકાશનમાં ઓફર કરાયેલ મુખ્ય નવીનતાઓ:

• દસ્તાવેજો કર્નલ (ઉપકરણ અને આર્કિટેક્ચર), સિસ્ટમ (સિસ્ટમ નીતિઓ, Tau0 અને ટૂલકીટ) અને ઘટકો માટે સ્પષ્ટીકરણો સાથે પ્રકાશિત કરવામાં આવ્યા છે, જે પ્રોજેક્ટના તમામ પાસાઓનું દસ્તાવેજીકરણ કરે છે.
• Tau0 (Muen સિસ્ટમ કંપોઝર) ટૂલકીટ ઉમેરવામાં આવી છે, જેમાં સિસ્ટમની છબીઓ કંપોઝ કરવા અને મુએનની ટોચ પર ચાલતી માનક સેવાઓ વિકસાવવા માટે તૈયાર ચકાસાયેલ ઘટકોનો સમૂહ શામેલ છે. પૂરા પાડવામાં આવેલ ઘટકોમાં AHCI (SATA) ડ્રાઇવર, ડિવાઇસ મેનેજર (DM), બૂટ લોડર, સિસ્ટમ મેનેજર, વર્ચ્યુઅલ ટર્મિનલ વગેરેનો સમાવેશ થાય છે.
• muenblock Linux ડ્રાઇવર (Muen વહેંચાયેલ મેમરીની ટોચ પર ચાલતા બ્લોક ઉપકરણનું અમલીકરણ) blockdev 2.0 API નો ઉપયોગ કરવા માટે રૂપાંતરિત કરવામાં આવ્યું છે.
• મૂળ ઘટકોના જીવન ચક્રનું સંચાલન કરવા માટે અમલમાં મૂકાયેલ સાધનો.
• અખંડિતતાના રક્ષણ માટે SBS (સાઇન કરેલ બ્લોક સ્ટ્રીમ) અને CSL (કમાન્ડ સ્ટ્રીમ લોડર) નો ઉપયોગ કરવા માટે સિસ્ટમની છબીઓને રૂપાંતરિત કરવામાં આવી છે.
• એક ચકાસાયેલ AHCI-DRV ડ્રાઈવર અમલમાં મૂકવામાં આવ્યો છે, જે SPARK 2014 ભાષામાં લખાયેલ છે અને તમને ઘટકો સાથે ATA ઈન્ટરફેસ અથવા વ્યક્તિગત ડિસ્ક પાર્ટીશનોને સપોર્ટ કરતી ડ્રાઈવોને કનેક્ટ કરવાની મંજૂરી આપે છે.
• MirageOS અને Solo5 પ્રોજેક્ટ્સમાંથી સુધારેલ unikernel સપોર્ટ.
• GNAT કોમ્યુનિટી 2021 રિલીઝ માટે Ada ભાષા ટૂલકિટ અપડેટ કરવામાં આવી છે.
• સતત એકીકરણ સિસ્ટમ Bochs ઇમ્યુલેટરમાંથી QEMU/KVM નેસ્ટેડ એન્વાયર્નમેન્ટ્સમાં ટ્રાન્સફર કરવામાં આવી છે.
• Linux ઘટક ઈમેજો Linux 5.4.66 કર્નલનો ઉપયોગ કરે છે.

સોર્સ: opennet.ru