ኤስቢሲኤል፡ ጤናማ-ቡት ማስነሻ የተለመደ ሊፕ (2008) [pdf]

የ SBCL እና የ Drive for Software Purity መግቢያ

በረቀቀው የሶፍትዌር ልማት ዓለም ውስጥ፣ እንደ ማጠናከሪያ ግንባታ መሰረታዊ ወይም ውስብስብ ሊሆኑ የሚችሉ ጥቂት ተግባራት ናቸው። ሂደቱ ቡትስትራፕፕ በመባል የሚታወቀው የራሱ የሆነ አዲስ ስሪት ለመገንባት ያለውን አጠናቃሪ መጠቀምን ያካትታል። ይህ ወደ "ዶሮ እና እንቁላል" ችግር ሊያመራ ይችላል-የእርስዎን ማጠናከሪያ የገነባውን ማጠናከሪያ ትክክለኛነት እንዴት ማረጋገጥ ይቻላል? እ.ኤ.አ. በ2008፣ ይህንን ጉዳይ ለኮመን ሊፕ ማህበረሰብ በክርስቶፍ ሮድስ "SBCL: A Sanely-Bootstrappable Common Lisp" ወረቀት መለቀቅ ላይ ትልቅ ምዕራፍ ተገኝቷል። ይህ ሥራ ብረት ባንክ ኮመን ሊፕ (SBCL)ን ከከፍተኛ አፈጻጸም ትግበራ ወደ ግልጽነት እና ተአማኒነት ቀይሮታል፣ መርሆች ዛሬ ባለው የሶፍትዌር ገጽታ ላይ በጥልቅ የሚያስተጋባ እና እንደ Mewayz ካሉ የመሣሪያ ስርዓቶች ዋና ፍልስፍና ጋር የሚጣጣሙ፣ አስተማማኝ፣ ለመረዳት የሚቻሉ የንግድ ሥርዓቶችን ማቅረብ ነው።

"Sanely-Bootstrappable" ማለት ምን ማለት ነው? ከ SBCL ለውጥ በፊት፣ የጋራ Lisp ማጠናቀርን መገንባት የግንባታ ሂደቱን ለማስኬድ ቀድሞ የነበረ፣ ብዙ ጊዜ በባለቤትነት የተያዘ፣ የጋራ Lisp ስርዓት ያስፈልገዋል። ይህ በ1984 በቱሪንግ ሽልማት ንግግሩ ላይ በኬን ቶምፕሰን የተገለጸውን “የታመነ እምነት” ሰንሰለት ላይ ጥገኛነትን ፈጠረ። አሳሳቢው ነገር አንድ ተንኮል አዘል ተዋናይ የተደበቀ ተጋላጭነትን ወደ ማቀናበሪያ ማስተዋወቅ ይችላል፣ይህም ተጋላጭነቱን በፀጥታ ወደሚያጠናቀረው እያንዳንዱ ፕሮግራም የወደፊት የእራሱን ስሪቶችም ጭምር ያስተላልፋል። "ጤነኛ-ቡት ማራገፊያ" ስርዓት ይህንን ሰንሰለት ይሰብራል. ከትንሽ ቀላል መነሻ ነጥብ-ብዙውን ጊዜ አነስተኛ መጠን ያለው ኮድ እንደ C ባሉ ዝቅተኛ ቋንቋዎች ግልጽ፣ ኦዲት ሊደረግበት የሚችል መንገድ ያቀርባል ወደ ሙሉ፣ ውስብስብ ኮምፕሌተር። ይህ ገንቢዎች እያንዳንዱን የሂደቱን ደረጃ እንዲያረጋግጡ ያስችላቸዋል፣ ይህም የተገኘው ሁለትዮሽ ከመጥፎ የፀዳ እና ባህሪው በምንጭ ኮድ እንደታሰበው መሆኑን ያረጋግጣል።

የ SBCL ማስነሻ ሂደት፡ ከ C እስከ የጋራ ሊፕ

የ

የክሪስቶፍ ሮድስ ወረቀት SBCL እንዴት ይህን የተመኘውን ደረጃ እንዳሳካ በዝርዝር አስቀምጧል። የቡት ስታራፕ ሂደት የስርአት ግንባታ እራሱን በደረጃ የሚያሳይ አስደናቂ ጉዞ ነው። የሚጀምረው ሙሉ በሙሉ በCommon Lisp አካባቢ ሳይሆን በ C ውስጥ በተፃፈ በትንሹ የሊስፕ አስተርጓሚ ነው። ይህ አስተርጓሚ፣ ብዙ ጊዜ "ቀዝቃዛ ጅምር" ስርዓት ተብሎ የሚጠራው፣ ዋናውን የ SBCL ምንጭ ኮድ ለማስፈጸም በቂ ሃይል አለው። ሂደቱ ሁለት ቁልፍ ደረጃዎችን ያካትታል፡

• ደረጃ 1፡ በ C ላይ የተመሰረተው አስተርጓሚ መሰረታዊ የ SBCL ምንጭ ፋይሎችን ያጠናቅራል። ይህ አሁንም በአስተርጓሚው ላይ እየሰራ ያለ ጥንታዊ ግን የሚሰራ የ SBCL አካባቢን ይፈጥራል።
• ደረጃ 2፡ ይህ አዲሱ የ SBCL አካባቢ የ SBCL ምንጭ ኮድ እንደገና ለማጠናቀር ይጠቅማል፣ ነገር ግን በዚህ ጊዜ ሙሉ በሙሉ በራሱ ውስጥ። ውጤቱ ከዋናው C አስተርጓሚ ነፃ የሆነ እና በአስተናጋጅ ማሽን ላይ በአፍ መፍቻ ሊሰራ የሚችል "ትኩስ" SBCL ተፈፃሚ ነው።

ይህ ራስን የማስተናገድ ችሎታ ጤናማ-ቡት ትራፕሊፕ የመሆን የማዕዘን ድንጋይ ነው። ይህ ማለት ማንም ሰው የታተመውን የ SBCL ምንጭ ኮድ ወስዶ፣ ከመደበኛ C ማጠናቀር ጋር፣ የተረጋገጠ፣ ታማኝ SBCL ከመሬት ተነስቶ መገንባት ይችላል ማለት ነው። ይህ በቅድመ-የተጠናቀሩ ሁለትዮሾች ላይ መተማመንን ያስወግዳል።

ለምንድነው የማስነሳት ችሎታ ለዘመናዊ ሶፍትዌር አስፈላጊ የሆነው

ከ SBCL ንድፍ በስተጀርባ ያሉት መርሆዎች ከአካዳሚክ ፍላጎት በጣም የራቁ ናቸው። የሶፍትዌር አቅርቦት ሰንሰለት ጥቃቶች ወሳኝ ስጋት በሆነበት ዘመን የምንጠቀማቸውን መሳሪያዎች ኦዲት የማድረግ እና የማጣራት ችሎታው ከሁሉም በላይ ነው። በውስብስብ የሶፍትዌር ቁልል ላይ ለሚመሰረቱ ንግዶች በመሠረታዊ ንጣፎች ላይ እርግጠኛ አለመሆን ከፍተኛ የደህንነት እና የአሠራር አደጋዎችን ሊያስከትል ይችላል። የ SBCL ወረቀቱ የማረጋገጫ አቅምን ሳያባክን ኃይለኛ እና ውስብስብ ስርዓቶችን መገንባት እንደሚቻል ያሳያል። ይህ ግልጽ እና አስተማማኝ ስርዓቶችን ከታመነ መሰረት የመገንባት ስነምግባር እንደ Mewayz ባሉ መድረኮች የተጋራ ነው። SBCL ለሶፍትዌር ልማት ጠንካራና ኦዲት ሊደረግ የሚችል መሠረት እንደሚያቀርብ ሁሉ ሜዌይዝ ሞጁል እና ግልጽ የንግድ ሥራ ስርዓተ ክወናን ለማቅረብ ያለመ ሲሆን ይህም ለኩባንያዎች የሥራ አፈጻጸማቸው እና የውሂብ ታማኝነት ግልጽ ግንዛቤ በመስጠት የበለጠ እምነት የሚጣልበት እና ቁጥጥር የሚደረግበት የንግድ አካባቢ ለመገንባት ነው።

ወረቀቱ የሚያጠቃልለው የ SBCL የቡት ማንጠልጠያ ሂደት ውስብስብ ቢሆንም፣ "ከትንሽ፣ ኦዲት ከሚደረግ ዘር ወደ ሙሉ የጋራ ሊፕ ሲስተም መንገድ" የሚያቀርብ ሲሆን የ"ታማኝነት እምነት" ችግርን በብቃት በመቅረፍ እና ለአቀናባሪ ታማኝነት አዲስ መስፈርት በማውጣት።

የቆየ እና ዘላቂ ተጽእኖ

በ SBCL ላይ የ 2008 ወረቀት በጣም ፈጣን ከሆኑት የተለመዱ የ Lisp ትግበራዎች ውስጥ አንዱ ብቻ ሳይሆን በጣም ጠንካራ እና እምነት የሚጣልበት ነው። ለጠቅላላው የሶፍትዌር ኢንዱስትሪ እንደ ኃይለኛ የጉዳይ ጥናት ሆኖ ያገለግላል፣ ይህም አፈጻጸም እና ደህንነት እርስበርስ የማይነጣጠሉ መሆን እንደሌለባቸው ያረጋግጣል። ጤናማ የቡት ማሰሪያ ሂደትን በማስቀደም የኤስቢሲኤል ማህበረሰብ የበለጠ መተማመን እና ገንቢዎች የመሳሪያ ሰንሰለታቸውን ሙሉ በሙሉ እንዲይዙ ስልጣን ሰጥቷቸዋል። ይህ ኃይለኛ እና ለመረዳት የሚቻሉ ስርዓቶችን የመፍጠር ቁርጠኝነት መሪ ብርሃን ሆኖ ቀጥሏል፣ ይህም የበለጠ ሆን ተብሎ እና ደህንነቱ የተጠበቀ የሶፍትዌር ምህንድስና አቀራረብን በማነሳሳት ለጠቅላላው የፍጥረት ሰንሰለት ዋጋ የሚሰጠው ከመጀመሪያው የኮድ መስመር እስከ መጨረሻው ተፈፃሚ ይሆናል።

ብዙ ጊዜ የሚጠየቁ ጥያቄዎች

የ SBCL እና የ Drive for Software Purity መግቢያ

በረቀቀው የሶፍትዌር ልማት ዓለም ውስጥ፣ እንደ ማጠናከሪያ ግንባታ መሰረታዊ ወይም ውስብስብ ሊሆኑ የሚችሉ ጥቂት ተግባራት ናቸው። ሂደቱ ቡትስትራፕፕ በመባል የሚታወቀው የራሱ የሆነ አዲስ ስሪት ለመገንባት ያለውን አጠናቃሪ መጠቀምን ያካትታል። ይህ ወደ "ዶሮ እና እንቁላል" ችግር ሊያመራ ይችላል-የእርስዎን ማጠናከሪያ የገነባውን ማጠናከሪያ ትክክለኛነት እንዴት ማረጋገጥ ይቻላል? እ.ኤ.አ. በ2008፣ ይህንን ጉዳይ ለኮመን ሊፕ ማህበረሰብ በክርስቶፍ ሮድስ "SBCL: A Sanely-Bootstrappable Common Lisp" ወረቀት መለቀቅ ላይ ትልቅ ምዕራፍ ተገኝቷል። ይህ ሥራ ብረት ባንክ ኮመን ሊፕ (SBCL)ን ከከፍተኛ አፈጻጸም ትግበራ ወደ ግልጽነት እና ተአማኒነት ቀይሮታል፣ መርሆች ዛሬ ባለው የሶፍትዌር ገጽታ ላይ በጥልቅ የሚያስተጋባ እና እንደ Mewayz ካሉ የመሣሪያ ስርዓቶች ዋና ፍልስፍና ጋር የሚጣጣሙ፣ አስተማማኝ፣ ለመረዳት የሚቻሉ የንግድ ሥርዓቶችን ማቅረብ ነው።

"Sanely-Bootstrappable" ማለት ምን ማለት ነው? ከ SBCL ለውጥ በፊት፣ የጋራ Lisp ማጠናቀርን መገንባት የግንባታ ሂደቱን ለማስኬድ ቀድሞ የነበረ፣ ብዙ ጊዜ በባለቤትነት የተያዘ፣ የጋራ Lisp ስርዓት ያስፈልገዋል። ይህ በ1984 በቱሪንግ ሽልማት ንግግሩ ላይ በኬን ቶምፕሰን የተገለጸውን “የታመነ እምነት” ሰንሰለት ላይ ጥገኛነትን ፈጠረ። አሳሳቢው ነገር አንድ ተንኮል አዘል ተዋናይ የተደበቀ ተጋላጭነትን ወደ ማቀናበሪያ ማስተዋወቅ ይችላል፣ይህም ተጋላጭነቱን በፀጥታ ወደሚያጠናቀረው እያንዳንዱ ፕሮግራም የወደፊት የእራሱን ስሪቶችም ጭምር ያስተላልፋል። "ጤነኛ-ቡት ማራገፊያ" ስርዓት ይህንን ሰንሰለት ይሰብራል. ከትንሽ ቀላል መነሻ ነጥብ-ብዙውን ጊዜ አነስተኛ መጠን ያለው ኮድ እንደ C ባሉ ዝቅተኛ ቋንቋዎች ግልጽ፣ ኦዲት ሊደረግበት የሚችል መንገድ ያቀርባል ወደ ሙሉ፣ ውስብስብ ኮምፕሌተር። ይህ ገንቢዎች እያንዳንዱን የሂደቱን ደረጃ እንዲያረጋግጡ ያስችላቸዋል፣ ይህም የተገኘው ሁለትዮሽ ከመጥፎ የፀዳ እና ባህሪው በምንጭ ኮድ እንደታሰበው መሆኑን ያረጋግጣል።

የ SBCL ማስነሻ ሂደት፡ ከC እስከ የጋራ ሊፕ

የ

የክሪስቶፍ ሮድስ ወረቀት SBCL እንዴት ይህን የተመኘውን ደረጃ እንዳሳካ በዝርዝር አስቀምጧል። የቡት ስታራፕ ሂደት የስርአት ግንባታ እራሱን በደረጃ የሚያሳይ አስደናቂ ጉዞ ነው። የሚጀምረው ሙሉ በሙሉ በCommon Lisp አካባቢ ሳይሆን በ C ውስጥ በተፃፈ በትንሹ የሊስፕ አስተርጓሚ ነው። ይህ አስተርጓሚ፣ ብዙ ጊዜ "ቀዝቃዛ ጅምር" ስርዓት ተብሎ የሚጠራው፣ ዋናውን የ SBCL ምንጭ ኮድ ለማስፈጸም በቂ ሃይል አለው። ሂደቱ ሁለት ቁልፍ ደረጃዎችን ያካትታል፡

ለምንድነው የማስነሳት ችሎታ ለዘመናዊ ሶፍትዌር አስፈላጊ የሆነው

ከ SBCL ንድፍ በስተጀርባ ያሉት መርሆዎች ከአካዳሚክ ፍላጎት በጣም የራቁ ናቸው። የሶፍትዌር አቅርቦት ሰንሰለት ጥቃቶች ወሳኝ ስጋት በሆነበት ዘመን የምንጠቀማቸውን መሳሪያዎች ኦዲት የማድረግ እና የማጣራት ችሎታው ከሁሉም በላይ ነው። በውስብስብ የሶፍትዌር ቁልል ላይ ለሚመሰረቱ ንግዶች በመሠረታዊ ንጣፎች ላይ እርግጠኛ አለመሆን ከፍተኛ የደህንነት እና የአሠራር አደጋዎችን ሊያስከትል ይችላል። የ SBCL ወረቀቱ የማረጋገጫ አቅምን ሳያባክን ኃይለኛ እና ውስብስብ ስርዓቶችን መገንባት እንደሚቻል ያሳያል። ይህ ግልጽ እና አስተማማኝ ስርዓቶችን ከታመነ መሰረት የመገንባት ስነምግባር እንደ Mewayz ባሉ መድረኮች የተጋራ ነው። SBCL ለሶፍትዌር ልማት ጠንካራና ኦዲት ሊደረግ የሚችል መሠረት እንደሚያቀርብ ሁሉ ሜዌይዝ ሞጁል እና ግልጽ የንግድ ሥራ ስርዓተ ክወናን ለማቅረብ ያለመ ሲሆን ይህም ለኩባንያዎች የሥራ አፈጻጸማቸው እና የውሂብ ታማኝነት ግልጽ ግንዛቤ በመስጠት የበለጠ እምነት የሚጣልበት እና ቁጥጥር የሚደረግበት የንግድ አካባቢ ለመገንባት ነው።

የቆየ እና ዘላቂ ተጽእኖ

በ SBCL ላይ የ 2008 ወረቀት በጣም ፈጣን ከሆኑት የተለመዱ የ Lisp ትግበራዎች ውስጥ አንዱ ብቻ ሳይሆን በጣም ጠንካራ እና እምነት የሚጣልበት ነው። ለጠቅላላው የሶፍትዌር ኢንዱስትሪ እንደ ኃይለኛ የጉዳይ ጥናት ሆኖ ያገለግላል፣ ይህም አፈጻጸም እና ደህንነት እርስበርስ የማይነጣጠሉ መሆን እንደሌለባቸው ያረጋግጣል። ጤናማ የቡት ማሰሪያ ሂደትን በማስቀደም የኤስቢሲኤል ማህበረሰብ የበለጠ መተማመን እና ገንቢዎች የመሳሪያ ሰንሰለታቸውን ሙሉ በሙሉ እንዲይዙ ስልጣን ሰጥቷቸዋል። ይህ ኃይለኛ እና ለመረዳት የሚቻሉ ስርዓቶችን የመፍጠር ቁርጠኝነት መሪ ብርሃን ሆኖ ቀጥሏል፣ ይህም የበለጠ ሆን ተብሎ እና ደህንነቱ የተጠበቀ የሶፍትዌር ምህንድስና አቀራረብን በማነሳሳት ለጠቅላላው የፍጥረት ሰንሰለት ዋጋ የሚሰጠው ከመጀመሪያው የኮድ መስመር እስከ መጨረሻው ተፈፃሚ ይሆናል።