चार्ल्स वेदरली के साथ नाश्ते की रिपोर्ट, प्रोग्रामर के लिए कल्ट बुक एट्यूड्स के लेखक

चार्ल्स वेदरली के साथ नाश्ता, प्रोग्रामर के लिए एक्ट्स बुक एट्यूड्स के लेखक, चार घंटे तक चले। अंत में, वेट्रेस ने हमें पालो अल्टो में रेस्तरां से यह कहते हुए पूछा कि रेस्तरां में एक लंबी लाइन थी, और हम सुबह आठ बजे से यहां बैठे थे। इस समय के दौरान, हमने बहुत सी दिलचस्प बातों पर चर्चा की: लिवरमोर प्रयोगशाला और ऑरेकल में चार्ल्स का काम, ऑब्जेक्ट-ओरिएंटेड और फंक्शनल प्रोग्रामिंग, कंपाइलर और हार्डवेयर डिस्क्रिप्शन लैंग्वेज, प्रोसेसर के लिए बुकमार्क, तंत्रिका नेटवर्क अक्षमता और अवांछनीय भूल गए प्रोलॉग, रूस में चार्ल्स की यात्रा, एक स्टेट मशीन के साथ टेक्स्ट प्रोसेसिंग। स्कूली बच्चों द्वारा FPGAs पर हार्डवेयर सहसंसाधक और वीडियो गेम के निर्माण में।



चार्ल्स वेदरली के साथ चार घंटे की सामग्री हैबे पर पचास लेखों के लिए पर्याप्त है, इसलिए मैं मुख्य रूप से विषयों को सूचीबद्ध करूंगा, जिसके बाद मैं उनमें से तीन के बारे में कुछ विवरण दूंगा:

1. ऑब्जेक्ट-ओरिएंटेड और कार्यात्मक प्रोग्रामिंग। एकल असाइनमेंट, फ़ंक्शन मान, म्यूटेशन से छुटकारा, टाइमिंग से छुटकारा।
2. डेटा संरचनाएं और संकलक एल्गोरिदम। Muchnik SSA और अनुकूलन पर पुस्तक। बॉब मॉर्गन (कम्पास) बिल्डिंग ऑप्टिमाइज़िंग कंपाइलर। वेक्टरिंग कंपाइलर और रैंडी एलेन (मेरी वेव सहयोगी और अन्य कंपनियों के बारे में चार्ल्स सहयोगी)।
3. Yacc parser का विकास, एडा लैंग्वेज इंटर्नल (DIANA), और Synopsys में VHDL का दृश्य।
4. आकर्षक व्याकरण और असफल, मेरी राय में, प्रोग्रामिंग भाषा (TRNP) के कार्यान्वयन के सिद्धांत पर MIPT प्रशिक्षण मैनुअल में उनका उपयोग।
5. JOVIAL प्रोग्रामिंग भाषा और Ada मानकीकरण। IDL भाषा।
6. सीडीसी 7600 और क्रे -1 पर भौतिकविदों और रसायनज्ञों के लिए लिवरमोर कम्प्यूटिंग प्रयोगशाला में प्रोग्रामिंग। लीवरमोर फोरट्रान संरचनाओं और गतिशील स्मृति आवंटन के साथ फोरट्रान -77 का विस्तार है। माइक्रोफ़िच का उपयोग, स्वचालित खोज और एनिमेशन के उत्पादन सहित। हैरी नेल्सन और रुबिक का घन प्रयोगशाला में जाने से पहले कैसे ज्ञात हुआ।
7. सोवियत क्लोन क्रे -1 इलेक्ट्रॉनिक्स एसएस बीआईएस। आईपीएम में फोरट्रान कंपाइलर और सी कंपाइलर जो हमने एमआईपीटी पर काम किया।
8. Synopsys VCS में एक यादृच्छिक संख्या जनरेटर इंजीनियरिंग उल्टा। रजिस्टर पारी के साथ बधाई जनरेटर। LSFR।
9. तंत्रिका नेटवर्क अक्षमता और अवांछनीय रूप से भूल गई प्रोलॉग भाषा।
10. प्रोग्राम टेक्स्ट के स्थैतिक विश्लेषण के लिए प्रोलॉग से विधियों का अनुप्रयोग।
11. इसमें बुकमार्क खोजने के लिए वेरिलॉग या वीएचडीएल में लिखे गए प्रोसेसर कोड का विश्लेषण शामिल है। रजिस्टर ट्रांसफर स्तर पर प्रोसेसर विवरण के विभिन्न हिस्सों में एक बुकमार्क बिखरा हुआ है। "अनावश्यक" कोड ढूंढना जो विनिर्देश के बाहर कुछ करता है। उदाहरण के लिए, एक परिमित राज्य मशीन जो एक महत्वपूर्ण वाक्यांश की प्रतीक्षा कर रही है, प्रोग्रामर को दिखाई देने वाले रजिस्टरों में पाठ, जिसके बाद प्रोसेसर विशेषाधिकार प्राप्त मोड में स्विच करता है।
12. हाइब्रिड कोड विश्लेषण के तरीके - एक निश्चित निष्पादन बिंदु से राज्य स्थान की बाद की स्थैतिक जांच के साथ गतिशील निष्पादन।
13. एमआईटी से हकीम की सूची।
14. जीवन में अधिकांश प्रोग्रामर केवल पांच एल्गोरिदम का उपयोग करते हैं - त्वरित सॉर्ट, बाइनरी खोज, हैशिंग, सूची प्रविष्टि और कुछ और (एवीएल बाइनरी ट्री सम्मिलन?)।
15. बेल लैब्स में यूनिक्स ट्रॉफ का इतिहास।
16. चार्ल्स वेज़रेल का एसक्यूएल पर ओरेकल में काम।
17. MIPS CorExtend / UDI के लिए एक हार्डवेयर कोप्रोसेसर का उपयोग करने का एक अच्छा उदाहरण उपयोगकर्ता परिभाषित निर्देश है। त्वरित शाब्दिक विश्लेषण के लिए प्रोसेसर में निर्देश जोड़ना, कोप्रोसेसर के अंदर एक राज्य मशीन के साथ और व्यक्तिगत निर्देशों के बीच स्थिति बनाए रखना। आईबीएम / 360 अनुवाद परीक्षण और सीडीसी स्टार के बाद से पृष्ठभूमि।
18. मशीन लर्निंग एल्गोरिदम को उस पर लागू करने से पहले डेटा स्ट्रीम को पूर्व-साफ़ करने के लिए एक हार्डवेयर कोप्रोसेसर का इस्तेमाल करना
19. गेम दुष्ट, राज्यों और USSR में वैज्ञानिक अमेरिकी।
20. समर स्कूल ऑफ यंग प्रोग्रामर्स इन नोवोसिबिर्स्क और इसमें मच्छर (मेरी यादें और सहकर्मियों चार्ल्स वेदर की कहानियों के अनुसार)
21. चार्ल्स ने मॉस्को में 36 घंटे और सेंट पीटर्सबर्ग में दो सप्ताह कैसे बिताए। हेर्मिटेज। सेंट पीटर्सबर्ग विश्वविद्यालयों में, उन्होंने व्याख्यान नहीं दिया।
22. उन्होंने चार्ल्स को जुलाई में MIET / ज़ेलेनोग्राड में एक ग्रीष्मकालीन स्कूल में जाने का सुझाव दिया या गिरावट में (मॉस्को स्टेट यूनिवर्सिटी? MIPT? ITMO?)।
23. स्कूली बच्चों और छोटे छात्रों के लिए शिक्षा। टेम्पलेट से बाहर निकलने की आवश्यकता (उदाहरण के लिए, अनुक्रमिक प्रोग्रामिंग) और FPGA पर वेरिलॉग सीखने के लिए इस तरह के टेम्पलेट से बाहर निकलने का एक तरीका है।
24. FPGA अभ्यास से पहले एकीकरण की एक छोटी सी डिग्री के साथ माइक्रोक्रिस्किट का उपयोग, ताकि एक स्कूली छात्र या छात्र सहज रूप से समझ सके कि वेरिलॉग कोड एक इलेक्ट्रॉनिक सर्किट का विवरण है, न कि एक कार्यक्रम (निर्देशों की एक श्रृंखला)।
25. जुलाई में MIET / Zelenograd में ग्रीष्मकालीन स्कूल के लिए FPGA पर RTL के लिए एक उदाहरण एक स्व-शिक्षण परिमित राज्य मशीन है जो खेल के "स्टोन पेपर कैंची" में प्रतिद्वंद्वी के रुझानों की गणना करता है।
26. एक अन्य उदाहरण परिमित राज्य मशीनों (जानवरों) की प्रतियोगिता है जो एक खिलाड़ी को एक नक्शे (ग्लोब) पर लक्ष्य तक ले जाती है। मानचित्र पर वस्तुओं में एक "गंध" है - सकारात्मक (भोजन) या नकारात्मक (बिजली जो हड़ताल कर सकती है)। FPGA में एक कार्ड डिज़ाइन करना, स्कैन जेनरेशन मॉड्यूल का उपयोग करके वीजीए पर एक खिलाड़ी का आउटपुट और स्प्राइट।

यहाँ हमने OOP के बारे में Habré पर हाल के विवादों की जाँच की। चार्ल्स OOP और कार्यात्मक प्रोग्रामिंग, जहां लागू हो, दोनों के लिए अभियान चला रहा है। मैंने चार्ल्स को एक उदाहरण दिखाया, जो मैंने इस पेड़ पर एक परसिंग ट्री और अनुकूलन के नोड्स का प्रतिनिधित्व करने के लिए असफल वर्ग डिजाइन की दो परियोजनाओं में देखा था, जिसके बाद चार्ल्स ने कहा कि बेशक, पेड़ परिवर्तन एल्गोरिदम को इस तरह से छोटी कक्षाओं में नहीं बिखरा जाना चाहिए, लेकिन इसके बजाय, पार्सिंग ट्री होना चाहिए जल्दी से एक नियंत्रण प्रवाह ग्राफ में फेंक दें, जिस पर कुछ अपवादों के साथ, स्थिर एकल असाइनमेंट के आधार पर तालिका संचालित परिवर्तनों का उपयोग करना है। चार्ल्स ने मुझे मुचनिक, बॉब मॉर्गन और रैंडी एलन के वैश्वीकरण के बारे में बताया।



फिर मैंने चार्ल्स से कहा कि कल के बाद हम एक इलेक्ट्रॉनिक्स डिजाइन ऑटोमेशन सम्मेलन में लास वेगास में एक सेमिनार आयोजित करेंगे, और मुझे CorExtend / UDI प्रोटोकॉल के आधार पर सह-प्रोसेसर के एक अच्छे उदाहरण पर उनकी सलाह की आवश्यकता थी - उपयोगकर्ता परिभाषित निर्देश। यह प्रोटोकॉल MIPS कोर में उपयोग किया जाता है। CorExtend / UDI आपको प्रोसेसर में एक ब्लॉक को एम्बेड करने की अनुमति देता है जो एक चिप पर सिस्टम डिजाइनर द्वारा निर्धारित किए जा सकने वाले निर्देशों की मुख्य प्रणाली को अतिरिक्त निर्देशों को डिकोड और निष्पादित करता है। ब्लॉक को संश्लेषित किया जा सकता है और माइक्रोक्रिकिट का हिस्सा बन सकता है या FPGA / FPGA में कॉन्फ़िगर किया जा सकता है।

अतिरिक्त निर्देश मुख्य के साथ प्रोसेसर पाइपलाइन के साथ चलते हैं। वे प्रोग्रामर को दिखाई देने वाले सामान्य रजिस्टरों से डेटा प्राप्त करते हैं और परिणाम को रजिस्टर में वापस कर सकते हैं। ये निर्देश कोप्रोसेसर में कुछ स्थिति को भी बचा सकते हैं। अपवाद होने पर उन्हें अपवाद के द्वारा मारा जा सकता है, उदाहरण के लिए, इस निर्देश का पालन करते हुए पाइपलाइन में:



परसों, एक दिन, संगोष्ठी में एक प्रस्तुति में, मैं एक उदाहरण का उपयोग करने जा रहा हूं , जिसमें तंत्रिका नेटवर्क के लिए एक सरल दृढ़ संकल्प निर्देश है। लेकिन इस मामले में प्राप्त त्वरण प्रभावशाली नहीं है - केवल दो बार। क्या एक बेहतर उदाहरण बनाना संभव है?

चार्ल्स तुरंत एक बेहतर उदाहरण के साथ आए: हार्डवेयर लेक्सिकल विश्लेषण। एक राज्य मशीन को कॉपोरोसेसर में रखा जा सकता है, जो पाठ स्ट्रीम में संख्याओं, पहचानकर्ताओं और टिप्पणियों को निर्धारित करेगा। यह अलग-अलग आदेशों के बीच राज्य को संचय करके बचाएगा जो कि रजिस्टरों से मशीन में पाठ संचारित करता है। वर्तमान विश्लेषण (पाठ को चिह्नित) का परिणाम भी रजिस्टर में वापस आ जाएगा।

चार्ल्स ने मुझे आईबीएम / 360 अनुवाद परीक्षण और सीडीसी स्टार के बाद से पाठ को पार्स करने के निर्देशों की कहानी भी सुनाई। उन्होंने मुझे यह भी बताया कि मशीन सीखने के एल्गोरिदम को लागू करने से पहले डेटा स्ट्रीम को पूर्व-सफाई करने के लिए इस तरह के एक कोप्रोसेसर का उपयोग मशीन लर्निंग के लिए किया जा सकता है।



तब मैंने चार्ल्स सागा को बताया कि कैसे इंजीनियरों और शिक्षकों के एक समूह ने विभिन्न रूसी विश्वविद्यालयों में डेविड हैरिस और सारा हैरिस की पाठ्यपुस्तक "डिजिटल सर्किटरी और एक कंप्यूटर की वास्तुकला" का अनुवाद किया और कार्यान्वित किया। (देखें हेबर 1 , 2 , 2 पर पोस्ट)। 3)। अब, MIET, RUSNANO, MEPhI और अन्य विश्वविद्यालयों के शिक्षकों के संयुक्त प्रयासों से, हम MIET में एक समर स्कूल की योजना बना रहे हैं जहाँ FPGA पर उन्नत स्कूली बच्चों के प्रोजेक्ट वीडियो गेम एक ग्राफिक स्क्रीन ( फिजिक्स और प्रोग्रामिंग के बीच का सेक्शन) के साथ हैं। इसके लिए स्टीवन ह्यूग द्वारा 15 दिसंबर, 2018 को वेरिलोग की पुस्तक डिजाइनिंग वीडियो गेम हार्डवेयर के विचारों का उपयोग किया गया है:



खेलों को विशुद्ध रूप से हार्डवेयर परिमित राज्य मशीनों के रूप में या सरल प्रोसेसर कोर स्कूलएमआईपीएस पर कार्यक्रमों के साथ एफपीजीए पर हार्डवेयर ग्राफिक्स के संयोजन में विकसित किया जा सकता है, जिसका वर्णन हैबर्न में स्टानिस्लाव झेलनियो और गीथहब पर स्कूलमीप्स पर विकि द्वारा किया गया है । FPGAs पर, आप वीजीए के लिए एक स्कैन उत्पन्न कर सकते हैं, मेमोरी से कार्ड प्रदर्शित कर सकते हैं और आंकड़ों के साथ स्प्राइट ले जा सकते हैं:



चार्ल्स ने सुझाव दिया, टैंकों और दौड़ के साथ खेलों के अलावा, परिमित ऑटोमेटा (जानवरों) की एक प्रतियोगिता बनाने के लिए जो खिलाड़ी को नक्शे (ग्लोब) पर लक्ष्य तक ले जाए। मानचित्र पर वस्तुओं में एक "गंध" है - सकारात्मक (भोजन) या नकारात्मक (बिजली जो हड़ताल कर सकती है)। प्यूपिल पर्यावरण को देखने वाले बरामदे पर परिमित मशीनें लिख सकते हैं, उन्हें कोड में एम्बेड कर सकते हैं जो ग्राफिक्स खींचता है और मानचित्र का समर्थन करता है, और फिर बेहतर बंद कौन है के साथ प्रतिस्पर्धा:



छद्म यादृच्छिक व्यवहार के तत्वों को उत्पन्न करने के लिए, आप LFSR हार्डवेयर ब्लॉक का उपयोग कर सकते हैं:



अंत में, चार्ल्स ने दो ऑटोग्राफ दिए - रूसी पाठकों के लिए (मैंने सर्गेई वकुलेंको से एक रूसी पुस्तक उधार ली) और हमारी कंपनी वेव कम्प्यूटिंग में पाठकों, जिनकी आंतरिक लाइब्रेरी से मैंने अंग्रेजी में एक मूल पुस्तक उधार ली है: