बारबरा लिस्कोव: डेटा एब्सट्रैक्शन की प्रथम वास्तुकार

1968 में बारबरा लिस्कोव (Barbara Liskov) अमेरिका में कंप्यूटर विज्ञान विभाग से पीएच.डी. प्राप्त करने वाली पहली महिलाओं में से एक बनीं। चार दशक बाद, एमआईटी (MIT) के प्रोवोस्ट ने दुनिया को बताया कि हर बार जब कोई ऑनलाइन बैंक बैलेंस चेक करता है या खोज करता है, तो वे "उनके शोध की गति पर सवार" होते हैं। उन दो क्षणों के बीच उन्होंने वैचारिक मचान का निर्माण किया - डेटा एब्सट्रैक्शन, अमूर्त डेटा प्रकार, और एक औपचारिक नियम कि कब एक प्रकार सुरक्षित रूप से दूसरे का स्थान ले सकता है - जो तब से लिखी गई लगभग हर प्रोग्रामिंग भाषा के नीचे चुपचाप चलता है।

कंप्यूटिंग में एक असंभावित शुरुआत

बारबरा जेन हुबरमैन (Barbara Jane Huberman) का जन्म 7 नवंबर 1939 को लॉस एंजिल्स में हुआ था, जो चार बच्चों में सबसे बड़ी थीं। उन्होंने यूसी बर्कले (UC Berkeley) में भौतिकी के साथ गणित में पढ़ाई की और 1961 में गणित पढ़ने वाली अपनी कक्षा की केवल दो महिलाओं में से एक के रूप में स्नातक किया। उस समय जब महिलाओं के लिए तकनीकी करियर के अवसर लगभग न के बराबर थे, उन्होंने एक आसान रास्ता अपनाने के बजाय, स्टैनफोर्ड द्वारा उन्हें एक नए कंप्यूटर विज्ञान कार्यक्रम में स्वीकार किए जाने से पहले मिट्रे कॉर्पोरेशन (Mitre Corporation) में प्रोग्रामर के रूप में नौकरी ले ली। उनके 1968 के डॉक्टरेट शोध प्रबंध ने शतरंज एंडगेम प्रोग्रामिंग को संबोधित किया और "किलर ह्यूरिस्टिक" तैयार किया, जो एक सर्च-प्रूनिंग तकनीक है जिस पर कृत्रिम बुद्धिमत्ता में आज भी चर्चा की जाती है। उनके डॉक्टरेट सलाहकार जॉन मैकार्थी (John McCarthy) थे, जो एआई (AI) के संस्थापकों में से एक थे। उन्हें अमेरिका में कंप्यूटर विज्ञान विभाग से पीएच.डी. प्राप्त करने वाली पहली महिला के रूप में मान्यता प्राप्त है।

CLU और डेटा एब्सट्रैक्शन का विचार

लिस्कोव 1972 में एमआईटी में शामिल हुईं और प्रोग्रामिंग मेथोडोलॉजी ग्रुप का नेतृत्व किया, और यहीं 1970 के दशक के मध्य में उन्होंने CLU को डिजाइन किया। उस समय, अधिकांश प्रोग्रामर सॉफ्टवेयर को प्रक्रियात्मक रूप से व्यवस्थित करते थे, निर्देश लिखते थे जो डेटा संरचनाओं में सीधे हेरफेर करते थे और दोनों को हर जगह उलझा देते थे। CLU ने "क्लस्टर" पेश किए - स्व-निहित मॉड्यूल जो एक डेटा प्रकार को उसके साथ अनुमति दिए गए एकमात्र ऑपरेशनों के साथ जोड़ते थे, जिससे आंतरिक प्रतिनिधित्व प्रोग्राम के बाकी हिस्सों से पूरी तरह छिप जाता था। यह डेटा एब्सट्रैक्शन था, और यह बताना मुश्किल है कि इसने सॉफ्टवेयर इंजीनियरिंग को कितनी पूरी तरह से नया आकार दिया: Java, C++, C#, और Ada के मूल में वर्ग संरचनाएं सभी CLU के क्लस्टर से अपनी वंशावली का पता लगाती हैं। लिस्कोव ने भाषा का निर्माण मूल रूप से एक तर्क के रूप में किया, जो कार्यशील कोड में बनाया गया था, कि बड़े सॉफ्टवेयर सिस्टम तभी विश्वसनीय रूप से बनाए जा सकते हैं जब उन्हें स्वच्छ इंटरफेस के साथ छोटे, स्वतंत्र रूप से सत्यापन योग्य टुकड़ों में विभाजित किया जाए।

आर्गस, बाइजेंटाइन फॉल्ट टॉलरेंस, और वितरित सिस्टम

लिस्कोव सिंगल-मशीन प्रोग्राम तक ही नहीं रुकीं। 1980 के दशक में उन्होंने आर्गस (Argus) के विकास का नेतृत्व किया, जो विशेष रूप से वितरित कंप्यूटिंग का समर्थन करने के लिए बनाई गई पहली उच्च-स्तरीय प्रोग्रामिंग भाषा थी - ऐसे प्रोग्राम जो नेटवर्क पर संचार करने वाली कई मशीनों में विभाजित होने पर भी सही ढंग से चलते हैं, एक विचार जो अब हर क्लाउड सेवा और वेब एप्लिकेशन के लिए आधारभूत है। उन्होंने बाद में एक और कठिन समस्या की ओर रुख किया: कैसे एक वितरित सिस्टम तब भी सही ढंग से काम करता रहता है जब उसके कुछ घटक मशीनें मनमाने ढंग से विफल हो जाती हैं या दुर्भावनापूर्ण व्यवहार करती हैं, जिसे कंप्यूटर वैज्ञानिक "बाइजेंटाइन फॉल्ट" कहते हैं। बाइजेंटाइन फॉल्ट टॉलरेंस के लिए उन्होंने और उनके छात्रों ने जो व्यावहारिक तकनीकें विकसित कीं, वे अब उस बुनियादी ढांचे में एम्बेडेड हैं जो बड़े पैमाने पर इंटरनेट सेवाओं को विश्वसनीय रखती हैं, और बाद में, कुछ ब्लॉकचेन सर्वसम्मति प्रोटोकॉल को रेखांकित करती हैं।

वह सिद्धांत जो उनका नाम धारण करता है

1987 के एक कीनोट में, लिस्कोव ने उस सिद्धांत को स्पष्ट किया जो लिस्कोव सब्स्टीट्यूशन प्रिंसिपल (Liskov substitution principle) के रूप में जाना जाने लगा, जिसे बाद में जेनेट विंग (Jeannette Wing) के साथ औपचारिक रूप दिया गया: यदि कोई प्रोग्राम किसी दिए गए प्रकार की वस्तुओं का उपयोग करने के लिए लिखा गया है, तो उसे प्रोग्राम की शुद्धता को तोड़े बिना उस प्रकार के किसी भी उपप्रकार (subtype) की वस्तुओं का उपयोग करने में सक्षम होना चाहिए। स्पष्ट रूप से कहे जाने पर यह लगभग स्वतः स्पष्ट लगता है, और यही कारण है कि यह मायने रखता है - यह एक अस्पष्ट अंतर्ज्ञान कि "सबक्लास को अपने मूल क्लास की तरह व्यवहार करना चाहिए" को सही ऑब्जेक्ट-ओरिएंटेड डिजाइन के लिए एक कठोर, सत्यापन योग्य मानदंड में बदल देता है। यह सिद्धांत लगभग हर सॉफ्टवेयर इंजीनियरिंग छात्र को सिखाए जाने वाले पांच "SOLID" स्तंभों में से एक बन गया, जो एक व्यक्तिगत शोधकर्ता के नाम के पूरे उद्योग की कामकाजी शब्दावली में प्रवेश करने का एक दुर्लभ मामला है।

ट्यूरिंग अवार्ड और मान्यता

2008 में एसोसिएशन फॉर कंप्यूटिंग मशीनरी (ACM) ने लिस्कोव को कंप्यूटिंग के सर्वोच्च सम्मान, ए.एम. ट्यूरिंग अवार्ड (A.M. Turing Award) से सम्मानित किया, "प्रोग्रामिंग भाषा और सिस्टम डिजाइन की व्यावहारिक और सैद्धांतिक नींव में योगदान के लिए, विशेष रूप से डेटा एब्सट्रैक्शन, फॉल्ट टॉलरेंस और वितरित कंप्यूटिंग से संबंधित।" वह इसे जीतने वाली केवल दूसरी महिला थीं। एमआईटी की तत्कालीन अध्यक्ष सुसान हॉकफील्ड (Susan Hockfield) ने उनके योगदान को "एक एमआईटी आदर्श: गहरे लाभों के साथ अभूतपूर्व शोध" कहा, जबकि प्रोवोस्ट एल. राफेल रीफ (L. Rafael Reif) की श्रद्धांजलि अधिक ठोस थी: "हर बार जब आप ईमेल का आदान-प्रदान करते हैं, अपना बैंक स्टेटमेंट ऑनलाइन चेक करते हैं या गूगल सर्च चलाते हैं, तो आप उनके शोध की गति पर सवार होते हैं।" उन्हें पहले ही 2004 में IEEE जॉन वॉन न्यूमैन मेडल मिल चुका था; नेशनल इनवेंटर्स हॉल ऑफ फेम ने 2012 में उन्हें शामिल किया, और बाद में 2023 में उन्हें बेंजामिन फ्रैंकलिन मेडल मिला। वह एमआईटी इंस्टीट्यूट प्रोफेसर बनी हुई हैं, जो विश्वविद्यालय का सर्वोच्च संकाय गौरव है, जिसे 2008 में प्रदान किया गया था।

बारबरा को जीनियस क्यों कहा जाता है

लिस्कोव का जीनियस होने का मामला एब्सट्रैक्शन (अमूर्तता) के बारे में ही है - एक जटिल प्रणाली के भीतर खींचने के लिए सही सीमा खोजने का विशिष्ट बौद्धिक कौशल ताकि प्रत्येक टुकड़े को अपने आप समझा जा सके और उस पर भरोसा किया जा सके। CLU के क्लस्टर और उनका नाम धारण करने वाला सब्स्टीट्यूशन प्रिंसिपल दिखावटी आविष्कार नहीं हैं; वे एक ऐसी समस्या के सटीक उत्तर हैं जिसे 1970 के दशक के अधिकांश प्रोग्रामर ने अभी स्पष्ट रूप से बताना नहीं सीखा था, जो आंशिक रूप से कारण है कि उनका नाम उस समाधान के साथ स्थायी रूप से जुड़ गया, एक ऐसे क्षेत्र में जो शायद ही कभी व्यक्तियों को इस तरह श्रेय देता है। ट्यूरिंग अवार्ड समिति की भाषा - "व्यावहारिक और सैद्धांतिक नींव" - ठीक यही संकेत देती है: एक एकल कलाकृति नहीं, बल्कि शुद्धता के बारे में सोचने का एक तरीका जो भाषाओं और दशकों में सामान्य हो गया। ईमानदार काउंटर-केस यह है कि लिस्कोव ने एक ऐसे शोध परंपरा के भीतर काम किया जो पहले से ही मॉड्यूलरिटी और अमूर्त प्रकारों की ओर बढ़ रही थी - टोनी होरे (Tony Hoare), निकलाउस विर्थ (Niklaus Wirth), और अन्य एक साथ संबंधित विचारों का पीछा कर रहे थे - और CLU खुद कभी व्यापक रूप से उपयोग की जाने वाली उत्पादन भाषा नहीं बनी; इसका प्रभाव दूसरे हाथ से आया, बाद की भाषाओं के माध्यम से जिन्होंने इसके सिद्धांतों को अपनाया। सबूतों के अनुसार, उनकी प्रतिभा शुद्ध आविष्कार से कम और असामान्य स्पष्टता अधिक थी: किसी और से पहले एब्सट्रैक्शन को बिल्कुल सही तरीके से प्राप्त करना।

विरासत

लिस्कोव के विचार अब फोन, बैंक और सर्च इंजन चलाने वाले सॉफ्टवेयर के नीचे अदृश्य रूप से बैठे हैं, और उनका नाम एक शॉर्टहैंड के रूप में जीवित है - "क्या यह लिस्कोव सब्स्टीट्यूशन का उल्लंघन करता है?" - उन इंजीनियरों द्वारा किए गए कोड समीक्षाओं के भीतर जिन्होंने शायद उनके शोध पत्र कभी नहीं पढ़े होंगे। बहुत कम शोधकर्ता अमरता के उस विशेष, अनाकर्षक रूप को प्राप्त करते हैं: किसी क्षेत्र के सामान्य ज्ञान में इतनी पूरी तरह से समा जाना कि लोग यह याद रखना बंद कर देते हैं कि कभी कोई नाम जुड़ा था।