SBCL: ਇੱਕ ਸੈਨਲੀ-ਬੂਟਸਟਰੈਪਯੋਗ ਕਾਮਨ ਲਿਸਪ (2008) [ਪੀਡੀਐਫ]

ਐਸਬੀਸੀਐਲ ਦੀ ਇੱਕ ਜਾਣ-ਪਛਾਣ ਅਤੇ ਸਾਫਟਵੇਅਰ ਸ਼ੁੱਧਤਾ ਲਈ ਡਰਾਈਵ

ਸਾਫਟਵੇਅਰ ਡਿਵੈਲਪਮੈਂਟ ਦੀ ਗੁੰਝਲਦਾਰ ਦੁਨੀਆ ਵਿੱਚ, ਇੱਕ ਕੰਪਾਈਲਰ ਬਣਾਉਣ ਦੇ ਰੂਪ ਵਿੱਚ ਕੁਝ ਕੰਮ ਬੁਨਿਆਦੀ-ਜਾਂ ਸੰਭਾਵੀ ਤੌਰ 'ਤੇ ਜਟਿਲਤਾ ਨਾਲ ਭਰਪੂਰ ਹੁੰਦੇ ਹਨ। ਪ੍ਰਕਿਰਿਆ, ਜਿਸਨੂੰ ਬੂਟਸਟਰੈਪਿੰਗ ਕਿਹਾ ਜਾਂਦਾ ਹੈ, ਆਪਣੇ ਆਪ ਦਾ ਨਵਾਂ ਸੰਸਕਰਣ ਬਣਾਉਣ ਲਈ ਇੱਕ ਮੌਜੂਦਾ ਕੰਪਾਈਲਰ ਦੀ ਵਰਤੋਂ ਕਰਨਾ ਸ਼ਾਮਲ ਕਰਦਾ ਹੈ। ਇਹ ਇੱਕ "ਚਿਕਨ ਅਤੇ ਅੰਡੇ" ਦੀ ਸਮੱਸਿਆ ਦਾ ਕਾਰਨ ਬਣ ਸਕਦਾ ਹੈ: ਤੁਸੀਂ ਕੰਪਾਈਲਰ ਦੀ ਸ਼ੁੱਧਤਾ ਦੀ ਪੁਸ਼ਟੀ ਕਿਵੇਂ ਕਰਦੇ ਹੋ ਜਿਸਨੇ ਤੁਹਾਡਾ ਕੰਪਾਈਲਰ ਬਣਾਇਆ ਹੈ? 2008 ਵਿੱਚ, ਕ੍ਰਿਸਟੋਫ ਰੋਡਜ਼ ਦੇ ਪੇਪਰ, "SBCL: ਏ ਸੈਨਲੀ-ਬੂਟਸਟ੍ਰੈਪਬਲ ਕਾਮਨ ਲਿਸਪ" ਦੇ ਜਾਰੀ ਹੋਣ ਨਾਲ ਕਾਮਨ ਲਿਸਪ ਕਮਿਊਨਿਟੀ ਲਈ ਇਸ ਮੁੱਦੇ ਨੂੰ ਹੱਲ ਕਰਨ ਵਿੱਚ ਇੱਕ ਮਹੱਤਵਪੂਰਨ ਮੀਲ ਪੱਥਰ ਪ੍ਰਾਪਤ ਕੀਤਾ ਗਿਆ ਸੀ। ਇਸ ਕੰਮ ਨੇ ਸਟੀਲ ਬੈਂਕ ਕਾਮਨ ਲਿਸਪ (SBCL) ਨੂੰ ਉੱਚ-ਪ੍ਰਦਰਸ਼ਨ ਲਾਗੂ ਕਰਨ ਤੋਂ ਪਾਰਦਰਸ਼ਤਾ ਅਤੇ ਭਰੋਸੇਯੋਗਤਾ ਦੇ ਪੈਰਾਗੋਨ ਵਿੱਚ ਬਦਲ ਦਿੱਤਾ, ਸਿਧਾਂਤ ਜੋ ਅੱਜ ਦੇ ਸੌਫਟਵੇਅਰ ਲੈਂਡਸਕੇਪ ਵਿੱਚ ਡੂੰਘਾਈ ਨਾਲ ਗੂੰਜਦੇ ਹਨ ਅਤੇ ਮੇਵੇਜ਼ ਵਰਗੇ ਪਲੇਟਫਾਰਮਾਂ ਦੇ ਮੂਲ ਦਰਸ਼ਨ ਨਾਲ ਮੇਲ ਖਾਂਦੇ ਹਨ ਜੋ ਭਰੋਸੇਯੋਗ, ਸਮਝਣ ਯੋਗ ਵਪਾਰਕ ਪ੍ਰਣਾਲੀਆਂ ਪ੍ਰਦਾਨ ਕਰਨਾ ਚਾਹੁੰਦੇ ਹਨ।

"Sanely-Bootstrapable" ਦਾ ਕੀ ਮਤਲਬ ਹੈ?

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

SBCL ਬੂਟਸਟਰੈਪ ਪ੍ਰਕਿਰਿਆ: C ਤੋਂ ਕਾਮਨ ਲਿਸਪ ਤੱਕ

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

• ਪੜਾਅ 1: C-ਅਧਾਰਿਤ ਦੁਭਾਸ਼ੀਏ ਬੁਨਿਆਦੀ SBCL ਸਰੋਤ ਫਾਈਲਾਂ ਨੂੰ ਕੰਪਾਇਲ ਕਰਦਾ ਹੈ। ਇਹ ਇੱਕ ਮੁੱਢਲਾ ਪਰ ਕਾਰਜਸ਼ੀਲ SBCL ਵਾਤਾਵਰਣ ਬਣਾਉਂਦਾ ਹੈ ਜੋ ਅਜੇ ਵੀ ਦੁਭਾਸ਼ੀਏ ਦੇ ਸਿਖਰ 'ਤੇ ਚੱਲ ਰਿਹਾ ਹੈ।
• ਪੜਾਅ 2: ਇਹ ਨਵਾਂ SBCL ਵਾਤਾਵਰਣ ਫਿਰ SBCL ਸਰੋਤ ਕੋਡ ਨੂੰ ਦੁਬਾਰਾ ਕੰਪਾਇਲ ਕਰਨ ਲਈ ਵਰਤਿਆ ਜਾਂਦਾ ਹੈ, ਪਰ ਇਸ ਵਾਰ ਪੂਰੀ ਤਰ੍ਹਾਂ ਆਪਣੇ ਅੰਦਰ। ਨਤੀਜਾ ਇੱਕ "ਹੌਟ" SBCL ਐਗਜ਼ੀਕਿਊਟੇਬਲ ਹੈ ਜੋ ਮੂਲ C ਦੁਭਾਸ਼ੀਏ ਤੋਂ ਸੁਤੰਤਰ ਹੈ ਅਤੇ ਹੋਸਟ ਮਸ਼ੀਨ 'ਤੇ ਮੂਲ ਰੂਪ ਵਿੱਚ ਚੱਲ ਸਕਦਾ ਹੈ।

ਇਹ ਸਵੈ-ਹੋਸਟਿੰਗ ਸਮਰੱਥਾ ਸਮਝਦਾਰੀ ਨਾਲ ਬੂਟਸਟਰੈਪਯੋਗ ਹੋਣ ਦਾ ਆਧਾਰ ਹੈ। ਇਸਦਾ ਮਤਲਬ ਹੈ ਕਿ ਕੋਈ ਵੀ ਪ੍ਰਕਾਸ਼ਿਤ SBCL ਸਰੋਤ ਕੋਡ ਲੈ ਸਕਦਾ ਹੈ ਅਤੇ, ਇੱਕ ਸਟੈਂਡਰਡ C ਕੰਪਾਈਲਰ ਦੇ ਨਾਲ, ਇੱਕ ਪ੍ਰਮਾਣਿਤ, ਭਰੋਸੇਮੰਦ SBCL ਨੂੰ ਜ਼ਮੀਨੀ ਪੱਧਰ ਤੋਂ ਚਲਾਉਣ ਯੋਗ ਬਣਾ ਸਕਦਾ ਹੈ। ਇਹ ਸੰਭਾਵੀ ਤੌਰ 'ਤੇ ਸਮਝੌਤਾ ਕੀਤੇ ਪੂਰਵ-ਕੰਪਾਈਲਡ ਬਾਈਨਰੀਆਂ 'ਤੇ ਨਿਰਭਰਤਾ ਨੂੰ ਖਤਮ ਕਰਦਾ ਹੈ।

ਆਧੁਨਿਕ ਸੌਫਟਵੇਅਰ ਲਈ ਬੂਟਸਟਰੈਪਬਿਲਟੀ ਮਾਇਨੇ ਕਿਉਂ ਰੱਖਦੀ ਹੈ

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

ਪੇਪਰ ਇਸ ਗੱਲ ਨੂੰ ਉਜਾਗਰ ਕਰਕੇ ਸਮਾਪਤ ਕਰਦਾ ਹੈ ਕਿ SBCL ਦੀ ਬੂਟਸਟਰੈਪ ਪ੍ਰਕਿਰਿਆ, ਜਦੋਂ ਕਿ ਗੁੰਝਲਦਾਰ ਹੈ, "ਇੱਕ ਛੋਟੇ, ਆਡਿਟ ਕਰਨ ਯੋਗ ਬੀਜ ਤੋਂ ਇੱਕ ਪੂਰੇ ਕਾਮਨ ਲਿਸਪ ਸਿਸਟਮ ਤੱਕ ਦਾ ਮਾਰਗ" ਪ੍ਰਦਾਨ ਕਰਦੀ ਹੈ, "ਭਰੋਸੇ ਭਰੋਸੇ ਭਰੋਸੇ" ਦੀ ਸਮੱਸਿਆ ਨੂੰ ਪ੍ਰਭਾਵਸ਼ਾਲੀ ਢੰਗ ਨਾਲ ਘਟਾਉਂਦੀ ਹੈ ਅਤੇ ਕੰਪਾਈਲਰ ਅਖੰਡਤਾ ਲਈ ਇੱਕ ਨਵਾਂ ਮਿਆਰ ਨਿਰਧਾਰਤ ਕਰਦੀ ਹੈ।

ਵਿਰਾਸਤ ਅਤੇ ਸਥਾਈ ਪ੍ਰਭਾਵ

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

ਅਕਸਰ ਪੁੱਛੇ ਜਾਣ ਵਾਲੇ ਸਵਾਲ

ਐਸਬੀਸੀਐਲ ਦੀ ਇੱਕ ਜਾਣ-ਪਛਾਣ ਅਤੇ ਸਾਫਟਵੇਅਰ ਸ਼ੁੱਧਤਾ ਲਈ ਡਰਾਈਵ

ਸਾਫਟਵੇਅਰ ਡਿਵੈਲਪਮੈਂਟ ਦੀ ਗੁੰਝਲਦਾਰ ਦੁਨੀਆ ਵਿੱਚ, ਇੱਕ ਕੰਪਾਈਲਰ ਬਣਾਉਣ ਦੇ ਰੂਪ ਵਿੱਚ ਕੁਝ ਕੰਮ ਬੁਨਿਆਦੀ-ਜਾਂ ਸੰਭਾਵੀ ਤੌਰ 'ਤੇ ਜਟਿਲਤਾ ਨਾਲ ਭਰਪੂਰ ਹੁੰਦੇ ਹਨ। ਪ੍ਰਕਿਰਿਆ, ਜਿਸਨੂੰ ਬੂਟਸਟਰੈਪਿੰਗ ਕਿਹਾ ਜਾਂਦਾ ਹੈ, ਆਪਣੇ ਆਪ ਦਾ ਨਵਾਂ ਸੰਸਕਰਣ ਬਣਾਉਣ ਲਈ ਇੱਕ ਮੌਜੂਦਾ ਕੰਪਾਈਲਰ ਦੀ ਵਰਤੋਂ ਕਰਨਾ ਸ਼ਾਮਲ ਕਰਦਾ ਹੈ। ਇਹ ਇੱਕ "ਚਿਕਨ ਅਤੇ ਅੰਡੇ" ਦੀ ਸਮੱਸਿਆ ਦਾ ਕਾਰਨ ਬਣ ਸਕਦਾ ਹੈ: ਤੁਸੀਂ ਕੰਪਾਈਲਰ ਦੀ ਸ਼ੁੱਧਤਾ ਦੀ ਪੁਸ਼ਟੀ ਕਿਵੇਂ ਕਰਦੇ ਹੋ ਜਿਸਨੇ ਤੁਹਾਡਾ ਕੰਪਾਈਲਰ ਬਣਾਇਆ ਹੈ? 2008 ਵਿੱਚ, ਕ੍ਰਿਸਟੋਫ ਰੋਡਜ਼ ਦੇ ਪੇਪਰ, "SBCL: ਏ ਸੈਨਲੀ-ਬੂਟਸਟ੍ਰੈਪਬਲ ਕਾਮਨ ਲਿਸਪ" ਦੇ ਜਾਰੀ ਹੋਣ ਨਾਲ ਕਾਮਨ ਲਿਸਪ ਕਮਿਊਨਿਟੀ ਲਈ ਇਸ ਮੁੱਦੇ ਨੂੰ ਹੱਲ ਕਰਨ ਵਿੱਚ ਇੱਕ ਮਹੱਤਵਪੂਰਨ ਮੀਲ ਪੱਥਰ ਪ੍ਰਾਪਤ ਕੀਤਾ ਗਿਆ ਸੀ। ਇਸ ਕੰਮ ਨੇ ਸਟੀਲ ਬੈਂਕ ਕਾਮਨ ਲਿਸਪ (SBCL) ਨੂੰ ਉੱਚ-ਪ੍ਰਦਰਸ਼ਨ ਲਾਗੂ ਕਰਨ ਤੋਂ ਪਾਰਦਰਸ਼ਤਾ ਅਤੇ ਭਰੋਸੇਯੋਗਤਾ ਦੇ ਪੈਰਾਗੋਨ ਵਿੱਚ ਬਦਲ ਦਿੱਤਾ, ਸਿਧਾਂਤ ਜੋ ਅੱਜ ਦੇ ਸੌਫਟਵੇਅਰ ਲੈਂਡਸਕੇਪ ਵਿੱਚ ਡੂੰਘਾਈ ਨਾਲ ਗੂੰਜਦੇ ਹਨ ਅਤੇ ਮੇਵੇਜ਼ ਵਰਗੇ ਪਲੇਟਫਾਰਮਾਂ ਦੇ ਮੂਲ ਦਰਸ਼ਨ ਨਾਲ ਮੇਲ ਖਾਂਦੇ ਹਨ ਜੋ ਭਰੋਸੇਯੋਗ, ਸਮਝਣ ਯੋਗ ਵਪਾਰਕ ਪ੍ਰਣਾਲੀਆਂ ਪ੍ਰਦਾਨ ਕਰਨਾ ਚਾਹੁੰਦੇ ਹਨ।

"Sanely-Bootstrapable" ਦਾ ਕੀ ਮਤਲਬ ਹੈ?

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

SBCL ਬੂਟਸਟਰੈਪ ਪ੍ਰਕਿਰਿਆ: C ਤੋਂ ਕਾਮਨ ਲਿਸਪ ਤੱਕ

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

ਆਧੁਨਿਕ ਸੌਫਟਵੇਅਰ ਲਈ ਬੂਟਸਟਰੈਪਬਿਲਟੀ ਮਾਇਨੇ ਕਿਉਂ ਰੱਖਦੀ ਹੈ

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

ਪੁਰਾਣਾ ਅਤੇ ਸਥਾਈ ਪ੍ਰਭਾਵ

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