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

Destpêkek SBCL û Drive ji bo Paqijiya Nermalavê

Di cîhana tevlihev a pêşkeftina nermalavê de, çend peywir bi qasî avakirina berhevkerek bingehîn in - an jî bi tevlihevîyek potansiyel tijî ne. Pêvajoya ku wekî bootstrapping tê zanîn, karanîna berhevkarek heyî vedihewîne da ku guhertoyek nû ya xwe ava bike. Ev dikare bibe sedema pirsgirêkek "mirîşk û hêk": hûn çawa rastdariya berhevkarê ku berhevkarê we çêkiriye rast dikin? Di sala 2008-an de, di çareserkirina vê pirsgirêkê de ji bo civata Common Lisp bi weşandina kaxeza Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp" de, xalek girîng hate bidestxistin. Vê xebatê Steel Bank Common Lisp (SBCL) ji pêkanînek bi performansa bilind veguherand paragonek şefafî û pêbaweriyê, prensîbên ku bi kûrahî di dîmendera nermalava îroyîn de vedigerin û bi felsefeya bingehîn a platformên mîna Mewayz re ku hewl didin pergalên karsaziyê yên pêbawer û têgihîştî peyda bikin re têkildar in.

Wateya "Sanely-Bootstrappable" çi ye?

Berî veguherîna SBCL-ê, avakirina berhevkarek Common Lisp bi gelemperî pêdivî bi pergalek Common Lisp-ê ya berê-heyî, pir caran xwedan, hebû ku pêvajoya çêkirinê bimeşîne. Vê yekê pêwendiyek li ser zincîreyek "bawermendiya pêbawer" çêkir, têgehek ku ji hêla Ken Thompson ve di sala 1984-an de di gotara Xelata Turing a 1984-an de bi navûdeng ve hatî destnîşan kirin. Xemgîn ev e ku lîstikvanek xirabkar dikare qelsiyek veşartî têxe nav berhevkarek, ku wê hingê wê qelsiyê bi bêdengî li her bernameya paşîn a ku ew berhev dike, tevî guhertoyên pêşerojê yên xwe, belav bike. Pergalek "aqilmend-bootstrappable" vê zincîrê dişkîne. Ew ji nuqteyek destpêkek hindik û hêsan - pir caran hejmarek piçûk a kodê di zimanek astek jêrîn de mîna C-yê berbi berhevkarê têr û sofîstîke ve rêyek zelal, bihîstbar peyda dike. Ev rê dide pêşdebiran ku her gavê pêvajoyê verast bikin, û piştrast bikin ku binarya encam ji destavêtinê bêpar e û tevgera wê tam wekî ku ji hêla koda çavkaniyê ve hatî armanc kirin e.

Pêvajoya Bootstrapê ya SBCL: Ji C berbi Lîspa Hevpar

Nûçeya Christophe Rhodes bi hûrgulî diyar kir ku SBCL çawa gihîştiye vê statûya xwestî. Pêvajoya bootstrap rêwîtiyek balkêş e ku pergalek xwe di qonaxan de ava dike. Ew ne bi jîngehek Common Lisp-ê ya tam, lê bi wergêrek hindiktirîn a Lisp-ê ku bi C-yê hatî nivîsandin dest pê dike. Ev wergêr, ku pir caran jê re pergala "destpêka sar" tê gotin, tenê têra xwe bi hêz e ku koda çavkaniyê ya SBCL-ya bingehîn bicîh bîne. Pêvajo du qonaxên sereke digire:

• Qonaxa 1: Wergêra C-ya bingehîn pelên çavkaniya SBCL berhev dike. Ev yek jîngehek SBCL ya seretayî lê bikêrhatî diafirîne ku hîn jî li ser tercuman dixebite.
• Qonaxa 2: Vê hawîrdora nû ya SBCL paşê ji bo berhevkirina koda çavkaniyê ya SBCL dîsa tê bikar anîn, lê vê carê bi tevahî di hundurê xwe de. Encam SBCL-ya "germ" e ku ji wergêra C ya orîjînal serbixwe ye û dikare li ser makîneya mêvandar bi rengek xwemalî bixebite.

Vê kapasîteya xwe-mêvandarîkirinê kevirê bingehîn e ku saxlem-bootstrappable be. Ev tê vê wateyê ku her kes dikare koda çavkaniya SBCL-ya hatî weşandin bigire û, bi berhevkarek standard C-yê, SBCL-ya verastkirî, pêbawer ji erdê ve ava bike. Ev yek pêbaweriya li ser binarên pêş-berhevkirî yên ku bi potansiyel hatine tawîzkirin ji holê radike.

Çima Bootstrappability ji bo Nermalava Nûjen Girîng e

Prensîbên li pişt sêwirana SBCL ji berjewendiya akademîk wêdetir dirêj dibin. Di serdemek ku êrişên zincîra peydakirina nermalavê xeterek krîtîk e, şiyana kontrolkirin û verastkirina amûrên ku em bikar tînin girîng e. Ji bo karsaziyên ku bi stûnên nermalava tevlihev ve girêdayî ne, nezelaliya di qatên bingehîn de dikare bibe sedema xetereyên ewlehî û xebitandinê yên girîng. Kaxeza SBCL destnîşan dike ku meriv dikare pergalên hêzdar, tevlihev bêyî qurbankirina verastkirinê ava bike. Ev etîka avakirina pergalên zelal û pêbawer ji bingehek pêbawer ji hêla platformên mîna Mewayz ve tê parve kirin. Mîna ku SBCL ji bo pêşkeftina nermalavê bingehek zexm û bihîstbar peyda dike, Mewayz jî armanc dike ku OS-ya karsaziyek modular û zelal peyda bike, ji pargîdaniyan re di derheqê xebata xebitandinê û yekparebûna daneyê de têgihiştinek zelal bide, bi vî rengî jîngehek karsaziyek pêbawer û kontrolkirî ava bike.

Rojname bi ronîkirina pêvajoya bootstrapê ya SBCL diqede, her çend tevlihev be jî, "rêyek ji tovek piçûk, ku tê guhdarîkirin berbi pergalek Common Lisp-a tevahî" peyda dike, bi bandor pirsgirêka "baweriya pêbawer" kêm dike û standardek nû ji bo yekrêziya berhevkar destnîşan dike.

Mîras û Bandora Berdewam

Kaxaza 2008-a li ser SBCL navûdengê xwe ne tenê wekî yek ji zûtirîn pêkanînên Common Lisp, lê di heman demê de yek ji herî bi hêz û pêbawer jî zexm kir. Ew ji bo tevahiya pîşesaziya nermalavê wekî lêkolînek dozek hêzdar kar dike, îsbat dike ku performans û ewlehî ne hewce ye ku ji hev veqetînin. Bi pêşîgirtina pêvajoyek bootstrap a saxlem, civata SBCL pêbaweriyek mezintir peyda kir û hêz da pêşdebiran ku xwedaniya tam a zincîra amûrên xwe bigirin. Ev pabendbûna ji bo afirandina pergalên ku hem bi hêz û hem jî têgihîştin ronahiyek rêber dimîne, îlhamê dide nêzîkatiyek bi zanebûn û ewledartir ji endezyariya nermalavê re ku qîmetê dide tevahiya zincîra afirandinê, ji rêza yekem a kodê heya ya dawîn.

Pirsên Pir Pir tên Pirsîn

Destpêkek SBCL û Drive ji bo Paqijiya Nermalavê

Di cîhana tevlihev a pêşkeftina nermalavê de, çend peywir bi qasî avakirina berhevkerek bingehîn in - an jî bi tevlihevîyek potansiyel tijî ne. Pêvajoya ku wekî bootstrapping tê zanîn, karanîna berhevkarek heyî vedihewîne da ku guhertoyek nû ya xwe ava bike. Ev dikare bibe sedema pirsgirêkek "mirîşk û hêk": hûn çawa rastdariya berhevkarê ku berhevkarê we çêkiriye rast dikin? Di sala 2008-an de, di çareserkirina vê pirsgirêkê de ji bo civata Common Lisp bi weşandina kaxeza Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp" de, xalek girîng hate bidestxistin. Vê xebatê Steel Bank Common Lisp (SBCL) ji pêkanînek bi performansa bilind veguherand paragonek şefafî û pêbaweriyê, prensîbên ku bi kûrahî di dîmendera nermalava îroyîn de vedigerin û bi felsefeya bingehîn a platformên mîna Mewayz re ku hewl didin pergalên karsaziyê yên pêbawer û têgihîştî peyda bikin re têkildar in.

Wateya "Sanely-Bootstrappable" çi ye?

Berî veguherîna SBCL-ê, avakirina berhevkarek Common Lisp bi gelemperî pêdivî bi pergalek Common Lisp-ê ya berê-heyî, pir caran xwedan, hebû ku pêvajoya çêkirinê bimeşîne. Vê yekê pêwendiyek li ser zincîreyek "bawermendiya pêbawer" çêkir, têgehek ku ji hêla Ken Thompson ve di sala 1984-an de di gotara Xelata Turing a 1984-an de bi navûdeng ve hatî destnîşan kirin. Xemgîn ev e ku lîstikvanek xirabkar dikare qelsiyek veşartî têxe nav berhevkarek, ku wê hingê wê qelsiyê bi bêdengî li her bernameya paşîn a ku ew berhev dike, tevî guhertoyên pêşerojê yên xwe, belav bike. Pergalek "aqilmend-bootstrappable" vê zincîrê dişkîne. Ew ji nuqteyek destpêkek hindik û hêsan - pir caran hejmarek piçûk a kodê di zimanek astek jêrîn de mîna C-yê berbi berhevkarê têr û sofîstîke ve rêyek zelal, bihîstbar peyda dike. Ev rê dide pêşdebiran ku her gavê pêvajoyê verast bikin, û piştrast bikin ku binarya encam ji destavêtinê bêpar e û tevgera wê tam wekî ku ji hêla koda çavkaniyê ve hatî armanc kirin e.

Pêvajoya Bootstrapê ya SBCL: Ji C berbi Lîspa Hevpar

Nûçeya Christophe Rhodes bi hûrgulî diyar kir ku SBCL çawa gihîştiye vê statûya xwestî. Pêvajoya bootstrap rêwîtiyek balkêş e ku pergalek xwe di qonaxan de ava dike. Ew ne bi jîngehek Common Lisp-ê ya tam, lê bi wergêrek hindiktirîn a Lisp-ê ku bi C-yê hatî nivîsandin dest pê dike. Ev wergêr, ku pir caran jê re pergala "destpêka sar" tê gotin, tenê têra xwe bi hêz e ku koda çavkaniyê ya SBCL-ya bingehîn bicîh bîne. Pêvajo du qonaxên sereke digire:

Çima Bootstrappability Ji bo Nermalava Nûjen Girîng e

Prensîbên li pişt sêwirana SBCL ji berjewendiya akademîk wêdetir dirêj dibin. Di serdemek ku êrişên zincîra peydakirina nermalavê xeterek krîtîk e, şiyana kontrolkirin û verastkirina amûrên ku em bikar tînin girîng e. Ji bo karsaziyên ku bi stûnên nermalava tevlihev ve girêdayî ne, nezelaliya di qatên bingehîn de dikare bibe sedema xetereyên ewlehî û xebitandinê yên girîng. Kaxeza SBCL destnîşan dike ku meriv dikare pergalên hêzdar, tevlihev bêyî qurbankirina verastkirinê ava bike. Ev etîka avakirina pergalên zelal û pêbawer ji bingehek pêbawer ji hêla platformên mîna Mewayz ve tê parve kirin. Mîna ku SBCL ji bo pêşkeftina nermalavê bingehek zexm û bihîstbar peyda dike, Mewayz jî armanc dike ku OS-ya karsaziyek modular û zelal peyda bike, ji pargîdaniyan re di derheqê xebata xebitandinê û yekparebûna daneyê de têgihiştinek zelal bide, bi vî rengî jîngehek karsaziyek pêbawer û kontrolkirî ava bike.

Mîras û Bandora Berdewam

Kaxaza 2008-a li ser SBCL navûdengê xwe ne tenê wekî yek ji zûtirîn pêkanînên Common Lisp, lê di heman demê de yek ji herî bi hêz û pêbawer jî zexm kir. Ew ji bo tevahiya pîşesaziya nermalavê wekî lêkolînek dozek hêzdar kar dike, îsbat dike ku performans û ewlehî ne hewce ye ku ji hev veqetînin. Bi pêşîgirtina pêvajoyek bootstrap a saxlem, civata SBCL pêbaweriyek mezintir peyda kir û hêz da pêşdebiran ku xwedaniya tam a zincîra amûrên xwe bigirin. Ev pabendbûna ji bo afirandina pergalên ku hem bi hêz û hem jî têgihîştin ronahiyek rêber dimîne, îlhamê dide nêzîkatiyek bi zanebûn û ewledartir ji endezyariya nermalavê re ku qîmetê dide tevahiya zincîra afirandinê, ji rêza yekem a kodê heya ya dawîn.