SBCL: A Sanely-Bootstrappable Lisp si bɔ (ƒe 2008) [pdf].

SBCL kple Ʋukuku na Kɔmpiutadziɖoɖowo ƒe Dzadzɛnyenye ƒe ŋgɔdonya

Le kɔmpiutadziɖoɖowo wɔwɔ ƒe xexe si me nyawo sesẽ me la, dɔ ʋɛ aɖewo koe nye gɔmeɖoanyi—alo esiwo ate ŋu ayɔ fũ kple nusiwo me kɔ—abe nuƒoƒoƒula tutu ene. Dɔwɔwɔa, si woyɔna be bootstrapping, bia be woazã nuƒoƒoƒula si li xoxo atsɔ atu eɖokui ƒe tɔtrɔ yeye. Esia ateŋu ahe "koklozi kple azi" ƒe kuxi vɛ: aleke nàwɔ aɖo kpe nuƒoƒoƒula si tu wò nuƒoƒoƒula ƒe nyateƒenyenye dzi? Le ƒe 2008 me la, wowɔ nu vevi aɖe le nya sia tututu gbɔ kpɔkpɔ me na Common Lisp nutoa me tɔwo esi woɖe Christophe Rhodes ƒe agbalẽ, "SBCL: A Sanely-Bootstrappable Common Lisp" ɖe go. Dɔ sia trɔ Steel Bank Common Lisp (SBCL) tso dɔwɔwɔ nyuie me va zu kpɔɖeŋu si nye nuwɔwɔ le gaglãgbe kple kakaɖedzi, gɔmeɖose siwo ɖina vevie le egbegbe kɔmpiuta dɔwɔɖoɖowo ƒe nɔnɔme me eye wowɔ ɖeka kple xexemenunya vevitɔ si le mɔ̃wo abe Mewayz ene siwo dina be yewoana asitsatsa ƒe ɖoɖo siwo ŋu kakaɖedzi le, siwo gɔme woate ŋu ase.

Nukae "Sanely-Bootstrappable" Gblɔ?

Hafi SBCL natrɔ la, Common Lisp nuƒoƒoƒula tutu bia zi geɖe be Common Lisp ɖoɖo si nɔ anyi do ŋgɔ, si nye etɔ zi geɖe, be wòawɔ xɔtutudɔa. Esia na be wova nɔ te ɖe "kakaɖedzi ƒe kɔsɔkɔsɔ" dzi, si nye nukpɔsusu si ŋu Ken Thompson ƒo nu tsoe xɔŋkɔe le eƒe ƒe 1984 Turing Kafukafu ƒe nuƒo me. Nusi ŋu wotsi dzi ɖoe nye be nuwɔla vɔ̃ɖi aɖe ate ŋu atsɔ afɔku ɣaɣla aɖe ade nuƒoƒoƒula aɖe me, si emegbe wòakaka afɔku ma le ɖoɖoezizi me ɖe ɖoɖowɔɖi ɖesiaɖe si wòaƒo ƒu emegbe, si me eya ŋutɔ ƒe tɔtrɔ siwo ava va hã le, me. "Sanely-bootstrappable" ɖoɖo aɖe gbã kɔsɔkɔsɔ sia. Enaa mɔ si me kɔ, si woate ŋu adzro tso gɔmedzedze suetɔ kekeake si le bɔbɔe—zi geɖe la, kɔpi sue aɖe si le gbegbɔgblɔ si le ɖoƒe si bɔbɔ wu abe C ene me—va ɖo nuƒoƒoƒula blibo si de ŋgɔ. Esia na be dɔwɔlawo te ŋu ɖoa kpe dɔwɔwɔ ƒe afɔɖeɖe ɖesiaɖe dzi, kpɔa egbɔ be binary si do tso eme la meɖe asi le eŋu o eye eƒe nuwɔna le abe alesi eƒe dzɔtsoƒe ƒe kɔpi ɖoe ene pɛpɛpɛ.

SBCL Bootstrap Dɔwɔna: Tso C dzi yi Common Lisp dzi

Christophe Rhodes ƒe agbalẽa gblɔ alesi SBCL wɔ ɖo ɖoƒe sia si wobiãa ŋu na la tsitotsito. Bootstrap ƒe ɖoɖoa nye mɔzɔzɔ dodzidzɔname aɖe si ɖoɖo aɖe tutu eɖokui le afɔɖeɖewo me. Medzea egɔme kple Common Lisp nɔnɔme blibo o, ke boŋ kple Lisp gbegɔmeɖela suetɔ si woŋlɔ ɖe C. Gbegɔmeɖela sia, si woyɔna zi geɖe be "cold start" system, ƒe ŋusẽ koe le esi be wòawɔ SBCL dzɔtsoƒe ƒe kɔpi vevitɔa. Dɔwɔwɔa lɔ akpa vevi eve ɖe eme:

ƒe nyawo
• Afɔɖeɖe 1: Gbegɔmeɖela si wotu ɖe C dzi la ƒoa SBCL dzɔtsoƒe faɛl veviwo nu ƒu. Esia wɔa SBCL nɔnɔme gbãtɔ gake wòle dɔ wɔm si gakpɔtɔ le dɔ wɔm le gbegɔmeɖela la tame.
• Afɔɖeɖe 2: Emegbe wozãa SBCL nɔnɔme yeye sia tsɔ ƒoa SBCL ƒe dzɔtsoƒe ƒe nuŋɔŋlɔ nu ƒu ake, gake fifia ya le eɖokui me bliboe. Nusi do tso eme enye "dzodzoe" SBCL dɔwɔwɔ si le eɖokui si tso C gɔmeɖela gbãtɔ gbɔ eye ateŋu awɔ dɔ le eɖokui si le amedzroxɔla mɔ̃a dzi.

Ameɖokui-hosting ŋutete sia nye dzogoedzikpe na be sanely-bootstrappable. Efia be amesiame ateŋu axɔ SBCL dzɔtsoƒe ƒe kɔpi si wota eye, kple C nuƒoƒoƒula si sɔ la, atu SBCL ƒe dɔwɔwɔ si ŋu woɖo kpee, si dzi woateŋu aka ɖo tso gɔmedzedzea me ke. Esia ɖea ŋuɖoɖo ɖe binaries siwo woƒo ƒu do ŋgɔ siwo ate ŋu agblẽ nu le ame ŋu ŋu ɖa.

Nusita Bootstrappability Le Vevie na Egbegbe Kɔmpiutadziɖoɖowo

Gɔmeɖose siwo le megbe na SBCL ƒe ɖoɖoa keke ta yi ŋgɔ sasasã wu sukudede ƒe ɖetsɔleme. Le ɣeyiɣi si me kɔmpiutadziɖoɖowo ƒe amedzidzedze nye ŋɔdzinu vevi aɖe la, ŋutete si le mía si be míalé ŋku ɖe dɔwɔnu siwo míezãna ŋu ahaɖo kpe wo dzi lae nye nu vevitɔ kekeake. Le asitsaha siwo nɔa te ɖe kɔmpiutadziɖoɖo sesẽwo dzi gome la, kakaɖedzimanɔamesi le gɔmeɖoanyiwo me ate ŋu ahe dedienɔnɔ kple dɔwɔwɔ ƒe afɔku gãwo vɛ. SBCL ƒe agbalẽa ɖee fia be anya wɔ be woatu ɖoɖo sesẽ siwo gɔme sese sesẽ evɔ womatsɔ kpeɖodzinana asa vɔe o. Ethos sia si nye be woatu ɖoɖo siwo me kɔ eye woate ŋu aka ɖe wo dzi tso gɔmeɖoanyi si dzi woka ɖo me la le nuƒolanɔƒewo abe Mewayz ene si. Abe alesi SBCL naa gɔmeɖoanyi sesẽ, si woate ŋu adzro na kɔmpiuta dɔwɔɖoɖowo wɔwɔ ene la, Mewayz ɖoe be yeana asitsatsa ƒe OS si ƒe nɔnɔme le abe modular kple esi me kɔ ene, si ana dɔwɔƒewo nase woƒe dɔwɔwɔ ƒe ɖoɖowo kple nyatakakawo ƒe blibonyenye gɔme nyuie, si ana woatu asitsatsa ƒe nɔnɔme si dzi woate ŋu aka ɖo wu eye woate ŋu akpɔ edzi.

Agbalẽa ƒo eta kple gbetete ɖe edzi be SBCL ƒe gɔmedzedze ƒe ɖoɖoa, togbɔ be esesẽ hã la, enaa "mɔ tso nuku sue aɖe si woateŋu adzro me yi Common Lisp ɖoɖo blibo me," si ɖea "kakaɖedzi ƒe kakaɖedzi" ƒe kuxia dzi kpɔtɔna nyuie eye wòɖoa dzidzenu yeye na nuƒoƒoƒula ƒe blibonyenye.

Domenyinu kple Ŋusẽkpɔɖeamedzi si Tegbee

Ƒe 2008 ƒe agbalẽ si ku ɖe SBCL ŋu la do ŋusẽ eƒe ŋkɔ be menye Common Lisp ƒe dɔwɔwɔ kabakabatɔwo dometɔ ɖeka ko o, ke boŋ enye esiwo sesẽ wu eye woate ŋu aka ɖe wo dzi wu hã. Ewɔa dɔ abe nudzɔdzɔ ŋuti numekuku sẽŋu aɖe ene na kɔmpiutadziɖoɖowo ƒe dɔwɔƒe bliboa, si ɖo kpe edzi be mehiã be dɔwɔwɔ kple dedienɔnɔ natsi tre ɖe wo nɔewo ŋu o. To bootstrap ƒe ɖoɖo si me susu le tsɔtsɔ ɖo nɔƒe gbãtɔ me la, SBCL nutoa na kakaɖedzi geɖe wu eye wona ŋusẽ dɔwɔlawo be woaxɔ woƒe dɔwɔnuawo ƒe wo tɔ bliboe. Ðokuitsɔtsɔna sia be woawɔ ɖoɖo siwo ŋu ŋusẽ le eye gɔmesese le wo ŋu siaa gakpɔtɔ nye kekeli si fiaa mɔ, si ʋãa ame be wòaɖoe koŋ awɔ dɔ le kɔmpiutadɔwɔɖoɖowo ƒe mɔ̃ɖaŋununya me si le dedie wu si dea asixɔxɔ nuwɔwɔ ƒe kɔsɔkɔsɔ bliboa ŋu, tso kɔda ƒe fli gbãtɔ dzi va ɖo esi woate ŋu awɔ mamlɛtɔ dzi.

Nyabiase Siwo Wobiana Enuenu

SBCL kple Ʋukuku na Kɔmpiutadziɖoɖowo ƒe Dzadzɛnyenye ƒe ŋgɔdonya

Le kɔmpiutadziɖoɖowo wɔwɔ ƒe xexe si me nyawo sesẽ me la, dɔ ʋɛ aɖewo koe nye gɔmeɖoanyi—alo esiwo ate ŋu ayɔ fũ kple nusiwo me kɔ—abe nuƒoƒoƒula tutu ene. Dɔwɔwɔa, si woyɔna be bootstrapping, bia be woazã nuƒoƒoƒula si li xoxo atsɔ atu eɖokui ƒe tɔtrɔ yeye. Esia ateŋu ahe "koklozi kple azi" ƒe kuxi vɛ: aleke nàwɔ aɖo kpe nuƒoƒoƒula si tu wò nuƒoƒoƒula ƒe nyateƒenyenye dzi? Le ƒe 2008 me la, wowɔ nu vevi aɖe le nya sia tututu gbɔ kpɔkpɔ me na Common Lisp nutoa me tɔwo esi woɖe Christophe Rhodes ƒe agbalẽ, "SBCL: A Sanely-Bootstrappable Common Lisp" ɖe go. Dɔ sia trɔ Steel Bank Common Lisp (SBCL) tso dɔwɔwɔ nyuie me va zu kpɔɖeŋu si nye nuwɔwɔ le gaglãgbe kple kakaɖedzi, gɔmeɖose siwo ɖina vevie le egbegbe kɔmpiuta dɔwɔɖoɖowo ƒe nɔnɔme me eye wowɔ ɖeka kple xexemenunya vevitɔ si le mɔ̃wo abe Mewayz ene siwo dina be yewoana asitsatsa ƒe ɖoɖo siwo ŋu kakaɖedzi le, siwo gɔme woate ŋu ase.

Nukae "Sanely-Bootstrappable" Gblɔ?

Hafi SBCL natrɔ la, Common Lisp nuƒoƒoƒula tutu bia zi geɖe be Common Lisp ɖoɖo si nɔ anyi do ŋgɔ, si nye etɔ zi geɖe, be wòawɔ xɔtutudɔa. Esia na be wova nɔ te ɖe "kakaɖedzi ƒe kɔsɔkɔsɔ" dzi, si nye nukpɔsusu si ŋu Ken Thompson ƒo nu tsoe xɔŋkɔe le eƒe ƒe 1984 Turing Kafukafu ƒe nuƒo me. Nusi ŋu wotsi dzi ɖoe nye be nuwɔla vɔ̃ɖi aɖe ate ŋu atsɔ afɔku ɣaɣla aɖe ade nuƒoƒoƒula aɖe me, si emegbe wòakaka afɔku ma le ɖoɖoezizi me ɖe ɖoɖowɔɖi ɖesiaɖe si wòaƒo ƒu emegbe, si me eya ŋutɔ ƒe tɔtrɔ siwo ava va hã le, me. "Sanely-bootstrappable" ɖoɖo aɖe gbã kɔsɔkɔsɔ sia. Enaa mɔ si me kɔ, si woate ŋu adzro tso gɔmedzedze suetɔ kekeake si le bɔbɔe—zi geɖe la, kɔpi sue aɖe si le gbegbɔgblɔ si le ɖoƒe si bɔbɔ wu abe C ene me—va ɖo nuƒoƒoƒula blibo si de ŋgɔ. Esia na be dɔwɔlawo te ŋu ɖoa kpe dɔwɔwɔ ƒe afɔɖeɖe ɖesiaɖe dzi, kpɔa egbɔ be binary si do tso eme la meɖe asi le eŋu o eye eƒe nuwɔna le abe alesi eƒe dzɔtsoƒe ƒe kɔpi ɖoe ene pɛpɛpɛ.

SBCL Bootstrap Dɔwɔna: Tso C dzi yi Common Lisp dzi

Christophe Rhodes ƒe agbalẽa gblɔ alesi SBCL wɔ ɖo ɖoƒe sia si wobiãa ŋu na la tsitotsito. Bootstrap ƒe ɖoɖoa nye mɔzɔzɔ dodzidzɔname aɖe si ɖoɖo aɖe tutu eɖokui le afɔɖeɖewo me. Medzea egɔme kple Common Lisp nɔnɔme blibo o, ke boŋ kple Lisp gbegɔmeɖela suetɔ si woŋlɔ ɖe C. Gbegɔmeɖela sia, si woyɔna zi geɖe be "cold start" system, ƒe ŋusẽ koe le esi be wòawɔ SBCL dzɔtsoƒe ƒe kɔpi vevitɔa. Dɔwɔwɔa lɔ akpa vevi eve ɖe eme:

Nusita Bootstrappability Le Vevie na Egbegbe Kɔmpiutadziɖoɖowo

Gɔmeɖose siwo le megbe na SBCL ƒe ɖoɖoa keke ta yi ŋgɔ sasasã wu sukudede ƒe ɖetsɔleme. Le ɣeyiɣi si me kɔmpiutadziɖoɖowo ƒe amedzidzedze nye ŋɔdzinu vevi aɖe la, ŋutete si le mía si be míalé ŋku ɖe dɔwɔnu siwo míezãna ŋu ahaɖo kpe wo dzi lae nye nu vevitɔ kekeake. Le asitsaha siwo nɔa te ɖe kɔmpiutadziɖoɖo sesẽwo dzi gome la, kakaɖedzimanɔamesi le gɔmeɖoanyiwo me ate ŋu ahe dedienɔnɔ kple dɔwɔwɔ ƒe afɔku gãwo vɛ. SBCL ƒe agbalẽa ɖee fia be anya wɔ be woatu ɖoɖo sesẽ siwo gɔme sese sesẽ evɔ womatsɔ kpeɖodzinana asa vɔe o. Ethos sia si nye be woatu ɖoɖo siwo me kɔ eye woate ŋu aka ɖe wo dzi tso gɔmeɖoanyi si dzi woka ɖo me la le nuƒolanɔƒewo abe Mewayz ene si. Abe alesi SBCL naa gɔmeɖoanyi sesẽ, si woate ŋu adzro na kɔmpiuta dɔwɔɖoɖowo wɔwɔ ene la, Mewayz ɖoe be yeana asitsatsa ƒe OS si ƒe nɔnɔme le abe modular kple esi me kɔ ene, si ana dɔwɔƒewo nase woƒe dɔwɔwɔ ƒe ɖoɖowo kple nyatakakawo ƒe blibonyenye gɔme nyuie, si ana woatu asitsatsa ƒe nɔnɔme si dzi woate ŋu aka ɖo wu eye woate ŋu akpɔ edzi.

Domenyinu kple Ŋusẽkpɔɖeamedzi si Li Tegbee

Ƒe 2008 ƒe agbalẽ si ku ɖe SBCL ŋu la do ŋusẽ eƒe ŋkɔ be menye Common Lisp ƒe dɔwɔwɔ kabakabatɔwo dometɔ ɖeka ko o, ke boŋ enye esiwo sesẽ wu eye woate ŋu aka ɖe wo dzi wu hã. Ewɔa dɔ abe nudzɔdzɔ ŋuti numekuku sẽŋu aɖe ene na kɔmpiutadziɖoɖowo ƒe dɔwɔƒe bliboa, si ɖo kpe edzi be mehiã be dɔwɔwɔ kple dedienɔnɔ natsi tre ɖe wo nɔewo ŋu o. To bootstrap ƒe ɖoɖo si me susu le tsɔtsɔ ɖo nɔƒe gbãtɔ me la, SBCL nutoa na kakaɖedzi geɖe wu eye wona ŋusẽ dɔwɔlawo be woaxɔ woƒe dɔwɔnuawo ƒe wo tɔ bliboe. Ðokuitsɔtsɔna sia be woawɔ ɖoɖo siwo ŋu ŋusẽ le eye gɔmesese le wo ŋu siaa gakpɔtɔ nye kekeli si fiaa mɔ, si ʋãa ame be wòaɖoe koŋ awɔ dɔ le kɔmpiutadɔwɔɖoɖowo ƒe mɔ̃ɖaŋununya me si le dedie wu si dea asixɔxɔ nuwɔwɔ ƒe kɔsɔkɔsɔ bliboa ŋu, tso kɔda ƒe fli gbãtɔ dzi va ɖo esi woate ŋu awɔ mamlɛtɔ dzi.