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

SBCL eta software-garbitasunerako unitatearen sarrera

Softwarearen garapenaren mundu korapilatsuan, zeregin gutxi dira konpiladore bat eraikitzea bezain oinarrizkoak (edo potentzialki konplexuz beteta). Prozesua, bootstrapping izenez ezagutzen dena, lehendik dagoen konpiladore bat erabiltzean datza bere bertsio berri bat eraikitzeko. Honek "oiloa eta arrautza" arazo bat sor dezake: nola egiaztatzen duzu zure konpilatzailea eraiki zuen konpiladorearen zuzentasuna? 2008an, mugarri esanguratsu bat lortu zen Common Lisp komunitatearentzat arazo hau jorratzeko Christophe Rhodesen "SBCL: A Sanely-Bootstrappable Common Lisp" artikulua kaleratuta. Lan honek Steel Bank Common Lisp (SBCL) errendimendu handiko inplementazio izatetik gardentasun eta fidagarritasun eredu bihurtu zuen, gaur egungo softwarearen panoraman oihartzun handia duten printzipioak eta negozio-sistema fidagarriak eta ulergarriak eskaintzea bilatzen duten Mewayz bezalako plataformen oinarrizko filosofiarekin bat egiten dutenak.

Zer esan nahi du "Sanely-Bootstrappable"?

SBCLren eraldaketa baino lehen, Common Lisp konpiladore bat eraikitzeko sarritan aurretik existitzen zen, askotan jabeduna, Common Lisp sistema bat behar zen eraikitze-prozesua exekutatzeko. Honek "konfiantzazko konfiantzazko" kate baten menpekotasuna sortu zuen, Ken Thompsonek 1984ko Turing sariaren hitzaldian nabarmentzen zuen kontzeptua. Kezka da aktore gaizto batek ezkutuko ahultasun bat sar dezakeela konpilatzaile batean, eta gero isilean zabalduko luke ahultasun hori konpilatzen duen hurrengo programa guztietan, bere etorkizuneko bertsioak barne. "Sanely-bootstrappable" sistema batek kate hau apurtzen du. Bide argi eta ikuskagarria eskaintzen du abiapuntu minimo eta sinple batetik —askotan kode kopuru txiki bat C bezalako behe-mailako hizkuntza batean— konpilatzaile oso eta sofistikaturaino. Horri esker, garatzaileek prozesuaren urrats bakoitza egiaztatzea ahalbidetzen dute, ondoriozko bitarra manipulaziorik gabe dagoela eta bere portaera iturburu-kodeak nahi duenaren araberakoa dela ziurtatuz.

SBCL Bootstrap prozesua: C-tik Common Lisp-era

Christophe Rhodesen artikuluak SBCL-k egoera preziatu hori nola lortu zuen azaldu zuen. Bootstrap prozesua etapaka sistema bat eraikitzen duen bidaia liluragarria da. Ez da Common Lisp ingurune oso batekin hasten, C-n idatzitako Lisp interprete minimo batekin baizik. Interpretatzaile hau, askotan "hasteko sistema" deitua, nahikoa indartsua da core SBCL iturburu-kodea exekutatzeko. Prozesuak bi fase nagusi ditu:

• 1. etapa: C-oinarritutako interpreteak oinarrizko SBCL iturburu-fitxategiak biltzen ditu. Honek SBCL ingurune primitibo baina funtzionatzailea sortzen du, interpretearen gainean oraindik exekutatzen ari dena.
• 2. etapa: SBCL ingurune berri hau SBCL iturburu-kodea berriro konpilatzeko erabiltzen da, baina oraingoan guztiz bere baitan. Emaitza SBCL exekutagarri "beroa" da, jatorrizko C interpretearekiko independentea dena eta jatorrizko makina ostalarian exekutatu daitekeena.

Auto-ostalaritza-gaitasun hau abiarazte egokia izateko oinarria da. Horrek esan nahi du edonork har dezakeela argitaratutako SBCL iturburu-kodea eta, C konpilatzaile estandar batekin, SBCL exekutagarri egiaztatu eta fidagarria eraiki dezakeela oinarritik. Honek arriskuan egon daitezkeen aurrez konpilatutako bitarrekiko konfiantza ezabatzen du.

Zergatik axola dio abioko gaitasunak software modernorako

SBCLren diseinuaren atzean dauden printzipioak interes akademikotik haratago doaz. Softwarearen hornikuntza-katearen erasoak mehatxu larria diren garai honetan, erabiltzen ditugun tresnak ikuskatzeko eta egiaztatzeko gaitasuna funtsezkoa da. Software pila konplexuen menpe dauden enpresentzat, oinarrizko geruzen ziurgabetasunak segurtasun eta eragiketa arrisku handiak ekar ditzake. SBCL paperak frogatzen du posible dela sistema indartsuak eta konplexuak eraikitzea egiaztagarritasunari uko egin gabe. Mewayz bezalako plataformek partekatzen dute oinarri fidagarri batetik sistema garden eta fidagarriak eraikitzeko ethos hau. SBCL-k softwarearen garapenerako oinarri sendo eta ikuskagarria eskaintzen duen bezala, Mewayz-ek negozio-OS modular eta gardena eskaintzea du helburu, enpresei beren lan-fluxu operatiboak eta datuen osotasunari buruzko ikuspegi argia emanez, eta horrela negozio-ingurune fidagarriagoa eta kontrolagarriagoa eraikiz.

Ikusleak SBCL-ren abiarazte prozesuak, konplexua izan arren, "hazi txiki eta ikuskagarri batetik Common Lisp sistema osorako bidea" ematen duela azpimarratzen du amaieran, "konfiantzazko konfiantza" arazoa modu eraginkorrean arinduz eta konpiladorearen osotasunerako estandar berri bat ezarriz.

Ondarea eta eragin iraunkorra

2008ko SBCLri buruzko dokumentuak Common Lisp inplementazio bizkorrenetako bat izateaz gain, sendo eta fidagarrienetako bat ere sendotu zuen bere ospea. Softwarearen industria osorako kasu-azterketa indartsu gisa balio du, errendimendua eta segurtasuna elkarren artean esklusiboak izan behar ez direla frogatuz. Abioko prozesu zentzudun bati lehentasuna emanez, SBCL komunitateak konfiantza handiagoa sustatu zuen eta garatzaileei beren tresna-katearen jabetza osoa hartzeko ahalmena eman zien. Indartsuak eta ulergarriak diren sistemak sortzeko konpromiso horrek argi gidari izaten jarraitzen du, eta sorkuntza-kate osoa balioesten duen software-ingeniaritzako ikuspegi nahi eta seguruago bat inspiratzen du, lehen kode-lerrotik hasi eta azken exekutagarriraino.

Ohiko galderak

SBCL eta Software Purity-ren Drive-ren sarrera

Softwarearen garapenaren mundu korapilatsuan, zeregin gutxi dira konpiladore bat eraikitzea bezain oinarrizkoak (edo potentzialki konplexuz beteta). Prozesua, bootstrapping izenez ezagutzen dena, lehendik dagoen konpiladore bat erabiltzean datza bere bertsio berri bat eraikitzeko. Honek "oiloa eta arrautza" arazo bat sor dezake: nola egiaztatzen duzu zure konpilatzailea eraiki zuen konpiladorearen zuzentasuna? 2008an, mugarri esanguratsu bat lortu zen Common Lisp komunitatearentzat arazo hau jorratzeko Christophe Rhodesen "SBCL: A Sanely-Bootstrappable Common Lisp" artikulua kaleratuta. Lan honek Steel Bank Common Lisp (SBCL) errendimendu handiko inplementazio izatetik gardentasun eta fidagarritasun eredu bihurtu zuen, gaur egungo softwarearen panoraman oihartzun handia duten printzipioak eta negozio-sistema fidagarriak eta ulergarriak eskaintzea bilatzen duten Mewayz bezalako plataformen oinarrizko filosofiarekin bat egiten dutenak.

Zer esan nahi du "Sanely-Bootstrappable"?

SBCLren eraldaketa baino lehen, Common Lisp konpiladore bat eraikitzeko sarritan aurretik existitzen zen, askotan jabeduna, Common Lisp sistema bat behar zen eraikitze-prozesua exekutatzeko. Honek "konfiantzazko konfiantzazko" kate baten menpekotasuna sortu zuen, Ken Thompsonek 1984ko Turing sariaren hitzaldian nabarmentzen zuen kontzeptua. Kezka da aktore gaizto batek ezkutuko ahultasun bat sar dezakeela konpilatzaile batean, eta gero isilean zabalduko luke ahultasun hori konpilatzen duen hurrengo programa guztietan, bere etorkizuneko bertsioak barne. "Sanely-bootstrappable" sistema batek kate hau apurtzen du. Bide argi eta ikuskagarria eskaintzen du abiapuntu minimo eta sinple batetik —askotan kode kopuru txiki bat C bezalako behe-mailako hizkuntza batean— konpilatzaile oso eta sofistikaturaino. Horri esker, garatzaileek prozesuaren urrats bakoitza egiaztatzea ahalbidetzen dute, ondoriozko bitarra manipulaziorik gabe dagoela eta bere portaera iturburu-kodeak nahi duenaren araberakoa dela ziurtatuz.

SBCL Bootstrap prozesua: C-tik Common Lisp-era

Christophe Rhodesen artikuluak SBCL-k egoera preziatu hori nola lortu zuen azaldu zuen. Bootstrap prozesua etapaka sistema bat eraikitzen duen bidaia liluragarria da. Ez da Common Lisp ingurune oso batekin hasten, C-n idatzitako Lisp interprete minimo batekin baizik. Interpretatzaile hau, askotan "hasteko sistema" deitua, nahikoa indartsua da core SBCL iturburu-kodea exekutatzeko. Prozesuak bi fase nagusi ditu:

Zergatik axola dio Bootstrappability software modernoarentzat

SBCLren diseinuaren atzean dauden printzipioak interes akademikotik haratago doaz. Softwarearen hornikuntza-katearen erasoak mehatxu larria diren garai honetan, erabiltzen ditugun tresnak ikuskatzeko eta egiaztatzeko gaitasuna funtsezkoa da. Software pila konplexuen menpe dauden enpresentzat, oinarrizko geruzen ziurgabetasunak segurtasun eta eragiketa arrisku handiak ekar ditzake. SBCL paperak frogatzen du posible dela sistema indartsuak eta konplexuak eraikitzea egiaztagarritasunari uko egin gabe. Mewayz bezalako plataformek partekatzen dute oinarri fidagarri batetik sistema garden eta fidagarriak eraikitzeko ethos hau. SBCL-k softwarearen garapenerako oinarri sendo eta ikuskagarria eskaintzen duen bezala, Mewayz-ek negozio-OS modular eta gardena eskaintzea du helburu, enpresei beren lan-fluxu operatiboak eta datuen osotasunari buruzko ikuspegi argia emanez, eta horrela negozio-ingurune fidagarriagoa eta kontrolagarriagoa eraikiz.

Ondarea eta eragin iraunkorra

2008ko SBCLri buruzko dokumentuak Common Lisp inplementazio bizkorrenetako bat izateaz gain, sendo eta fidagarrienetako bat ere sendotu zuen bere ospea. Softwarearen industria osorako kasu-azterketa indartsu gisa balio du, errendimendua eta segurtasuna elkarren artean esklusiboak izan behar ez direla frogatuz. Abioko prozesu zentzudun bati lehentasuna emanez, SBCL komunitateak konfiantza handiagoa sustatu zuen eta garatzaileei beren tresna-katearen jabetza osoa hartzeko ahalmena eman zien. Indartsuak eta ulergarriak diren sistemak sortzeko konpromiso horrek argi gidari izaten jarraitzen du, eta sorkuntza-kate osoa balioesten duen software-ingeniaritzako ikuspegi nahi eta seguruago bat inspiratzen du, lehen kode-lerrotik hasi eta azken exekutagarriraino.