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

Yon Entwodiksyon nan SBCL ak Drive for Software Pite

Nan mond lan konplike nan devlopman lojisyèl, kèk travay ki pi fondamantal-oswa kòm potansyèlman plen ak konpleksite-tankou bati yon du. Pwosesis la, ke yo rekonèt kòm bootstrapping, enplike nan itilize yon du ki ekziste pou konstwi yon nouvo vèsyon pipiti de youn de tèt li. Sa a ka mennen nan yon pwoblèm "poul ak ze": ki jan ou verifye kòrèkteman nan konpilatè a ki te bati konpilatè ou a? An 2008, yo te reyalize yon etap enpòtan nan abòde pwoblèm sa a pou kominote Common Lisp ak piblikasyon papye Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp." Travay sa a te transfòme Steel Bank Common Lisp (SBCL) soti nan yon aplikasyon pèfòmans segondè nan yon modèl transparans ak fyab, prensip ki rezone pwofondman nan peyizaj lojisyèl jodi a epi ki aliman ak filozofi debaz platfòm tankou Mewayz ki ap chèche bay sistèm biznis serye, ki konprann.

Ki sa "Sanely-Bootstrappable" vle di?

Avan transfòmasyon SBCL a, bati yon konpilatè Common Lisp souvan te mande yon sistèm Common Lisp ki te deja egziste, souvan propriétaire, pou kouri pwosesis konstriksyon an. Sa a te kreye yon depandans sou yon chèn "konfyans konfyans", yon konsèp ki pi popilè ke Ken Thompson te dekri nan konferans Prim Turing li an 1984. Enkyetid la se ke yon aktè move ka prezante yon vilnerabilite kache nan yon du, ki ta Lè sa a, an silans difize vilnerabilite sa a nan chak pwogram ki vin apre li konpile, ki gen ladan vèsyon nan lavni nan tèt li. Yon sistèm "sanely-bootstrappable" kraze chèn sa a. Li bay yon chemen ki klè, ki kapab verifye, ki soti nan yon pwen depa minim, senp—souvan yon ti kantite kòd nan yon lang ki pi ba tankou C—nan yon konpilatè konplè, sofistike. Sa a pèmèt devlopè yo verifye chak etap nan pwosesis la, asire binè ki kapab lakòz la pa gen okenn manipilasyon epi konpòtman li se egzakteman jan kòd sous li a vle.

Pwosesis Bootstrap SBCL: Soti nan C rive nan Lisp komen

Dokiman Christophe Rhodes te detaye kijan SBCL te rive jwenn estati ki te sitèlman anvi sa a. Pwosesis bootstrap la se yon vwayaj kaptivan nan yon sistèm bati tèt li an etap. Li kòmanse pa ak yon anviwònman Common Lisp konplè, men ak yon entèprèt Lisp minim ki ekri an C. Entèprèt sa a, yo rele souvan sistèm "kòmansman frèt", jis ase pwisan pou egzekite kòd sous SBCL debaz la. Pwosesis la enplike de etap kle:

• Etap 1: Entèprèt ki baze sou C la konpile dosye sous SBCL fondamantal yo. Sa kreye yon anviwonman SBCL primitif men k ap fonksyone ki toujou ap kouri sou entèprèt la.
• Etap 2: Nouvo anviwònman SBCL sa a itilize pou konpile kòd sous SBCL la ankò, men fwa sa a nèt nan tèt li. Rezilta a se yon ègzekutabl SBCL "cho" ki endepandan de entèprèt C orijinal la epi ki ka kouri natif natal sou machin lame a.

Kapasite pwòp tèt ou-hosting sa a se poto prensipal la pou ou kapab demaraj saniman. Sa vle di ke nenpòt moun ka pran kòd sous SBCL ki te pibliye a epi, avèk yon konpilateur C estanda, bati yon ègzèkutabl SBCL ki verifye, ki fè konfyans apati de tè a. Sa a elimine depandans sou binè pre-konpile ki kapab konpwomèt.

Poukisa Bootstrappability enpòtan pou lojisyèl modèn

Pwensip ki dèyè konsepsyon SBCL yo depase enterè akademik yo. Nan yon epòk kote atak chèn ekipman pou lojisyèl yo se yon menas kritik, kapasite nan odit ak verifye zouti nou itilize yo esansyèl. Pou biznis ki depann de pil lojisyèl konplèks, ensètitid nan kouch fondamantal yo ka mennen nan sekirite enpòtan ak risk operasyonèl. Papye SBCL a montre ke li posib pou konstwi sistèm pwisan ak konplèks san sakrifye verifyabilite. Platfòm tankou Mewayz pataje ethos sa a nan bati sistèm transparan ak serye ki soti nan yon fondasyon ou fè konfyans. Menm jan SBCL bay yon baz solid, oditab pou devlopman lojisyèl, Mewayz gen pou objaktif pou bay yon sistèm eksplwatasyon biznis modilè ak transparan, ki bay konpayi yo yon insight klè sou workflows operasyon yo ak entegrite done yo, kidonk bati yon anviwònman biznis ki gen plis konfyans ak kontwole.

Papye a konkli lè li mete aksan sou pwosesis bootstrap SBCL a, byenke li konplèks, bay yon "chemen ki soti nan yon ti semans ki kapab verifye rive nan yon sistèm Common Lisp konplè," efektivman diminye pwoblèm "trusting trust" epi etabli yon nouvo estanda pou entegrite konpilatè.

Eritaj ak enpak dirab

Papye 2008 la sou SBCL simante repitasyon li kòm pa sèlman youn nan aplikasyon Common Lisp ki pi rapid, men tou kòm youn nan pi solid ak konfyans. Li sèvi kòm yon etid ka pwisan pou endistri lojisyèl tout antye, ki pwouve ke pèfòmans ak sekirite pa bezwen mityèlman eksklizif. Lè kominote SBCL a te bay priyorite yon pwosesis demaraj ki bon, li te ankouraje plis konfyans epi bay devlopè yo pouvwa pou yo pran tout chèn zouti yo. Angajman sa a pou kreye sistèm ki pisan e ki konpreyansib yo rete yon limyè k ap gide, ki enspire yon apwòch ki pi ekspre e ki an sekirite nan jeni lojisyèl ki bay valè tout chèn kreyasyon an, depi premye liy kòd la rive nan ègzekutabl final la.

Kesyon yo poze souvan

Yon Entwodiksyon nan SBCL ak Drive for Software Pite

Nan mond lan konplike nan devlopman lojisyèl, kèk travay ki pi fondamantal-oswa kòm potansyèlman plen ak konpleksite-tankou bati yon du. Pwosesis la, ke yo rekonèt kòm bootstrapping, enplike nan itilize yon du ki ekziste pou konstwi yon nouvo vèsyon pipiti de youn de tèt li. Sa a ka mennen nan yon pwoblèm "poul ak ze": ki jan ou verifye kòrèkteman nan konpilatè a ki te bati konpilatè ou a? An 2008, yo te reyalize yon etap enpòtan nan abòde pwoblèm sa a pou kominote Common Lisp ak piblikasyon papye Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp." Travay sa a te transfòme Steel Bank Common Lisp (SBCL) soti nan yon aplikasyon pèfòmans segondè nan yon modèl transparans ak fyab, prensip ki rezone pwofondman nan peyizaj lojisyèl jodi a epi ki aliman ak filozofi debaz platfòm tankou Mewayz ki ap chèche bay sistèm biznis serye, ki konprann.

Ki sa "Sanely-Bootstrappable" vle di?

Avan transfòmasyon SBCL a, bati yon konpilatè Common Lisp souvan te mande yon sistèm Common Lisp ki te deja egziste, souvan propriétaire, pou kouri pwosesis konstriksyon an. Sa a te kreye yon depandans sou yon chèn "konfyans konfyans", yon konsèp ki pi popilè ke Ken Thompson te dekri nan konferans Prim Turing li an 1984. Enkyetid la se ke yon aktè move ka prezante yon vilnerabilite kache nan yon du, ki ta Lè sa a, an silans difize vilnerabilite sa a nan chak pwogram ki vin apre li konpile, ki gen ladan vèsyon nan lavni nan tèt li. Yon sistèm "sanely-bootstrappable" kraze chèn sa a. Li bay yon chemen ki klè, ki kapab verifye, ki soti nan yon pwen depa minim, senp—souvan yon ti kantite kòd nan yon lang ki pi ba tankou C—nan yon konpilatè konplè, sofistike. Sa a pèmèt devlopè yo verifye chak etap nan pwosesis la, asire binè ki kapab lakòz la pa gen okenn manipilasyon epi konpòtman li se egzakteman jan kòd sous li a vle.

Pwosesis Bootstrap SBCL: Soti nan C rive nan Lisp komen

Dokiman Christophe Rhodes te detaye kijan SBCL te rive jwenn estati ki te sitèlman anvi sa a. Pwosesis bootstrap la se yon vwayaj kaptivan nan yon sistèm bati tèt li an etap. Li kòmanse pa ak yon anviwònman Common Lisp konplè, men ak yon entèprèt Lisp minim ki ekri an C. Entèprèt sa a, yo rele souvan sistèm "kòmansman frèt", jis ase pwisan pou egzekite kòd sous SBCL debaz la. Pwosesis la enplike de etap kle:

Poukisa Bootstrappability enpòtan pou lojisyèl modèn

Pwensip ki dèyè konsepsyon SBCL yo depase enterè akademik yo. Nan yon epòk kote atak chèn ekipman pou lojisyèl yo se yon menas kritik, kapasite nan odit ak verifye zouti nou itilize yo esansyèl. Pou biznis ki depann de pil lojisyèl konplèks, ensètitid nan kouch fondamantal yo ka mennen nan sekirite enpòtan ak risk operasyonèl. Papye SBCL a montre ke li posib pou konstwi sistèm pwisan ak konplèks san sakrifye verifyabilite. Platfòm tankou Mewayz pataje ethos sa a nan bati sistèm transparan ak serye ki soti nan yon fondasyon ou fè konfyans. Menm jan SBCL bay yon baz solid, oditab pou devlopman lojisyèl, Mewayz gen pou objaktif pou bay yon sistèm eksplwatasyon biznis modilè ak transparan, ki bay konpayi yo yon insight klè sou workflows operasyon yo ak entegrite done yo, kidonk bati yon anviwònman biznis ki gen plis konfyans ak kontwole.

Eritaj ak enpak dirab

Papye 2008 la sou SBCL simante repitasyon li kòm pa sèlman youn nan aplikasyon Common Lisp ki pi rapid, men tou kòm youn nan pi solid ak konfyans. Li sèvi kòm yon etid ka pwisan pou endistri lojisyèl tout antye, ki pwouve ke pèfòmans ak sekirite pa bezwen mityèlman eksklizif. Lè kominote SBCL a te bay priyorite yon pwosesis demaraj ki bon, li te ankouraje plis konfyans epi bay devlopè yo pouvwa pou yo pran tout chèn zouti yo. Angajman sa a pou kreye sistèm ki pisan e ki konpreyansib yo rete yon limyè k ap gide, ki enspire yon apwòch ki pi ekspre e ki an sekirite nan jeni lojisyèl ki bay valè tout chèn kreyasyon an, depi premye liy kòd la rive nan ègzekutabl final la.