Muen 1.0 ਦੀ ਰੀਲੀਜ਼, ਬਹੁਤ ਹੀ ਭਰੋਸੇਯੋਗ ਸਿਸਟਮ ਬਣਾਉਣ ਲਈ ਇੱਕ ਓਪਨ ਸੋਰਸ ਮਾਈਕਰੋਕਰਨਲ

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

ਵਿਭਾਜਨ ਕਰਨਲ ਇੱਕ ਮਾਈਕ੍ਰੋਕਰਨਲ ਹੈ ਜੋ ਇੱਕ ਦੂਜੇ ਤੋਂ ਅਲੱਗ ਕੀਤੇ ਭਾਗਾਂ ਨੂੰ ਚਲਾਉਣ ਲਈ ਇੱਕ ਵਾਤਾਵਰਣ ਪ੍ਰਦਾਨ ਕਰਦਾ ਹੈ, ਜਿਸਦਾ ਪਰਸਪਰ ਪ੍ਰਭਾਵ ਦਿੱਤੇ ਨਿਯਮਾਂ ਦੁਆਰਾ ਸਖਤੀ ਨਾਲ ਨਿਯੰਤ੍ਰਿਤ ਕੀਤਾ ਜਾਂਦਾ ਹੈ। Isolation Intel VT-x ਵਰਚੁਅਲਾਈਜੇਸ਼ਨ ਐਕਸਟੈਂਸ਼ਨਾਂ ਦੀ ਵਰਤੋਂ 'ਤੇ ਅਧਾਰਤ ਹੈ ਅਤੇ ਇਸ ਵਿੱਚ ਗੁਪਤ ਸੰਚਾਰ ਚੈਨਲਾਂ ਦੇ ਸੰਗਠਨ ਨੂੰ ਰੋਕਣ ਲਈ ਸੁਰੱਖਿਆ ਵਿਧੀਆਂ ਸ਼ਾਮਲ ਹਨ। ਵਿਭਾਗੀਕਰਨ ਕਰਨਲ ਹੋਰ ਮਾਈਕ੍ਰੋਕਰਨਲਾਂ ਨਾਲੋਂ ਬਹੁਤ ਘੱਟ ਅਤੇ ਸਥਿਰ ਹੈ, ਜੋ ਕਿ ਸਥਿਤੀਆਂ ਦੀ ਗਿਣਤੀ ਨੂੰ ਘਟਾਉਂਦਾ ਹੈ ਜੋ ਅਸਫਲਤਾ ਦਾ ਕਾਰਨ ਬਣ ਸਕਦੇ ਹਨ।

ਕਰਨਲ VMX ਰੂਟ ਮੋਡ ਵਿੱਚ ਚੱਲਦਾ ਹੈ, ਇੱਕ ਹਾਈਪਰਵਾਈਜ਼ਰ ਵਾਂਗ, ਅਤੇ ਹੋਰ ਸਾਰੇ ਭਾਗ VMX ਗੈਰ-ਰੂਟ ਮੋਡ ਵਿੱਚ ਚੱਲਦੇ ਹਨ, ਗੈਸਟ ਸਿਸਟਮਾਂ ਦੇ ਸਮਾਨ। ਇੰਟੇਲ VT-d DMA ਐਕਸਟੈਂਸ਼ਨਾਂ ਅਤੇ ਇੰਟਰੱਪਟ ਰੀਮੈਪਿੰਗ ਦੀ ਵਰਤੋਂ ਕਰਕੇ ਸਾਜ਼ੋ-ਸਾਮਾਨ ਤੱਕ ਪਹੁੰਚ ਕੀਤੀ ਜਾਂਦੀ ਹੈ, ਜਿਸ ਨਾਲ ਮੁਏਨ ਦੇ ਅਧੀਨ ਚੱਲ ਰਹੇ ਭਾਗਾਂ ਲਈ PCI ਡਿਵਾਈਸਾਂ ਦੀ ਸੁਰੱਖਿਅਤ ਬਾਈਡਿੰਗ ਨੂੰ ਲਾਗੂ ਕਰਨਾ ਸੰਭਵ ਹੋ ਜਾਂਦਾ ਹੈ।

Muen ਦੀਆਂ ਸਮਰੱਥਾਵਾਂ ਵਿੱਚ ਮਲਟੀ-ਕੋਰ ਸਿਸਟਮ, ਨੇਸਟਡ ਮੈਮੋਰੀ ਪੇਜ (EPT, ਐਕਸਟੈਂਡਡ ਪੇਜ ਟੇਬਲ), MSI (ਮੈਸੇਜ ਸਿਗਨਲਡ ਇੰਟਰੱਪਟਸ), ਅਤੇ ਮੈਮੋਰੀ ਪੇਜ ਐਟਰੀਬਿਊਟ ਟੇਬਲ (PAT, ਪੇਜ ਐਟਰੀਬਿਊਟ ਟੇਬਲ) ਲਈ ਸਮਰਥਨ ਸ਼ਾਮਲ ਹੈ। Muen Intel VMX ਪ੍ਰੀਮਪਟਿਵ ਟਾਈਮਰ 'ਤੇ ਆਧਾਰਿਤ ਇੱਕ ਫਿਕਸਡ ਰਾਊਂਡ-ਰੋਬਿਨ ਸ਼ਡਿਊਲਰ ਵੀ ਪ੍ਰਦਾਨ ਕਰਦਾ ਹੈ, ਇੱਕ ਸੰਖੇਪ ਰਨਟਾਈਮ ਜੋ ਪ੍ਰਦਰਸ਼ਨ ਨੂੰ ਪ੍ਰਭਾਵਿਤ ਨਹੀਂ ਕਰਦਾ, ਇੱਕ ਕਰੈਸ਼ ਆਡਿਟਿੰਗ ਸਿਸਟਮ, ਇੱਕ ਨਿਯਮ-ਅਧਾਰਿਤ ਸਥਿਰ ਸਰੋਤ ਅਸਾਈਨਮੈਂਟ ਇੰਜਣ, ਇੱਕ ਇਵੈਂਟ ਹੈਂਡਲਿੰਗ ਸਿਸਟਮ, ਅਤੇ ਸ਼ੇਅਰਡ ਮੈਮੋਰੀ ਚੈਨਲਾਂ ਲਈ। ਚੱਲ ਰਹੇ ਹਿੱਸਿਆਂ ਦੇ ਅੰਦਰ ਸੰਚਾਰ.

ਇਹ 64-ਬਿੱਟ ਮਸ਼ੀਨ ਕੋਡ, 32- ਜਾਂ 64-ਬਿੱਟ ਵਰਚੁਅਲ ਮਸ਼ੀਨਾਂ, Ada ਅਤੇ ਸਪਾਰਕ 64 ਭਾਸ਼ਾਵਾਂ ਵਿੱਚ 2014-ਬਿੱਟ ਐਪਲੀਕੇਸ਼ਨਾਂ, ਲੀਨਕਸ ਵਰਚੁਅਲ ਮਸ਼ੀਨਾਂ ਅਤੇ ਮੁਏਨ ਦੇ ਸਿਖਰ 'ਤੇ MirageOS 'ਤੇ ਅਧਾਰਤ ਸਵੈ-ਨਿਰਭਰ "ਯੂਨੀਕਰਨੇਲ" ਦੇ ਨਾਲ ਚੱਲ ਰਹੇ ਭਾਗਾਂ ਦਾ ਸਮਰਥਨ ਕਰਦਾ ਹੈ।

Muen 1.0 ਦੀ ਰਿਲੀਜ਼ ਵਿੱਚ ਪੇਸ਼ ਕੀਤੀਆਂ ਗਈਆਂ ਮੁੱਖ ਕਾਢਾਂ:

• ਦਸਤਾਵੇਜ਼ ਕਰਨਲ (ਡਿਵਾਈਸ ਅਤੇ ਆਰਕੀਟੈਕਚਰ), ਸਿਸਟਮ (ਸਿਸਟਮ ਪਾਲਿਸੀਆਂ, Tau0 ਅਤੇ ਟੂਲਕਿੱਟ) ਅਤੇ ਕੰਪੋਨੈਂਟਸ ਲਈ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਦੇ ਨਾਲ ਪ੍ਰਕਾਸ਼ਿਤ ਕੀਤੇ ਗਏ ਹਨ, ਜੋ ਪ੍ਰੋਜੈਕਟ ਦੇ ਸਾਰੇ ਪਹਿਲੂਆਂ ਨੂੰ ਦਸਤਾਵੇਜ਼ ਕਰਦੇ ਹਨ।
• Tau0 (Muen ਸਿਸਟਮ ਕੰਪੋਜ਼ਰ) ਟੂਲਕਿੱਟ ਨੂੰ ਜੋੜਿਆ ਗਿਆ ਹੈ, ਜਿਸ ਵਿੱਚ ਸਿਸਟਮ ਚਿੱਤਰਾਂ ਨੂੰ ਕੰਪੋਜ਼ ਕਰਨ ਅਤੇ ਮੁਏਨ ਦੇ ਸਿਖਰ 'ਤੇ ਚੱਲਣ ਵਾਲੀਆਂ ਮਿਆਰੀ ਸੇਵਾਵਾਂ ਦੇ ਵਿਕਾਸ ਲਈ ਤਿਆਰ-ਕੀਤੇ ਪ੍ਰਮਾਣਿਤ ਭਾਗਾਂ ਦਾ ਇੱਕ ਸੈੱਟ ਸ਼ਾਮਲ ਹੈ। ਪ੍ਰਦਾਨ ਕੀਤੇ ਗਏ ਭਾਗਾਂ ਵਿੱਚ AHCI (SATA) ਡਰਾਈਵਰ, ਡਿਵਾਈਸ ਮੈਨੇਜਰ (DM), ਬੂਟ ਲੋਡਰ, ਸਿਸਟਮ ਮੈਨੇਜਰ, ਵਰਚੁਅਲ ਟਰਮੀਨਲ, ਆਦਿ ਸ਼ਾਮਲ ਹਨ।
• muenblock Linux ਡ੍ਰਾਈਵਰ (Muen ਸ਼ੇਅਰਡ ਮੈਮੋਰੀ ਦੇ ਸਿਖਰ 'ਤੇ ਚੱਲ ਰਹੇ ਇੱਕ ਬਲਾਕ ਜੰਤਰ ਦੀ ਸਥਾਪਨਾ) ਨੂੰ blockdev 2.0 API ਦੀ ਵਰਤੋਂ ਕਰਨ ਲਈ ਬਦਲਿਆ ਗਿਆ ਹੈ।
• ਮੂਲ ਭਾਗਾਂ ਦੇ ਜੀਵਨ ਚੱਕਰ ਦੇ ਪ੍ਰਬੰਧਨ ਲਈ ਲਾਗੂ ਕੀਤੇ ਸਾਧਨ।
• ਅਖੰਡਤਾ ਦੀ ਰੱਖਿਆ ਲਈ ਸਿਸਟਮ ਚਿੱਤਰਾਂ ਨੂੰ SBS (ਸਾਈਨਡ ਬਲਾਕ ਸਟ੍ਰੀਮ) ਅਤੇ CSL (ਕਮਾਂਡ ਸਟ੍ਰੀਮ ਲੋਡਰ) ਦੀ ਵਰਤੋਂ ਕਰਨ ਲਈ ਬਦਲਿਆ ਗਿਆ ਹੈ।
• ਇੱਕ ਪ੍ਰਮਾਣਿਤ AHCI-DRV ਡਰਾਈਵਰ ਲਾਗੂ ਕੀਤਾ ਗਿਆ ਹੈ, ਜੋ SPARK 2014 ਭਾਸ਼ਾ ਵਿੱਚ ਲਿਖਿਆ ਗਿਆ ਹੈ ਅਤੇ ਤੁਹਾਨੂੰ ਉਹਨਾਂ ਡਰਾਈਵਾਂ ਨੂੰ ਕਨੈਕਟ ਕਰਨ ਦੀ ਇਜਾਜ਼ਤ ਦਿੰਦਾ ਹੈ ਜੋ ATA ਇੰਟਰਫੇਸ ਜਾਂ ਵਿਅਕਤੀਗਤ ਡਿਸਕ ਭਾਗਾਂ ਨੂੰ ਕੰਪੋਨੈਂਟਾਂ ਨਾਲ ਸਮਰਥਨ ਕਰਦੇ ਹਨ।
• MirageOS ਅਤੇ Solo5 ਪ੍ਰੋਜੈਕਟਾਂ ਤੋਂ ਯੂਨੀਕਰਨੇਲ ਸਹਾਇਤਾ ਵਿੱਚ ਸੁਧਾਰ ਕੀਤਾ ਗਿਆ ਹੈ।
• Ada ਭਾਸ਼ਾ ਟੂਲਕਿੱਟ ਨੂੰ GNAT ਕਮਿਊਨਿਟੀ 2021 ਰੀਲੀਜ਼ ਲਈ ਅੱਪਡੇਟ ਕੀਤਾ ਗਿਆ ਹੈ।
• ਨਿਰੰਤਰ ਏਕੀਕਰਣ ਪ੍ਰਣਾਲੀ ਨੂੰ Bochs ਈਮੂਲੇਟਰ ਤੋਂ QEMU/KVM ਨੇਸਟਡ ਵਾਤਾਵਰਨ ਵਿੱਚ ਤਬਦੀਲ ਕੀਤਾ ਗਿਆ ਹੈ।
• ਲੀਨਕਸ ਕੰਪੋਨੈਂਟ ਚਿੱਤਰ ਲੀਨਕਸ 5.4.66 ਕਰਨਲ ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਹਨ।

ਸਰੋਤ: opennet.ru