ਮੈਮੋਰੀਅਮ ਵਿੱਚ, ਟੋਨੀ ਹੋਰੇ

ਯਾਦ ਵਿੱਚ: ਸਰ ਚਾਰਲਸ ਐਂਟਨੀ ਰਿਚਰਡ ਹੋਰੇ (ਟੋਨੀ ਹੋਰੇ)

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

ਦਿ ਆਰਕੀਟੈਕਟ ਆਫ ਐਲੀਗੈਂਸ: ਕਵਿੱਕਸੋਰਟ ਅਤੇ ਨਲ ਰੈਫਰੈਂਸ

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

ਇਸ ਦੇ ਉਲਟ, ਹੋਰੇ ਨੇ 1965 ਵਿੱਚ ਨਲ ਸੰਦਰਭ ਦੇ ਸੰਕਲਪ ਨੂੰ ਮਸ਼ਹੂਰ ਤੌਰ 'ਤੇ ਪੇਸ਼ ਕੀਤਾ, ਜਿਸ ਨੂੰ ਬਾਅਦ ਵਿੱਚ ਉਸਨੇ ਆਪਣੀ "ਬਿਲੀਅਨ-ਡਾਲਰ ਗਲਤੀ" ਕਿਹਾ। ਇਹ ਕਾਢ, ਮੁੱਲ ਦੀ ਅਣਹੋਂਦ ਨੂੰ ਦਰਸਾਉਣ ਦਾ ਇਰਾਦਾ ਸੀ, ਅਣਜਾਣੇ ਵਿੱਚ ਦਹਾਕਿਆਂ ਤੋਂ ਰਨਟਾਈਮ ਗਲਤੀਆਂ ਅਤੇ ਬੱਗਾਂ ਦਾ ਮੁੱਖ ਸਰੋਤ ਬਣ ਗਈ। ਫਿਰ ਵੀ, ਇੱਥੋਂ ਤੱਕ ਕਿ ਇਹ "ਗਲਤੀ" ਵੀ ਨਿਮਰਤਾ ਅਤੇ ਸਖ਼ਤ ਡਿਜ਼ਾਈਨ ਦੀ ਮਹੱਤਤਾ ਦਾ ਸਬਕ ਸੀ—ਇੱਕ ਸਬਕ ਜੋ ਇਹ ਦੱਸਦਾ ਹੈ ਕਿ ਅਸੀਂ ਮੇਵੇਜ਼ ਵਿਖੇ ਲਚਕੀਲੇ ਸਿਸਟਮ ਕਿਵੇਂ ਬਣਾਉਂਦੇ ਹਾਂ, ਜਿੱਥੇ ਸਪਸ਼ਟ ਡਾਟਾ ਢਾਂਚਾ ਅਤੇ ਗਲਤੀ ਹੈਂਡਲਿੰਗ ਸਭ ਤੋਂ ਮਹੱਤਵਪੂਰਨ ਹੈ।

ਸ਼ੁੱਧਤਾ ਦੀ ਨੀਂਹ: ਹੋਰੇ ਤਰਕ

ਸ਼ਾਇਦ ਹੋਰੇ ਦਾ ਸਭ ਤੋਂ ਮਹੱਤਵਪੂਰਨ ਯੋਗਦਾਨ 1969 ਵਿੱਚ ਹੋਰੇ ਲਾਜਿਕ ਦਾ ਵਿਕਾਸ ਸੀ। ਇਹ ਰਸਮੀ ਪ੍ਰਣਾਲੀ ਕੰਪਿਊਟਰ ਪ੍ਰੋਗਰਾਮਾਂ ਦੀ ਸ਼ੁੱਧਤਾ ਨੂੰ ਸਾਬਤ ਕਰਨ ਲਈ ਇੱਕ ਗਣਿਤਿਕ ਢਾਂਚਾ ਪ੍ਰਦਾਨ ਕਰਦੀ ਹੈ। ਇਹ ਫਾਰਮ `{P} C {Q}` ਦੇ ਤਿੰਨ ਗੁਣਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦਾ ਹੈ, ਜਿੱਥੇ `P` ਇੱਕ ਪੂਰਵ ਸ਼ਰਤ ਹੈ, `C` ਇੱਕ ਕਮਾਂਡ ਹੈ, ਅਤੇ `Q` ਇੱਕ ਪੋਸਟ ਸ਼ਰਤ ਹੈ। ਇਸਦਾ ਮਤਲਬ ਹੈ ਕਿ ਜੇਕਰ ਕਮਾਂਡ C ਚੱਲਣ ਤੋਂ ਪਹਿਲਾਂ ਪੂਰਵ ਸ਼ਰਤ P ਸਹੀ ਹੈ, ਤਾਂ ਪੋਸਟ-ਕੰਡੀਸ਼ਨ Q ਬਾਅਦ ਵਿੱਚ ਸਹੀ ਹੋਣ ਦੀ ਗਰੰਟੀ ਹੈ।

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

ਆਧੁਨਿਕ ਸੌਫਟਵੇਅਰ ਅਤੇ ਵਪਾਰ ਪ੍ਰਣਾਲੀਆਂ ਲਈ ਸਬਕ

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

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

ਟੋਨੀ ਹੋਰੇ ਦੇ ਮੁੱਖ ਯੋਗਦਾਨਾਂ ਵਿੱਚ ਸ਼ਾਮਲ ਹਨ:

• ਕੁਇਕਸੋਰਟ ਐਲਗੋਰਿਦਮ (1960): ਵਿਭਾਜਨ-ਅਤੇ-ਜਿੱਤ ਦੇ ਪੈਰਾਡਾਈਮ 'ਤੇ ਅਧਾਰਤ ਇੱਕ ਉੱਚ ਕੁਸ਼ਲ ਕ੍ਰਮਬੱਧ ਐਲਗੋਰਿਦਮ।
• ਹੋਰੇ ਲਾਜਿਕ (1969): ਕੰਪਿਊਟਰ ਪ੍ਰੋਗਰਾਮਾਂ ਦੀ ਸ਼ੁੱਧਤਾ ਬਾਰੇ ਤਰਕ ਕਰਨ ਲਈ ਇੱਕ ਰਸਮੀ ਪ੍ਰਣਾਲੀ।
• ਕਮਿਊਨੀਕੇਟਿੰਗ ਕ੍ਰਮਵਾਰ ਪ੍ਰਕਿਰਿਆਵਾਂ (CSP): ਸਮਕਾਲੀ ਪ੍ਰੋਗਰਾਮਿੰਗ, ਗੋ ਵਰਗੀਆਂ ਭਾਸ਼ਾਵਾਂ ਨੂੰ ਪ੍ਰਭਾਵਿਤ ਕਰਨ ਲਈ ਇੱਕ ਬੁਨਿਆਦੀ ਮਾਡਲ।
• ਦ ਨਲ ਰੈਫਰੈਂਸ (1965): ਇੱਕ ਪ੍ਰਭਾਵਸ਼ਾਲੀ, ਭਾਵੇਂ ਬਾਅਦ ਵਿੱਚ ਪਛਤਾਵਾ ਹੋਇਆ, ਕਾਢ ਜਿਸਨੇ ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ ਡਿਜ਼ਾਈਨ ਦੇ ਦਹਾਕਿਆਂ ਨੂੰ ਆਕਾਰ ਦਿੱਤਾ।

"ਸਾਫਟਵੇਅਰ ਡਿਜ਼ਾਇਨ ਬਣਾਉਣ ਦੇ ਦੋ ਤਰੀਕੇ ਹਨ: ਇੱਕ ਤਰੀਕਾ ਹੈ ਇਸਨੂੰ ਇੰਨਾ ਸਰਲ ਬਣਾਉਣਾ ਕਿ ਸਪੱਸ਼ਟ ਤੌਰ 'ਤੇ ਕੋਈ ਕਮੀਆਂ ਨਾ ਹੋਣ, ਅਤੇ ਦੂਜਾ ਤਰੀਕਾ ਹੈ ਇਸਨੂੰ ਇੰਨਾ ਗੁੰਝਲਦਾਰ ਬਣਾਉਣਾ ਕਿ ਕੋਈ ਸਪੱਸ਼ਟ ਕਮੀਆਂ ਨਾ ਹੋਣ। ਪਹਿਲਾ ਤਰੀਕਾ ਬਹੁਤ ਮੁਸ਼ਕਲ ਹੈ।"

ਇੱਕ ਸਥਾਈ ਵਿਰਾਸਤ

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

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

ਯਾਦ ਵਿੱਚ: ਸਰ ਚਾਰਲਸ ਐਂਟਨੀ ਰਿਚਰਡ ਹੋਰੇ (ਟੋਨੀ ਹੋਰੇ)

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

ਦਿ ਆਰਕੀਟੈਕਟ ਆਫ਼ ਐਲੀਗੈਂਸ: ਕੁਇੱਕਸੋਰਟ ਅਤੇ ਨਲ ਰੈਫਰੈਂਸ

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

ਸ਼ੁੱਧਤਾ ਦੀ ਨੀਂਹ: ਹੋਰੇ ਤਰਕ

ਸ਼ਾਇਦ ਹੋਰੇ ਦਾ ਸਭ ਤੋਂ ਮਹੱਤਵਪੂਰਨ ਯੋਗਦਾਨ 1969 ਵਿੱਚ ਹੋਰੇ ਲਾਜਿਕ ਦਾ ਵਿਕਾਸ ਸੀ। ਇਹ ਰਸਮੀ ਪ੍ਰਣਾਲੀ ਕੰਪਿਊਟਰ ਪ੍ਰੋਗਰਾਮਾਂ ਦੀ ਸ਼ੁੱਧਤਾ ਨੂੰ ਸਾਬਤ ਕਰਨ ਲਈ ਇੱਕ ਗਣਿਤਿਕ ਢਾਂਚਾ ਪ੍ਰਦਾਨ ਕਰਦੀ ਹੈ। ਇਹ ਫਾਰਮ `{P} C {Q}` ਦੇ ਤਿੰਨ ਗੁਣਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦਾ ਹੈ, ਜਿੱਥੇ `P` ਇੱਕ ਪੂਰਵ ਸ਼ਰਤ ਹੈ, `C` ਇੱਕ ਕਮਾਂਡ ਹੈ, ਅਤੇ `Q` ਇੱਕ ਪੋਸਟ ਸ਼ਰਤ ਹੈ। ਇਸਦਾ ਮਤਲਬ ਹੈ ਕਿ ਜੇਕਰ ਕਮਾਂਡ C ਚੱਲਣ ਤੋਂ ਪਹਿਲਾਂ ਪੂਰਵ ਸ਼ਰਤ P ਸਹੀ ਹੈ, ਤਾਂ ਪੋਸਟ-ਕੰਡੀਸ਼ਨ Q ਬਾਅਦ ਵਿੱਚ ਸਹੀ ਹੋਣ ਦੀ ਗਰੰਟੀ ਹੈ।

ਆਧੁਨਿਕ ਸੌਫਟਵੇਅਰ ਅਤੇ ਵਪਾਰ ਪ੍ਰਣਾਲੀਆਂ ਲਈ ਸਬਕ

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

ਇੱਕ ਸਥਾਈ ਵਿਰਾਸਤ

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