Basebetsi ba Emacs: Lisupa tse tšoailoeng khahlanong le C++ std:variant le LLVM (Karolo ea 3)

Emacs Internals: Tagged Pointers vs. C++ std::variant le LLVM (Karolo 3)

Karolong ena ea ho qetela ea letoto la rona, re shebana le mateano a bohlokoa a meralo: ho kengoa ts'ebetsong ea boemeli ba boleng. Re hlahlobile litheolelo tsa nalane le tekheniki tsa lisupa tse tšoailoeng tsa Emacs Lisp 'me ra li bapisa le mefuta e meng e sireletsehileng ea mofuta oa C++ ea sejoale-joale. Joale, re botsa potso ea bohlokoa: Sisteme ea lefa joalo ka Emacs e ka re ruta eng ka bokamoso ba moralo oa software, 'me lithuto tsee li amana joang le lipolanete tsa sejoale-joale tse kang Mewayz? Karabo ha e felle feela tabeng ea ho khetha mokhoa, empa ho utloisisa likhohlano tse tebileng pakeng tsa ts'ebetso e tala, ts'ireletso ea mofuta, le ts'ebetso ea nako e telele ea tsamaiso.

Tlhoko ya Tshebetso: Mehopolo le Lebelo

Lits'oants'o tse tšoailoeng tsa Emacs ke mosebetsi o tsoileng matsoho oa ntlafatso ea boemo bo tlase. Ka ho boloka tlhahisoleseling ea mofuta ka kotloloho likarolong tse sa sebelisoeng tsa pointer kapa palo e nyane, sistimi e fihlela katleho e makatsang ea sebaka le nakoana. Tlhokomelo ea memori ha e nyane - ha ho na mefuta e fapaneng ea metadata e hlokahalang bakeng sa boleng bo bong le bo bong. Ts'ebetso e joalo ka ho lekola mofuta le ho e romella e fetoha limaske tse bohlale le litšupiso tse fapaneng, tse etsoang ka mekhahlelo e 'maloa ea CPU. Mokhoa ona o bobebe ke oa motheo oa karabelo ea Emacs, e lumellang tikoloho e rarahaneng, e matla ea Lisp ho sebetsa hantle le lits'ebetsong tse thata. Bakeng sa khoebo ea modular OS joalo ka Mewayz, e tlamehang ho hlophisa lintlha le lits'ebetso tse ngata ka nako e le 'ngoe, melaoana e joalo ea ts'ebetso e ke ke ea buisanoa. Leha Mewayz e sebelisa lipuo tsa sejoale-joale, tse bolokehileng bakeng sa ho ts'epahala, filosofi ea mantlha-ho eketsa ts'ebeliso ka nako le potoloho e 'ngoe - e ntse e amana ka kotloloho le ho aha karolo ea khoebo e sebetsang hantle.

Taelo ea Tšireletseho le e Hlakileng ea Mekhoa ea Sejoale-joale

Bapisa sena le std::variant ea C++ le litsamaiso tsa mofuta oa LLVM. Tsena li emela phetoho ea paradigm ho tloha ho "optimization-pele" ho "nepaha-ka-moralo." A std::variant e hlalosa ka ho hlaka mefuta ea eona e ka bang teng ka nako ea ho bokella, ho etsa hore linaha tse seng molaong li se ke tsa emeloa. Moqapi a ka tšoara liphoso tsa mofuta nako e telele pele a etsoa, ​​​​'me sepheo sa khoutu se fetoha ho iketsetsa litokomane. Tšebeliso e pharalletseng ea LLVM ea mefuta ea li-opaque pointer le tlhaiso-leseling e hlakileng ea mofuta oa nako ea ho matha (RTTI) boemeling ba eona ba mahareng e totobatsa mokhoa o hlophisitsoeng, o lekolehang oa data. Phetoho ena e bonts'a tsoelo-pele ea software ea khoebo: ho tloha ho ts'ebetso e senyehang, ea monolithic ho ea ho litsamaiso tse matla, tse modular. Setsing sa tikoloho sa Mewayz, moo mokhoa oa khoebo, othomathike, le botšepehi ba data bo tlamehang ho se be bulletproof, litiisetso tse fanoeng ke mekhoa ea sejoale-joale e bolokehileng e bohlokoa bakeng sa ho boloka ho hlaka le ho thibela liphoso tse bitsang chelete e ngata ha tsamaiso e ntse e eketseha.

Architectural Philosophy: Legacy Wisdom vs. Modern Rigor

Khetho lipakeng tsa mefuta ena ha se ea tekheniki feela; ke filosofi. Emacs e kenyelletsa "pragmatism" e mpe le ho feta - tharollo e bonolo, e potlakileng e sebetsang hantle ho aha moaho o molelele oa ts'ebetso holim'a eona. Ho phela ha eona nako e telele ke bopaki ba matla a mokhoa ona. Mefuta ea sejoale-joale ea C++/LLVM e kenyelletsa ho rarahana ha "e etse ka nepo", e amohelang moralo oa pele bakeng sa ts'ireletso le polokeho ea nako e telele. Ho khahlisang, bobeli ba tsona lia kopana. Emacs butle-butle e hlahisitse tlhahlobo e eketsehileng ea mofuta le mokhoa oa ho feto-fetoha ha maemo, ha baetsi ba C++ ba ntlafatsa ka matla std::variant ho qothisana lehlokoa le ts'ebetso ea mekhatlo e tšoailoeng ka letsoho. Thuto ea bohlokoa bakeng sa tsamaiso leha e le efe e rarahaneng, ho kenyeletsa le tsamaiso ea khoebo, ke ho leka-lekanya mehopolo ena.

Melao-motheo e hlahang moqoqong ona e kenyelletsa:

• Katoloso e loketseng bakeng sa Morero: Sebelisa mekhoa ea boemo bo tlase joalo ka ho kenya li-cores tse bohlokoa haholo ts'ebetsong, empa sireletsa sistimi ka li-API tse bolokehileng.
• Litumellano Tse Hlakileng: Ebang ke ka li-bit tag kapa mefuta e meng, hlalosa ka ho hlaka hore na data e ka phalla hokae.
• Gradual Evolution: Litsamaiso tsa lefa li ka kopanya likarolo tsa sejoale-joale tsa polokeho, 'me litsamaiso tsa sejoale-joale li ka sebelisa mekhoa e nepahetseng ea lefa moo ho netefalitsoeng.
• Modular Isolation: E na le maano a fapaneng a boemeli ba boleng ka har'a likhokahano tse hlalositsoeng hantle, e lumellang sistimi e 'ngoe le e' ngoe ho sebelisa sesebelisoa se nepahetseng.

"Histori ea computing ke pale ea ho laola ho rarahana ka ho itokolla, ntle le ho inehela taolong ea bohlokoa. Litlhahiso tsa tagged tsa Emacs le C++'s std::phapang ke lintlha tse fapaneng holim'a sekhahla sena sa nako e telele, e 'ngoe le e' ngoe e re ruta mokhoa oa ho haha ​​litsamaiso tse matla le tse khonang."

Qetello: Ho Aha Bokamoso ka Khetho e Tsebisoang

Qetellong, leeto la ho tloha ho lisupa tse tšoailoeng tsa Emacs Lisp ho ea ho C++'s std::variant le likakaretso tsa LLVM ke 'mapa oa kholo ea boenjiniere ba software. E totobatsa tsela ea ho tsoa ho boqhekanyetsi, e hlokolosi ea lisebelisoa ho ea ho moralo o hlophisitsoeng, o entsoeng ka boomo - ntle le ho lahla makhabane a pele. Bakeng sa sethala se kang Mewayz, taba ena ea nalane e bohlokoa haholo. E tsebisa ka boqapi ba khoebo ea rona ea modular OS, e re tataisang moo re kenyang ts'ebetso e sebetsang hantle ka har'a enjine ea rona ea mantlha le moo re tiisang ts'ireletso ea mofuta o matla ho li-module tsa rona tse shebaneng le basebelisi. Ka ho utloisisa matla le bofokoli ba mekhoa ea motheo e kang litsupa tse tšoailoeng, re ka haha ​​litsamaiso tse matla le tse ka senyehang feela empa hape tse tsitsitseng le tse hlakileng-tse khonang ho tšehetsa litlhoko tse matla, tse rarahaneng tsa khoebo ea sejoale-joale ntle le ho inehela ho brittleness ea nako e fetileng.

Lipotso Tse Botsoang Hangata

Emacs Internals: Tagged Pointers vs. C++ std::variant and LLVM (Karolo 3)

Karolong ena ea ho qetela ea letoto la rona, re shebana le mateano a bohlokoa a meralo: ho kengoa ts'ebetsong ea boemeli ba boleng. Re hlahlobile litheolelo tsa nalane le tekheniki tsa lisupa tse tšoailoeng tsa Emacs Lisp 'me ra li bapisa le mefuta e meng e sireletsehileng ea mofuta oa C++ ea sejoale-joale. Joale, re botsa potso ea bohlokoa: Sisteme ea lefa joalo ka Emacs e ka re ruta eng ka bokamoso ba moralo oa software, 'me lithuto tsee li amana joang le lipolanete tsa sejoale-joale tse kang Mewayz? Karabo ha e felle feela tabeng ea ho khetha mokhoa, empa ho utloisisa likhohlano tse tebileng pakeng tsa ts'ebetso e tala, ts'ireletso ea mofuta, le ts'ebetso ea nako e telele ea tsamaiso.

Tlhoko ya Tshebetso: Mohopolo le Lebelo

Lits'oants'o tse tšoailoeng tsa Emacs ke mosebetsi o tsoileng matsoho oa ntlafatso ea boemo bo tlase. Ka ho boloka tlhahisoleseling ea mofuta ka kotloloho likarolong tse sa sebelisoeng tsa pointer kapa palo e nyane, sistimi e fihlela katleho e makatsang ea sebaka le nakoana. Tlhokomelo ea memori ha e nyane - ha ho na mefuta e fapaneng ea metadata e hlokahalang bakeng sa boleng bo bong le bo bong. Ts'ebetso e joalo ka ho lekola mofuta le ho e romella e fetoha limaske tse bohlale le litšupiso tse fapaneng, tse etsoang ka mekhahlelo e 'maloa ea CPU. Mokhoa ona o bobebe ke oa motheo oa karabelo ea Emacs, e lumellang tikoloho e rarahaneng, e matla ea Lisp ho sebetsa hantle le lits'ebetsong tse thata. Bakeng sa khoebo ea modular OS joalo ka Mewayz, e tlamehang ho hlophisa lintlha le lits'ebetso tse ngata ka nako e le 'ngoe, melaoana e joalo ea ts'ebetso e ke ke ea buisanoa. Leha Mewayz e sebelisa lipuo tsa sejoale-joale, tse bolokehileng bakeng sa ho ts'epahala, filosofi ea mantlha-ho eketsa ts'ebeliso ka nako le potoloho e 'ngoe - e ntse e amana ka kotloloho le ho aha karolo ea khoebo e sebetsang hantle.

Taelo ea Tšireletseho le e Hlakileng ea Mekhoa ea Sejoale-joale

Bapisa sena le C++'s std::variant le LLVM's mofuta oa sistimi. Tsena li emela phetoho ea paradigm ho tloha ho "optimization-pele" ho "nepaha-ka-moralo." A std::variant e hlalosa ka ho hlaka mefuta ea eona e ka bang teng ka nako ea ho bokella, e etsa hore linaha tse seng molaong li se ke tsa emeloa. Moqapi a ka tšoara liphoso tsa mofuta nako e telele pele a etsoa, ​​​​'me sepheo sa khoutu se fetoha ho iketsetsa litokomane. Tšebeliso e pharalletseng ea LLVM ea mefuta ea li-opaque pointer le tlhaiso-leseling e hlakileng ea mofuta oa nako ea ho matha (RTTI) boemeling ba eona ba mahareng e totobatsa mokhoa o hlophisitsoeng, o lekolehang oa data. Phetoho ena e bonts'a tsoelo-pele ea software ea khoebo: ho tloha ho ts'ebetso e senyehang, ea monolithic ho ea ho litsamaiso tse matla, tse modular. Setsing sa tikoloho sa Mewayz, moo mokhoa oa khoebo, othomathike, le botšepehi ba data bo tlamehang ho se be bulletproof, litiisetso tse fanoeng ke mekhoa ea sejoale-joale e bolokehileng e bohlokoa bakeng sa ho boloka ho hlaka le ho thibela liphoso tse bitsang chelete e ngata ha tsamaiso e ntse e eketseha.

Architectural Philosophy: Legacy Wisdom vs. Modern Rigor

Khetho lipakeng tsa mefuta ena ha se ea tekheniki feela; ke filosofi. Emacs e kenyelletsa "pragmatism" e mpe le ho feta - tharollo e bonolo, e potlakileng e sebetsang hantle ho aha moaho o molelele oa ts'ebetso holim'a eona. Ho phela ha eona nako e telele ke bopaki ba matla a mokhoa ona. Mefuta ea sejoale-joale ea C++/LLVM e kenyelletsa ho rarahana ha "e etse ka nepo", e amohelang moralo oa pele bakeng sa ts'ireletso le polokeho ea nako e telele. Ho khahlisang, bobeli ba tsona lia kopana. Emacs butle-butle e hlahisitse tlhahlobo e eketsehileng ea mofuta le mokhoa oa ho feto-fetoha ha maemo, ha li-comactor tsa C++ li ntlafatsa ka matla std:: mefuta e fapaneng ea ho qothisana lehlokoa le ts'ebetso ea mekhatlo e tšoailoeng ka letsoho. Thuto ea bohlokoa bakeng sa tsamaiso leha e le efe e rarahaneng, ho kenyeletsa le tsamaiso ea khoebo, ke ho leka-lekanya mehopolo ena.

Qetello: Ho Aha Bokamoso ka Khetho e Tsebisoang

Qetellong, leeto ho tloha ho lisupa tse tšoailoeng tsa Emacs Lisp ho ea ho C++'s std::variant le LLVM's abstractions ke 'mapa oa kholo ea boenjiniere ba software. E totobatsa tsela ea ho tsoa ho boqhekanyetsi, e hlokolosi ea lisebelisoa ho ea ho moralo o hlophisitsoeng, o entsoeng ka boomo - ntle le ho lahla makhabane a pele. Bakeng sa sethala se kang Mewayz, taba ena ea nalane e bohlokoa haholo. E tsebisa ka boqapi ba khoebo ea rona ea modular OS, e re tataisang moo re kenyang ts'ebetso e sebetsang hantle ka har'a enjine ea rona ea mantlha le moo re tiisang ts'ireletso ea mofuta o matla ho li-module tsa rona tse shebaneng le basebelisi. Ka ho utloisisa matla le bofokoli ba mekhoa ea motheo e kang litsupa tse tšoailoeng, re ka haha ​​litsamaiso tse matla le tse ka senyehang feela empa hape tse tsitsitseng le tse hlakileng-tse khonang ho tšehetsa litlhoko tse matla, tse rarahaneng tsa khoebo ea sejoale-joale ntle le ho inehela ho brittleness ea nako e fetileng.