SBCL: Lisp Caameed ee Sanely-Bootstrappable (2008) [pdf]

Hordhac ku saabsan SBCL iyo Drive for Software Purity

Dunida qalafsan ee horumarinta software-ka, hawlo yar ayaa asaasi u ah-ama sida ay u badan tahay kakanaanta-sida dhisidda iskudubarid. Habka, oo loo yaqaan bootstrapping, waxay ku lug leedahay isticmaalka iskudubarid jira si loo dhiso nooc cusub oo laftiisa ah. Tani waxay u horseedi kartaa dhibaato "digaagga iyo ukunta": sidee ayaad u hubin kartaa saxsanaanta isku-dubaridahaaga dhisay? Sannadkii 2008dii, guul muhiim ah ayaa laga gaaray wax ka qabashada arrintaan oo loogu talagalay bulshada Lisp-ka wadaagga ah siideynta warqadda Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp." Shaqadani waxay ka beddeshay Steel Bank Common Lisp (SBCL) fulinta waxqabad sare oo ay u rogtay hufnaan iyo aaminnimo, mabaadi'da si qoto dheer uga falcelisa muuqaalka software-ka ee maanta oo la jaan qaada falsafada asaasiga ah ee aaladaha sida Mewayz ee doonaya inay bixiyaan nidaamyo ganacsi oo la isku halayn karo, la fahmi karo.

Maxay ka dhigan tahay "Sanely-Bootstrappable"?

Isbeddelka SBCL ka hor, dhisida koobiyaha Lisp Common inta badan wuxuu u baahday nidaam hore u jiray, badiyaa lahaansho, nidaamka Lisp Common si uu u socodsiiyo habka dhismaha. Tani waxay abuurtay ku-tiirsanaanta silsiladda "kalsoonida kalsoonida", fikradda uu si caan ah u qeexay Ken Thompson muxaadaradii Abaalmarinta Turing 1984. Walaaca jira ayaa ah in jilaa xaasidnimo ah uu u soo bandhigi karo nuglaanshaha qarsoon ee iskudubarid, kaas oo markaa aamusnaan ku faafin doona nuglaanta barnaamij kasta oo xiga oo uu ururiyo, oo ay ku jiraan noocyada mustaqbalka laftiisa. Nidaam "fiyow-bootstrappable" ayaa jebiya silsiladdan. Waxay ku siinaysaa waddo cad, oo la xisaabin karo laga bilaabo ugu yar, barta bilawga fudud-badanaa tiro yar oo kood ah oo ku qoran luqadda heerka hoose sida C-ilaa mid dhamaystiran, iskudubarid casri ah. Tani waxay u oggolaanaysaa horumariyayaashu inay xaqiijiyaan tallaabo kasta oo hawsha ah, iyadoo la hubinayo in natiijada binary-ga ay ka madax bannaan yihiin wax-ka-qabashada iyo hab-dhaqankiisu inuu yahay sida loogu talagalay koodka isha.

Nidaamka Bootstrapka SBCL: Laga bilaabo C ilaa Lisp Common

Warqadda Christophe Rhodes ayaa tafaasiil ka bixisay sida SBCL u gaadhay heerkan la damcay. Habka bootstrapku waa safar xiiso leh oo nidaamka laftiisa u dhisayo marxalado. Kuma bilaabmayso jawiga Lisp-ga guud oo buuxa, balse waxa ku qoran turjumaan Lisp ugu yar oo lagu qoray C. Turjubaanka, oo inta badan loo yaqaan nidaamka "bilawga qabow", ayaa ah mid awood badan oo ku filan inuu fuliyo koodhka isha ee SBCL. Nidaamku wuxuu ku lug leeyahay laba marxaladood oo muhiim ah:

• Marxaladda 1: Turjubaanka C-ku-saleysan wuxuu ururiyaa galalka isha ee aasaasiga ah ee SBCL. Tani waxay abuurtaa jawi hore oo SBCL ah balse shaqaynaysa kaasoo weli ku socda turjubaanka dushiisa.
• Marxaladda 2aad: Deegaankan cusub ee SBCL waxa loo isticmaalayaa in mar kale la soo ururiyo koodhka isha SBCL, balse markan gabi ahaanba isagaa iska leh. Natiijadu waa "kulul" SBCL oo la fulin karo oo ka madax bannaan turjubaanka asalka ah ee C oo si caadi ah ugu socon kara mashiinka martida loo yahay.

Awoodda is-martigelinta ayaa ah tiirka u ah in si miyir leh loo kabo. Waxay ka dhigan tahay in qof kastaa uu qaadan karo koodhka isha ee SBCL ee la daabacay oo, oo leh halbeegga C caadiga ah, uu dhisi karo SBCL la xaqiijiyay, oo la aamini karo oo laga soo bilaabo dhulka. Tani waxay meesha ka saaraysaa ku tiirsanaanta suurtagalka ah ee la jabiyay binary horay loo soo ururiyay.

Waa maxay sababta Bootstrappability-gu ay muhiim ugu tahay Software-ka Casriga ah

Mabaadi'da ka dambeysa naqshadeynta SBCL waxay aad uga fog tahay xiisaha tacliinta. Xilliga ay weerarrada silsiladda sahayda software-ku ay khatar weyn yihiin, awoodda xisaabinta iyo xaqiijinta qalabka aan isticmaalno ayaa muhim ah. Ganacsiyada ku tiirsan xirmooyinka software-ka adag, hubin la'aanta lakabyada aasaasiga ah waxay u horseedi kartaa ammaan iyo khataro hawleed oo la taaban karo. Warqadda SBCL waxay muujinaysaa inay suurtogal tahay in la dhiso nidaamyo adag oo adag iyada oo aan la hurin xaqiijinta. Hab-dhaqankan dhisidda habab hufan oo la isku hallayn karo oo ka imanaya aasaas la aamini karo waxa wadaaga aaladaha sida Mewayz. Sida SBCL ay u bixiso saldhig adag oo la xisaabin karo horumarinta software, Mewayz waxa uu hiigsanayaa in uu bixiyo OS ganacsi modular ah oo hufan, isaga oo siinaya shirkadaha aragti cad oo ku saabsan socodka shaqada iyo daacadnimada xogta, si loo dhiso jawi ganacsi oo la aamini karo oo la xakameyn karo.

Waraqaddu waxay ku soo gabagabaynaysaa iyada oo iftiiminaysa in geeddi-socodka bootstrap SBCL, in kasta oo kakan,, uu siinayo "dariiqa abuur yar, la xisaabin karo oo loo maro nidaam dhammaystiran oo Lisp Wadajir ah," isagoo si wax ku ool ah u dhimaya dhibaatada "aaminadda kalsoonida" iyo dejinta halbeeg cusub oo loogu talagalay isku-duubnida.

Dhaxalka iyo Saamaynta Waarta

Warqaddii 2008 ee SBCL waxay sumcaddeeda ku tilmaantay in aanay ahayn mid ka mid ah hirgelinta Lisp-wadaagga ugu dhaqsaha badan, laakiin sidoo kale waa mid ka mid ah kuwa ugu xooggan uguna kalsoonida badan. Waxay u adeegtaa sidii kiis awood leh oo loogu talagalay dhammaan warshadaha softiweerka, taas oo caddaynaysa in waxqabadka iyo amniga aan loo baahnayn in la is-dhaafsado. Iyada oo la kala horraysiinayo hab-socodka bootstrap-ka miyir-qabka ah, bulshada SBCL waxay kobcisay kalsooni weyn iyo awood-soosaarayaasha si ay si buuxda ula wareegaan lahaanshaha qalabkooda. Ballan-qaadkan abuurista nidaamyo awood leh iyo kuwo la fahmi karo ayaa weli ah iftiin hagaya, taasoo dhiirigelinaysa hab ka baaraandeg ah oo ammaan ah oo ku aaddan injineernimada softiweerka oo qiimeeya dhammaan silsiladda abuurista, laga bilaabo safka koowaad ee koodhka ilaa kan ugu dambeeya ee la fulin karo.

Su'aalaha Inta badan La Isweydiiyo

Hordhac ku saabsan SBCL iyo Drive for Software Purity

Dunida qalafsan ee horumarinta software-ka, hawlo yar ayaa asaasi u ah-ama sida ay u badan tahay kakanaanta-sida dhisidda iskudubarid. Habka, oo loo yaqaan bootstrapping, waxay ku lug leedahay isticmaalka iskudubarid jira si loo dhiso nooc cusub oo laftiisa ah. Tani waxay u horseedi kartaa dhibaato "digaagga iyo ukunta": sidee ayaad u hubin kartaa saxsanaanta isku-dubaridahaaga dhisay? Sannadkii 2008dii, guul muhiim ah ayaa laga gaaray wax ka qabashada arrintaan oo loogu talagalay bulshada Lisp-ka wadaagga ah siideynta warqadda Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp." Shaqadani waxay ka beddeshay Steel Bank Common Lisp (SBCL) fulinta waxqabad sare oo ay u rogtay hufnaan iyo aaminnimo, mabaadi'da si qoto dheer uga falcelisa muuqaalka software-ka ee maanta oo la jaan qaada falsafada asaasiga ah ee aaladaha sida Mewayz ee doonaya inay bixiyaan nidaamyo ganacsi oo la isku halayn karo, la fahmi karo.

Maxay ka dhigan tahay "Sanely-Bootstrappable"?

Isbeddelka SBCL ka hor, dhisida koobiyaha Lisp Common inta badan wuxuu u baahday nidaam hore u jiray, badiyaa lahaansho, nidaamka Lisp Common si uu u socodsiiyo habka dhismaha. Tani waxay abuurtay ku-tiirsanaanta silsiladda "kalsoonida kalsoonida", fikradda uu si caan ah u qeexay Ken Thompson muxaadaradii Abaalmarinta Turing 1984. Walaaca jira ayaa ah in jilaa xaasidnimo ah uu u soo bandhigi karo nuglaanshaha qarsoon ee iskudubarid, kaas oo markaa aamusnaan ku faafin doona nuglaanta barnaamij kasta oo xiga oo uu ururiyo, oo ay ku jiraan noocyada mustaqbalka laftiisa. Nidaam "fiyow-bootstrappable" ayaa jebiya silsiladdan. Waxay ku siinaysaa waddo cad, oo la xisaabin karo laga bilaabo ugu yar, barta bilawga fudud-badanaa tiro yar oo kood ah oo ku qoran luqadda heerka hoose sida C-ilaa mid dhamaystiran, iskudubarid casri ah. Tani waxay u oggolaanaysaa horumariyayaashu inay xaqiijiyaan tallaabo kasta oo hawsha ah, iyadoo la hubinayo in natiijada binary-ga ay ka madax bannaan yihiin wax-ka-qabashada iyo hab-dhaqankiisu inuu yahay sida loogu talagalay koodka isha.

Nidaamka Bootstrapka SBCL: Laga bilaabo C ilaa Lisp Common

Warqadda Christophe Rhodes ayaa tafaasiil ka bixisay sida SBCL u gaadhay heerkan la damcay. Habka bootstrapku waa safar xiiso leh oo nidaamka laftiisa u dhisayo marxalado. Kuma bilaabmayso jawiga Lisp-ga guud oo buuxa, balse waxa ku qoran turjumaan Lisp ugu yar oo lagu qoray C. Turjubaanka, oo inta badan loo yaqaan nidaamka "bilawga qabow", ayaa ah mid awood badan oo ku filan inuu fuliyo koodhka isha ee SBCL. Nidaamku wuxuu ku lug leeyahay laba marxaladood oo muhiim ah:

Waa maxay sababta Bootstrappability-gu ay muhiim ugu tahay Software-ka Casriga ah

Mabaadi'da ka dambeysa naqshadeynta SBCL waxay aad uga fog tahay xiisaha tacliinta. Xilliga ay weerarrada silsiladda sahayda software-ku ay khatar weyn yihiin, awoodda xisaabinta iyo xaqiijinta qalabka aan isticmaalno ayaa muhim ah. Ganacsiyada ku tiirsan xirmooyinka software-ka adag, hubin la'aanta lakabyada aasaasiga ah waxay u horseedi kartaa ammaan iyo khataro hawleed oo la taaban karo. Warqadda SBCL waxay muujinaysaa inay suurtogal tahay in la dhiso nidaamyo adag oo adag iyada oo aan la hurin xaqiijinta. Hab-dhaqankan dhisidda habab hufan oo la isku hallayn karo oo ka imanaya aasaas la aamini karo waxa wadaaga aaladaha sida Mewayz. Sida SBCL ay u bixiso saldhig adag oo la xisaabin karo horumarinta software, Mewayz waxa uu hiigsanayaa in uu bixiyo OS ganacsi modular ah oo hufan, isaga oo siinaya shirkadaha aragti cad oo ku saabsan socodka shaqada iyo daacadnimada xogta, si loo dhiso jawi ganacsi oo la aamini karo oo la xakameyn karo.

Dhaxalka iyo Saamaynta Waarta

Warqaddii 2008 ee SBCL waxay sumcaddeeda ku tilmaantay in aanay ahayn mid ka mid ah hirgelinta Lisp-wadaagga ugu dhaqsaha badan, laakiin sidoo kale waa mid ka mid ah kuwa ugu xooggan uguna kalsoonida badan. Waxay u adeegtaa sidii kiis awood leh oo loogu talagalay dhammaan warshadaha softiweerka, taas oo caddaynaysa in waxqabadka iyo amniga aan loo baahnayn in la is-dhaafsado. Iyada oo la kala horraysiinayo hab-socodka bootstrap-ka miyir-qabka ah, bulshada SBCL waxay kobcisay kalsooni weyn iyo awood-soosaarayaasha si ay si buuxda ula wareegaan lahaanshaha qalabkooda. Ballan-qaadkan abuurista nidaamyo awood leh iyo kuwo la fahmi karo ayaa weli ah iftiin hagaya, taasoo dhiirigelinaysa hab ka baaraandeg ah oo ammaan ah oo ku aaddan injineernimada softiweerka oo qiimeeya dhammaan silsiladda abuurista, laga bilaabo safka koowaad ee koodhka ilaa kan ugu dambeeya ee la fulin karo.