ለሊኑክስ፣ የከርነሉን ትክክለኛ አሠራር ለማረጋገጥ የሚያስችል ዘዴ ቀርቧል

በሊኑክስ ከርነል 5.20 ውስጥ ለመካተት (ምናልባት ቅርንጫፉ 6.0 ሊቆጠር ይችላል) ፣ የ RV (የአሂድ ማረጋገጫ) ዘዴን በመተግበር የፕላቶች ስብስብ ቀርቧል ፣ ይህም እጅግ በጣም አስተማማኝ በሆኑ ስርዓቶች ላይ ትክክለኛውን አሠራር ለማረጋገጥ የሚረዱ መሳሪያዎችን ይሰጣል ። ውድቀቶች አለመኖር. የስርዓቱ የሚጠበቀውን ባህሪ ከሚገልፀው አውቶማቲክ ቀድሞ ከተወሰነው የማጣቀሻ መወሰኛ ሞዴል ጋር ትክክለኛውን የአፈፃፀም ሂደት የሚፈትሹትን ተቆጣጣሪዎች በማያያዝ በሂደት ጊዜ ማረጋገጥ ይከናወናል።

ከመከታተያ ነጥቦች የተገኘው መረጃ ሞዴሉን ከአንድ ግዛት ወደ ሌላ ያንቀሳቅሰዋል, እና አዲሱ ሁኔታ ከአምሳያው መለኪያዎች ጋር የማይመሳሰል ከሆነ, ማስጠንቀቂያ ይነሳል ወይም ከርነል በ "አስደንጋጭ" ሁኔታ ውስጥ ይቀመጣል (ከፍተኛ አስተማማኝነት ስርዓቶች እንደሚገኙ ይጠበቃል. እና ለእንደዚህ አይነት ሁኔታዎች ምላሽ ይስጡ). ከአንዱ ግዛት ወደ ሌላ ሽግግር የሚገልጸው አውቶሜትድ ሞዴል ወደ "ነጥብ" ቅርጸት (ግራፍቪዝ) ይላካል, ከዚያ በኋላ በ dot2c መገልገያ ወደ C ውክልና በመጠቀም ተተርጉሟል, ይህም በከርነል ሞጁል መልክ የተጫነ ነው. አስቀድሞ ከተገለጸው ሞዴል የአፈፃፀም ሂደት ልዩነቶችን ይከታተላል።

የሩጫ ጊዜ ሞዴል ፍተሻ እንደ ቀላል ክብደት እና በተልዕኮ ወሳኝ ስርዓቶች ላይ ትክክለኛ አፈፃፀሙን የማረጋገጥ ዘዴ፣ እንደ ሞዴል መፈተሻ እና የሒሳብ ማረጋገጫዎች በመደበኛነት ከተገለጹት መስፈርቶች ጋር የተጣጣሙ የቁጥር ማረጋገጫዎች እንደ ቀላል ክብደት ተቀምጧል። ቋንቋ. ከ RV ጥቅሞች መካከል የአጠቃላዩን ስርዓት በአምሳያ ቋንቋ የተለየ አተገባበር ሳያስፈጽም ጥብቅ ማረጋገጫ የመስጠት ችሎታ እንዲሁም ያልተጠበቁ ክስተቶች ተለዋዋጭ ምላሽ ለምሳሌ በወሳኝ ስርዓቶች ውስጥ ውድቀትን ተጨማሪ ስርጭትን ማገድ ነው።

ምንጭ: opennet.ru