👩🏿‍🌾 🧘🏽 👩🏻‍🎨 फोर्ट बाइट कार (और अधिक) मूल अमेरिकी 🧛🏾 🧚🏾 🔷

हां, हां, यह "बाइट" है और यह भारतीय (भारतीय नहीं) में है। मैं क्रम में शुरू करूँगा। हाल ही में, हैबे पर, बाइटकोड के बारे में लेख दिखाई देने लगे। और एक बार, मुझे फोर्ट सिस्टम लिखने में मज़ा आया। बेशक, कोडांतरक में। वे 16-बिट थे। मैंने x86-64 पर कभी प्रोग्राम नहीं किया। 32 के साथ भी नहीं खेल सके। तो विचार आया - क्यों नहीं? 64-बिट किले को क्यों न हिलाएं, और यहां तक कि बाईटकोड के साथ भी क्यों नहीं? हां, और लिनक्स पर, जहां मैंने कुछ भी सिस्टम नहीं लिखा था।

मेरे पास लिनक्स के साथ एक होम सर्वर है। सामान्य तौर पर, मैंने थोड़ा सा googled और पता लगाया कि लिनक्स पर कोडांतरक को GAS और कमांड के रूप में कहा जाता है। मैं सर्वर से SSH के माध्यम से जुड़ रहा हूँ, टाइप कर रहा हूँ - हाँ! मैंने पहले ही इसे स्थापित कर लिया है। अभी भी एक लिंकर की जरूरत है, टाइप करें ld - हाँ! इसलिए, और कोडांतरक में कुछ दिलचस्प लिखने की कोशिश करें। सभ्यता के बिना, केवल एक जंगल, असली भारतीयों की तरह :) विकास के माहौल के बिना, केवल एक कमांड लाइन और मिडनाइट कमांडर। संपादक नैनो होगा, जो मेरे f4 पर mc में लटका हुआ है। समूह "जीरो" गाना कैसा है? एक सच्चे भारतीय को केवल एक चीज की आवश्यकता होती है ... एक सच्चे भारतीय को और क्या चाहिए? बेशक, एक डिबगर। हम टाइप करते हैं gdb - है! खैर, Shift + F4 दबाएं, और जाएं!

आर्किटेक्चर

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

आइए सबसे तेज़ स्टैक्ड बाइट मशीन (लेकिन बिना जेआईटी) बनाने की कोशिश करें। तो, हमारे पास एक तालिका होगी जिसमें 256 पते होंगे - प्रत्येक बाइट कमांड के लिए। किसी भी चीज़ से कम - एक अतिरिक्त जांच, यह 1-2 प्रोसेसर निर्देश है। और हमें जल्दी चाहिए, बिना समझौता किए।

ढेर

आमतौर पर, फोर्ट कार्यान्वयन में, प्रोसेसर रिटर्न स्टैक (* एसपी) का उपयोग डेटा स्टैक के रूप में किया जाता है, और फोर्ट सिस्टम रिटर्न स्टैक को अन्य साधनों का उपयोग करके लागू किया जाता है। दरअसल, हमारी मशीन खड़ी हो जाएगी, और मुख्य काम डेटा स्टैक पर है। इसलिए, चलो ऐसा ही करते हैं - आरएसपी एक डेटा स्टैक होगा। ठीक है, रिटर्न स्टैक को RBP होने दें, जो डिफ़ॉल्ट रूप से, स्टैक सेगमेंट के साथ काम करता है। इस प्रकार, हमारे पास तीन मेमोरी सेगमेंट होंगे: एक कोड सेगमेंट, एक डेटा सेगमेंट और एक स्टैक सेगमेंट (इसमें डेटा स्टैक और रिटर्न स्टैक दोनों होंगे)।

रजिस्टरों

मैं रजिस्टर x86-64 के विवरण में जाता हूं, और उफ़! 32 या 16 बिट मोड की तुलना में 8 अतिरिक्त सामान्य प्रयोजन रजिस्टर (R8 - R16) हैं, बुरा नहीं है।

पहले से ही तय किया है कि उन्हें RSP और RBP की आवश्यकता होगी। अभी भी bytecode कमांड के पॉइंटर (काउंटर) की जरूरत है। इस रजिस्टर पर संचालन की, केवल मेमोरी रीडिंग की आवश्यकता है। मुख्य रजिस्टर (RAX, RBX, RCX, RDX, RSI, RDI) अधिक लचीले, सार्वभौमिक हैं, उनके साथ कई विशेष कमांड हैं। वे विभिन्न कार्यों के लिए हमारे लिए उपयोगी होंगे, और बाईटकोड निर्देश काउंटर के लिए हम मेरे लिए नए रजिस्टरों में से एक लेते हैं, इसे R8 होने दें।

चलिए शुरू करते हैं

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

यह सुनिश्चित करें कि "हैलो, दुनिया" को संकलित करें और सुनिश्चित करें कि सब कुछ काम करता है। मदद और प्रयोगों को पढ़कर, मैंने संकलन करने के लिए निम्नलिखित कमांड का उपयोग करना शुरू किया:
$ as fort.asm -o fort.o -g -ahlsm >list.txt
यहाँ, -o स्विच परिणाम फ़ाइल को इंगित करता है, -g स्विच डीबगिंग जानकारी उत्पन्न करने के निर्देश देता है, और -हल्सम स्विच सूची प्रारूप को सेट करता है। और मैं आउटपुट को लिस्टिंग में रखता हूं, इसमें आप बहुत सारी उपयोगी चीजें देख सकते हैं। मैं मानता हूं, काम की शुरुआत में मैंने लिस्टिंग नहीं की, और -g स्विच को भी निर्दिष्ट नहीं किया। मैंने डिबगर के पहले उपयोग के बाद -g स्विच का उपयोग करना शुरू किया, और मैक्रोज़ कोड में दिखाई देने के बाद लिस्टिंग करना शुरू किया :)

उसके बाद, हम लिंकर का उपयोग करते हैं, लेकिन यहां कहीं भी सरल नहीं है:

$ ld forth.o -o forth
अच्छा, भागो!

$ ./forth
Hello, world!

यह काम करता है।

यह पहली बार था। चमेली (वास्तव में यह 'हैलो, दुनिया है!', बेशक)

 .intel_syntax noprefix .section .data msg: .ascii "Hello, world!\n" len = . - msg #  len    .section .text .global _start #     _start: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout mov ecx, OFFSET FLAT:msg #     mov edx, len #   int 0x80 #   mov eax, 1 #   № 1 — sys_exit xor ebx, ebx #    0 int 0x80 #

वैसे, मुझे बाद में पता चला कि x86-64 में int 0x80 के बजाय सिस्टम कॉल के लिए syscall का उपयोग करना अधिक सही है। इस वास्तुकला के लिए 0x80 कॉल अप्रचलित माना जाता है, हालांकि यह समर्थित है।

एक शुरुआत की गई है, और अब ...

चलो चलते हैं!

कि कम से कम कुछ बारीकियाँ होंगी, हम एक बाइट कमांड का कोड लिखेंगे। स्टैक के शीर्ष पर 0 लगाते हुए इसे फोर्ट शब्द "0" होने दें:

 bcmd_num0: push 0 jmp _next

जिस समय इस कमांड को निष्पादित किया जाता है, R8 पहले ही अगले बाइट कमांड को इंगित करता है। यह पढ़ने के लिए आवश्यक है, आर 8 बढ़ाएं, बाइट कमांड के कोड द्वारा निष्पादन योग्य पते का निर्धारण करें, और इसे नियंत्रण स्थानांतरित करें।

लेकिन ... बाइट-कमांड एड्रेस टेबल कितनी गहरी होगी? तब मुझे अपने लिए नए x86-64 कमांड सिस्टम में बहुत खुदाई करनी पड़ी। काश, मुझे ऐसे आदेश नहीं मिलते जो आपको स्मृति में ऑफ़सेट जाने की अनुमति दें। तो, या तो पते की गणना करें, या पता तैयार होगा - 64 बिट्स। हमारे लिए गणना करने का कोई समय नहीं है, जिसका अर्थ है - 64 बिट्स। इस स्थिति में, तालिका का आकार 256 * 8 = 4096 बाइट होगा। ठीक है, अंत में, _next कॉल एनकोड करें:

 _next: movzx rcx, byte ptr [r8] inc r8 jmp [bcmd + rcx*8] # bcmd -   -

बुरा नहीं है, यह मुझे लगता है ... केवल तीन प्रोसेसर निर्देश हैं, जब एक बाइट कमांड से दूसरे पर स्विच किया जाता है।

वास्तव में, ये आज्ञाएँ मेरे लिए इतनी आसान नहीं थीं। मुझे फिर से 0x86-64 कमांड सिस्टम में शामिल होना पड़ा और मेरे लिए एक नया MOVZX कमांड ढूंढना पड़ा। वास्तव में, यह कमांड 64-बिट रजिस्टर में 8, 16 या 32 बिट्स के मान को परिवर्तित करता है। इस कमांड के दो वेरिएंट हैं: अहस्ताक्षरित, जहां उच्च अंक शून्य से गद्देदार हैं, और हस्ताक्षरित MOVSX है। हस्ताक्षरित संस्करण में, साइन का विस्तार होता है, अर्थात, सकारात्मक संख्याओं के लिए, शून्य उच्च अंकों में जाएगा, और नकारात्मक लोगों के लिए। यह विकल्प हमारे लिए बाइट कमांड के लिए भी उपयोगी है।

वैसे, क्या यह विकल्प सबसे तेज है? शायद कोई और भी तेजी से सुझाव देगा?

खैर, अब हमारे पास एक बाइट मशीन है जो बाइट कमांड के अनुक्रम के माध्यम से चल सकती है और उन्हें निष्पादित कर सकती है। कम से कम एक टीम को निष्पादित करने के लिए मजबूर करने के लिए, व्यवहार में इसका परीक्षण करना आवश्यक है। लेकिन कौन सा? ढेर पर शून्य? लेकिन यहाँ आप परिणाम भी नहीं जानते हैं, यदि आप डिबगर के नीचे स्टैक को नहीं देखते हैं ... लेकिन यदि कार्यक्रम शुरू हुआ, तो इसे पूरा किया जा सकता है :)

हम एक बाय कमांड लिखते हैं जो प्रोग्राम को पूरा करता है और इसके बारे में लिखता है, खासकर जब से हमारे पास "हेलो, वर्ल्ड!"

 bcmd_bye: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout mov ecx, offset msg_bye #     mov edx, msg_bye_len #   int 0x80 #   mov eax, 1 #   № 1 — sys_exit mov ebx, 0 #    0 int 0x80 #

केवल एक चीज बाइट-कमांड एड्रेस टेबल बनाना है, रजिस्टरों को इनिशियलाइज़ करना और बाइट-मशीन शुरू करना है। तो ... तालिका में 256 मान हैं, और दो आदेश हैं। अन्य कोशिकाओं में क्या है?
बाकी के पास एक अमान्य ऑपरेशन कोड होगा। लेकिन, आप इस पर एक चेक नहीं कर सकते हैं, ये अतिरिक्त टीम हैं, हमारे पास अभी तीन हैं, और चेक के साथ यह पांच होगा। इसलिए, हम इस तरह के स्टब कमांड - एक बुरी टीम बनाएंगे। पहले, हम इसके लिए पूरी तालिका में भरते हैं, और फिर हम उपयोगी कमांड के साथ कोशिकाओं पर कब्जा करना शुरू करते हैं। एक खराब टीम का कोड 0x00 है, बाई टीम का 0x01 होगा, और '0' का कोड 0x02 होगा, एक बार यह पहले से ही लिखा हुआ है। अब के लिए खराब टीम को अलविदा के रूप में ही किया जाएगा, केवल एक अलग कोड और पाठ के साथ (मैं इसे बिगाड़ने में डाल दूंगा, लगभग अलविदा के समान):

bcmd_bad

 bcmd_bad: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout mov ecx, offset msg_bad_byte #     mov edx, msg_bad_byte_len #   int 0x80 #   mov eax, 1 #   № 1 — sys_exit mov ebx, 1 #    1 int 0x80 #

अब पतों की एक तालिका बनाएं। सुविधा के लिए, हम प्रत्येक पंक्ति में आठ जगह देंगे, 16 पंक्तियाँ होंगी। तालिका आकार में काफी बड़ी है:

बाइट कमांड एड्रेस टेबल

 bcmd: .quad bcmd_bad, bcmd_bye, bcmd_num0, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad

हम बाइट प्रोग्राम की बॉडी लिखते हैं। ऐसा करने के लिए, कोड कोड को कोडांतरक चर पर असाइन करें। हम निम्नलिखित समझौते करेंगे:

बाइट कमांड निष्पादित करने के लिए पते bcmd_ पर शुरू होंगे
कमांड कोड स्वयं b_ से शुरू होने वाले चर में संग्रहीत किए जाएंगे

इस प्रकार, बाइट कार्यक्रम का शरीर इस तरह होगा:

 start: .byte b_bye

डेटा के आकार को स्टैक_साइज़ के रूप में घोषित करें। इसे अभी तक 1024 होने दें। आरंभीकरण के समय, हम RBP = RSP - stack_size करेंगे।

वास्तव में, हमें ऐसा प्रोग्राम कोड मिलता है।

 .intel_syntax noprefix stack_size = 1024 .section .data msg_bad_byte: .ascii "Bad byte code!\n" msg_bad_byte_len = . - msg_bad_byte #  len    msg_bye: .ascii "bye!\n" msg_bye_len = . - msg_bye msg_hello: .ascii "Hello, world!\n" msg_hello_len = . - msg_hello bcmd: .quad bcmd_bad, bcmd_bye, bcmd_num0, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad start: .byte b_bye .section .text .global _start #     _start: mov rbp, rsp sub rbp, stack_size lea r8, start jmp _next _next: movzx rcx, byte ptr [r8] inc r8 jmp [bcmd + rcx*8] b_bad = 0x00 bcmd_bad: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout mov ecx, offset msg_bad_byte #     mov edx, msg_bad_byte_len #   int 0x80 #   mov eax, 1 #   № 1 — sys_exit mov ebx, 1 #    1 int 0x80 #   b_bye = 0x01 bcmd_bye: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout mov ecx, offset msg_bye #     mov edx, msg_bye_len #   int 0x80 #   mov eax, 1 #   № 1 — sys_exit mov ebx, 0 #    0 int 0x80 #   b_num0 = 0x02 bcmd_num0: push 0 jmp _next

संकलित करें, चलाएं:

$ as fort.asm -o fort.o -g -ahlsm >list.txt
$ ld forth.o -o forth
$ ./forth
bye!

यह काम करता है! एक बाइट से हमारा पहला बाइटकोड कार्यक्रम शुरू किया गया था :)
बेशक, यह ऐसा होगा यदि सब कुछ सही ढंग से किया जाए। और यदि नहीं, तो परिणाम यह होने की संभावना है:

$ ./forth

बेशक, अन्य विकल्प संभव हैं, लेकिन मैं इस सबसे अधिक आया हूं। और हमें डिबगर की जरूरत है।

डिबगर लिरिक्स

जैसा कि पहले ही उल्लेख किया गया है, मैंने GDB का उपयोग किया। यह एक बहुत शक्तिशाली डिबगर है, लेकिन एक कमांड लाइन इंटरफ़ेस के साथ। इसे चलाना बहुत सरल है:

 $ gdb ./forth GNU gdb (Ubuntu 7.11.1-0ubuntu1~16.5) 7.11.1 Copyright (C) 2016 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "x86_64-linux-gnu". Type "show configuration" for configuration details. For bug reporting instructions, please see: <http://www.gnu.org/software/gdb/bugs/>. Find the GDB manual and other documentation resources online at: <http://www.gnu.org/software/gdb/documentation/>. For help, type "help". Type "apropos word" to search for commands related to "word"... Reading symbols from ./forth...done. (gdb)

अगला, कमांड दर्ज करके, हम डिबग करते हैं। मेरे पास कुछ आवश्यक कमांड खोजने और उन्हें डिबगिंग के लिए उपयोग करने का तरीका जानने के लिए पर्याप्त घंटे थे। यहाँ वे हैं:
b <लेबल> - एक ब्रेकपॉइंट सेट करें
l <लेबल> - स्रोत कोड देखें
r - प्रोग्राम को स्टार्ट या रिस्टार्ट करें
ir - देखने का प्रोसेसर स्थिति दर्ज करता है
एस - कदम

वैसे, याद रखें कि आपको -g स्विच के साथ प्रोग्राम को संकलित करने की आवश्यकता है? अन्यथा, टैग और स्रोत कोड उपलब्ध नहीं होंगे। इस मामले में, केवल असंतुष्ट कोड से डिबग करना और मेमोरी में पते का उपयोग करना संभव होगा। हम, बेशक, भारतीय हैं, लेकिन उसी हद तक नहीं ...

लेकिन किसी तरह कार्यक्रम बहुत कम होता है। हम केवल उसे "हैलो" कहते हैं, और वह तुरंत "बाय!" कहती है। चलो असली "हैलो दुनिया!" bytecode पर। ऐसा करने के लिए, स्टैक पर पता और स्ट्रिंग की लंबाई डालें, फिर उस कमांड को निष्पादित करें जो स्ट्रिंग प्रदर्शित करता है, और फिर बाय कमांड। यह सब करने के लिए, नए कमांड की आवश्यकता होती है: स्ट्रिंग को आउटपुट करने के लिए टाइप करें, और स्ट्रिंग का पता और लंबाई डालने के लिए जलाया जाए। पहले हम टाइप लिखते हैं, इसका कोड 0x80 है। हमें फिर से, sys_write कॉल के साथ कोड के उस टुकड़े की आवश्यकता है:

 b_type = 0x80 bcmd_type: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout pop rdx pop rcx push r8 int 0x80 #   pop r8 jmp _next

यहां हम पीओपी कमांड का उपयोग करके डेटा स्टैक से पता और स्ट्रिंग की लंबाई लेते हैं। Int 0x80 पर कॉल करने से R8 का रजिस्टर बदल सकता है, इसलिए हम इसे सहेजते हैं। कार्यक्रम समाप्त होने से पहले हमने ऐसा नहीं किया था। इन रजिस्टरों की सामग्री की परवाह नहीं की गई। अब यह एक नियमित बाइट कमांड है, जिसके बाद बाइट कोड निष्पादित किया जाता है, और आपको खुद को व्यवहार करने की आवश्यकता होती है।

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

समाधान सरल है - हम विभिन्न बिट गहराई के लिए कई कमांड बनाएंगे। ये lit8, lit16, lit32 और lit64 होंगे। छोटी संख्या के लिए हम lit8 और lit16 का उपयोग करेंगे, बड़ी संख्या के लिए - lit32 और lit64। छोटी संख्याएं सबसे अधिक बार उपयोग की जाती हैं, और उनके लिए सबसे छोटी कमांड होगी, जिसमें दो बाइट्स होते हैं। बुरा नहीं है! .. हम इन कमांडों का कोड 0x08 - 0x0B बनाएंगे।

 b_lit8 = 0x08 bcmd_lit8: movsx rax, byte ptr [r8] inc r8 push rax jmp _next b_lit16 = 0x09 bcmd_lit16: movsx rax, word ptr [r8] add r8, 2 push rax jmp _next b_lit32 = 0x0A bcmd_lit32: movsx rax, dword ptr [r8] add r8, 4 push rax jmp _next b_lit64 = 0x0B bcmd_lit64: mov rax, [r8] add r8, 8 push rax jmp _next

यहां हम MOVSX कमांड का उपयोग करते हैं - यह MOVZX कमांड का एक आइकॉनिक वर्जन है जो हमें पहले से ज्ञात है। R8 में हमारे पास एक बाइट कमांड काउंटर है। हम उस पर वांछित आकार के मूल्य को लोड करते हैं, इसे अगले कमांड पर ले जाते हैं, और स्टैक पर मूल्य को 64 बिट्स में परिवर्तित कर देते हैं।

वांछित पदों के लिए तालिका में नई टीमों के पते जोड़ना न भूलें।

यह सब आपका पहला कार्यक्रम "हैलो, दुनिया!" लिखने के लिए तैयार है। हमारे bytecode पर। संकलक के साथ काम करते हैं! :)

 start: .byte b_lit64 .quad msg_hello .byte b_lit8 .byte msg_hello_len .byte b_type .byte b_bye

हम दो अलग-अलग लिट कमांड का उपयोग करते हैं: lit64, जो स्टैक पर स्ट्रिंग का पता लगाएगा, और lit8, जिसके साथ हम स्टैक पर लंबाई डालते हैं। अगला, हम दो और बाइट कमांड निष्पादित करते हैं: प्रकार और अलविदा।
संकलित करें, चलाएं:

 $ as fort.asm -o fort.o -g -ahlsm >list.txt $ ld forth.o -o forth $ ./forth Hello, world! bye!

हमारे bytecode अर्जित! यह वह परिणाम है जो सब कुछ ठीक होने पर होना चाहिए।

पूर्ण स्रोत

 .intel_syntax noprefix stack_size = 1024 .section .data msg_bad_byte: .ascii "Bad byte code!\n" msg_bad_byte_len = . - msg_bad_byte #  len    msg_bye: .ascii "bye!\n" msg_bye_len = . - msg_bye msg_hello: .ascii "Hello, world!\n" msg_hello_len = . - msg_hello bcmd: .quad bcmd_bad, bcmd_bye, bcmd_num0, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x00 .quad bcmd_lit8, bcmd_lit16, bcmd_lit32, bcmd_lit64, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x10 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x20 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x30 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x40 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x60 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_type, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x80 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad start: .byte b_lit64 .quad msg_hello .byte b_lit8 .byte msg_hello_len .byte b_type .byte b_bye .section .text .global _start #     _start: mov rbp, rsp sub rbp, stack_size lea r8, start jmp _next _next: movzx rcx, byte ptr [r8] inc r8 jmp [bcmd + rcx*8] b_bad = 0x00 bcmd_bad: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout mov ecx, offset msg_bad_byte #     mov edx, msg_bad_byte_len #   int 0x80 #   mov eax, 1 #   № 1 — sys_exit mov ebx, 1 #    1 int 0x80 #   b_bye = 0x01 bcmd_bye: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout mov ecx, offset msg_bye #     mov edx, msg_bye_len #   int 0x80 #   mov eax, 1 #   № 1 — sys_exit mov ebx, 0 #    0 int 0x80 #   b_num0 = 0x02 bcmd_num0: push 0 jmp _next b_lit8 = 0x08 bcmd_lit8: movsx rax, byte ptr [r8] inc r8 push rax jmp _next b_lit16 = 0x09 bcmd_lit16: movsx rax, word ptr [r8] add r8, 2 push rax jmp _next b_lit32 = 0x0A bcmd_lit32: movsx rax, dword ptr [r8] add r8, 4 push rax jmp _next b_lit64 = 0x0B bcmd_lit64: mov rax, [r8] add r8, 8 push rax jmp _next b_type = 0x80 bcmd_type: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout pop rdx pop rcx push r8 int 0x80 #   pop r8 jmp _next

लेकिन संभावनाएं अभी भी बहुत आदिम हैं, आप एक स्थिति, एक चक्र नहीं बना सकते।

यह कैसे असंभव है? आप कर सकते हैं, सब कुछ हमारे हाथ में है! आइए इस पंक्ति को 10 बार लूप में करें। इसके लिए सशर्त शाखा कमांड की आवश्यकता होगी, साथ ही स्टैक अंकगणित का एक बिट: 1 (फोर्ट "1-") और एक वर्टेक्स दोहराव कमांड ("डुबकी") द्वारा स्टैक पर मूल्य कम करने वाली एक कमांड।

अंकगणित के साथ, सब कुछ सरल है, मैं भी टिप्पणी नहीं करूंगा:

 b_dup = 0x18 bcmd_dup: push [rsp] jmp _next b_wm = 0x20 bcmd_wm: decq [rsp] jmp _next

अब एक सशर्त छलांग। शुरुआत के लिए, आइए कार्य को सरल बनाएं - एक बिना शर्त संक्रमण। यह स्पष्ट है कि आपको रजिस्टर R8 के मूल्य को बदलने की आवश्यकता है। पहली बात जो दिमाग में आती है वह एक बाइट कमांड है, जिसके बाद एक पैरामीटर है - संक्रमण पता 64 बिट्स है। फिर से नौ बाइट्स। क्या हमें इन नौ बाइट्स की जरूरत है? संक्रमण आमतौर पर छोटी दूरी पर होते हैं, अक्सर कुछ सौ बाइट्स के भीतर। तो, हम पते का उपयोग नहीं करेंगे, लेकिन ऑफसेट!

थोड़ी गहराई? कई मामलों में, 8 बिट्स (127 फॉरवर्ड / बैकवर्ड) पर्याप्त होंगे, लेकिन कभी-कभी यह पर्याप्त नहीं होगा। इसलिए, हम लिट कमांड के साथ भी ऐसा ही करेंगे, हम दो विकल्प बनाएंगे - 8 और 16 अंक, कमांड कोड 0x10 और 0x11 होगा:

 b_branch8 = 0x10 bcmd_branch8: movsx rax, byte ptr [r8] add r8, rax jmp _next b_branch16 = 0x11 bcmd_branch16: movsx rax, word ptr [r8] add r8, rax jmp _next

अब सशर्त संक्रमण को लागू करना आसान है। यदि स्टैक 0 है, तो _next पर जाएं, और यदि नहीं, तो शाखा कमांड पर जाएं!

 b_qbranch8 = 0x12 bcmd_qbranch8: pop rax or rax, rax jnz bcmd_branch8 inc r8 jmp _next b_qbranch16 = 0x13 bcmd_qbranch16: pop rax or rax, rax jnz bcmd_branch16 add r8, 2 jmp _next

अब हमारे पास लूप बनाने के लिए सब कुछ है:

 start: .byte b_lit8 .byte 10 #  #  m0: .byte b_lit64 .quad msg_hello .byte b_lit8 .byte msg_hello_len .byte b_type .byte b_wm .byte b_dup .byte b_qbranch8 .byte m0 - . .byte b_bye

पहले दो कमांड - हमने स्टैक पर लूप काउंटर लगाया। इसके बाद, स्ट्रिंग को प्रिंट करें हैलो। फिर हम काउंटर से 1 घटाते हैं, इसे डुप्लिकेट करते हैं और संक्रमण करते हैं (या प्रदर्शन नहीं करते हैं)। दोहराव कमांड की आवश्यकता है क्योंकि सशर्त शाखा कमांड स्टैक के शीर्ष से मान लेता है। यहां संक्रमण आठ-बिट है, क्योंकि दूरी केवल कुछ बाइट्स है।

हम एक टेबल में नए कमांड के पते संकलित और निष्पादित करते हैं।

मैं इसे बिगाड़ने में लगा दूंगा, अन्यथा हमारा कार्यक्रम क्रियात्मक हो गया है)

 $ as fort.asm -o fort.o -g -ahlsm >list.txt $ ld forth.o -o forth $ ./forth Hello, world! Hello, world! Hello, world! Hello, world! Hello, world! Hello, world! Hello, world! Hello, world! Hello, world! Hello, world! bye!

खैर, हम पहले से ही स्थिति और चक्र कर सकते हैं!

पूर्ण स्रोत

 .intel_syntax noprefix stack_size = 1024 .section .data msg_bad_byte: .ascii "Bad byte code!\n" msg_bad_byte_len = . - msg_bad_byte #  len    msg_bye: .ascii "bye!\n" msg_bye_len = . - msg_bye msg_hello: .ascii "Hello, world!\n" msg_hello_len = . - msg_hello bcmd: .quad bcmd_bad, bcmd_bye, bcmd_num0, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x00 .quad bcmd_lit8, bcmd_lit16, bcmd_lit32, bcmd_lit64, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_branch8, bcmd_branch16, bcmd_qbranch8, bcmd_qbranch16, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x10 .quad bcmd_dup, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_wm, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x20 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x30 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x40 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x60 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_type, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x80 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad start: .byte b_lit8 .byte 10 #  #  m0: .byte b_lit64 .quad msg_hello .byte b_lit8 .byte msg_hello_len .byte b_type .byte b_wm .byte b_dup .byte b_qbranch8 .byte m0 - . .byte b_bye .section .text .global _start #     _start: mov rbp, rsp sub rbp, stack_size lea r8, start jmp _next _next: movzx rcx, byte ptr [r8] inc r8 jmp [bcmd + rcx*8] b_bad = 0x00 bcmd_bad: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout mov ecx, offset msg_bad_byte #     mov edx, msg_bad_byte_len #   int 0x80 #   mov eax, 1 #   № 1 — sys_exit mov ebx, 1 #    1 int 0x80 #   b_bye = 0x01 bcmd_bye: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout mov ecx, offset msg_bye #     mov edx, msg_bye_len #   int 0x80 #   mov eax, 1 #   № 1 — sys_exit mov ebx, 0 #    0 int 0x80 #   b_num0 = 0x02 bcmd_num0: push 0 jmp _next b_lit8 = 0x08 bcmd_lit8: movsx rax, byte ptr [r8] inc r8 push rax jmp _next b_lit16 = 0x09 bcmd_lit16: movsx rax, word ptr [r8] add r8, 2 push rax jmp _next b_lit32 = 0x0A bcmd_lit32: movsx rax, dword ptr [r8] add r8, 4 push rax jmp _next b_lit64 = 0x0B bcmd_lit64: mov rax, [r8] add r8, 8 push rax jmp _next b_type = 0x80 bcmd_type: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout pop rdx pop rcx push r8 int 0x80 #   pop r8 jmp _next b_dup = 0x18 bcmd_dup: push [rsp] jmp _next b_wm = 0x20 bcmd_wm: decq [rsp] jmp _next b_branch8 = 0x10 bcmd_branch8: movsx rax, byte ptr [r8] add r8, rax jmp _next b_branch16 = 0x11 bcmd_branch16: movsx rax, word ptr [r8] add r8, rax jmp _next b_qbranch8 = 0x12 bcmd_qbranch8: pop rax or rax, rax jnz bcmd_branch8 inc r8 jmp _next b_qbranch16 = 0x13 bcmd_qbranch16: pop rax or rax, rax jnz bcmd_branch16 add r8, 2 jmp _next

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

हम काम को अंत तक लाते हैं। यहां पहली बार हमें रिटर्न के ढेर की जरूरत है। दो आदेशों की आवश्यकता है - कॉल कमांड और रिटर्न कमांड (कॉल और निकास)।

कॉल कमांड, सिद्धांत रूप में, शाखा के रूप में एक ही काम करता है - बाइटकोड के दूसरे टुकड़े पर नियंत्रण स्थानांतरित करता है। लेकिन, शाखा के विपरीत, आपको अभी भी रिटर्न स्टैक में रिटर्न एड्रेस को बचाने की आवश्यकता है ताकि आप वापस आ सकें और निष्पादन जारी रख सकें। एक और अंतर है - ऐसी कॉल बहुत अधिक दूरी पर हो सकती हैं। इसलिए, हम शाखा की समानता में कॉल कमांड बनाते हैं, लेकिन तीन संस्करणों में - 8, 16 और 32 बिट्स।

 b_call8 = 0x0C bcmd_call8: movsx rax, byte ptr [r8] sub rbp, 8 inc r8 mov [rbp], r8 add r8, rax jmp _next b_call16 = 0x0D bcmd_call16: movsx rax, word ptr [r8] sub rbp, 8 add r8, 2 mov [rbp], r8 add r8, rax jmp _next b_call32 = 0x0E bcmd_call32: movsx rax, dword ptr [r8] sub rbp, 8 add r8, 4 mov [rbp], r8 add r8, rax jmp _next

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

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

अब वापसी की आज्ञा। दरअसल, उसका काम केवल R8 को स्टैक से बहाल करना है और बाइट मशीन को नियंत्रण स्थानांतरित करना है:

 b_exit = 0x1F bcmd_exit: mov r8, [rbp] add rbp, 8 jmp _next

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

ऐसा करने के लिए, इसे _next बाइट मशीन के प्रवेश बिंदु के ऊपर रखें:

 b_exit = 0x1F bcmd_exit: mov r8, [rbp] add rbp, 8 _next: movzx rcx, byte ptr [r8] inc r8 jmp [bcmd + rcx*8]

वैसे, सबसे महत्वपूर्ण और अक्सर उपयोग किए जाने वाले कमांड (उदाहरण के लिए, जैसे कॉल) को बाइट-मशीन के करीब रखने की आवश्यकता होती है ताकि कंपाइलर एक छोटी कूद कमांड बना सके। लिस्टिंग में यह स्पष्ट रूप से दिखाई दे रहा है। यहाँ एक उदाहरण है।

  262 0084 490FBE00 bcmd_lit8: movsx rax, byte ptr [r8] 263 0088 49FFC0 inc r8 264 008b 50 push rax 265 008c EB90 jmp _next 266 267 b_lit16 = 0x09 268 008e 490FBF00 bcmd_lit16: movsx rax, word ptr [r8] 269 0092 4983C002 add r8, 2 270 0096 50 push rax 271 0097 EB85 jmp _next 272 273 b_lit32 = 0x0A 274 0099 496300 bcmd_lit32: movsx rax, dword ptr [r8] 275 009c 4983C004 add r8, 4 276 00a0 50 push rax 277 00a1 E978FFFF jmp _next 277 FF 278

यहां, लाइन 265 और 271 पर, जेएमपी कमांड 2 बाइट्स लेता है, और लाइन 277 पर, एक ही कमांड पहले से ही 5 बाइट्स के लिए संकलित किया जाता है, क्योंकि जंप दूरी शॉर्ट कमांड की लंबाई से अधिक है।

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

इसलिए, हमारे पास अब एक चुनौती और वापसी है, हम उनका परीक्षण करेंगे! ऐसा करने के लिए, एक अलग प्रक्रिया में लाइन प्रिंट का चयन करें, और हम इसे दो बार लूप में कहेंगे। और चक्र की पुनरावृत्ति की संख्या तीन तक कम हो जाती है।

 start: .byte b_lit8 .byte 3 #  #  m0: .byte b_call16 .word sub_hello - . - 2 .byte b_call16 .word sub_hello - . - 2 .byte b_wm .byte b_dup .byte b_qbranch8 .byte m0 - . .byte b_bye sub_hello: .byte b_lit64 .quad msg_hello .byte b_lit8 .byte msg_hello_len .byte b_type .byte b_exit

कॉल 8 का उपयोग यहां किया जा सकता है, लेकिन मैंने कॉल 16 का उपयोग करने का फैसला किया क्योंकि सबसे अधिक संभावना एक का उपयोग किया गया था। वैल्यू 2 को उस कॉल बाइट कमांड के पते की गणना करने की ख़ासियत के कारण घटाया जाता है, जिसके बारे में मैंने लिखा था। कॉल 8 के लिए, 1 को क्रमशः
कॉल 32 के लिए घटाया जाएगा, 4. हम संकलित करते हैं और कॉल करते हैं:

 $ as forth.asm -o forth.o -g -ahlsm>list.txt $ ld forth.o -o forth $ ./forth Hello, world! Bad byte code!

ओह ... जैसा कि वे कहते हैं, कुछ गलत हो गया :) खैर, हम GDB लॉन्च करते हैं और देखते हैं कि वहां क्या होता है। मैंने तुरंत bcmd_exit पर एक ब्रेकपॉइंट सेट किया, क्योंकि यह स्पष्ट है कि सब_हेल्लो कॉल पास हो रहा है, और प्रक्रिया का निकाय निष्पादित कर रहा है ... लॉन्च किया गया ... और प्रोग्राम ने ब्रेकपॉइंट को हिट नहीं किया। तुरंत एक बाइट कमांड कोड का संदेह था। और, वास्तव में, इसका कारण उसमें था। b_exit I ने मान 0x1f असाइन किया, और पता स्वयं तालिका कक्ष संख्या 0x17 में रखा गया था। ठीक है, तो मैं 0x17 को b_exit के मान को सही करूंगा और फिर से कोशिश करूंगा:

 $ as forth.asm -o forth.o -g -ahlsm>list.txt $ ld forth.o -o forth $ ./forth Hello, world! Hello, world! Hello, world! Hello, world! Hello, world! Hello, world! bye!

बिल्कुल छह बार नमस्कार, और एक बार अलविदा। जैसा कि यह होना चाहिए :)

पूर्ण स्रोत

 .intel_syntax noprefix stack_size = 1024 .section .data msg_bad_byte: .ascii "Bad byte code!\n" msg_bad_byte_len = . - msg_bad_byte #  len    msg_bye: .ascii "bye!\n" msg_bye_len = . - msg_bye msg_hello: .ascii "Hello, world!\n" msg_hello_len = . - msg_hello bcmd: .quad bcmd_bad, bcmd_bye, bcmd_num0, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x00 .quad bcmd_lit8, bcmd_lit16, bcmd_lit32, bcmd_lit64, bcmd_call8, bcmd_call16, bcmd_call32, bcmd_bad .quad bcmd_branch8, bcmd_branch16, bcmd_qbranch8, bcmd_qbranch16, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_exit # 0x10 .quad bcmd_dup, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_wm, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x20 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x30 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x40 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x60 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_type, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad # 0x80 .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad .quad bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad, bcmd_bad start: .byte b_lit8 .byte 3 #  #  m0: .byte b_call16 .word sub_hello - . - 2 .byte b_call16 .word sub_hello - . - 2 .byte b_wm .byte b_dup .byte b_qbranch8 .byte m0 - . .byte b_bye sub_hello: .byte b_lit64 .quad msg_hello .byte b_lit8 .byte msg_hello_len .byte b_type .byte b_exit .section .text .global _start #     _start: mov rbp, rsp sub rbp, stack_size lea r8, start jmp _next b_exit = 0x17 bcmd_exit: mov r8, [rbp] add rbp, 8 _next: movzx rcx, byte ptr [r8] inc r8 jmp [bcmd + rcx*8] b_num0 = 0x02 bcmd_num0: push 0 jmp _next b_lit8 = 0x08 bcmd_lit8: movsx rax, byte ptr [r8] inc r8 push rax jmp _next b_lit16 = 0x09 bcmd_lit16: movsx rax, word ptr [r8] add r8, 2 push rax jmp _next b_call8 = 0x0C bcmd_call8: movsx rax, byte ptr [r8] sub rbp, 8 inc r8 mov [rbp], r8 add r8, rax jmp _next b_call16 = 0x0D bcmd_call16: movsx rax, word ptr [r8] sub rbp, 8 add r8, 2 mov [rbp], r8 add r8, rax jmp _next b_call32 = 0x0E bcmd_call32: movsx rax, dword ptr [r8] sub rbp, 8 add r8, 4 mov [rbp], r8 add r8, rax jmp _next b_lit32 = 0x0A bcmd_lit32: movsx rax, dword ptr [r8] add r8, 4 push rax jmp _next b_lit64 = 0x0B bcmd_lit64: mov rax, [r8] add r8, 8 push rax jmp _next b_dup = 0x18 bcmd_dup: push [rsp] jmp _next b_wm = 0x20 bcmd_wm: decq [rsp] jmp _next b_branch8 = 0x10 bcmd_branch8: movsx rax, byte ptr [r8] add r8, rax jmp _next b_branch16 = 0x11 bcmd_branch16: movsx rax, word ptr [r8] add r8, rax jmp _next b_qbranch8 = 0x12 bcmd_qbranch8: pop rax or rax, rax jnz bcmd_branch8 inc r8 jmp _next b_qbranch16 = 0x13 bcmd_qbranch16: pop rax or rax, rax jnz bcmd_branch16 add r8, 2 jmp _next b_bad = 0x00 bcmd_bad: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout mov ecx, offset msg_bad_byte #     mov edx, msg_bad_byte_len #   int 0x80 #   mov eax, 1 #   № 1 — sys_exit mov ebx, 1 #    1 int 0x80 #   b_bye = 0x01 bcmd_bye: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout mov ecx, offset msg_bye #     mov edx, msg_bye_len #   int 0x80 #   mov eax, 1 #   № 1 — sys_exit mov ebx, 0 #    0 int 0x80 #   b_type = 0x80 bcmd_type: mov eax, 4 #   № 4 — sys_write mov ebx, 1 #  № 1 — stdout pop rdx pop rcx push r8 int 0x80 #   pop r8 jmp _next

परिणाम क्या है?

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

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

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

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

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

आप शास्त्रीय रूप में लिखे गए भावों का संकलन भी बना सकते हैं (उदाहरण के लिए, A = 5 + (B + C * 4))।

सामान्य तौर पर, प्रयोग के लिए जगह है! :)

निरंतरता: मूल अमेरिकी में किले के लिए बाइट मशीन (और न केवल) (भाग 2)

फोर्ट बाइट कार (और अधिक) मूल अमेरिकी

आर्किटेक्चर

ढेर

रजिस्टरों

चलिए शुरू करते हैं

चलो चलते हैं!

परिणाम क्या है?

More articles: