د لینکس کرنل 5.20 کې د شاملولو لپاره (شاید څانګه به 6.0 شمیره شي)، د پیچونو یوه سیټ د RV (رنټیم تصدیق) میکانیزم پلي کولو سره وړاندیز شوی ، کوم چې په خورا معتبر سیسټمونو کې د سم عملیاتو چیک کولو لپاره وسیلې چمتو کوي چې تضمین کوي . د ناکامیو نشتوالی. تایید د چلولو په وخت کې ترسره کیږي د هینډلرونو سره ضمیمه کولو پوائنټونو ته چې د اجرا کولو ریښتیني پرمختګ د اتوماتیک دمخه ټاکل شوي حوالې ټاکونکي ماډل پروړاندې چیک کوي چې د سیسټم متوقع چلند تعریفوي.
د ټریس پوائنټونو څخه معلومات ماډل له یو حالت څخه بل حالت ته لیږدوي، او که چیرې نوی حالت د ماډل پیرامیټونو سره سمون ونلري، نو یو خبرداری رامینځته کیږي یا کرنل په "ویرې" حالت کې کیښودل کیږي (د لوړ اعتبار سیسټم تمه کیږي چې کشف کړي. او داسې حالاتو ته ځواب ووايي). د اتوماتیک ماډل، چې د یو حالت څخه بل ته لیږد تعریفوي، د "ډوټ" بڼه (ګرافویز) ته صادریږي، وروسته له دې چې دا د dot2c یوټیلیټ په کارولو سره د C نمایش ته ژباړل کیږي، کوم چې د کرنل ماډل په بڼه ډک شوی. د وړاندې شوي ماډل څخه د اجرا کولو پرمختګ انحراف تعقیبوي.
د چلولو وخت موډل چیک کول د ماموریت مهم سیسټمونو کې د سم اجرا کولو تصدیق کولو لپاره د سپک وزن او اسانه پلي کولو میتود په توګه موقعیت لري ، د کلاسیکي اعتبار تصدیق کولو میتودونو بشپړوي لکه د ماډل چیک کول او په رسمي کې ورکړل شوي مشخصاتو سره د کوډ اطاعت ریاضياتي ثبوتونه ژبه د RV د ګټو په مینځ کې د ماډلینګ ژبه کې د ټول سیسټم جلا پلي کولو پرته د سخت تایید چمتو کولو وړتیا ده ، په بیله بیا غیر متوقع پیښو ته انعطاف وړ ځواب ، د مثال په توګه ، په مهم سیسټمونو کې د ناکامۍ نور تبلیغ مخه نیولو لپاره.
سرچینه: opennet.ru