ਗੂਗਲ ਨੇ ਸੁਰੱਖਿਅਤ ਓਪਰੇਟਿੰਗ ਸਿਸਟਮ KataOS ਲਈ ਕੋਡ ਖੋਲ੍ਹਿਆ ਹੈ

ਗੂਗਲ ਨੇ KataOS ਪ੍ਰੋਜੈਕਟ ਨਾਲ ਸਬੰਧਤ ਵਿਕਾਸ ਦੀ ਖੋਜ ਦੀ ਘੋਸ਼ਣਾ ਕੀਤੀ ਹੈ, ਜਿਸਦਾ ਉਦੇਸ਼ ਏਮਬੇਡਡ ਹਾਰਡਵੇਅਰ ਲਈ ਇੱਕ ਸੁਰੱਖਿਅਤ ਓਪਰੇਟਿੰਗ ਸਿਸਟਮ ਬਣਾਉਣਾ ਹੈ। KataOS ਸਿਸਟਮ ਕੰਪੋਨੈਂਟ Rust ਵਿੱਚ ਲਿਖੇ ਗਏ ਹਨ ਅਤੇ seL4 ਮਾਈਕ੍ਰੋਕਰਨਲ ਦੇ ਸਿਖਰ 'ਤੇ ਚੱਲਦੇ ਹਨ, ਜਿਸ ਲਈ RISC-V ਸਿਸਟਮਾਂ 'ਤੇ ਭਰੋਸੇਯੋਗਤਾ ਦਾ ਇੱਕ ਗਣਿਤਿਕ ਸਬੂਤ ਮੁਹੱਈਆ ਕੀਤਾ ਗਿਆ ਹੈ, ਇਹ ਦਰਸਾਉਂਦਾ ਹੈ ਕਿ ਕੋਡ ਰਸਮੀ ਭਾਸ਼ਾ ਵਿੱਚ ਨਿਰਧਾਰਤ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਦੀ ਪੂਰੀ ਤਰ੍ਹਾਂ ਪਾਲਣਾ ਕਰਦਾ ਹੈ। ਪ੍ਰੋਜੈਕਟ ਕੋਡ ਅਪਾਚੇ 2.0 ਲਾਇਸੰਸ ਦੇ ਅਧੀਨ ਖੁੱਲ੍ਹਾ ਹੈ।

ਸਿਸਟਮ RISC-V ਅਤੇ ARM64 ਆਰਕੀਟੈਕਚਰ 'ਤੇ ਅਧਾਰਤ ਪਲੇਟਫਾਰਮਾਂ ਲਈ ਸਹਾਇਤਾ ਪ੍ਰਦਾਨ ਕਰਦਾ ਹੈ। ਹਾਰਡਵੇਅਰ ਦੇ ਸਿਖਰ 'ਤੇ seL4 ਅਤੇ KataOS ਵਾਤਾਵਰਣ ਦੇ ਸੰਚਾਲਨ ਦੀ ਨਕਲ ਕਰਨ ਲਈ, ਵਿਕਾਸ ਪ੍ਰਕਿਰਿਆ ਦੌਰਾਨ ਰੇਨੋਡ ਫਰੇਮਵਰਕ ਦੀ ਵਰਤੋਂ ਕੀਤੀ ਜਾਂਦੀ ਹੈ। ਸਪੈਰੋ ਹਾਰਡਵੇਅਰ ਅਤੇ ਸਾਫਟਵੇਅਰ ਕੰਪਲੈਕਸ, ਓਪਨਟਾਈਟਨ ਪਲੇਟਫਾਰਮ 'ਤੇ ਆਧਾਰਿਤ ਸੁਰੱਖਿਅਤ ਚਿਪਸ ਦੇ ਨਾਲ KataOS ਨੂੰ ਜੋੜਦਾ ਹੈ, ਨੂੰ ਇੱਕ ਸੰਦਰਭ ਅਮਲ ਵਜੋਂ ਪ੍ਰਸਤਾਵਿਤ ਕੀਤਾ ਗਿਆ ਹੈ। ਪ੍ਰਸਤਾਵਿਤ ਹੱਲ ਤੁਹਾਨੂੰ ਓਪਨਟਾਈਟਨ ਪਲੇਟਫਾਰਮ ਅਤੇ RISC-V ਆਰਕੀਟੈਕਚਰ ਦੀ ਵਰਤੋਂ ਕਰਕੇ ਬਣਾਏ ਗਏ ਭਰੋਸੇਮੰਦ ਹਾਰਡਵੇਅਰ ਕੰਪੋਨੈਂਟਸ (RoT, ਰੂਟ ਆਫ਼ ਟਰੱਸਟ) ਦੇ ਨਾਲ ਇੱਕ ਤਰਕ ਨਾਲ ਪ੍ਰਮਾਣਿਤ ਓਪਰੇਟਿੰਗ ਸਿਸਟਮ ਕਰਨਲ ਨੂੰ ਜੋੜਨ ਦੀ ਇਜਾਜ਼ਤ ਦਿੰਦਾ ਹੈ। KataOS ਕੋਡ ਤੋਂ ਇਲਾਵਾ, ਭਵਿੱਖ ਵਿੱਚ ਹਾਰਡਵੇਅਰ ਕੰਪੋਨੈਂਟ ਸਮੇਤ ਹੋਰ ਸਾਰੇ ਸਪੈਰੋ ਕੰਪੋਨੈਂਟਸ ਨੂੰ ਖੋਲ੍ਹਣ ਦੀ ਯੋਜਨਾ ਹੈ।

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

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

ਅਤਿਰਿਕਤ ਸੁਰੱਖਿਆ ਲਈ, ਮਾਈਕ੍ਰੋਕਰਨੇਲ ਨੂੰ ਛੱਡ ਕੇ ਸਾਰੇ ਹਿੱਸੇ ਸੁਰੱਖਿਅਤ ਪ੍ਰੋਗਰਾਮਿੰਗ ਤਕਨੀਕਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਹੋਏ ਮੂਲ ਰੂਪ ਵਿੱਚ ਰਸਟ ਵਿੱਚ ਵਿਕਸਤ ਕੀਤੇ ਗਏ ਹਨ ਜੋ ਮੈਮੋਰੀ ਦੀਆਂ ਗਲਤੀਆਂ ਨੂੰ ਘੱਟ ਕਰਦੇ ਹਨ ਜੋ ਫ੍ਰੀ ਕਰਨ ਤੋਂ ਬਾਅਦ ਮੈਮੋਰੀ ਐਕਸੈਸ, ਨਲ ਪੁਆਇੰਟਰ ਡੀਰੇਫਰੈਂਸ, ਅਤੇ ਬਫਰ ਓਵਰਰਨ ਵਰਗੀਆਂ ਸਮੱਸਿਆਵਾਂ ਦਾ ਕਾਰਨ ਬਣਦੇ ਹਨ। SeL4 ਵਾਤਾਵਰਣ ਵਿੱਚ ਇੱਕ ਐਪਲੀਕੇਸ਼ਨ ਲੋਡਰ, ਸਿਸਟਮ ਸੇਵਾਵਾਂ, ਐਪਲੀਕੇਸ਼ਨ ਡਿਵੈਲਪਮੈਂਟ ਲਈ ਇੱਕ ਫਰੇਮਵਰਕ, ਸਿਸਟਮ ਕਾਲਾਂ ਨੂੰ ਐਕਸੈਸ ਕਰਨ ਲਈ ਇੱਕ API, ਇੱਕ ਪ੍ਰਕਿਰਿਆ ਪ੍ਰਬੰਧਕ, ਡਾਇਨਾਮਿਕ ਮੈਮੋਰੀ ਵੰਡ ਲਈ ਇੱਕ ਵਿਧੀ, ਆਦਿ ਨੂੰ Rust ਵਿੱਚ ਲਿਖਿਆ ਗਿਆ ਸੀ। ਪ੍ਰਮਾਣਿਤ ਅਸੈਂਬਲੀ CAmkES ਟੂਲਕਿੱਟ ਦੀ ਵਰਤੋਂ ਕਰਦੀ ਹੈ, ਜੋ seL4 ਪ੍ਰੋਜੈਕਟ ਦੁਆਰਾ ਵਿਕਸਤ ਕੀਤੀ ਗਈ ਹੈ। CAmkES ਲਈ ਕੰਪੋਨੈਂਟ ਵੀ ਜੰਗਾਲ ਵਿੱਚ ਬਣਾਏ ਜਾ ਸਕਦੇ ਹਨ।

ਜੰਗਾਲ ਸੰਦਰਭ ਜਾਂਚ, ਆਬਜੈਕਟ ਮਾਲਕੀ ਅਤੇ ਆਬਜੈਕਟ ਲਾਈਫਟਾਈਮ ਟ੍ਰੈਕਿੰਗ (ਸਕੋਪਾਂ) ਦੁਆਰਾ ਅਤੇ ਰਨਟਾਈਮ 'ਤੇ ਮੈਮੋਰੀ ਐਕਸੈਸ ਦੀ ਸ਼ੁੱਧਤਾ ਦਾ ਮੁਲਾਂਕਣ ਕਰਕੇ ਮੈਮੋਰੀ ਸੁਰੱਖਿਆ ਨੂੰ ਕੰਪਾਈਲ ਸਮੇਂ ਲਾਗੂ ਕਰਦਾ ਹੈ। ਜੰਗਾਲ ਪੂਰਨ ਅੰਕ ਓਵਰਫਲੋਜ਼ ਤੋਂ ਸੁਰੱਖਿਆ ਵੀ ਪ੍ਰਦਾਨ ਕਰਦਾ ਹੈ, ਵਰਤੋਂ ਤੋਂ ਪਹਿਲਾਂ ਵੇਰੀਏਬਲ ਮੁੱਲਾਂ ਦੀ ਸ਼ੁਰੂਆਤ ਕਰਨ ਦੀ ਲੋੜ ਹੁੰਦੀ ਹੈ, ਮੂਲ ਰੂਪ ਵਿੱਚ ਅਟੱਲ ਸੰਦਰਭਾਂ ਅਤੇ ਵੇਰੀਏਬਲਾਂ ਦੀ ਧਾਰਨਾ ਦੀ ਵਰਤੋਂ ਕਰਦਾ ਹੈ, ਅਤੇ ਲਾਜ਼ੀਕਲ ਗਲਤੀਆਂ ਨੂੰ ਘੱਟ ਕਰਨ ਲਈ ਮਜ਼ਬੂਤ ​​ਸਥਿਰ ਟਾਈਪਿੰਗ ਦੀ ਪੇਸ਼ਕਸ਼ ਕਰਦਾ ਹੈ।

ਸਰੋਤ: opennet.ru