, стверджує, що розробляє прототип нової мови програмування.){kind=link}
अधिक से अधिक कार्यों को हल करने के लिए उच्च-प्रदर्शन कंप्यूटिंग की आवश्यकता होती है - जैसे कि छवि प्रसंस्करण या तंत्रिका नेटवर्क पर विभिन्न गहन शिक्षण अनुप्रयोग - जहां आपको बड़ी मात्रा में डेटा संसाधित करने की आवश्यकता होती है, और इसे पर्याप्त तेज़ी से करें, अन्यथा यह अविश्वसनीय मात्रा में ले सकता है समय। यह व्यापक रूप से माना जाता है कि इस तरह के संचालन करते समय, गति और विश्वसनीयता के बीच समझौता अनिवार्य है। इस सोच के अनुसार, यदि गति प्राथमिकता है, तो विश्वसनीयता को नुकसान होने की संभावना है और इसके विपरीत।
हालांकि, मुख्य रूप से मैसाचुसेट्स इंस्टीट्यूट ऑफ टेक्नोलॉजी (एमआईटी) में स्थित शोधकर्ताओं का एक समूह इस धारणा को चुनौती दे रहा है, यह तर्क देते हुए कि आपके पास वास्तव में यह सब हो सकता है। एमआईटी के कंप्यूटर साइंस एंड आर्टिफिशियल इंटेलिजेंस लेबोरेटरी (सीएसईएल) में द्वितीय वर्ष के स्नातक छात्र अमांडा लियू के मुताबिक, उन्होंने एक नई प्रोग्रामिंग भाषा के साथ विशेष रूप से उच्च प्रदर्शन कंप्यूटिंग के लिए लिखा था, "गति और शुद्धता को प्रतिस्पर्धा करने की ज़रूरत नहीं है। इसके विपरीत, वे हमारे द्वारा लिखे जाने वाले कार्यक्रमों में साथ-साथ चल सकते हैं।" लियू और उनकी टीम ने पिछले महीने फिलाडेल्फिया में प्रोग्रामिंग लैंग्वेज के सिद्धांतों के सम्मेलन में अपनी नव निर्मित ए टेन्सर भाषा (एटीएल) की क्षमता के बारे में बात की थी।
"हमारी भाषा में सब कुछ," लियू कहते हैं, "का उद्देश्य या तो एक संख्या या एक टेंसर प्राप्त करना है।" बदले में, टेंसर वैक्टर और मैट्रिसेस का एक सामान्यीकरण है। जबकि वैक्टर एक-आयामी ऑब्जेक्ट होते हैं (अक्सर व्यक्तिगत तीरों द्वारा दर्शाए जाते हैं) और मैट्रिस संख्याओं के परिचित द्वि-आयामी सरणी होते हैं, टेंसर एन-आयामी सरणी होते हैं जो 3 × 3 × 3 सरणी का रूप ले सकते हैं, उदाहरण के लिए, या यहां तक कि उच्च (या निम्न) आयाम।
एक कंप्यूटर एल्गोरिथम या प्रोग्राम का सार एक निश्चित गणना शुरू करना है। लेकिन इस कार्यक्रम को लिखने के कई अलग-अलग तरीके हो सकते हैं - "विभिन्न कोड कार्यान्वयन की एक आश्चर्यजनक विविधता", जैसा कि लियू और उनके सह-लेखक अपने पेपर में लिखते हैं - जिनमें से कुछ दूसरों की तुलना में काफी तेज हैं। एटीएल के पीछे मुख्य तर्क, वह बताती है, यह है: "यह देखते हुए कि उच्च-प्रदर्शन कंप्यूटिंग इतनी संसाधन-गहन है, आप चीजों को गति देने के लिए इष्टतम रूप में कार्यक्रमों को संशोधित या फिर से लिखने में सक्षम होना चाहते हैं। अक्सर आप उस प्रोग्राम से शुरू करते हैं जो लिखने में सबसे आसान है, लेकिन हो सकता है कि इसे चलाने का यह सबसे तेज़ तरीका न हो, इसलिए आपको अभी भी और समायोजन करने की आवश्यकता है।"
नई कमांड भाषा मौजूदा Coq भाषा पर आधारित है, जिसमें एक प्रूफ हेल्पर शामिल है। सबूत सहायक, बदले में, गणितीय रूप से अपने बयानों को सटीक रूप से साबित करने की क्षमता रखता है। Coq की एक और संपत्ति है जिसने इसे MIT समूह के लिए आकर्षक बना दिया: उस भाषा में लिखे गए प्रोग्राम, या इसका एक अनुकूलन, हमेशा समाप्त हो जाता है और अनंत लूप में अनिश्चित काल तक नहीं चल सकता है।
अब यह औपचारिक रूप से सत्यापित अनुकूलन के साथ पहली और अब तक की एकमात्र टेंसर भाषा है। हालांकि, एमआईटी टीम सावधान करती है कि एटीएल अभी भी केवल एक प्रोटोटाइप है - यद्यपि एक आशाजनक एक - जिसे कई छोटे कार्यक्रमों पर परीक्षण किया गया है।
यह भी पढ़ें: