SBCL: Lisp leyi tolovelekeke leyi nga na Sanely-Bootstrappable (2008) [pdf].

Xingheniso xa SBCL na Drive ya Vutengi bya Software

Emisaveni leyi rharhanganeke ya nhluvukiso wa software, mintirho yitsongo leyi nga ya xisekelo—kumbe leyi nga ha talaka hi ku rharhangana—ku fana ni ku aka muhlengeleti. Endlelo leri, leri tivekaka tani hi bootstrapping, ri katsa ku tirhisa compiler leyi nga kona ku aka version leyintshwa ya yona. Leswi swi nga vanga xiphiqo xa "huku na tandza": xana u tiyisisa njhani ku lulama ka muhlengeleti loyi a akeke muhlengeleti wa wena? Hi 2008, xiendlakalo xa nkoka xi fikeleriwile eku lulamiseni ka mhaka leyi hi yoxe eka vaaki va Common Lisp hi ku humesiwa ka phepha ra Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp." Ntirho lowu wu hundzule Steel Bank Common Lisp (SBCL) ku suka eka ku tirhisiwa ka matirhelo ya le henhla ku ya eka xikombiso xa ku va erivaleni na ku tshembheka, milawu leyi twala swinene eka ndhawu ya software ya namuntlha naswona yi fambisana na filosofi ya nkoka ya tipulatifomo to fana na Mewayz leti lavaka ku nyika tisisiteme ta mabindzu leti tshembekaka, leti twisisekaka.

Xana "Sanely-Bootstrappable" Yi Vula Yini?

Emahlweni ka ku cinca ka SBCL, ku aka muhlengeleti wa Common Lisp hakanyingi a swi lava sisiteme ya Common Lisp leyi nga kona khale, leyi talaka ku va ya vulawuri, ku fambisa endlelo ro aka. Leswi swi endle leswaku ku titshega hi "trusting trust" chain, ku nga mhaka leyi dumeke leyi hlamuseriweke hi Ken Thompson eka nkulumo ya yena ya Sagwadi ra Turing ra 1984. Ku vilela hi leswaku mutlangi la nga ni khombo a nga nghenisa vuhlayiseki lebyi fihliweke eka muhlengeleti, loyi endzhaku a nga ta hangalasa vuhlayiseki byebyo hi ku miyela eka nongonoko wun’wana ni wun’wana lowu landzelaka lowu a wu hlengeletaka, ku katsa ni vuhundzuluxeri bya nkarhi lowu taka bya wona. Endlelo ra "sanely-bootstrappable" ri tshoveka nketani leyi. Yi nyika ndlela leyi nga erivaleni, leyi oditiwaka ku suka eka masungulo lamatsongo, yo olova—hakanyingi nhlayo yitsongo ya khodi hi ririmi ra xiyimo xa le hansi ku fana na C—ku ya eka muhlengeleti la heleleke, la rharhanganeke. Leswi swi pfumelela vatumbuluxi ku tiyisisa goza rin’wana na rin’wana ra phurosese, ku tiyisisa leswaku binary leyi humelelaka a yi na ku onhiwa naswona mahanyelo ya yona ya kahle tanihilaha swi kunguhatiweke hakona hi khodi ya yona ya xihlovo.

Ndlela ya SBCL Bootstrap: Ku suka eka C ku ya eka Common Lisp

Phepha ra Christophe Rhodes ri hlamuserile hi vuxokoxoko ndlela leyi SBCL yi fikeleleke xiyimo lexi lexi navetisiwaka ha yona. Endlelo ra bootstrap i riendzo ro tsakisa ra sisiteme leyi tiaka hi yoxe hi switeji. A yi sunguli hi ndhawu ya Common Lisp leyi heleleke, kambe hi muhundzuluxeri wa Lisp lowutsongo lowu tsariweke hi C. Mutoloki loyi, loyi a talaka ku vitaniwa sisiteme ya "cold start", u na matimba ntsena yo tirhisa khodi ya xihlovo ya SBCL ya nkoka. Endlelo ri katsa swiyenge swimbirhi swa nkoka:

• Xiyimo xo sungula: Mutoloki loyi a simekiweke eka C u hlengeleta tifayela ta xihlovo xa xisekelo ta SBCL. Leswi swi tumbuluxa ndhawu ya SBCL ya khale kambe leyi tirhaka leyi ya ha tirhaka ehenhla ka muhundzuluxeri.
• Xiyimo xa 2: Ndhawu leyi leyintshwa ya SBCL yi tlhela yi tirhisiwa ku hlengeleta khodi ya xihlovo ya SBCL nakambe, kambe nkarhi lowu hi ku helela endzeni ka yona. Mbuyelo i "hot" SBCL executable leyi tiyimeleke hi yoxe eka muhlamuseri wa C wo sungula naswona yi nga tirha hi ndlela ya ntumbuluko eka muchini wa host.

Vuswikoti lebyi byo tikhoma i ribye ra xisekelo ra ku va sanely-bootstrappable. Swi vula leswaku un’wana na un’wana a nga teka khodi ya xihlovo ya SBCL leyi kandziyisiweke naswona, hi muhlengeleti wa C wa ntolovelo, a aka xitirhisiwa xa SBCL lexi tiyisisiweke, lexi tshembekaka ku suka ehansi. Leswi swi herisa ku titshega hi ti binaries leti nga ha vaka ekhombyeni leti hlengeletiweke ka ha ri emahlweni.

Ha yini Bootstrappability yi ri ya nkoka eka Software ya manguva lawa

Misinya ya milawu leyi nga endzhaku ka dizayini ya SBCL yi tlula swinene ku tsakela ka swa tidyondzo. Eka nguva leyi minhlaselo ya mphakelo wa software yi nga nxungeto wa nkoka, vuswikoti byo odita na ku tiyisisa switirhisiwa leswi hi swi tirhisaka i swa nkoka swinene. Eka mabindzu lama titshegeke hi switachi swa software leswi rharhanganeke, ku nga tiyiseki eka swiphemu swa masungulo swi nga yisa eka makhombo lamakulu ya vuhlayiseki na matirhelo. Phepha ra SBCL ri kombisa leswaku swa koteka ku aka tisisiteme ta matimba, to rharhangana handle ko lahlekeriwa hi ku tiyisisiwa. Ethos leyi ya ku aka tisisiteme leti nga erivaleni na ku tshembheka ku suka eka masungulo lama tshembekaka yi averiwa hi tipulatifomo to fana na Mewayz. Tanihi leswi SBCL yi nyikaka xisekelo xo tiya, lexi oditiwaka xa nhluvukiso wa sofwere, Mewayz yi kongomisa ku nyika OS ya bindzu ya modula na leyi nga erivaleni, ku nyika tikhamphani vutivi lebyi nga erivaleni eka maendlelo ya ntirho ya tona ya matirhelo na vutshembeki bya datha, hi ndlela yoleyo ku aka ndhawu ya bindzu leyi tshembekaka no lawuriwa.

Phepha ri gimeta hi ku kombisa leswaku endlelo ra bootstrap ra SBCL, hambi leswi ri rharhanganeke, ri nyika "ndlela ku suka eka mbewu leyitsongo, leyi oditiwaka ku ya eka sisiteme ya Common Lisp leyi heleleke," hi ndlela leyinene ri hunguta xiphiqo xa "ku tshemba ku tshemba" na ku veka mpimanyeto lowuntshwa wa vutshembeki bya muhlengeleti.

Ndzhaka na Vuyelo lebyi nga heriki

Phepha ra 2008 eka SBCL ri tiyisisile ndhuma ya rona tanihi ku nga ri yin’wana ya ku tirhisiwa ka Common Lisp loku hatlisaka ntsena, kambe na yin’wana ya leyi tiyeke swinene no tshembheka. Yi tirha tanihi dyondzo ya xiyimo xa matimba eka indasitiri hinkwayo ya software, ku kombisa leswaku matirhelo na vuhlayiseki a swi fanelanga ku va swi hambanile. Hi ku rhangisa emahlweni endlelo ra sane bootstrap, vaaki va SBCL va kurisile ku tshemba lokukulu na ku nyika matimba eka vatumbuluxi ku teka vun’wini lebyi heleleke bya toolchain ya vona. Ku tinyiketela loku ku tumbuluxa tisisiteme leti nga na matimba na ku twisiseka ku tshama ku ri ku vonakala loku kongomisaka, ku hlohlotela endlelo leri nga na vukheta na ku sirheleleka eka vunjhiniyara bya software leri tekelaka enhlokweni nxaxamelo hinkwawo wa vutumbuluxi, ku suka eka layini yo sungula ya khodi ku ya eka leyi tirhisiwaka yo hetelela.

Swivutiso Leswi Vutisiwaka Nkarhi Na Nkarhi

Xingheniso xa SBCL na Drive ya Vutengi bya Software

Emisaveni leyi rharhanganeke ya nhluvukiso wa software, mintirho yitsongo leyi nga ya xisekelo—kumbe leyi nga ha talaka hi ku rharhangana—ku fana ni ku aka muhlengeleti. Endlelo leri, leri tivekaka tani hi bootstrapping, ri katsa ku tirhisa compiler leyi nga kona ku aka version leyintshwa ya yona. Leswi swi nga vanga xiphiqo xa "huku na tandza": xana u tiyisisa njhani ku lulama ka muhlengeleti loyi a akeke muhlengeleti wa wena? Hi 2008, xiendlakalo xa nkoka xi fikeleriwile eku lulamiseni ka mhaka leyi hi yoxe eka vaaki va Common Lisp hi ku humesiwa ka phepha ra Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp." Ntirho lowu wu hundzule Steel Bank Common Lisp (SBCL) ku suka eka ku tirhisiwa ka matirhelo ya le henhla ku ya eka xikombiso xa ku va erivaleni na ku tshembheka, milawu leyi twala swinene eka ndhawu ya software ya namuntlha naswona yi fambisana na filosofi ya nkoka ya tipulatifomo to fana na Mewayz leti lavaka ku nyika tisisiteme ta mabindzu leti tshembekaka, leti twisisekaka.

Xana "Sanely-Bootstrappable" Yi Vula Yini?

Emahlweni ka ku cinca ka SBCL, ku aka muhlengeleti wa Common Lisp hakanyingi a swi lava sisiteme ya Common Lisp leyi nga kona khale, leyi talaka ku va ya vulawuri, ku fambisa endlelo ro aka. Leswi swi endle leswaku ku titshega hi "trusting trust" chain, ku nga mhaka leyi dumeke leyi hlamuseriweke hi Ken Thompson eka nkulumo ya yena ya Sagwadi ra Turing ra 1984. Ku vilela hi leswaku mutlangi la nga ni khombo a nga nghenisa vuhlayiseki lebyi fihliweke eka muhlengeleti, loyi endzhaku a nga ta hangalasa vuhlayiseki byebyo hi ku miyela eka nongonoko wun’wana ni wun’wana lowu landzelaka lowu a wu hlengeletaka, ku katsa ni vuhundzuluxeri bya nkarhi lowu taka bya wona. Endlelo ra "sanely-bootstrappable" ri tshoveka nketani leyi. Yi nyika ndlela leyi nga erivaleni, leyi oditiwaka ku suka eka masungulo lamatsongo, yo olova—hakanyingi nhlayo yitsongo ya khodi hi ririmi ra xiyimo xa le hansi ku fana na C—ku ya eka muhlengeleti la heleleke, la rharhanganeke. Leswi swi pfumelela vatumbuluxi ku tiyisisa goza rin’wana na rin’wana ra phurosese, ku tiyisisa leswaku binary leyi humelelaka a yi na ku onhiwa naswona mahanyelo ya yona ya kahle tanihilaha swi kunguhatiweke hakona hi khodi ya yona ya xihlovo.

Ndlela ya SBCL Bootstrap: Ku suka eka C ku ya eka Common Lisp

Phepha ra Christophe Rhodes ri hlamuserile hi vuxokoxoko ndlela leyi SBCL yi fikeleleke xiyimo lexi lexi navetisiwaka ha yona. Endlelo ra bootstrap i riendzo ro tsakisa ra sisiteme leyi tiaka hi yoxe hi switeji. A yi sunguli hi ndhawu ya Common Lisp leyi heleleke, kambe hi muhundzuluxeri wa Lisp lowutsongo lowu tsariweke hi C. Mutoloki loyi, loyi a talaka ku vitaniwa sisiteme ya "cold start", u na matimba ntsena yo tirhisa khodi ya xihlovo ya SBCL ya nkoka. Endlelo ri katsa swiyenge swimbirhi swa nkoka:

Ha yini Bootstrappability yi ri ya nkoka eka Software ya manguva lawa

Misinya ya milawu leyi nga endzhaku ka dizayini ya SBCL yi tlula swinene ku tsakela ka swa tidyondzo. Eka nguva leyi minhlaselo ya mphakelo wa software yi nga nxungeto wa nkoka, vuswikoti byo odita na ku tiyisisa switirhisiwa leswi hi swi tirhisaka i swa nkoka swinene. Eka mabindzu lama titshegeke hi switachi swa software leswi rharhanganeke, ku nga tiyiseki eka swiphemu swa masungulo swi nga yisa eka makhombo lamakulu ya vuhlayiseki na matirhelo. Phepha ra SBCL ri kombisa leswaku swa koteka ku aka tisisiteme ta matimba, to rharhangana handle ko lahlekeriwa hi ku tiyisisiwa. Ethos leyi ya ku aka tisisiteme leti nga erivaleni na ku tshembheka ku suka eka masungulo lama tshembekaka yi averiwa hi tipulatifomo to fana na Mewayz. Tanihi leswi SBCL yi nyikaka xisekelo xo tiya, lexi oditiwaka xa nhluvukiso wa sofwere, Mewayz yi kongomisa ku nyika OS ya bindzu ya modula na leyi nga erivaleni, ku nyika tikhamphani vutivi lebyi nga erivaleni eka maendlelo ya ntirho ya tona ya matirhelo na vutshembeki bya datha, hi ndlela yoleyo ku aka ndhawu ya bindzu leyi tshembekaka no lawuriwa.

Ndzhaka na Vuyelo lebyi nga heriki

Phepha ra 2008 eka SBCL ri tiyisisile ndhuma ya rona tanihi ku nga ri yin’wana ya ku tirhisiwa ka Common Lisp loku hatlisaka ntsena, kambe na yin’wana ya leyi tiyeke swinene no tshembheka. Yi tirha tanihi dyondzo ya xiyimo xa matimba eka indasitiri hinkwayo ya software, ku kombisa leswaku matirhelo na vuhlayiseki a swi fanelanga ku va swi hambanile. Hi ku rhangisa emahlweni endlelo ra sane bootstrap, vaaki va SBCL va kurisile ku tshemba lokukulu na ku nyika matimba eka vatumbuluxi ku teka vun’wini lebyi heleleke bya toolchain ya vona. Ku tinyiketela loku ku tumbuluxa tisisiteme leti nga na matimba na ku twisiseka ku tshama ku ri ku vonakala loku kongomisaka, ku hlohlotela endlelo leri nga na vukheta na ku sirheleleka eka vunjhiniyara bya software leri tekelaka enhlokweni nxaxamelo hinkwawo wa vutumbuluxi, ku suka eka layini yo sungula ya khodi ku ya eka leyi tirhisiwaka yo hetelela.