Red Hat MIR JIT ਕੰਪਾਈਲਰ ਵਿਕਸਿਤ ਕਰਦਾ ਹੈ

Red Hat 'ਤੇ ਵਿਕਾਸ ਚੱਲ ਰਿਹਾ ਹੈ ਨਵਾਂ ਹਲਕਾ JIT ਕੰਪਾਈਲਰ ਮੀਰ, ਜੋ ਕੋਡ ਦੇ ਐਗਜ਼ੀਕਿਊਸ਼ਨ ਨੂੰ ਯਕੀਨੀ ਬਣਾਉਂਦਾ ਹੈ ਜੋ ਪਹਿਲਾਂ ਇੱਕ ਵਿਚਕਾਰਲੇ ਨੁਮਾਇੰਦਗੀ MIR ​​(ਮੱਧਮ ਅੰਦਰੂਨੀ ਪ੍ਰਤੀਨਿਧਤਾ, ਕਿਸੇ ਹੋਰ ਵਿਚਕਾਰਲੇ ਨੁਮਾਇੰਦਗੀ ਨਾਲ ਉਲਝਣ ਵਿੱਚ ਨਾ ਹੋਣ ਲਈ ਬਦਲਿਆ ਗਿਆ ਹੈ) ਮੀਰ (ਮੱਧ-ਪੱਧਰੀ IR), ਜੰਗਾਲ ਕੰਪਾਈਲਰ ਵਿੱਚ ਵਰਤਿਆ ਜਾਂਦਾ ਹੈ)। ਪ੍ਰੋਜੈਕਟ ਦਾ ਉਦੇਸ਼ ਤੇਜ਼ ਅਤੇ ਸੰਖੇਪ ਦੁਭਾਸ਼ੀਏ ਅਤੇ ਜੇਆਈਟੀ ਨੂੰ ਲਾਗੂ ਕਰਨ ਲਈ ਇੱਕ ਢਾਂਚਾ ਪ੍ਰਦਾਨ ਕਰਨਾ ਹੈ। ਪ੍ਰੋਜੈਕਟ ਕੋਡ C ਅਤੇ ਵਿੱਚ ਲਿਖਿਆ ਗਿਆ ਹੈ ਦੁਆਰਾ ਵੰਡਿਆ MIT ਲਾਇਸੰਸ ਦੇ ਤਹਿਤ.

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

ਵਿਚਕਾਰਲੇ MIR ਕੋਡ ਨੂੰ ਬਾਈਨਰੀ ਅਤੇ ਟੈਕਸਟ (ਪੜ੍ਹਨਯੋਗ) ਰੂਪ ਵਿੱਚ ਪੇਸ਼ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ। ਇਹ ਕੋਡ ਇੱਕ ਦੁਭਾਸ਼ੀਏ ਵਿੱਚ ਚਲਾਇਆ ਜਾ ਸਕਦਾ ਹੈ ਅਤੇ ਇਸ ਦੇ ਆਧਾਰ 'ਤੇ ਮਸ਼ੀਨ ਕੋਡ ਤਿਆਰ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ (x86_64, ARM64, PPC64 ਅਤੇ MIPS64 ਯੋਜਨਾਵਾਂ ਵਿੱਚ)। ਉਲਟਾ ਪਰਿਵਰਤਨ ਕਰਨਾ ਵੀ ਸੰਭਵ ਹੈ - MIR ਤੋਂ CIL, Java bytecode, WebAssembly ਅਤੇ C ਕੋਡ।

MIR ਦੀਆਂ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਵਿੱਚ, ਸਖ਼ਤ ਟਾਈਪਿੰਗ, ਮੋਡਿਊਲਾਂ ਅਤੇ ਫੰਕਸ਼ਨਾਂ ਲਈ ਸਮਰਥਨ, ਕਿਸਮ ਦੇ ਰੂਪਾਂਤਰਣ, ਤੁਲਨਾ, ਅੰਕਗਣਿਤ ਅਤੇ ਲਾਜ਼ੀਕਲ ਓਪਰੇਸ਼ਨਾਂ, ਬ੍ਰਾਂਚਿੰਗ, ਆਦਿ ਲਈ ਨਿਰਦੇਸ਼ਾਂ ਦੇ ਇੱਕ ਸਮੂਹ ਦੀ ਵਿਵਸਥਾ। ਮੋਡਿਊਲ, ਜਿਸ ਵਿੱਚ MIR ਫਾਰਮੈਟ ਵਿੱਚ ਪਰਿਵਰਤਿਤ ਫੰਕਸ਼ਨਾਂ ਦਾ ਇੱਕ ਸੈੱਟ ਸ਼ਾਮਲ ਹੁੰਦਾ ਹੈ, ਨੂੰ ਲਾਇਬ੍ਰੇਰੀਆਂ ਦੇ ਰੂਪ ਵਿੱਚ ਲੋਡ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ, ਅਤੇ ਬਾਹਰੀ C ਕੋਡ ਵੀ ਲੋਡ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ।

ਨੇਟਿਵ ਐਗਜ਼ੀਕਿਊਟੇਬਲ ਫਾਈਲਾਂ ਵਿੱਚ ਕੰਪਾਈਲ ਕਰਨ ਦੀ ਬਜਾਏ JIT ਵਿੱਚ ਇੰਟਰਮੀਡੀਏਟ ਕੋਡ ਨੂੰ ਚਲਾਉਣ ਦਾ ਮੁੱਖ ਫਾਇਦਾ ਸੰਖੇਪ ਫਾਈਲਾਂ ਬਣਾਉਣ ਦੀ ਯੋਗਤਾ ਹੈ ਜੋ ਵੱਖ-ਵੱਖ ਹਾਰਡਵੇਅਰ ਆਰਕੀਟੈਕਚਰ (x86, ARM, PPC, MIPS) 'ਤੇ ਮੁੜ ਨਿਰਮਾਣ ਕੀਤੇ ਬਿਨਾਂ ਚਲਾਈਆਂ ਜਾ ਸਕਦੀਆਂ ਹਨ। ਅਸਮਰਥਿਤ ਆਰਕੀਟੈਕਚਰ ਲਈ, ਇੱਕ ਵਿਆਖਿਆ ਮੋਡ ਉਪਲਬਧ ਹੈ, ਜੋ MIR ਦੇ ਮਾਮਲੇ ਵਿੱਚ JIT ਨਾਲੋਂ 6-10 ਗੁਣਾ ਹੌਲੀ ਹੈ।

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

• MIR ਵਿੱਚ ਸੰਕਲਨ GCC ਨਾਲੋਂ ਘੱਟ ਤੋਂ ਘੱਟ 100 ਗੁਣਾ ਤੇਜ਼ ਹੋਣਾ ਚਾਹੀਦਾ ਹੈ;
• MIR ਐਗਜ਼ੀਕਿਊਸ਼ਨ ਲਈ JIT ਬਹੁਤ ਸੰਖੇਪ ਹੋਣੀ ਚਾਹੀਦੀ ਹੈ ਅਤੇ ਇਸ ਵਿੱਚ ਕੋਡ ਦੀਆਂ ਲਗਭਗ 15 ਹਜ਼ਾਰ ਲਾਈਨਾਂ ਸ਼ਾਮਲ ਹੋਣੀਆਂ ਚਾਹੀਦੀਆਂ ਹਨ;
• JIT ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਹੋਏ MIR ਨੂੰ ਚਲਾਉਣਾ GCC ("-O30" ਅਨੁਕੂਲਤਾਵਾਂ ਦੇ ਨਾਲ) ਵਿੱਚ ਉਸੇ C ਕੋਡ ਤੋਂ ਕੰਪਾਇਲ ਕੀਤੇ ਐਗਜ਼ੀਕਿਊਟੇਬਲ ਦੀ ਕਾਰਗੁਜ਼ਾਰੀ ਨਾਲੋਂ 2% ਤੋਂ ਵੱਧ ਹੌਲੀ ਨਹੀਂ ਹੋਣਾ ਚਾਹੀਦਾ ਹੈ;
• ਅਸਲ ਐਗਜ਼ੀਕਿਊਸ਼ਨ ਸ਼ੁਰੂ ਹੋਣ ਤੋਂ ਪਹਿਲਾਂ ਸ਼ੁਰੂਆਤੀ ਪੜਾਵਾਂ ਨੂੰ 100 ਗੁਣਾ ਘੱਟ ਸਮਾਂ ਲੱਗਣਾ ਚਾਹੀਦਾ ਹੈ;
• JIT ਲਈ MIR ਪ੍ਰਤੀਨਿਧਤਾ GCC ਵਿੱਚ ਸੰਕਲਿਤ ਐਗਜ਼ੀਕਿਊਟੇਬਲ ਨਾਲੋਂ 100 ਗੁਣਾ ਛੋਟੀ ਹੋਣੀ ਚਾਹੀਦੀ ਹੈ।

ਇਸਦੇ ਮੌਜੂਦਾ ਰੂਪ ਵਿੱਚ, MIR ਲਾਗੂ ਕਰਨਾ ਸ਼ੁਰੂਆਤੀ ਤੌਰ 'ਤੇ ਨਿਰਧਾਰਤ ਟੀਚਿਆਂ ਤੋਂ ਕਈ ਤਰੀਕਿਆਂ ਨਾਲ ਅੱਗੇ ਹੈ: ਟੈਸਟਾਂ ਨੇ ਦਿਖਾਇਆ ਹੈ ਕਿ MIR ਵਿੱਚ ਸੰਕਲਨ ਪ੍ਰਦਰਸ਼ਨ "GCC -O2" ਨਾਲੋਂ 178 ਗੁਣਾ ਤੇਜ਼ ਹੈ, ਐਗਜ਼ੀਕਿਊਸ਼ਨ ਪ੍ਰਦਰਸ਼ਨ ਮੂਲ ਕੋਡ, ਕੋਡ ਆਕਾਰ ਤੋਂ 6% ਪਿੱਛੇ ਹੈ। 144 ਗੁਣਾ ਛੋਟਾ ਹੈ, MIR ਲਾਗੂਕਰਨ JIT ਕੋਡ ਦੀਆਂ 16 ਹਜ਼ਾਰ ਲਾਈਨਾਂ ਹੈ।

ਸਰੋਤ: opennet.ru