لينڪس 5.20 ڪنيل ۾ شامل ٿيڻ لاءِ (شايد شاخ جو نمبر 6.0 هوندو)، پيچ جو هڪ سيٽ تجويز ڪيو ويو آهي آر وي (رن ٽائم ويريفڪيشن) ميڪانيزم جي نفاذ سان، جيڪو انتهائي قابل اعتماد سسٽم تي صحيح آپريشن کي جانچڻ جو هڪ وسيلو آهي. جيڪي ناڪامين جي غير موجودگي جي ضمانت ڏين ٿا. تصديق رن ٽائم تي ڪئي ويندي آهي هينڊلرن کي ٽريڪ پوائنٽس سان ڳنڍڻ سان جيڪي عمل جي حقيقي پيش رفت کي جانچيندا آهن اڳواٽ مقرر ڪيل ريفرنس ڊيٽرمنسٽڪ ماڊل جي خلاف آٽوميٽن جو جيڪو سسٽم جي متوقع رويي کي طئي ڪري ٿو.
ٽريس پوائنٽس جي معلومات ماڊل کي هڪ رياست کان ٻي رياست ڏانهن منتقل ڪري ٿي، ۽ جيڪڏهن نئين رياست ماڊل جي پيٽرولن سان نه ملندي آهي، هڪ ڊيڄاريندڙ پيدا ڪيو ويندو آهي يا ڪرنل کي "پريشان" حالت ۾ رکيو ويندو آهي (اهو سمجهي وڃي ٿو ته انتهائي قابل اعتماد سسٽم هوندا. اهڙين حالتن کي ڳولڻ ۽ انهن کي جواب ڏيڻ). automaton ماڊل جيڪو هڪ رياست کان ٻئي ڏانهن منتقلي جي وضاحت ڪري ٿو "ڊٽ" (graphviz) فارميٽ ۾ برآمد ڪيو ويو آهي، جنهن کان پوء اهو ترجمو ڪيو ويندو آهي dot2c يوٽيليٽي استعمال ڪندي هڪ C نمائندگي ۾، جيڪو ڪرنل ماڊل جي صورت ۾ لوڊ ڪيو ويندو آهي جيڪو انحرافن کي ٽريڪ ڪري ٿو. اڳواٽ طئي ٿيل ماڊل مان عملدرآمد جي ترقي.
رن-ٽائم ماڊل چيڪنگ کي مشن-نازڪ سسٽم تي عمل جي درستي جي تصديق ڪرڻ لاءِ وڌيڪ ھلڪو وزن ۽ عمل ۾ آسان طريقي جي طور تي پوزيشن ڏني وئي آھي، ڀروسي جي تصديق جي ڪلاسيڪي طريقن کي پورو ڪرڻ، جھڙوڪ ماڊل چيڪنگ ۽ ڪوڊ جي تعميل جا رياضياتي ثبوت ڏنل وضاحتن سان. رسمي ٻولي ۾. آر وي جي فائدن ۾ هڪ ماڊلنگ ٻولي ۾ پوري سسٽم جي الڳ عمل جي بغير سخت تصديق مهيا ڪرڻ جي صلاحيت آهي، انهي سان گڏ غير متوقع واقعن لاء هڪ لچڪدار جواب، مثال طور، نازڪ سسٽم ۾ ناڪامي جي وڌيڪ پروپيگنڊا کي روڪڻ لاء.
جو ذريعو: opennet.ru