SBCL: Lisp min bɛ se ka kɛ ni hakili ye (2008) [pdf].

SBCL ni Drive for Software Purity ka ɲɛfɔli dɔ

porogaramuw dilanni diɲɛ gɛlɛn kɔnɔ, baara damadɔw de ye fɛn jɔnjɔnw ye — walima minnu bɛ se ka fa gɛlɛyaw la — i n’a fɔ daɲɛgafe jɔli. O kɛcogo min bɛ Weele ko bootstrapping, o ye ka baara Kɛ ni daɲɛgafe-sɛbɛnni-minɛn ye min bɛ yen walasa k’a yɛrɛ ka 'sèn kura jɔ. O bɛ se ka kɛ sababu ye ka "kɔnɔ ni kɔnɔ" gɛlɛya sɔrɔ: i bɛ se ka daɲɛgafe min ye i ka daɲɛgafe jɔ, o ka tiɲɛni sɛgɛsɛgɛ cogo di? San 2008, fɛnba dɔ kɛra ka ɲɛsin o ko yɛrɛ ɲɛnabɔli ma Common Lisp sigida la ni Christophe Rhodes ka sɛbɛn bɔli ye, n’o ye “SBCL: A Sanely-Bootstrappable Common Lisp” ye. O baara in ye Steel Bank Common Lisp (SBCL) sɛmɛntiya ka bɔ waleyali la min bɛ se ka baara kɛ kosɛbɛ, ka kɛ kɛnɛya ni dannaya misali ye, sariyakolo minnu bɛ mankanba bɔ bi porozɛw kɔnɔ, wa u bɛ bɛn ni Mewayz ɲɔgɔnna jɔyɔrɔw ka hakilina jɔnjɔn ye, minnu b’a ɲini ka jago siratigɛw di minnu bɛ se ka da u kan, minnu bɛ faamuya.

"Sanely-Bootstrappable" kɔrɔ ye mun ye ?

Sanni SBCL ka fɛn caman tigɛli ka kɛ, Common Lisp daɲɛgafebɔlan jɔli tun bɛ to ka Common Lisp sitɛmu dɔ de wajibiya min tun bɛ yen ka kɔrɔ, a ka c’a la, a tun bɛ kɛ a yɛrɛ ta ye, walasa ka jɔli baara kɛ. O ye dannaya dɔ Dabɔ "daŋaniya dannaya" cakɛda dɔ kan, hakilina min tɔgɔ bɔra kosɛbɛ Ken Thompson fɛ a ka san 1984 Turing Jala jɛmukan na. Jɔrɔnanko ye ko mɔgɔ jugu dɔ bɛ Se ka 'sèn dogolen dɔ Dòn 'daɲɛgafe-sɛbɛn dɔ kɔnɔ, o min bɛna o bɔnɛ in Lasegin makun na a ka porogaramu nataw bɛɛ kɔnɔ a bɛ minnu Lajɛ, hali a yɛrɛ ka 'sèn nataw fana. "Sanely-bootstrappable" sitɛmu dɔ bɛ o cakɛda in tiɲɛ. A bɛ sira jɛlen Di, min bɛ Se ka Lajɛ, k’a Tà daminɛyɔrɔ fitinin na, min ka nɔgɔn — a ka c’a la, kodɔn fitinin dɔ bɛ Kɛ kan dɔgɔmannin dɔ la i n’a fɔ C — ka Taa se daɲɛgafe dafalen ma, min ka gɛlɛn. O b’a To baarakɛlaw bɛ Se ka taabolo in taabolo kelen-kelen bɛɛ Sɛgɛsɛgɛ, k’a Jira ko binary min bɛ Sɔrɔ o la, o tɛ fɛn wɛrɛ Kɛ a la wa a kɛcogo bɛ Kɛ i n’a fɔ a source code b’a fɛ cogo min na tigitigi.

SBCL Bootstrap taabolo : Ka bɔ C la ka taa Common Lisp

Christophe Rhodes ka sɛbɛn y' a ɲɛfɔ cogo min na SBCL ye nin jɔyɔrɔ negela in sɔrɔ cogo min na . Bootstrap taabolo ye taama ye min bɛ mɔgɔ ɲɛnajɛ, min bɛ kɛ ka sistɛmu dɔ jɔ a yɛrɛ la dakunw na. A tɛ daminɛ ni Common Lisp sigida dafalen ye, nka a bɛ daminɛ ni Lisp bamanankan-falen-falen fitinin ye min sɛbɛnnen bɛ C. Nin bamanankan-falen-falen in, n'a bɛ fɔ tuma caman na ko "cold start" sitɛmu, o fanga ka bon dɔrɔn ka se ka SBCL source code jɔnjɔn baara. Taabolo in bɛ taabolo kunbaba fila de la :

• Taabolo fɔlɔ : C basigilen bamanankanfalen bɛ SBCL sɔrɔyɔrɔ jɔnjɔnw lajɛ . O bɛ SBCL sigida fɔlɔ dɔ da nka min bɛ baara kɛ, min bɛ baara kɛ hali bi bamanankanfalen sanfɛ.
• Taabolo filanan : o kɔfɛ , nin SBCL sigida kura in bɛ kɛ ka SBCL sɛnɛfɛnw lajɛ kokura , nka nin sen in na a bɛɛ bɛ a yɛrɛ kɔnɔ . O kɔlɔlɔ ye SBCL waleyali "hot" ye min yɛrɛmahɔrɔnyalen don C kɔrɔfɔlan fɔlɔ la, wa a bɛ se ka baara kɛ a yɛrɛ la jatigila masin kan.

O yɛrɛ-jatigila seko in ye sanely-bootstrappable (sanely-bootstrappable) jɔyɔrɔba ye. O kɔrɔ ye ko mɔgɔ bɛɛ bɛ se ka SBCL source code bɔlen ta, ni C compiler standard ye, ka SBCL executable sɛgɛsɛgɛlen, dannayalen jɔ ka bɔ duguma. O bɛ dannaya bɔ binariw kan minnu bɛ se ka kɛ fɛn ye min bɛ se ka tiɲɛ.

Mun na Bootstrappability nafa ka bon bi porogaramuw la

SBCL ka dilancogo sariyakolo minnu bɛ yen, olu bɛ tɛmɛn kalanko nafa kan kosɛbɛ. Waati min na, porogaramuw feereli cakɛda binkanniw ye bagabagaliba ye, an bɛ baara kɛ ni baarakɛminɛn minnu ye, an bɛ se ka olu jateminɛ ani k’u sɛgɛsɛgɛ, o de ye ko bɛɛ la belebele ye. Jagokɛlaw minnu bɛ u jigi da porozɛw kulu gɛlɛnw kan, dannayabaliya min bɛ jusigilanw na, o bɛ se ka kɛ sababu ye ka faratiba lase lakana ni baarakɛcogo ma. SBCL ka sɛbɛn b’a jira ko a bɛ se ka kɛ ka sigida barikamaw jɔ, minnu ka gɛlɛn, k’a sɔrɔ u ma sɛgɛsɛgɛli saraka. Nin ethos in min ye ka sigida jɛlenw ni dannaya bɛ se ka da minnu kan ka bɔ jusigilan dannamɔgɔ la, o bɛ jɛ ni Mewayz ɲɔgɔnna platformw ye. I n’a fɔ SBCL bɛ basigi sabatilen di, min bɛ se ka jateminɛ kɛ porozɛw dilanni na cogo min na, Mewayz b’a ɲini ka jago OS modulari ni jɛlen di, ka hakilina jɛlen di tɔnw ma u ka baarakɛcogo n’u ka kunnafonidilanw dafalen kan, o la, jagokɛyɔrɔ dɔ jɔ min bɛ se ka da u kan ani min bɛ se ka kɔlɔsi.

Sɛbɛn in bɛ kuncɛ ni a jirali ye ko SBCL ka daminɛko taabolo, hali n’a ka gɛlɛn, a bɛ "sira di ka bɔ kisɛ fitinin dɔ la, min bɛ se ka jateminɛ kɛ ka taa Common Lisp sitɛmu dafalen na", o bɛ "daŋaniya dannaya" gɛlɛya nɔgɔya kosɛbɛ, ka sariya kura sigi senkan daɲɛgafe dafalen na.

ciyɛn ni nɔ banbali

San 2008 sɛbɛn min kɛra SBCL kan, o y' a tɔgɔ sabati ko a tɛ Common Lisp waleyali teliyalen dɔ dɔrɔn ye , nka a ye a barikama ni dannayalenba dɔ fana ye . A bɛ kɛ ko kɛlen ye min fanga ka bon porozɛw dilanni na, k’a jira ko baarakɛcogo ni lakana man kan ka kɛ ɲɔgɔn fɛ. Ni u ye bootstrap taabolo hakilitigi bila jɔyɔrɔ fɔlɔ la, SBCL jɛkulu ye dannayaba lawuli ani ka fanga di baarakɛlaw ma u ka se k’u ka baarakɛminɛnw cakɛda bɛɛ ta. Nin cɛsiri in min bɛ kɛ ka sistɛmuw da minnu fanga ka bon ani minnu bɛ faamuya, o bɛ to yeelen ɲɛminɛbaga ye, min bɛ dusu don mɔgɔ kɔnɔ ka fɛɛrɛ dɔ labɛn min bɛ kɛ ni laɲini ye ani min bɛ lakana kosɛbɛ porozɛw dilanni na, min bɛ nafa don dabɔ cakɛda bɛɛ la, k’a ta kode sinsinni fɔlɔ la ka se waleyali laban ma.

Ɲininkali minnu bɛ kɛ tuma caman na

SBCL ni Drive for Software Purity ka daminɛkuma

porogaramuw dilanni diɲɛ gɛlɛn kɔnɔ, baara damadɔw de ye fɛn jɔnjɔnw ye — walima minnu bɛ se ka fa gɛlɛyaw la — i n’a fɔ daɲɛgafe jɔli. O kɛcogo min bɛ Weele ko bootstrapping, o ye ka baara Kɛ ni daɲɛgafe-sɛbɛnni-minɛn ye min bɛ yen walasa k’a yɛrɛ ka 'sèn kura jɔ. O bɛ se ka kɛ sababu ye ka "kɔnɔ ni kɔnɔ" gɛlɛya sɔrɔ: i bɛ se ka daɲɛgafe min ye i ka daɲɛgafe jɔ, o ka tiɲɛni sɛgɛsɛgɛ cogo di? San 2008, fɛnba dɔ kɛra ka ɲɛsin o ko yɛrɛ ɲɛnabɔli ma Common Lisp sigida la ni Christophe Rhodes ka sɛbɛn bɔli ye, n’o ye “SBCL: A Sanely-Bootstrappable Common Lisp” ye. O baara in ye Steel Bank Common Lisp (SBCL) sɛmɛntiya ka bɔ waleyali la min bɛ se ka baara kɛ kosɛbɛ, ka kɛ kɛnɛya ni dannaya misali ye, sariyakolo minnu bɛ mankanba bɔ bi porozɛw kɔnɔ, wa u bɛ bɛn ni Mewayz ɲɔgɔnna jɔyɔrɔw ka hakilina jɔnjɔn ye, minnu b’a ɲini ka jago siratigɛw di minnu bɛ se ka da u kan, minnu bɛ faamuya.

"Sanely-Bootstrappable" kɔrɔ ye mun ye ?

Sanni SBCL ka fɛn caman tigɛli ka kɛ, Common Lisp daɲɛgafebɔlan jɔli tun bɛ to ka Common Lisp sitɛmu dɔ de wajibiya min tun bɛ yen ka kɔrɔ, a ka c’a la, a tun bɛ kɛ a yɛrɛ ta ye, walasa ka jɔli baara kɛ. O ye dannaya dɔ Dabɔ "daŋaniya dannaya" cakɛda dɔ kan, hakilina min tɔgɔ bɔra kosɛbɛ Ken Thompson fɛ a ka san 1984 Turing Jala jɛmukan na. Jɔrɔnanko ye ko mɔgɔ jugu dɔ bɛ Se ka 'sèn dogolen dɔ Dòn 'daɲɛgafe-sɛbɛn dɔ kɔnɔ, o min bɛna o bɔnɛ in Lasegin makun na a ka porogaramu nataw bɛɛ kɔnɔ a bɛ minnu Lajɛ, hali a yɛrɛ ka 'sèn nataw fana. "Sanely-bootstrappable" sitɛmu dɔ bɛ o cakɛda in tiɲɛ. A bɛ sira jɛlen Di, min bɛ Se ka Lajɛ, k’a Tà daminɛyɔrɔ fitinin na, min ka nɔgɔn — a ka c’a la, kodɔn fitinin dɔ bɛ Kɛ kan dɔgɔmannin dɔ la i n’a fɔ C — ka Taa se daɲɛgafe dafalen ma, min ka gɛlɛn. O b’a To baarakɛlaw bɛ Se ka taabolo in taabolo kelen-kelen bɛɛ Sɛgɛsɛgɛ, k’a Jira ko binary min bɛ Sɔrɔ o la, o tɛ fɛn wɛrɛ Kɛ a la wa a kɛcogo bɛ Kɛ i n’a fɔ a source code b’a fɛ cogo min na tigitigi.

SBCL Bootstrap taabolo : Ka bɔ C la ka taa Common Lisp

Christophe Rhodes ka sɛbɛn y' a ɲɛfɔ cogo min na SBCL ye nin jɔyɔrɔ negela in sɔrɔ cogo min na . Bootstrap taabolo ye taama ye min bɛ mɔgɔ ɲɛnajɛ, min bɛ kɛ ka sistɛmu dɔ jɔ a yɛrɛ la dakunw na. A tɛ daminɛ ni Common Lisp sigida dafalen ye, nka a bɛ daminɛ ni Lisp bamanankan-falen-falen fitinin ye min sɛbɛnnen bɛ C. Nin bamanankan-falen-falen in, n'a bɛ fɔ tuma caman na ko "cold start" sitɛmu, o fanga ka bon dɔrɔn ka se ka SBCL source code jɔnjɔn baara. Taabolo in bɛ taabolo kunbaba fila de la :

Mun na Bootstrappability nafa ka bon bi porogaramuw la

SBCL ka dilancogo sariyakolo minnu bɛ yen, olu bɛ tɛmɛn kalanko nafa kan kosɛbɛ. Waati min na, porogaramuw feereli cakɛda binkanniw ye bagabagaliba ye, an bɛ baara kɛ ni baarakɛminɛn minnu ye, an bɛ se ka olu jateminɛ ani k’u sɛgɛsɛgɛ, o de ye ko bɛɛ la belebele ye. Jagokɛlaw minnu bɛ u jigi da porozɛw kulu gɛlɛnw kan, dannayabaliya min bɛ jusigilanw na, o bɛ se ka kɛ sababu ye ka faratiba lase lakana ni baarakɛcogo ma. SBCL ka sɛbɛn b’a jira ko a bɛ se ka kɛ ka sigida barikamaw jɔ, minnu ka gɛlɛn, k’a sɔrɔ u ma sɛgɛsɛgɛli saraka. Nin ethos in min ye ka sigida jɛlenw ni dannaya bɛ se ka da minnu kan ka bɔ jusigilan dannamɔgɔ la, o bɛ jɛ ni Mewayz ɲɔgɔnna platformw ye. I n’a fɔ SBCL bɛ basigi sabatilen di, min bɛ se ka jateminɛ kɛ porozɛw dilanni na cogo min na, Mewayz b’a ɲini ka jago OS modulari ni jɛlen di, ka hakilina jɛlen di tɔnw ma u ka baarakɛcogo n’u ka kunnafonidilanw dafalen kan, o la, jagokɛyɔrɔ dɔ jɔ min bɛ se ka da u kan ani min bɛ se ka kɔlɔsi.

ciyɛn ni nɔ banbali

San 2008 sɛbɛn min kɛra SBCL kan, o y' a tɔgɔ sabati ko a tɛ Common Lisp waleyali teliyalen dɔ dɔrɔn ye , nka a ye a barikama ni dannayalenba dɔ fana ye . A bɛ kɛ ko kɛlen ye min fanga ka bon porozɛw dilanni na, k’a jira ko baarakɛcogo ni lakana man kan ka kɛ ɲɔgɔn fɛ. Ni u ye bootstrap taabolo hakilitigi bila jɔyɔrɔ fɔlɔ la, SBCL jɛkulu ye dannayaba lawuli ani ka fanga di baarakɛlaw ma u ka se k’u ka baarakɛminɛnw cakɛda bɛɛ ta. Nin cɛsiri in min bɛ kɛ ka sistɛmuw da minnu fanga ka bon ani minnu bɛ faamuya, o bɛ to yeelen ɲɛminɛbaga ye, min bɛ dusu don mɔgɔ kɔnɔ ka fɛɛrɛ dɔ labɛn min bɛ kɛ ni laɲini ye ani min bɛ lakana kosɛbɛ porozɛw dilanni na, min bɛ nafa don dabɔ cakɛda bɛɛ la, k’a ta kode sinsinni fɔlɔ la ka se waleyali laban ma.