SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf]

Introduzzjoni għall-SBCL u d-Drive għall-Purità tas-Software

Fid-dinja kkomplikata tal-iżvilupp tas-softwer, ftit kompiti huma fundamentali—jew potenzjalment mimlijin kumplessità—bħal bini ta' kompilatur. Il-proċess, magħruf bħala bootstrapping, jinvolvi l-użu ta 'kompilatur eżistenti biex tinbena verżjoni ġdida tiegħu nnifsu. Dan jista 'jwassal għal problema ta' "tiġieġ u bajd": kif tivverifika l-korrettezza tal-kompilatur li bena l-kompilatur tiegħek? Fl-2008, inkiseb tragward sinifikanti fl-indirizzar ta' din il-kwistjoni stess għall-komunità Common Lisp bir-rilaxx tad-dokument ta' Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp." Dan ix-xogħol ittrasforma l-Steel Bank Common Lisp (SBCL) minn implimentazzjoni ta' prestazzjoni għolja f'dehra ta' trasparenza u affidabbiltà, prinċipji li jolqtu ħafna fil-pajsaġġ tas-softwer tal-lum u jallinjaw mal-filosofija ewlenija ta' pjattaformi bħal Mewayz li jfittxu li jipprovdu sistemi ta' negozju affidabbli u li jinftiehmu.

X'Ifisser "Sanely-Bootstrappable"?

Qabel it-trasformazzjoni ta' SBCL, il-bini ta' kompilatur Common Lisp spiss kien jeħtieġ sistema Common Lisp pre-eżistenti, ħafna drabi proprjetarja, biex imexxi l-proċess tal-bini. Dan ħoloq dipendenza fuq katina ta' "trusting trust", kunċett deskritt b'mod famuż minn Ken Thompson fil-lecture tiegħu tal-Premju Turing tal-1984. It-tħassib huwa li attur malizzjuż jista 'jintroduċi vulnerabbiltà moħbija f'kompilatur, li mbagħad jippropaga fis-skiet dik il-vulnerabbiltà f'kull programm sussegwenti li jikkompila, inklużi verżjonijiet futuri tiegħu innifsu. Sistema "sanely-bootstrappable" tkisser din il-katina. Jipprovdi triq ċara u awditjabbli minn punt ta' tluq minimu u sempliċi—spiss ammont żgħir ta' kodiċi f'lingwa ta' livell aktar baxx bħal C—sal-kompilatur sħiħ u sofistikat. Dan jippermetti lill-iżviluppaturi jivverifikaw kull pass tal-proċess, u jiżgura li l-binarju li jirriżulta huwa ħieles minn tbagħbis u l-imġieba tiegħu hija eżattament kif intenzjonat mill-kodiċi tas-sors tagħha.

Il-Proċess Bootstrap SBCL: Minn C għal Lisp Komuni

Il-karta ta' Christophe Rhodes iddettalja kif SBCL kisbet dan l-istatus tant mixtieq. Il-proċess bootstrap huwa vjaġġ affaxxinanti ta 'sistema li tibni lilha nnifisha fi stadji. Jibda mhux b'ambjent sħiħ ta 'Common Lisp, iżda b'interpretu Lisp minimu miktub f'Ċ. Dan l-interpretu, spiss imsejjaħ is-sistema ta' "bidu kiesaħ", huwa biss b'saħħtu biżżejjed biex jesegwixxi l-kodiċi tas-sors SBCL ewlieni. Il-proċess jinvolvi żewġ stadji ewlenin:

• Stadju 1: L-interpretu bbażat fuq C jikkompila l-fajls tas-sors fundamentali SBCL. Dan joħloq ambjent SBCL primittiv iżda li jaħdem li għadu għaddej fuq l-interpretu.
• Stadju 2: Dan l-ambjent SBCL ġdid imbagħad jintuża biex jerġa' jikkompila l-kodiċi tas-sors SBCL, iżda din id-darba kompletament fih innifsu. Ir-riżultat huwa eżekutibbli SBCL "taħraq" li huwa indipendenti mill-interpretu C oriġinali u jista' jaħdem b'mod nattiv fuq il-magna ospitanti.

Din il-kapaċità ta' self-hosting hija l-pedament biex tkun tista' tiġġenera b'mod ġenwin. Dan ifisser li kulħadd jista 'jieħu l-kodiċi tas-sors SBCL ippubblikat u, b'kompilatur C standard, jibni eżekutibbli SBCL ivverifikat u affidabbli mill-qiegħ. Dan jelimina d-dipendenza fuq binarji kkumpilati minn qabel potenzjalment kompromessi.

Għaliex il-Bootstrappability Jgħodd għal Software Modern

Il-prinċipji wara d-disinn ta' SBCL jestendu ferm lil hinn mill-interess akkademiku. F'era fejn l-attakki tal-katina tal-provvista tas-softwer huma theddida kritika, l-abbiltà li nivverifikaw u nivverifikaw l-għodod li nużaw hija importanti ħafna. Għan-negozji li jiddependu fuq stacks ta' softwer kumplessi, l-inċertezza fis-saffi fundamentali tista' twassal għal sigurtà sinifikanti u riskji operattivi. Il-karta SBCL turi li huwa possibbli li jinbnew sistemi qawwija u kumplessi mingħajr ma tiġi sagrifikata l-verifikabbiltà. Dan l-ethos tal-bini ta' sistemi trasparenti u affidabbli minn pedament fdat huwa kondiviż minn pjattaformi bħal Mewayz. Hekk kif SBCL jipprovdi bażi soda u verifikabbli għall-iżvilupp tas-softwer, Mewayz għandu l-għan li jipprovdi OS tan-negozju modulari u trasparenti, li jagħti lill-kumpaniji ħarsa ċara dwar il-flussi tax-xogħol operattivi tagħhom u l-integrità tad-dejta, u b'hekk jibni ambjent tan-negozju aktar affidabbli u kontrollabbli.

Id-dokument jikkonkludi billi jenfasizza li l-proċess bootstrap ta' SBCL, filwaqt li huwa kumpless, jipprovdi "mogħdija minn żerriegħa żgħira u verifikabbli għal sistema sħiħa ta' Common Lisp," li effettivament itaffu l-problema ta' "trusting trust" u tistabbilixxi standard ġdid għall-integrità tal-kompilatur.

Legat u Impatt dejjiemi

Id-dokument tal-2008 dwar l-SBCL kkonsolidat ir-reputazzjoni tagħha bħala mhux biss waħda mill-implimentazzjonijiet tal-Common Lisp l-aktar mgħaġġla, iżda wkoll waħda mill-aktar robusti u affidabbli. Hija sservi bħala studju ta 'każ b'saħħtu għall-industrija kollha tas-softwer, li jipprova li l-prestazzjoni u s-sigurtà m'għandhomx għalfejn ikunu esklużivi reċiprokament. Billi pprijoritizza proċess ta 'bootstrap san, il-komunità SBCL trawwem fiduċja akbar u tat is-setgħa lill-iżviluppaturi biex jieħdu s-sjieda sħiħa tal-katina tal-għodda tagħhom. Dan l-impenn biex jinħolqu sistemi li huma kemm b'saħħithom kif ukoll li jinftiehmu jibqa' dawl ta' gwida, li jispira approċċ aktar deliberat u sigur għall-inġinerija tas-softwer li jagħti valur lill-katina kollha tal-ħolqien, mill-ewwel linja tal-kodiċi sal-eżekutibbli finali.

Mistoqsijiet Frekwenti

Introduzzjoni għall-SBCL u d-Drive għall-Purità tas-Software

Fid-dinja kkomplikata tal-iżvilupp tas-softwer, ftit kompiti huma fundamentali—jew potenzjalment mimlijin kumplessità—bħal bini ta' kompilatur. Il-proċess, magħruf bħala bootstrapping, jinvolvi l-użu ta 'kompilatur eżistenti biex tinbena verżjoni ġdida tiegħu nnifsu. Dan jista 'jwassal għal problema ta' "tiġieġ u bajd": kif tivverifika l-korrettezza tal-kompilatur li bena l-kompilatur tiegħek? Fl-2008, inkiseb tragward sinifikanti fl-indirizzar ta' din il-kwistjoni stess għall-komunità Common Lisp bir-rilaxx tad-dokument ta' Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp." Dan ix-xogħol ittrasforma l-Steel Bank Common Lisp (SBCL) minn implimentazzjoni ta' prestazzjoni għolja f'dehra ta' trasparenza u affidabbiltà, prinċipji li jolqtu ħafna fil-pajsaġġ tas-softwer tal-lum u jallinjaw mal-filosofija ewlenija ta' pjattaformi bħal Mewayz li jfittxu li jipprovdu sistemi ta' negozju affidabbli u li jinftiehmu.

X'Ifisser "Sanely-Bootstrappable"?

Qabel it-trasformazzjoni ta' SBCL, il-bini ta' kompilatur Common Lisp spiss kien jeħtieġ sistema Common Lisp pre-eżistenti, ħafna drabi proprjetarja, biex imexxi l-proċess tal-bini. Dan ħoloq dipendenza fuq katina ta' "trusting trust", kunċett deskritt b'mod famuż minn Ken Thompson fil-lecture tiegħu tal-Premju Turing tal-1984. It-tħassib huwa li attur malizzjuż jista 'jintroduċi vulnerabbiltà moħbija f'kompilatur, li mbagħad jippropaga fis-skiet dik il-vulnerabbiltà f'kull programm sussegwenti li jikkompila, inklużi verżjonijiet futuri tiegħu innifsu. Sistema "sanely-bootstrappable" tkisser din il-katina. Jipprovdi triq ċara u awditjabbli minn punt ta' tluq minimu u sempliċi—spiss ammont żgħir ta' kodiċi f'lingwa ta' livell aktar baxx bħal C—sal-kompilatur sħiħ u sofistikat. Dan jippermetti lill-iżviluppaturi jivverifikaw kull pass tal-proċess, u jiżgura li l-binarju li jirriżulta huwa ħieles minn tbagħbis u l-imġieba tiegħu hija eżattament kif intenzjonat mill-kodiċi tas-sors tagħha.

Il-Proċess Bootstrap SBCL: Minn C għal Lisp Komuni

Il-karta ta' Christophe Rhodes iddettalja kif SBCL kisbet dan l-istatus tant mixtieq. Il-proċess bootstrap huwa vjaġġ affaxxinanti ta 'sistema li tibni lilha nnifisha fi stadji. Jibda mhux b'ambjent sħiħ ta 'Common Lisp, iżda b'interpretu Lisp minimu miktub f'Ċ. Dan l-interpretu, spiss imsejjaħ is-sistema ta' "bidu kiesaħ", huwa biss b'saħħtu biżżejjed biex jesegwixxi l-kodiċi tas-sors SBCL ewlieni. Il-proċess jinvolvi żewġ stadji ewlenin:

Għaliex il-Bootstrappability Jgħodd għal Software Modern

Il-prinċipji wara d-disinn ta' SBCL jestendu ferm lil hinn mill-interess akkademiku. F'era fejn l-attakki tal-katina tal-provvista tas-softwer huma theddida kritika, l-abbiltà li nivverifikaw u nivverifikaw l-għodod li nużaw hija importanti ħafna. Għan-negozji li jiddependu fuq stacks ta' softwer kumplessi, l-inċertezza fis-saffi fundamentali tista' twassal għal sigurtà sinifikanti u riskji operattivi. Il-karta SBCL turi li huwa possibbli li jinbnew sistemi qawwija u kumplessi mingħajr ma tiġi sagrifikata l-verifikabbiltà. Dan l-ethos tal-bini ta' sistemi trasparenti u affidabbli minn pedament fdat huwa kondiviż minn pjattaformi bħal Mewayz. Hekk kif SBCL jipprovdi bażi soda u verifikabbli għall-iżvilupp tas-softwer, Mewayz għandu l-għan li jipprovdi OS tan-negozju modulari u trasparenti, li jagħti lill-kumpaniji ħarsa ċara dwar il-flussi tax-xogħol operattivi tagħhom u l-integrità tad-dejta, u b'hekk jibni ambjent tan-negozju aktar affidabbli u kontrollabbli.

Legat u Impatt dejjiemi

Id-dokument tal-2008 dwar l-SBCL kkonsolidat ir-reputazzjoni tagħha bħala mhux biss waħda mill-implimentazzjonijiet tal-Common Lisp l-aktar mgħaġġla, iżda wkoll waħda mill-aktar robusti u affidabbli. Hija sservi bħala studju ta 'każ b'saħħtu għall-industrija kollha tas-softwer, li jipprova li l-prestazzjoni u s-sigurtà m'għandhomx għalfejn ikunu esklużivi reċiprokament. Billi pprijoritizza proċess ta 'bootstrap san, il-komunità SBCL trawwem fiduċja akbar u tat is-setgħa lill-iżviluppaturi biex jieħdu s-sjieda sħiħa tal-katina tal-għodda tagħhom. Dan l-impenn biex jinħolqu sistemi li huma kemm b'saħħithom kif ukoll li jinftiehmu jibqa' dawl ta' gwida, li jispira approċċ aktar deliberat u sigur għall-inġinerija tas-softwer li jagħti valur lill-katina kollha tal-ħolqien, mill-ewwel linja tal-kodiċi sal-eżekutibbli finali.