Le cur san áireamh san eithne Linux 5.20 (b'fhéidir go mbeidh an brainse uimhrithe 6.0), moltar sraith paistí le cur i bhfeidhm an mheicníocht RV (Fíorú Am Reatha), a sholáthraíonn uirlisí chun oibriú ceart a sheiceáil ar chórais an-iontaofa a ráthaíonn an easpa teipeanna. Déantar an fíorú ag am rite trí láimhseálaithe a cheangal le rianphointí a sheiceálann dul chun cinn iarbhír an fhorghníomhaithe i gcoinne samhail cinntitheach tagartha réamhchinnte an uathoibrithe a shainíonn iompar ionchasach an chórais.
Bogann faisnéis ó rianphointí an tsamhail ó stát amháin go stát eile, agus mura bhfuil an stát nua ag teacht le paraiméadair an mhúnla, gintear rabhadh nó cuirtear an eithne i stát "scaoll" (táthar ag súil go mbraithfidh córais ard-iontaofachta. agus freagairt do chásanna den sórt sin). Déantar an tsamhail automaton, a shainíonn aistrithe ó stát amháin go stát eile, a onnmhairiú chuig an bhformáid “ponc” (graphviz), agus ina dhiaidh sin aistrítear é trí úsáid a bhaint as fóntais dot2c go léiriú C, atá luchtaithe i bhfoirm modúl eithne a rianaítear diallais ar dhul chun cinn an fhorghníomhaithe ón tsamhail réamhshainithe.
Tá seiceáil samhail ama rite suite mar mhodh atá níos éadroime agus níos éasca le cur i bhfeidhm chun comhlíonadh ceart a fhíorú ar chórais atá ríthábhachtach don mhisean, ag comhlánú modhanna fíoraithe iontaofachta clasaiceacha amhail seiceáil múnla agus cruthúnais matamaitice ar chomhlíonadh an chóid leis na sonraíochtaí a thugtar i bhfoirm fhoirmiúil. teanga. I measc na buntáistí a bhaineann le RV tá an cumas fíorú dian a sholáthar gan an córas iomlán a chur i bhfeidhm ar leithligh i dteanga samhaltaithe, chomh maith le freagairt sholúbtha ar imeachtaí gan choinne, mar shampla, chun bac a chur ar iomadú breise teip i gcórais ríthábhachtacha.
Foinse: oscailtenet.ru