ਲੀਨਕਸ ਲਈ, ਕਰਨਲ ਦੀ ਸਹੀ ਕਾਰਵਾਈ ਦੀ ਪੁਸ਼ਟੀ ਕਰਨ ਲਈ ਇੱਕ ਵਿਧੀ ਪ੍ਰਸਤਾਵਿਤ ਕੀਤੀ ਗਈ ਹੈ

ਲੀਨਕਸ ਕਰਨਲ 5.20 (ਸ਼ਾਇਦ ਬ੍ਰਾਂਚ ਨੂੰ 6.0 ਨੰਬਰ ਦਿੱਤਾ ਜਾਵੇਗਾ) ਵਿੱਚ ਸ਼ਾਮਲ ਕਰਨ ਲਈ, RV (ਰਨਟਾਈਮ ਵੈਰੀਫਿਕੇਸ਼ਨ) ਵਿਧੀ ਨੂੰ ਲਾਗੂ ਕਰਨ ਦੇ ਨਾਲ ਪੈਚਾਂ ਦਾ ਇੱਕ ਸੈੱਟ ਪ੍ਰਸਤਾਵਿਤ ਕੀਤਾ ਗਿਆ ਹੈ, ਜੋ ਉੱਚ ਭਰੋਸੇਯੋਗ ਸਿਸਟਮਾਂ 'ਤੇ ਸਹੀ ਕਾਰਵਾਈ ਦੀ ਜਾਂਚ ਕਰਨ ਲਈ ਟੂਲ ਪ੍ਰਦਾਨ ਕਰਦਾ ਹੈ ਜੋ ਗਾਰੰਟੀ ਦਿੰਦੇ ਹਨ। ਅਸਫਲਤਾਵਾਂ ਦੀ ਅਣਹੋਂਦ. ਤਸਦੀਕ ਰਨਟਾਈਮ 'ਤੇ ਹੈਂਡਲਰਾਂ ਨੂੰ ਟਰੇਸ ਪੁਆਇੰਟਾਂ ਨਾਲ ਜੋੜ ਕੇ ਕੀਤੀ ਜਾਂਦੀ ਹੈ ਜੋ ਸਿਸਟਮ ਦੇ ਸੰਭਾਵਿਤ ਵਿਵਹਾਰ ਨੂੰ ਪਰਿਭਾਸ਼ਿਤ ਕਰਨ ਵਾਲੇ ਆਟੋਮੇਟਨ ਦੇ ਇੱਕ ਪੂਰਵ-ਨਿਰਧਾਰਤ ਸੰਦਰਭ ਨਿਰਣਾਇਕ ਮਾਡਲ ਦੇ ਵਿਰੁੱਧ ਐਗਜ਼ੀਕਿਊਸ਼ਨ ਦੀ ਅਸਲ ਪ੍ਰਗਤੀ ਦੀ ਜਾਂਚ ਕਰਦੇ ਹਨ।

ਟਰੇਸ ਪੁਆਇੰਟਸ ਤੋਂ ਜਾਣਕਾਰੀ ਮਾਡਲ ਨੂੰ ਇੱਕ ਰਾਜ ਤੋਂ ਦੂਜੇ ਰਾਜ ਵਿੱਚ ਲੈ ਜਾਂਦੀ ਹੈ, ਅਤੇ ਜੇਕਰ ਨਵੀਂ ਸਥਿਤੀ ਮਾਡਲ ਦੇ ਮਾਪਦੰਡਾਂ ਨਾਲ ਮੇਲ ਨਹੀਂ ਖਾਂਦੀ ਹੈ, ਤਾਂ ਇੱਕ ਚੇਤਾਵਨੀ ਤਿਆਰ ਕੀਤੀ ਜਾਂਦੀ ਹੈ ਜਾਂ ਕਰਨਲ ਨੂੰ "ਪੈਨਿਕ" ਸਥਿਤੀ ਵਿੱਚ ਰੱਖਿਆ ਜਾਂਦਾ ਹੈ (ਉੱਚ ਭਰੋਸੇਯੋਗਤਾ ਪ੍ਰਣਾਲੀਆਂ ਨੂੰ ਖੋਜਣ ਦੀ ਉਮੀਦ ਕੀਤੀ ਜਾਂਦੀ ਹੈ। ਅਤੇ ਅਜਿਹੀਆਂ ਸਥਿਤੀਆਂ ਦਾ ਜਵਾਬ ਦਿੰਦੇ ਹਨ)। ਆਟੋਮੇਟਨ ਮਾਡਲ, ਜੋ ਇੱਕ ਰਾਜ ਤੋਂ ਦੂਜੀ ਸਥਿਤੀ ਵਿੱਚ ਤਬਦੀਲੀਆਂ ਨੂੰ ਪਰਿਭਾਸ਼ਿਤ ਕਰਦਾ ਹੈ, ਨੂੰ "ਡੌਟ" ਫਾਰਮੈਟ (ਗ੍ਰਾਫਵਿਜ਼) ਵਿੱਚ ਨਿਰਯਾਤ ਕੀਤਾ ਜਾਂਦਾ ਹੈ, ਜਿਸ ਤੋਂ ਬਾਅਦ ਇਸਨੂੰ ਇੱਕ C ਪ੍ਰਤਿਨਿਧਤਾ ਵਿੱਚ dot2c ਉਪਯੋਗਤਾ ਦੀ ਵਰਤੋਂ ਕਰਕੇ ਅਨੁਵਾਦ ਕੀਤਾ ਜਾਂਦਾ ਹੈ, ਜੋ ਕਿ ਇੱਕ ਕਰਨਲ ਮੋਡੀਊਲ ਦੇ ਰੂਪ ਵਿੱਚ ਲੋਡ ਹੁੰਦਾ ਹੈ। ਪੂਰਵ ਪਰਿਭਾਸ਼ਿਤ ਮਾਡਲ ਤੋਂ ਐਗਜ਼ੀਕਿਊਸ਼ਨ ਪ੍ਰਗਤੀ ਦੇ ਭਟਕਣਾਂ ਨੂੰ ਟਰੈਕ ਕਰਦਾ ਹੈ।

ਰਨ-ਟਾਈਮ ਮਾਡਲ ਜਾਂਚ ਨੂੰ ਮਿਸ਼ਨ-ਨਾਜ਼ੁਕ ਪ੍ਰਣਾਲੀਆਂ 'ਤੇ ਸਹੀ ਐਗਜ਼ੀਕਿਊਸ਼ਨ ਦੀ ਤਸਦੀਕ ਕਰਨ ਲਈ ਹਲਕੇ-ਵਜ਼ਨ ਅਤੇ ਆਸਾਨ-ਨੂੰ-ਲਾਗੂ ਕਰਨ ਦੇ ਢੰਗ ਵਜੋਂ ਰੱਖਿਆ ਗਿਆ ਹੈ, ਕਲਾਸੀਕਲ ਭਰੋਸੇਯੋਗਤਾ ਤਸਦੀਕ ਵਿਧੀਆਂ ਜਿਵੇਂ ਕਿ ਮਾਡਲ ਜਾਂਚ ਅਤੇ ਰਸਮੀ ਤੌਰ 'ਤੇ ਦਿੱਤੀਆਂ ਗਈਆਂ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਦੇ ਨਾਲ ਕੋਡ ਦੀ ਪਾਲਣਾ ਦੇ ਗਣਿਤਿਕ ਸਬੂਤ ਦੇ ਪੂਰਕ। ਭਾਸ਼ਾ RV ਦੇ ਫਾਇਦਿਆਂ ਵਿੱਚ ਇੱਕ ਮਾਡਲਿੰਗ ਭਾਸ਼ਾ ਵਿੱਚ ਪੂਰੇ ਸਿਸਟਮ ਦੇ ਵੱਖਰੇ ਲਾਗੂ ਕੀਤੇ ਬਿਨਾਂ ਸਖਤ ਤਸਦੀਕ ਪ੍ਰਦਾਨ ਕਰਨ ਦੀ ਯੋਗਤਾ ਹੈ, ਨਾਲ ਹੀ ਅਣਪਛਾਤੀਆਂ ਘਟਨਾਵਾਂ ਲਈ ਲਚਕਦਾਰ ਜਵਾਬ, ਉਦਾਹਰਨ ਲਈ, ਨਾਜ਼ੁਕ ਪ੍ਰਣਾਲੀਆਂ ਵਿੱਚ ਅਸਫਲਤਾ ਦੇ ਹੋਰ ਪ੍ਰਸਾਰ ਨੂੰ ਰੋਕਣ ਲਈ।

ਸਰੋਤ: opennet.ru