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

SBCL жана Программанын тазалыгы үчүн дискке киришүү

Программалык камсыздоону иштеп чыгуунун татаал дүйнөсүндө компиляторду куруу сыяктуу фундаменталдуу же мүмкүн болуучу татаалдыкка толгон тапшырмалар аз. Bootstrapping деп аталган процесс өзүнүн жаңы версиясын куруу үчүн учурдагы компиляторду колдонууну камтыйт. Бул "тоок жана жумуртка" көйгөйүнө алып келиши мүмкүн: компиляторду түзгөн компилятордун тууралыгын кантип текшересиз? 2008-жылы Кристоф Родстун "SBCL: A Sanely-Bootstrappable Common Lisp" аттуу кагазын чыгаруу менен Common Lisp коомчулугу үчүн дал ушул маселени чечүүдө олуттуу этапка жетишилди. Бул иш Steel Bank Common Lispти (SBCL) жогорку натыйжалуу ишке ашыруудан айкындуулуктун жана ишенимдүүлүктүн парагонуна айландырды, принциптер бүгүнкү программалык ландшафтта терең резонанс жаратты жана Mewayz сыяктуу платформалардын негизги философиясына шайкеш келет, алар ишенимдүү, түшүнүктүү бизнес системаларын камсыз кылууга умтулат.

"Sanely-Bootstrappable" эмнени билдирет?

SBCL трансформациясына чейин, Common Lisp компиляторун куруу көбүнчө куруу процессин иштетүү үчүн мурунтан бар, көбүнчө менчик, Common Lisp тутумун талап кылчу. Бул Кен Томпсон тарабынан 1984-жылы Тюринг сыйлыгы боюнча лекциясында айтылган концепцияны "ишенимдүү ишеним" чынжырынан көз карандылыкты жаратты. Кооптонуу мына ушунда: зыяндуу актер компиляторго жашыруун кемчиликти киргизиши мүмкүн, ал андан кийин ал кемчиликти өзү түзгөн ар бир кийинки программага, анын ичинде өзүнүн келечектеги версияларына унчукпай жайылтат. "Sanely-bootstrappable" системасы бул чынжырды үзөт. Ал минималдуу, жөнөкөй баштапкы чекиттен (көбүнчө C сыяктуу төмөнкү деңгээлдеги тилде аз сандагы коддон) толук, татаал компиляторго чейин так, текшерилүүчү жолду камсыз кылат. Бул иштеп чыгуучуларга процесстин ар бир кадамын текшерүүгө мүмкүндүк берет, натыйжада экиликтин бурмаланбашы жана анын жүрүм-туруму анын баштапкы кодунда айтылгандай болушун камсыздайт.

SBCL жүктөө процесси: Cдан Common Lispке

Кристоф Родстун кагазы SBCL бул эңсеген статуска кантип жеткенин деталдаштырат. Жүктөө процесси системанын өзүн этап менен куруунун кызыктуу сапары. Ал толук Common Lisp чөйрөсүнөн эмес, C тилинде жазылган минималдуу Lisp котормочу менен башталат. Бул котормочу, көбүнчө "муздак баштоо" системасы деп аталат, SBCL негизги булак кодун аткарууга жетиштүү күчтүү. Процесс эки негизги этапты камтыйт:

• 1-этап: C негизиндеги котормочу негизги SBCL булак файлдарын түзөт. Бул котормочунун үстүндө дагы эле иштеп жаткан примитивдүү, бирок иштеген SBCL чөйрөсүн түзөт.
• 2-этап: Бул жаңы SBCL чөйрөсү SBCL булак кодун кайра түзүү үчүн колдонулат, бирок бул жолу толугу менен өз ичинде. Натыйжада баштапкы C котормочусунан көзкарандысыз жана негизги компьютерде иштей ала турган "ысык" SBCL аткарылуучу файл болуп саналат.

Бул өзүн-өзү хостинг жөндөмдүүлүгү акыл-эстүүлүк менен жүктөөнүн негизи болуп саналат. Бул ар бир адам жарыяланган SBCL булак кодун алып, стандарттуу C компилятору менен текшерилген, ишенимдүү SBCL аткарылуучу куралын башынан баштап кура алат дегенди билдирет. Бул алдын ала компиляцияланган экилик файлдарга көз карандылыкты жок кылат.

Эмне үчүн жүктөө мүмкүнчүлүгү заманбап программалык камсыздоо үчүн маанилүү

SBCL дизайнынын принциптери академиялык кызыкчылыктан алыс. Программалык камсыздоонун чынжырчасынын чабуулдары олуттуу коркунуч болуп саналган доордо биз колдонгон куралдарды текшерүү жана текшерүү жөндөмдүүлүгү абдан маанилүү. Татаал программалык камсыздоо стектеринен көз каранды болгон бизнес үчүн фундаменталдык катмарлардагы белгисиздик олуттуу коопсуздук жана операциялык тобокелдиктерге алып келиши мүмкүн. SBCL кагазы текшерүү мүмкүнчүлүгүн жоготпостон, күчтүү, татаал системаларды курууга болорун көрсөтүп турат. Ишенимдүү пайдубалдан ачык жана ишенимдүү системаларды куруунун бул этосу Mewayz сыяктуу платформалар менен бөлүшүлөт. SBCL программалык камсыздоону иштеп чыгуу үчүн бекем, текшерилүүчү базаны камсыздагандай эле, Mewayz компанияларга алардын операциялык процесстери жана маалыматтардын бүтүндүгү жөнүндө так түшүнүк берип, ишенимдүү жана башкарылуучу бизнес чөйрөсүн түзүүгө багытталган модулдук жана ачык-айкын бизнес OS менен камсыз кылууну максат кылат.

Кагаз SBCL'дин жүктөө процесси татаал болгону менен "кичинекей, текшерилүүчү үрөндөн толук Common Lisp тутумуна жолду" камсыз кылып, "ишенимдүү ишеним" көйгөйүн натыйжалуу жумшартып, компилятордун бүтүндүгү үчүн жаңы стандартты белгилей турганын баса белгилейт.

Мурас жана туруктуу таасир

2008-жылдагы SBCL боюнча кагаз өзүнүн репутациясын эң тез Common Lisp ишке ашырууларынын бири эле эмес, ошондой эле эң күчтүү жана ишенимдүү бири катары бекемдеди. Бул бүтүндөй программалык камсыздоо индустриясы үчүн күчтүү мисал катары кызмат кылат, бул аткаруу жана коопсуздук бири-бирин жокко чыгарбашы керектигин далилдейт. Эстүү жүктөө процессине артыкчылык берүү менен, SBCL коомчулугу чоң ишенимге ээ болуп, иштеп чыгуучуларга инструменттердин чынжырына толук ээлик кылууга мүмкүнчүлүк берди. Күчтүү жана түшүнүктүү системаларды түзүүгө болгон бул милдеттенме коддун биринчи сабынан акыркы аткарылуучуга чейин түзүүнүн бүт чынжырын баалаган программалык камсыздоо инженериясына кылдат жана коопсуз ыкманы шыктандыруучу багыт бойдон калууда.

Көп берилүүчү суроолор

SBCL жана Программанын тазалыгы үчүн дискке киришүү

Программалык камсыздоону иштеп чыгуунун татаал дүйнөсүндө компиляторду куруу сыяктуу фундаменталдуу же мүмкүн болуучу татаалдыкка толгон тапшырмалар аз. Bootstrapping деп аталган процесс өзүнүн жаңы версиясын куруу үчүн учурдагы компиляторду колдонууну камтыйт. Бул "тоок жана жумуртка" көйгөйүнө алып келиши мүмкүн: компиляторду түзгөн компилятордун тууралыгын кантип текшересиз? 2008-жылы Кристоф Родстун "SBCL: A Sanely-Bootstrappable Common Lisp" аттуу кагазын чыгаруу менен Common Lisp коомчулугу үчүн дал ушул маселени чечүүдө олуттуу этапка жетишилди. Бул иш Steel Bank Common Lispти (SBCL) жогорку натыйжалуу ишке ашыруудан айкындуулуктун жана ишенимдүүлүктүн парагонуна айландырды, принциптер бүгүнкү программалык ландшафтта терең резонанс жаратты жана Mewayz сыяктуу платформалардын негизги философиясына шайкеш келет, алар ишенимдүү, түшүнүктүү бизнес системаларын камсыз кылууга умтулат.

"Sanely-Bootstrappable" эмнени билдирет?

SBCL трансформациясына чейин, Common Lisp компиляторун куруу көбүнчө куруу процессин иштетүү үчүн мурунтан бар, көбүнчө менчик, Common Lisp тутумун талап кылчу. Бул Кен Томпсон тарабынан 1984-жылы Тюринг сыйлыгы боюнча лекциясында айтылган концепцияны "ишенимдүү ишеним" чынжырынан көз карандылыкты жаратты. Кооптонуу мына ушунда: зыяндуу актер компиляторго жашыруун кемчиликти киргизиши мүмкүн, ал андан кийин ал кемчиликти өзү түзгөн ар бир кийинки программага, анын ичинде өзүнүн келечектеги версияларына унчукпай жайылтат. "Sanely-bootstrappable" системасы бул чынжырды үзөт. Ал минималдуу, жөнөкөй баштапкы чекиттен (көбүнчө C сыяктуу төмөнкү деңгээлдеги тилде аз сандагы коддон) толук, татаал компиляторго чейин так, текшерилүүчү жолду камсыз кылат. Бул иштеп чыгуучуларга процесстин ар бир кадамын текшерүүгө мүмкүндүк берет, натыйжада экиликтин бурмаланбашы жана анын жүрүм-туруму анын баштапкы кодунда айтылгандай болушун камсыздайт.

SBCL жүктөө процесси: Cдан Common Lispке

Кристоф Родстун кагазы SBCL бул эңсеген статуска кантип жеткенин деталдаштырат. Жүктөө процесси системанын өзүн этап менен куруунун кызыктуу сапары. Ал толук Common Lisp чөйрөсүнөн эмес, C тилинде жазылган минималдуу Lisp котормочу менен башталат. Бул котормочу, көбүнчө "муздак баштоо" системасы деп аталат, SBCL негизги булак кодун аткарууга жетиштүү күчтүү. Процесс эки негизги этапты камтыйт:

Эмне үчүн жүктөө мүмкүнчүлүгү заманбап программалык камсыздоо үчүн маанилүү

SBCL дизайнынын принциптери академиялык кызыкчылыктан алыс. Программалык камсыздоонун чынжырчасынын чабуулдары олуттуу коркунуч болуп саналган доордо биз колдонгон куралдарды текшерүү жана текшерүү жөндөмдүүлүгү абдан маанилүү. Татаал программалык камсыздоо стектеринен көз каранды болгон бизнес үчүн фундаменталдык катмарлардагы белгисиздик олуттуу коопсуздук жана операциялык тобокелдиктерге алып келиши мүмкүн. SBCL кагазы текшерүү мүмкүнчүлүгүн жоготпостон, күчтүү, татаал системаларды курууга болорун көрсөтүп турат. Ишенимдүү пайдубалдан ачык жана ишенимдүү системаларды куруунун бул этосу Mewayz сыяктуу платформалар менен бөлүшүлөт. SBCL программалык камсыздоону иштеп чыгуу үчүн бекем, текшерилүүчү базаны камсыздагандай эле, Mewayz компанияларга алардын операциялык процесстери жана маалыматтардын бүтүндүгү жөнүндө так түшүнүк берип, ишенимдүү жана башкарылуучу бизнес чөйрөсүн түзүүгө багытталган модулдук жана ачык-айкын бизнес OS менен камсыз кылууну максат кылат.

Мурас жана туруктуу таасир

2008-жылдагы SBCL боюнча кагаз өзүнүн репутациясын эң тез Common Lisp ишке ашырууларынын бири эле эмес, ошондой эле эң күчтүү жана ишенимдүү бири катары бекемдеди. Бул бүтүндөй программалык камсыздоо индустриясы үчүн күчтүү мисал катары кызмат кылат, бул аткаруу жана коопсуздук бири-бирин жокко чыгарбашы керектигин далилдейт. Эстүү жүктөө процессине артыкчылык берүү менен, SBCL коомчулугу чоң ишенимге ээ болуп, иштеп чыгуучуларга инструменттердин чынжырына толук ээлик кылууга мүмкүнчүлүк берди. Күчтүү жана түшүнүктүү системаларды түзүүгө болгон бул милдеттенме коддун биринчи сабынан акыркы аткарылуучуга чейин түзүүнүн бүт чынжырын баалаган программалык камсыздоо инженериясына кылдат жана коопсуз ыкманы шыктандыруучу багыт бойдон калууда.