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

ການແນະນຳກ່ຽວກັບ SBCL ແລະ Drive for Software Purity

ໃນ​ໂລກ​ທີ່​ສັບສົນ​ຂອງ​ການ​ພັດ​ທະ​ນາ​ຊອບ​ແວ, ວຽກ​ງານ​ບໍ່​ຫຼາຍ​ປານ​ໃດ​ແມ່ນ​ເປັນ​ພື້ນ​ຖານ—ຫຼື​ອາດ​ຈະ​ມີ​ຄວາມ​ຊັບ​ຊ້ອນ—ເປັນ​ການ​ສ້າງ​ຕົວ​ສັງ​ລວມ. ຂະບວນການ, ເອີ້ນວ່າ bootstrapping, ກ່ຽວຂ້ອງກັບການນໍາໃຊ້ compiler ທີ່ມີຢູ່ແລ້ວເພື່ອສ້າງສະບັບໃຫມ່ຂອງຕົນເອງ. ນີ້ສາມາດນໍາໄປສູ່ບັນຫາ "ໄກ່ແລະໄຂ່": ທ່ານຈະກວດສອບຄວາມຖືກຕ້ອງຂອງເຄື່ອງລວບລວມຂໍ້ມູນທີ່ສ້າງຕົວລວບລວມຂອງທ່ານໄດ້ແນວໃດ? ໃນປີ 2008, ໄດ້ບັນລຸຜົນສໍາເລັດທີ່ສໍາຄັນໃນການແກ້ໄຂບັນຫານີ້ສໍາລັບຊຸມຊົນ Common Lisp ດ້ວຍການປ່ອຍເອກະສານຂອງ Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp." ວຽກງານນີ້ໄດ້ປ່ຽນ Steel Bank Common Lisp (SBCL) ຈາກການຈັດຕັ້ງປະຕິບັດທີ່ມີປະສິດທິພາບສູງໄປສູ່ຄວາມໂປ່ງໃສ ແລະເຊື່ອຖືໄດ້, ຫຼັກການທີ່ສະທ້ອນຢ່າງເລິກເຊິ່ງໃນພູມສັນຖານຂອງຊອບແວຂອງມື້ນີ້ ແລະສອດຄ່ອງກັບປັດຊະຍາຫຼັກຂອງເວທີເຊັ່ນ Mewayz ທີ່ສະແຫວງຫາການສະໜອງລະບົບທຸລະກິດທີ່ເຊື່ອຖືໄດ້ ແລະເຂົ້າໃຈໄດ້.

"Sanely-Bootstrappable" ຫມາຍຄວາມວ່າແນວໃດ?

ກ່ອນການຫັນປ່ຽນຂອງ SBCL, ການສ້າງ Common Lisp compiler ມັກຈະຕ້ອງການລະບົບ Lisp ທີ່ມີມາກ່ອນ, ມັກຈະເປັນເຈົ້າຂອງ, ເພື່ອດໍາເນີນຂະບວນການສ້າງ. ສິ່ງນີ້ໄດ້ສ້າງການເພິ່ງພາອາໄສລະບົບຕ່ອງໂສ້ "ຄວາມໄວ້ວາງໃຈ", ແນວຄວາມຄິດທີ່ມີຊື່ສຽງໂດຍ Ken Thompson ໃນການບັນຍາຍລາງວັນ Turing ປີ 1984 ຂອງລາວ. ຄວາມກັງວົນແມ່ນວ່ານັກສະແດງທີ່ເປັນອັນຕະລາຍສາມາດແນະນໍາຊ່ອງໂຫວ່ທີ່ເຊື່ອງໄວ້ເຂົ້າໄປໃນການລວບລວມ, ເຊິ່ງຫຼັງຈາກນັ້ນຈະເຜີຍແຜ່ຊ່ອງໂຫວ່ນັ້ນຢ່າງງຽບໆເຂົ້າໄປໃນທຸກໆໂປຼແກຼມທີ່ມັນລວບລວມ, ລວມທັງຮຸ່ນໃນອະນາຄົດຂອງມັນເອງ. ລະບົບ "sanely-bootstrappable" ທໍາລາຍລະບົບຕ່ອງໂສ້ນີ້. ມັນສະຫນອງເສັ້ນທາງທີ່ຊັດເຈນ, ສາມາດກວດສອບໄດ້ຈາກຈຸດເລີ່ມຕົ້ນທີ່ງ່າຍດາຍຫນ້ອຍທີ່ສຸດ - ມັກຈະເປັນຈໍານວນລະຫັດເລັກນ້ອຍໃນພາສາລະດັບຕ່ໍາເຊັ່ນ C - ໄປຫາຜູ້ລວບລວມຂໍ້ມູນເຕັມທີ່ຊັບຊ້ອນ. ອັນນີ້ເຮັດໃຫ້ຜູ້ພັດທະນາສາມາດກວດສອບແຕ່ລະຂັ້ນຕອນຂອງຂະບວນການ, ໃຫ້ແນ່ໃຈວ່າ binary ຜົນໄດ້ຮັບແມ່ນບໍ່ມີການລົບກວນ ແລະພຶດຕິກໍາຂອງມັນແມ່ນແທ້ຕາມຈຸດປະສົງຂອງລະຫັດແຫຼ່ງຂອງມັນ.

ຂະບວນການ SBCL Bootstrap: ຈາກ C ຫາ Common Lisp

ເຈ້ຍຂອງ Christophe Rhodes ອະທິບາຍວ່າ SBCL ບັນລຸສະຖານະພາບທີ່ໂລບມາກນີ້ໄດ້ແນວໃດ. ຂະບວນການ bootstrap ແມ່ນການເດີນທາງທີ່ຫນ້າປະທັບໃຈຂອງການສ້າງລະບົບຕົວເອງໃນຂັ້ນຕອນຕ່າງໆ. ມັນເລີ່ມຕົ້ນບໍ່ແມ່ນສະພາບແວດລ້ອມ Lisp ເຕັມ, ແຕ່ມີນາຍພາສາ Lisp ຫນ້ອຍທີ່ຂຽນໃນ C. ນາຍແປພາສານີ້, ມັກຈະເອີ້ນວ່າລະບົບ "ການເລີ່ມຕົ້ນເຢັນ", ມີອໍານາດພຽງພໍທີ່ຈະປະຕິບັດລະຫັດແຫຼ່ງ SBCL ຫຼັກ. ຂະບວນການປະກອບມີສອງຂັ້ນຕອນຫຼັກ:

• ຂັ້ນຕອນທີ 1: ນາຍພາສາ C-based ລວບລວມໄຟລ໌ແຫຼ່ງ SBCL ພື້ນຖານ. ອັນນີ້ສ້າງສະພາບແວດລ້ອມ SBCL ເດີມແຕ່ໃຊ້ໄດ້ທີ່ຍັງເຮັດວຽກຢູ່ເທິງນາຍພາສາ.
• ຂັ້ນຕອນທີ 2: ສະພາບແວດລ້ອມ SBCL ໃຫມ່ນີ້ຖືກນໍາໃຊ້ເພື່ອລວບລວມລະຫັດແຫຼ່ງ SBCL ອີກເທື່ອຫນຶ່ງ, ແຕ່ເວລານີ້ທັງຫມົດພາຍໃນຕົວມັນເອງ. ຜົນໄດ້ຮັບແມ່ນ "hot" SBCL executable ທີ່ເປັນເອກະລາດຂອງຕົວແປພາສາ C ຕົ້ນສະບັບແລະສາມາດດໍາເນີນການຕົ້ນສະບັບໃນເຄື່ອງແມ່ຂ່າຍ.

ຄວາມສາມາດໃນການໂຮດດ້ວຍຕົນເອງນີ້ແມ່ນພື້ນຖານຫຼັກຂອງການເປັນ bootstrappable sanely-bootstrappable. ມັນຫມາຍຄວາມວ່າທຸກຄົນສາມາດເອົາລະຫັດແຫຼ່ງ SBCL ທີ່ຖືກເຜີຍແຜ່ແລະ, ດ້ວຍມາດຕະຖານ C compiler, ສ້າງ SBCL ທີ່ຖືກຢືນຢັນ, ເຊື່ອຖືໄດ້ຈາກພື້ນຖານ. ອັນນີ້ກຳຈັດການເອື່ອຍອີງໃສ່ຖານສອງທີ່ລວບລວມໄວ້ລ່ວງໜ້າທີ່ອາດຈະຖືກທຳລາຍ.

ເປັນຫຍັງ Bootstrappability ຈຶ່ງສຳຄັນສຳລັບຊອບແວທັນສະໄໝ

ຫຼັກການທີ່ຢູ່ເບື້ອງຫຼັງການອອກແບບຂອງ SBCL ຂະຫຍາຍອອກໄປໄກກວ່າຄວາມສົນໃຈທາງວິຊາການ. ໃນຍຸກທີ່ການໂຈມຕີລະບົບຕ່ອງໂສ້ການສະຫນອງຊອບແວເປັນໄພຂົ່ມຂູ່ທີ່ສໍາຄັນ, ຄວາມສາມາດໃນການກວດສອບແລະກວດສອບເຄື່ອງມືທີ່ພວກເຮົາໃຊ້ແມ່ນສໍາຄັນທີ່ສຸດ. ສໍາລັບທຸລະກິດທີ່ຂຶ້ນກັບ stacks ຊອບແວທີ່ສັບສົນ, ຄວາມບໍ່ແນ່ນອນໃນຊັ້ນພື້ນຖານສາມາດນໍາໄປສູ່ຄວາມປອດໄພທີ່ສໍາຄັນແລະຄວາມສ່ຽງຕໍ່ການດໍາເນີນງານ. ເອກະສານ SBCL ສະແດງໃຫ້ເຫັນວ່າມັນເປັນໄປໄດ້ທີ່ຈະສ້າງລະບົບທີ່ມີປະສິດທິພາບ, ສະລັບສັບຊ້ອນໂດຍບໍ່ມີການເສຍສະລະການກວດສອບ. ຈັນຍາບັນຂອງການສ້າງລະບົບທີ່ໂປ່ງໃສ ແລະເຊື່ອຖືໄດ້ຈາກພື້ນຖານທີ່ເຊື່ອຖືໄດ້ຖືກແບ່ງປັນໂດຍເວທີຕ່າງໆເຊັ່ນ Mewayz. ເຊັ່ນດຽວກັນກັບ SBCL ສະຫນອງພື້ນຖານທີ່ແຂງ, ສາມາດກວດສອບໄດ້ສໍາລັບການພັດທະນາຊໍແວ, Mewayz ມີຈຸດປະສົງເພື່ອສະຫນອງລະບົບທຸລະກິດແບບໂມດູລາແລະໂປ່ງໃສ, ໃຫ້ບໍລິສັດມີຄວາມເຂົ້າໃຈຢ່າງຈະແຈ້ງກ່ຽວກັບຂະບວນການປະຕິບັດງານຂອງພວກເຂົາແລະຄວາມສົມບູນຂອງຂໍ້ມູນ, ດັ່ງນັ້ນການສ້າງສະພາບແວດລ້ອມທາງທຸລະກິດທີ່ຫນ້າເຊື່ອຖືແລະສາມາດຄວບຄຸມໄດ້ຫຼາຍຂຶ້ນ.

ເອກະສານສະຫຼຸບໂດຍການເນັ້ນຫນັກວ່າຂະບວນການ bootstrap ຂອງ SBCL, ໃນຂະນະທີ່ສະລັບສັບຊ້ອນ, ສະຫນອງ "ເສັ້ນທາງຈາກເມັດຂະຫນາດນ້ອຍ, ການກວດສອບໄປສູ່ລະບົບ Lisp ທົ່ວໄປ," ຫຼຸດຜ່ອນບັນຫາ "ຄວາມໄວ້ວາງໃຈ" ທີ່ມີປະສິດທິພາບແລະກໍານົດມາດຕະຖານໃຫມ່ສໍາລັບຄວາມສົມບູນຂອງ compiler.

ຜົນ​ກະ​ທົບ​ທີ່​ເປັນ​ມູນ​ເຊື້ອ​ແລະ​ອັນ​ຍືນ​ຍົງ

ເອກະສານສະບັບປີ 2008 ຢູ່ໃນ SBCL ໄດ້ເສີມສ້າງຊື່ສຽງຂອງຕົນວ່າບໍ່ພຽງແຕ່ເປັນອັນໜຶ່ງຂອງການຈັດຕັ້ງປະຕິບັດ Lisp ທີ່ໄວທີ່ສຸດເທົ່ານັ້ນ, ແຕ່ຍັງເປັນອັນໜຶ່ງທີ່ແຂງແຮງ ແລະ ເຊື່ອຖືໄດ້. ມັນເຮັດຫນ້າທີ່ເປັນກໍລະນີສຶກສາທີ່ມີປະສິດທິພາບສໍາລັບອຸດສາຫະກໍາຊອບແວທັງຫມົດ, ພິສູດວ່າການປະຕິບັດແລະຄວາມປອດໄພບໍ່ຈໍາເປັນຕ້ອງມີຄວາມຜູກພັນເຊິ່ງກັນແລະກັນ. ໂດຍການຈັດລໍາດັບຄວາມສໍາຄັນຂອງຂະບວນການ bootstrap ທີ່ດີ, ຊຸມຊົນ SBCL ໄດ້ສົ່ງເສີມຄວາມໄວ້ວາງໃຈຫຼາຍຂຶ້ນແລະໃຫ້ຜູ້ພັດທະນາສາມາດເປັນເຈົ້າຂອງຢ່າງເຕັມທີ່ຂອງຕ່ອງໂສ້ເຄື່ອງມືຂອງພວກເຂົາ. ຄວາມມຸ່ງໝັ້ນໃນການສ້າງລະບົບທີ່ທັງມີປະສິດທິພາບ ແລະ ເຂົ້າໃຈໄດ້ຍັງຄົງເປັນຄວາມສະຫວ່າງໃນການນຳພາ, ເປັນແຮງບັນດານໃຈໃຫ້ວິທີການວິສະວະກຳຊອຟແວທີ່ມີເຈດຕະນາ ແລະ ປອດໄພຍິ່ງຂຶ້ນ ເຊິ່ງໃຫ້ຄຸນຄ່າຕໍ່ລະບົບຕ່ອງໂສ້ການສ້າງທັງໝົດ, ຈາກແຖວທຳອິດຂອງລະຫັດຈົນເຖິງຂັ້ນສຸດທ້າຍ.

ຄຳຖາມທີ່ຖາມເລື້ອຍໆ

ການແນະນຳກ່ຽວກັບ SBCL ແລະ Drive for Software Purity

ໃນ​ໂລກ​ທີ່​ສັບສົນ​ຂອງ​ການ​ພັດ​ທະ​ນາ​ຊອບ​ແວ, ວຽກ​ງານ​ບໍ່​ຫຼາຍ​ປານ​ໃດ​ແມ່ນ​ເປັນ​ພື້ນ​ຖານ—ຫຼື​ອາດ​ຈະ​ມີ​ຄວາມ​ຊັບ​ຊ້ອນ—ເປັນ​ການ​ສ້າງ​ຕົວ​ສັງ​ລວມ. ຂະບວນການ, ເອີ້ນວ່າ bootstrapping, ກ່ຽວຂ້ອງກັບການນໍາໃຊ້ compiler ທີ່ມີຢູ່ແລ້ວເພື່ອສ້າງສະບັບໃຫມ່ຂອງຕົນເອງ. ນີ້ສາມາດນໍາໄປສູ່ບັນຫາ "ໄກ່ແລະໄຂ່": ທ່ານຈະກວດສອບຄວາມຖືກຕ້ອງຂອງເຄື່ອງລວບລວມຂໍ້ມູນທີ່ສ້າງຕົວລວບລວມຂອງທ່ານໄດ້ແນວໃດ? ໃນປີ 2008, ໄດ້ບັນລຸຜົນສໍາເລັດທີ່ສໍາຄັນໃນການແກ້ໄຂບັນຫານີ້ສໍາລັບຊຸມຊົນ Common Lisp ດ້ວຍການປ່ອຍເອກະສານຂອງ Christophe Rhodes, "SBCL: A Sanely-Bootstrappable Common Lisp." ວຽກງານນີ້ໄດ້ປ່ຽນ Steel Bank Common Lisp (SBCL) ຈາກການຈັດຕັ້ງປະຕິບັດທີ່ມີປະສິດທິພາບສູງໄປສູ່ຄວາມໂປ່ງໃສ ແລະເຊື່ອຖືໄດ້, ຫຼັກການທີ່ສະທ້ອນຢ່າງເລິກເຊິ່ງໃນພູມສັນຖານຂອງຊອບແວຂອງມື້ນີ້ ແລະສອດຄ່ອງກັບປັດຊະຍາຫຼັກຂອງເວທີເຊັ່ນ Mewayz ທີ່ສະແຫວງຫາການສະໜອງລະບົບທຸລະກິດທີ່ເຊື່ອຖືໄດ້ ແລະເຂົ້າໃຈໄດ້.

"Sanely-Bootstrappable" ຫມາຍຄວາມວ່າແນວໃດ?

ກ່ອນການຫັນປ່ຽນຂອງ SBCL, ການສ້າງ Common Lisp compiler ມັກຈະຕ້ອງການລະບົບ Lisp ທີ່ມີມາກ່ອນ, ມັກຈະເປັນເຈົ້າຂອງ, ເພື່ອດໍາເນີນຂະບວນການສ້າງ. ສິ່ງນີ້ໄດ້ສ້າງການເພິ່ງພາອາໄສລະບົບຕ່ອງໂສ້ "ຄວາມໄວ້ວາງໃຈ", ແນວຄວາມຄິດທີ່ມີຊື່ສຽງໂດຍ Ken Thompson ໃນການບັນຍາຍລາງວັນ Turing ປີ 1984 ຂອງລາວ. ຄວາມກັງວົນແມ່ນວ່ານັກສະແດງທີ່ເປັນອັນຕະລາຍສາມາດແນະນໍາຊ່ອງໂຫວ່ທີ່ເຊື່ອງໄວ້ເຂົ້າໄປໃນການລວບລວມ, ເຊິ່ງຫຼັງຈາກນັ້ນຈະເຜີຍແຜ່ຊ່ອງໂຫວ່ນັ້ນຢ່າງງຽບໆເຂົ້າໄປໃນທຸກໆໂປຼແກຼມທີ່ມັນລວບລວມ, ລວມທັງຮຸ່ນໃນອະນາຄົດຂອງມັນເອງ. ລະບົບ "sanely-bootstrappable" ທໍາລາຍລະບົບຕ່ອງໂສ້ນີ້. ມັນສະຫນອງເສັ້ນທາງທີ່ຊັດເຈນ, ສາມາດກວດສອບໄດ້ຈາກຈຸດເລີ່ມຕົ້ນທີ່ງ່າຍດາຍຫນ້ອຍທີ່ສຸດ - ມັກຈະເປັນຈໍານວນລະຫັດເລັກນ້ອຍໃນພາສາລະດັບຕ່ໍາເຊັ່ນ C - ໄປຫາຜູ້ລວບລວມຂໍ້ມູນເຕັມທີ່ຊັບຊ້ອນ. ອັນນີ້ເຮັດໃຫ້ຜູ້ພັດທະນາສາມາດກວດສອບແຕ່ລະຂັ້ນຕອນຂອງຂະບວນການ, ໃຫ້ແນ່ໃຈວ່າ binary ຜົນໄດ້ຮັບແມ່ນບໍ່ມີການລົບກວນ ແລະພຶດຕິກໍາຂອງມັນແມ່ນແທ້ຕາມຈຸດປະສົງຂອງລະຫັດແຫຼ່ງຂອງມັນ.

ຂະບວນການ SBCL Bootstrap: ຈາກ C ຫາ Common Lisp

ເຈ້ຍຂອງ Christophe Rhodes ອະທິບາຍວ່າ SBCL ບັນລຸສະຖານະພາບທີ່ໂລບມາກນີ້ໄດ້ແນວໃດ. ຂະບວນການ bootstrap ແມ່ນການເດີນທາງທີ່ຫນ້າປະທັບໃຈຂອງການສ້າງລະບົບຕົວເອງໃນຂັ້ນຕອນຕ່າງໆ. ມັນເລີ່ມຕົ້ນບໍ່ແມ່ນສະພາບແວດລ້ອມ Lisp ເຕັມ, ແຕ່ມີນາຍພາສາ Lisp ຫນ້ອຍທີ່ຂຽນໃນ C. ນາຍແປພາສານີ້, ມັກຈະເອີ້ນວ່າລະບົບ "ການເລີ່ມຕົ້ນເຢັນ", ມີອໍານາດພຽງພໍທີ່ຈະປະຕິບັດລະຫັດແຫຼ່ງ SBCL ຫຼັກ. ຂະບວນການປະກອບມີສອງຂັ້ນຕອນຫຼັກ:

ເປັນຫຍັງ Bootstrappability ຈຶ່ງສຳຄັນສຳລັບຊອບແວທັນສະໄໝ

ຫຼັກການທີ່ຢູ່ເບື້ອງຫຼັງການອອກແບບຂອງ SBCL ຂະຫຍາຍອອກໄປໄກກວ່າຄວາມສົນໃຈທາງວິຊາການ. ໃນຍຸກທີ່ການໂຈມຕີລະບົບຕ່ອງໂສ້ການສະຫນອງຊອບແວເປັນໄພຂົ່ມຂູ່ທີ່ສໍາຄັນ, ຄວາມສາມາດໃນການກວດສອບແລະກວດສອບເຄື່ອງມືທີ່ພວກເຮົາໃຊ້ແມ່ນສໍາຄັນທີ່ສຸດ. ສໍາລັບທຸລະກິດທີ່ຂຶ້ນກັບ stacks ຊອບແວທີ່ສັບສົນ, ຄວາມບໍ່ແນ່ນອນໃນຊັ້ນພື້ນຖານສາມາດນໍາໄປສູ່ຄວາມປອດໄພທີ່ສໍາຄັນແລະຄວາມສ່ຽງຕໍ່ການດໍາເນີນງານ. ເອກະສານ SBCL ສະແດງໃຫ້ເຫັນວ່າມັນເປັນໄປໄດ້ທີ່ຈະສ້າງລະບົບທີ່ມີປະສິດທິພາບ, ສະລັບສັບຊ້ອນໂດຍບໍ່ມີການເສຍສະລະການກວດສອບ. ຈັນຍາບັນຂອງການສ້າງລະບົບທີ່ໂປ່ງໃສ ແລະເຊື່ອຖືໄດ້ຈາກພື້ນຖານທີ່ເຊື່ອຖືໄດ້ຖືກແບ່ງປັນໂດຍເວທີຕ່າງໆເຊັ່ນ Mewayz. ເຊັ່ນດຽວກັນກັບ SBCL ສະຫນອງພື້ນຖານທີ່ແຂງ, ສາມາດກວດສອບໄດ້ສໍາລັບການພັດທະນາຊໍແວ, Mewayz ມີຈຸດປະສົງເພື່ອສະຫນອງລະບົບທຸລະກິດແບບໂມດູລາແລະໂປ່ງໃສ, ໃຫ້ບໍລິສັດມີຄວາມເຂົ້າໃຈຢ່າງຈະແຈ້ງກ່ຽວກັບຂະບວນການປະຕິບັດງານຂອງພວກເຂົາແລະຄວາມສົມບູນຂອງຂໍ້ມູນ, ດັ່ງນັ້ນການສ້າງສະພາບແວດລ້ອມທາງທຸລະກິດທີ່ຫນ້າເຊື່ອຖືແລະສາມາດຄວບຄຸມໄດ້ຫຼາຍຂຶ້ນ.

ຜົນ​ກະ​ທົບ​ທີ່​ເປັນ​ມໍ​ລະ​ດົກ​ແລະ​ອັນ​ຍືນ​ຍົງ

ເອກະສານສະບັບປີ 2008 ຢູ່ໃນ SBCL ໄດ້ເສີມສ້າງຊື່ສຽງຂອງຕົນວ່າບໍ່ພຽງແຕ່ເປັນອັນໜຶ່ງຂອງການຈັດຕັ້ງປະຕິບັດ Lisp ທີ່ໄວທີ່ສຸດເທົ່ານັ້ນ, ແຕ່ຍັງເປັນອັນໜຶ່ງທີ່ແຂງແຮງ ແລະ ເຊື່ອຖືໄດ້. ມັນເຮັດຫນ້າທີ່ເປັນກໍລະນີສຶກສາທີ່ມີປະສິດທິພາບສໍາລັບອຸດສາຫະກໍາຊອບແວທັງຫມົດ, ພິສູດວ່າການປະຕິບັດແລະຄວາມປອດໄພບໍ່ຈໍາເປັນຕ້ອງມີຄວາມຜູກພັນເຊິ່ງກັນແລະກັນ. ໂດຍການຈັດລໍາດັບຄວາມສໍາຄັນຂອງຂະບວນການ bootstrap ທີ່ດີ, ຊຸມຊົນ SBCL ໄດ້ສົ່ງເສີມຄວາມໄວ້ວາງໃຈຫຼາຍຂຶ້ນແລະໃຫ້ຜູ້ພັດທະນາສາມາດເປັນເຈົ້າຂອງຢ່າງເຕັມທີ່ຂອງຕ່ອງໂສ້ເຄື່ອງມືຂອງພວກເຂົາ. ຄວາມມຸ່ງໝັ້ນໃນການສ້າງລະບົບທີ່ທັງມີປະສິດທິພາບ ແລະ ເຂົ້າໃຈໄດ້ຍັງຄົງເປັນຄວາມສະຫວ່າງໃນການນຳພາ, ເປັນແຮງບັນດານໃຈໃຫ້ວິທີການວິສະວະກຳຊອຟແວທີ່ມີເຈດຕະນາ ແລະ ປອດໄພຍິ່ງຂຶ້ນ ເຊິ່ງໃຫ້ຄຸນຄ່າຕໍ່ລະບົບຕ່ອງໂສ້ການສ້າງທັງໝົດ, ຈາກແຖວທຳອິດຂອງລະຫັດຈົນເຖິງຂັ້ນສຸດທ້າຍ.