खुला स्रोत: कोड हास्य, कोड चाल, कोड नहीं

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

लिनक्स कर्नेल

मुझे लगता है कि कई लोगों के लिए यह कोई रहस्य नहीं है कि लिनक्स कर्नेल मेलिंग सूची के पत्र समय-समय पर उद्धरणों में बदलते रहते हैं। तो आइए कोड पर एक बेहतर नज़र डालें। और तुरंत, कर्नेल असेंबली सिस्टम हमें एक आश्चर्य के साथ मिलता है: जैसा कि आप जानते हैं, ऑटोकॉन्फ़ द्वारा निर्मित परियोजनाओं में सफाई के लिए दो मानक लक्ष्यों के साथ एक मेकफाइल है: clean और distclean । स्वाभाविक रूप से, कर्नेल ऑटोकॉन्फ़ का उपयोग करके नहीं बनाया गया है, और केवल menuconfig मूल्य क्या है, इसलिए यहां अधिक लक्ष्य हैं: clean , mrproper और mrproper - हां, हां, श्रीप्रोपर, एक कोर क्लीनर दो बार तेजी से ।

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

हालांकि, विधानसभा प्रणाली से परे मूल में जीवन है: प्रलेखन कभी-कभी न केवल तकनीकी है, बल्कि एक प्रकार का, कलात्मक मूल्य भी है। मान लीजिए कि आप स्लीप मोड के उपयोगकर्ताओं को इसकी नाजुकता और कुछ नियमों का पालन न करने पर डेटा हानि के जोखिम के बारे में सचेत करना चाहते हैं। मैं दुखी होकर लिखूंगा, ध्यान दें: <सबसे उबाऊ लाइनों के एक जोड़े का विकल्प> । लेकिन इसे लिखने वाले डेवलपर ने कुछ अलग किया:

 Some warnings, first. * BIG FAT WARNING ********************************************************* * * If you touch anything on disk between suspend and resume... * ...kiss your data goodbye. * * If you do resume from initrd after your filesystems are mounted... * ...bye bye root partition. * [this is actually same case as above] * * ... 

छोटी चाल

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

 /* SPDX-License-Identifier: GPL-2.0 */ // ... /* * This function doesn't exist, so you'll get a linker error if * something tries to do an invalidly-sized xchg(). */ extern void __xchg_called_with_bad_pointer(void); static inline unsigned long __xchg(unsigned long x, volatile void *ptr, int size) { unsigned long ret, flags; switch (size) { case 1: #ifdef __xchg_u8 return __xchg_u8(x, ptr); #else local_irq_save(flags); ret = *(volatile u8 *)ptr; *(volatile u8 *)ptr = x; local_irq_restore(flags); return ret; #endif /* __xchg_u8 */ // ... default: __xchg_called_with_bad_pointer(); return x; } } 

यह स्पष्ट रूप से माना जाता है, कि निरंतर तर्क के साथ किसी भी उपयोग के लिए, यह फ़ंक्शन केवल एक switch शाखा में विस्तारित होगा, और जब एक वैध तर्क के साथ उपयोग किया जाता है, तो यह शाखा default: नहीं होगी default:
एक अनौपचारिक रूप में, यह फ़ंक्शन डिज़ाइन द्वारा लगभग लिंक त्रुटि का कारण बनेगा ...

क्या आप जानते हैं

• ... कि कर्नेल में उपयोगकर्ता मोड से एक बाईटेकोड JIT संकलक है? इस तकनीक को eBPF कहा जाता है और इसका उपयोग रूटिंग, ट्रेसिंग और बहुत कुछ के लिए किया जाता है। वैसे, यदि आप प्रयोगात्मक "परमाणु" टूल से डरते नहीं हैं, तो bpftools पैकेज देखें।
• ... कि कर्नेल लगभग पाँच मिनट के प्रोसेसर समय के लिए जा सकता है? इस तरह का sendfile सिस्टम कॉल है जो एक फाइल डिस्क्रिप्टर से दूसरे में बाइट्स को कॉपी करता है। यदि आप उसे एक ही डिस्क्रिप्टर बताते हैं और फ़ाइल में सही ऑफ़सेट सेट करते हैं, तो वह उसी डेटा को रिवाइंड करेगा जब तक कि वह 2 जीबी कॉपी नहीं करता।
• ... कि उपयोगकर्ता प्रक्रिया द्वारा किए गए हाइबरनेशन कार्य का एक प्रकार है - मुझे आश्चर्य नहीं होगा यदि आप इसे नेटवर्क संग्रहण में भी सहेज सकते हैं।

QEMU

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

पहली बात यह है कि एक साफ-सुथरा व्यक्ति जानने के लिए किसी परियोजना पर काम करना चाहता है? संभवतः कोडिंग शैली के साथ। और पहले से ही, एक कह सकता है, औपचारिक, दस्तावेज, हम देखते हैं:

 1. Whitespace Of course, the most important aspect in any coding style is whitespace. Crusty old coders who have trouble spotting the glasses on their noses can tell the difference between a tab and eight spaces from a distance of approximately fifteen parsecs. Many a flamewar has been fought and lost on this issue. 

यहां अधिकतम लाइन लंबाई के बारे में शाश्वत प्रश्न है:

 Lines should be 80 characters; try not to make them longer. ... Rationale: - Some people like to tile their 24" screens with a 6x4 matrix of 80x24 xterms and use vi in all of them. The best way to punish them is to let them keep doing it. ... 

(हम्म ... यह मेरे द्वारा उपयोग किए जाने वाले प्रत्येक अक्ष पर दोगुना है। क्या यह ऐसे लिनक्स एचडी है?)

अभी भी बहुत दिलचस्प है - पढ़ें ।

और फिर से ट्रिक

वे कहते हैं कि C एक निम्न-स्तरीय भाषा है। लेकिन अगर यह विकृत होने के लिए अच्छा है, तो आप किसी भी स्काला या सी ++ के बिना संकलन-समय कोड पीढ़ी के चमत्कार दिखा सकते हैं।

उदाहरण के लिए, softmmu_template.h फ़ाइल QEMU कोड बेस में softmmu_template.h है। जब मैंने इस नाम को देखा, तो मैंने सोचा कि इसे मेरे टीसीजी बैकएंड कार्यान्वयन में कॉपी किया जाना चाहिए और तब तक टाल दिया जाता है जब तक कि सही टीएलबी कार्यान्वयन इससे बाहर नहीं आता। कोई फर्क नहीं पड़ता कि कैसे! यहाँ इसका सही तरीके से उपयोग करने का तरीका बताया गया है :

त्वरण / tcg / cputlb.h:

 define DATA_SIZE 1 #include "softmmu_template.h" #define DATA_SIZE 2 #include "softmmu_template.h" #define DATA_SIZE 4 #include "softmmu_template.h" #define DATA_SIZE 8 #include "softmmu_template.h" 

जैसा कि आप देख सकते हैं, हाथ की आस्तीन और कोई सी ++ नहीं। लेकिन यह एक बहुत सरल उदाहरण है। कैसे के बारे में कुछ और अधिक जटिल?

ऐसी फाइल है: tcg / tcg-opc.h । इसकी सामग्री रहस्यमय हैं और कुछ इस तरह दिखती हैं:

 ... DEF(mov_i32, 1, 1, 0, TCG_OPF_NOT_PRESENT) DEF(movi_i32, 1, 0, 1, TCG_OPF_NOT_PRESENT) DEF(setcond_i32, 1, 2, 1, 0) DEF(movcond_i32, 1, 4, 1, IMPL(TCG_TARGET_HAS_movcond_i32)) /* load/store */ DEF(ld8u_i32, 1, 1, 1, 0) DEF(ld8s_i32, 1, 1, 1, 0) DEF(ld16u_i32, 1, 1, 1, 0) DEF(ld16s_i32, 1, 1, 1, 0) ... 

वास्तव में, सब कुछ बहुत सरल है - इसका उपयोग इस तरह किया जाता है:

tcg / tcg.h:

 typedef enum TCGOpcode { #define DEF(name, oargs, iargs, cargs, flags) INDEX_op_ ## name, #include "tcg-opc.h" #undef DEF NB_OPS, } TCGOpcode; 

या तो:

tcg / tcg-common.c:

 TCGOpDef tcg_op_defs[] = { #define DEF(s, oargs, iargs, cargs, flags) \ { #s, oargs, iargs, cargs, iargs + oargs + cargs, flags }, #include "tcg-opc.h" #undef DEF }; 

यह और भी विचित्र है कि उपयोग के अन्य मामलों के पाठ्यक्रम में नहीं मिला। और ध्यान दें, इस मामले में कोड पीढ़ी के लिए कोई मुश्किल स्क्रिप्ट नहीं हैं - केवल सी, केवल कट्टर।

क्या आप जानते हैं

• ... कि क्यूईएमयू न केवल एक पूर्ण प्रणाली के अनुकरण मोड में काम कर सकता है, बल्कि एक अन्य वास्तुकला के लिए एक अलग प्रक्रिया भी चला सकता है जो मेजबान कर्नेल के साथ संचार करता है?

जावा, जेवीएम और ऑल-ऑल-ऑल

मैं लिनक्स के बारे में क्या हूँ? चलो कुछ क्रॉस-प्लेटफ़ॉर्म के बारे में बात करते हैं। उदाहरण के लिए, जेवीएम के बारे में। खैर, GraalVM के बारे में, शायद, इस पारिस्थितिकी तंत्र के कई डेवलपर्स ने पहले ही सुना है। यदि आपने नहीं सुना है, तो संक्षेप में: यह महाकाव्य है। इसलिए, ग्रेगल के बारे में बात करने के बाद, चलो अच्छे पुराने जेवीएम पर चलते हैं।

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

एक निर्देश के साथ JVM लक्ष्य कैसे प्राप्त करता है? लेकिन यह बहुत सरल है - अगर इसे रोकना आवश्यक है, तो यह इस चर के साथ मेमोरी पेज के लिए प्रदर्शन को हटा देता है - थ्रेड्स SIGSEGV पर आते हैं, और JVM उन्हें पार्क करता है और "रखरखाव" समाप्त होने पर उन्हें रोक देता है। मुझे याद है जब एक साक्षात्कार से पूछा गया कि आप एक JVM को कैसे दुर्घटनाग्रस्त करते हैं? जवाब दिया:

JNI। वास्तव में, जेएनआई के साथ, दुर्घटनाग्रस्त होना ऑपरेशन का डिफ़ॉल्ट मोड है। दुर्घटना न हो इसके लिए आपको अतिरिक्त मेहनत करनी होगी।

मजाक के रूप में मजाक किया जाता है, और कभी-कभी जेवीएम में यह वास्तव में होता है।

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

लाइसेंसिंग विचारधाराओं की विशेषताएं

मुझे मुफ्त सॉफ्टवेयर की विचारधारा पसंद है, लेकिन इसमें कुछ मजेदार विशेषताएं भी हैं।

एक बार, लगभग दस साल पहले, मैंने अपने डेबियन को अपडेट किया और, कुछ कमांड के वाक्यविन्यास के बारे में सोचकर, आदतन टाइप किया हुआ man <> , जिसे एक संपूर्ण विवरण प्राप्त हुआ, जैसे "[प्रोग्राम का नाम] एक प्रोग्राम है जो लाइसेंस के तहत वितरित प्रलेखन के साथ एक कार्यक्रम है। जीएनयू जीएफडीएल अपरिवर्तनीय वर्गों के साथ, जो डीएफएसजी-मुक्त नहीं है। " वे कहते हैं कि यह प्रोग्राम कुछ एफएसएफ के कुछ बुरे प्रोपराइटरों द्वारा लिखा गया था ... (अब चर्चा गूगल की है।)

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

कोई भी विविध

मूर कानून के दौरान अंतर्राष्ट्रीय संकलक निर्माण की विशेषताएं

कठोर एलएलवीएम डेवलपर्स ने समर्थित संरेखण को सीमित कर दिया है:

अधिकतम संरेखण 1 << 29 है।

जैसा कि वे कहते हैं, यह आपको पहले हँसाता है, और फिर सोचता है : पहला विचार - लेकिन जिसे 512 मिब पर संरेखण की आवश्यकता है। फिर मैंने रस्ट में कर्नेल के विकास के बारे में पढ़ा, और वहां उन्होंने 4096 बाइट्स के लिए "पेज टेबल" संरचना बनाने का प्रस्ताव रखा। और आप विकिपीडिया कैसे पढ़ते हैं , इसलिए आम तौर पर:

पूरे 48-बिट स्पेस के लिए 4 केबी पेज की एक पूरी मैपिंग पदानुक्रम 512 जीबी मेमोरी (256 टीबी वर्चुअल स्पेस का लगभग 0.195%) से थोड़ा अधिक लगेगा।

प्रारूप संस्करण - कैसे स्टोर करें?

एक बार मैंने यह पता लगाने का निर्णय लिया कि निर्यात एक कार्यक्रम में काम क्यों नहीं करता है, लेकिन यह काम करने के लिए निकलता है ... या नहीं?

मैन्युअल रूप से बैकएंड कमांड शुरू करने के बाद, मुझे एहसास हुआ कि, सिद्धांत रूप में, सब कुछ क्रम में है, बस संस्करण को "2.0" के रूप में प्रेषित किया जाना चाहिए, लेकिन सिर्फ "2" पत्ते। एक स्ट्रिंग स्थिरांक को संपादित करके एक तुच्छ सुधार की आशा करते हुए, मुझे double getVersion() फ़ंक्शन मिलता है - लेकिन क्या है, मामूली है, यहां तक ​​कि एक डॉट भी है! हालांकि, अंत में, सब कुछ उम्मीद से ज्यादा जटिल नहीं था, मैं तय किया गया था बस उत्पादन में सुधार सटीकता डेटा प्रकार को अग्रेषित किया और लाइनों को अग्रेषित किया।

सिद्धांतकारों और चिकित्सकों के बीच अंतर के बारे में

मेरी राय में, कहीं न कहीं हेबे पर मैंने पहले ही एक लेख का अनुवाद देखा था कि स्टार्टअप पर न्यूनतम क्रैश क्या है, लेकिन फिर भी सी में एक संकलित कार्यक्रम है? int main; - एक main प्रतीक है, और तकनीकी रूप से , आप इसे नियंत्रण स्थानांतरित कर सकते हैं। सिरिकिड ने ठीक से देखा कि यहां तक ​​कि int बाइट्स भी बहुत कम हैं। सामान्य तौर पर, यहां तक ​​कि आकार में 9 बाइट्स के एक कार्यक्रम के बारे में बात करते हुए, यह दावा नहीं करना बेहतर है कि यह सबसे छोटा है ... सच है, कार्यक्रम गिर जाएगा, लेकिन यह पूरी तरह से नियमों के अनुरूप है।

तो, हम जानते हैं कि कैसे छोड़ना चाहिए जो काम करना चाहिए, लेकिन एक गैर-लॉन्चिंग लॉन्च करने के बारे में क्या?

 $ ldd /bin/ls linux-vdso.so.1 (0x00007fff93ffa000) libselinux.so.1 => /lib/x86_64-linux-gnu/libselinux.so.1 (0x00007f0b27664000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f0b2747a000) libpcre.so.3 => /lib/x86_64-linux-gnu/libpcre.so.3 (0x00007f0b27406000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f0b27400000) /lib64/ld-linux-x86-64.so.2 (0x00007f0b278e9000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f0b273df000) $ /lib/x86_64-linux-gnu/libc.so.6 

... और उसे मानहानि मानव आवाज :

 GNU C Library (Ubuntu GLIBC 2.28-0ubuntu1) stable release version 2.28. Copyright (C) 2018 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Compiled by GNU CC version 8.2.0. libc ABIs: UNIQUE IFUNC ABSOLUTE For bug reporting instructions, please see: <https://bugs.launchpad.net/ubuntu/+source/glibc/+bugs>. 

प्रोग्रामर गोल्फ खेलते हैं

कोड गोल्फ के लिए समर्पित StackExchange पर एक पूरी साइट है - "स्रोत कोड के आकार के आधार पर न्यूनतम दंड के साथ इस समस्या को हल करें" की शैली के साथ प्रतियोगिताओं। प्रारूप में स्वयं बहुत परिष्कृत समाधान शामिल हैं, लेकिन कभी-कभी वे बहुत परिष्कृत हो जाते हैं। इसलिए, एक प्रश्न में , मानक निषिद्ध खामियों का एक संग्रह एकत्र किया गया था। मुझे यह विशेष रूप से पसंद है:

MetaGolfScript का उपयोग करना
MetaGolfScript प्रोग्रामिंग भाषाओं का एक परिवार है। उदाहरण के लिए, MetaGolfScript-20918060538120485447057557373727272424 प्रिंट "हैलो, वर्ल्ड!" में खाली कार्यक्रम।

एक लाइन में

• कार्यक्रम के दुर्घटनाग्रस्त होने पर , या अपरिभाषित व्यवहार होता है

  
  

• ... जो, वैसे, जादू है। एलएलवीएम में किसी ने 1 अप्रैल को मजाक किया, और एक अन्य ने इस से एक रिपोर्ट बनाई: मेरा छोटा सा आशावादी: अपरिहार्य व्यवहार जादू है

  
  

• ट्रैकर में खुले स्रोत सॉफ़्टवेयर के डेवलपर्स की प्रशंसा करने के लिए अस्पष्ट अपील याद है? बाइनरीन में, इसे सरल और सहजता से लागू किया गया था:

  
  

  समस्या: यह परियोजना अद्भुत है
  संकल्प: wontfix, इरादा के रूप में काम करता है

  
  

• फरवरी 2009 में, एक व्यक्ति ने StackOverflow पर एक सवाल पूछा : "यह कैसे और उस पार ब्राउज़र को कैसे करना है? या, ठीक है, तीन काम करने वाले ब्राउज़र महान हैं और वैसे भी क्रोम का उपयोग कौन करता है? "

  
  

अंत में, लेख का शीर्षक कहां से आता है? यह emcc से emcc संकलक के आउटपुट से एक emcc चाल है:

 $ emcc --help ... emcc: supported targets: llvm bitcode, javascript, NOT elf (autoconf likes to see elf above to enable shared object support)