SBCL: ኣ ሳነሊ-ቡትስትራፕብል ኮመን ሊስፕ (2008) [pdf]

መእተዊ SBCLን ድራይቭን ንጽሬት ሶፍትዌርን

ኣብቲ ዝተሓላለኸ ዓለም ምምዕባል ሶፍትዌር፡ ውሑዳት ዕማማት ከም ምህናጽ ኣከባቢርካ መሰረታውያን-ወይ ድማ ብእተሓላለኸነት ዝመልኡ ክኾኑ ዝኽእሉ እዮም። እቲ ብቡትስትራፒንግ ዝፍለጥ መስርሕ፡ ንባዕሉ ሓድሽ ስሪት ንምህናጽ፡ ዝጸንሐ ኮምፓይለር ምጥቃም ዘጠቓልል እዩ። እዚ ድማ ናብ "ደርሆን እንቋቑሖን" ዝብል ጸገም ከስዕብ ይኽእል እዩ፡ ከመይ ጌርካ ትኽክለኛነት ናይቲ ኣከባቢርካ ዝሃነጸ ኣከባቢርካ ትረጋግጽ? ኣብ 2008፡ ነዚ ንማሕበረሰብ ኮመን ሊስፕ ዝምልከት ጉዳይ ኣብ ምፍታሕ ርኡይ ምዕራፍ ተረኺቡ፡ "SBCL: A Sanely-Bootstrappable Common Lisp" ዝብል ጽሑፍ ክሪስቶፍ ሮድስ ብምዝርጋሕ። እዚ ስራሕ እዚ ንስቲል ባንክ ኮመን ሊስፕ (SBCL) ካብ ልዑል ኣፈጻጽማ ዘለዎ ኣተገባብራ ናብ መርኣያ ግሉጽነትን ተኣማንነትን ቀይርዎ፣ እዚ መትከላት ኣብ ናይ ሎሚ ሶፍትዌር መልክዓ ምድሪ ብዕምቆት ዝድመጹን ምስቲ ቀንዲ ፍልስፍና ናይ ከም በዓል መዋይዝ ዝኣመሰሉ ዘተኣማምንን ርዱእን ስርዓታት ንግዲ ንምሃብ ዝጽዕሩ መድረኻት ዝሰማምዑን እዮም።

"Sanely-Bootstrappable" እንታይ ማለት እዩ?

ቅድሚ ለውጢ SBCL፡ ምህናጽ ኮመን ሊስፕ ኣከባቢርካ፡ መብዛሕትኡ ግዜ ነቲ መስርሕ ህንጸት ንምክያድ፡ ቅድሚ ሕጂ ዝነበረ፡ መብዛሕትኡ ግዜ ዋንነት ዘለዎ፡ ኮመን ሊስፕ ስርዓት የድልዮ ነይሩ። እዚ ድማ ኣብ "ምትእምማን ምትእምማን" ዝብል ሰንሰለት ጽግዕተኛነት ፈጢሩ፡ እዚ ኣምር እዚ ብኬን ቶምፕሰን ኣብ 1984 ኣብ ሽልማት ቱሪንግ ኣብ ዝሃቦ ኣስተምህሮ ብፍሉጥ ዝገለጾ እዩ። እቲ ስክፍታ ሓደ ተንኮለኛ ተዋሳኣይ ሕቡእ ተቓላዕነት ናብ ሓደ ኣከባቢርካ ከእቱ ይኽእል እዩ፣ ድሕሪኡ ድማ ነቲ ተቓላዕነት ኣብ ነፍሲ ወከፍ ስዒቡ ዝሰርሖ ፕሮግራም፣ እንተላይ ኣብ መጻኢ ስሪት ናይ ገዛእ ርእሱ ስቕ ኢሉ ክዝርግሖ እዩ። "sanely-bootstrappable" ዝብል ስርዓት ነዚ ሰንሰለት ይሰብሮ። ካብ ውሑድን ቀሊልን መበገሲ ነጥቢ-መብዛሕትኡ ግዜ ንእሽቶ መጠን ኮድ ብታሕተዋይ ደረጃ ቋንቋ ከም C- ናብቲ ምሉእን ዝተራቐቐን ኣከባቢርካ ዝኸይድ ንጹርን ኦዲት ዝግበረሉን መንገዲ ይህብ። እዚ ድማ ንደቨሎፐራት ነፍሲ ወከፍ ስጉምቲ ናይቲ መስርሕ ከረጋግጹ የኽእሎም፣ እቲ ውጽኢት ክልተኣዊ ካብ ምትዕንቓፍ ነጻ ምዃኑን ባህርያቱ ልክዕ ከምቲ ምንጪ ኮዱ ዝተሓሰበ ምዃኑን የረጋግጽ።

መስርሕ ቡትስትራፕ SBCL: ካብ C ናብ Common Lisp

ጽሑፍ ክሪስቶፍ ሮድስ SBCL ነዚ ዝምነዮ ደረጃ ብኸመይ ከምዝበጽሖ ብዝርዝር ኣቕሪቡ። መስርሕ ቡትስትራፕ፡ ሓደ ስርዓት ንባዕሉ ብደረጃታት ዝሃንጽ መሳጢ ጉዕዞ እዩ። ብሙሉእ ናይ ኮመን ሊስፕ ሃዋህው ዘይኮነስ ብውሑድ ሊስፕ ተርጓሚ ብሲ ዝተጻሕፈ እዩ ዝጅምር።እዚ መብዛሕትኡ ግዜ "ዝሑል ምጅማር" ስርዓት ተባሂሉ ዝጽዋዕ ተርጓሚ፡ ነቲ ቀንዲ ምንጪ ኮድ SBCL ንምፍጻም ዝኣክል ሓያል ጥራይ እዩ። እቲ መስርሕ ክልተ ቁልፊ ደረጃታት ዘጠቓልል ኮይኑ፡

ዝብል ጽሑፍ ኣሎ።
• ደረጃ 1: እቲ ኣብ C ዝተመርኮሰ ተርጓሚ መሰረታዊ ምንጪ ፋይላት SBCL የጠቓልል። እዚ ድማ ገና ኣብ ልዕሊ እቲ ተርጓሚ ዝሰርሕ ዘሎ ቀዳማይ ግን ከኣ ዝሰርሕ SBCL ሃዋህው ይፈጥር።
• ደረጃ 2: እዚ ሓድሽ ናይ SBCL ሃዋህው ድሕሪኡ ነቲ ናይ SBCL ምንጪ ኮድ እንደገና ንምጥርናፍ ይጥቀመሉ፣ ኣብዚ ግዜ እዚ ግን ምሉእ ብምሉእ ኣብ ውሽጢ ገዛእ ርእሱ። ውጽኢቱ ድማ ካብቲ መበቆላዊ C ተርጓሚ ነጻ ዝኾነን ኣብቲ ኣአንጋዲ ማሽን ብመበቆል ክሰርሕ ዝኽእልን "ውዑይ" SBCL executable እዩ።

እዚ ባዕልኻ ናይ ምእንጋድ ዓቕሚ፡ እምነ ኩርናዕ ናይ ልቦና-ቦትስትራፕ ምዃን እዩ። ዝኾነ ሰብ ነቲ ዝተሓትመ ምንጪ ኮድ SBCL ወሲዱ፡ ምስ ስታንዳርድ C ኮምፓይለር፡ ካብ መሰረቱ ዝተረጋገጸ፡ እሙን SBCL executable ክሃንጽ ይኽእል ማለት እዩ። እዚ ድማ ኣብ ሓደጋ ክወድቁ ዝኽእሉ ቅድመ-ተጠርኒፎም ክልተኣዊ ጽግዕተኛታት የወግድ።

ንምንታይ ንዘመናዊ ሶፍትዌር ቡትስትራፕቢሊቲ ኣገዳሲ ምዃኑ

ድሕሪ ዲዛይን SBCL ዘለዉ መትከላት ካብ ኣካዳሚያዊ ተገዳስነት ኣዝዮም ዝዝርግሑ እዮም። ኣብዚ መጥቃዕቲ ቀረብ ሰንሰለት ሶፍትዌር ወሳኒ ሓደጋ ኣብ ዝኾነሉ ዘመን፡ ንጥቀመሎም መሳርሒታት ናይ ኦዲትን ምርግጋጽን ዓቕሚ ልዕሊ ኩሉ እዩ። ኣብ ዝተሓላለኹ ሶፍትዌር ስታክስ ዝምርኮሱ ትካላት ንግዲ፡ ኣብ መሰረታዊ ንብርክታት ዘይርጉጽነት፡ ርኡይ ናይ ጸጥታን ስርሒታውን ሓደጋታት ከስዕብ ይኽእል። እቲ ናይ SBCL ወረቐት ንምርግጋጽነት ከይሰዋእካ ሓያላትን ዝተሓላለኹን ስርዓታት ምህናጽ ከም ዝከኣል ዘርኢ እዩ። እዚ ካብ ዝእመን መሰረት ግሉጽን ዘተኣማምንን ስርዓታት ምህናጽ ዝብል ስነ-ምግባር ከም በዓል መዋይዝ ዝኣመሰሉ መድረኻት ዝካፈሉ እዮም። ልክዕ ከምቲ SBCL ንሶፍትዌር ምምዕባል ጽኑዕን ኦዲት ዝግበረሉን መሰረት ዝህብ፡ መዋይዝ ድማ ሞዱላርን ግሉጽን ንግዳዊ ኦኤስ ንምሃብ ዝዓለመ ኮይኑ፡ ንኹባንያታት ኣብ ስርሒታዊ ዋሕዚ ስራሖምን ምሉእነት ዳታን ንጹር ርድኢት ይህብ፡ በዚ ድማ ዝያዳ እሙንን ተቖጻጻሪን ንግዳዊ ሃዋህው ይሃንጽ።

እቲ ጽሑፍ፡ መስርሕ ቡትስትራፕ SBCL፡ ዝተሓላለኸ እኳ እንተኾነ፡ "ካብ ንእሽቶ፡ ኦዲት ዝግበረሉ ዘርኢ ናብ ምሉእ ስርዓት ኮመን ሊስፕ ዝወስድ መንገዲ" ከም ዝህብ ብምጉላሕ ይዛዝም፡ ነቲ "ምትእምማን ምትእምማን" ዝብል ጸገም ብኣድማዒ መንገዲ የቃልሎን ንቕንዕና ኣከባቢርካ ሓድሽ ደረጃ የቐምጦን።

ሕድሪን ነባሪ ጽልዋን

እቲ ኣብ 2008 ብዛዕባ SBCL ዝወጸ ጽሑፍ፡ ሓደ ካብቶም ዝቐልጠፉ ኣተገባብራታት ኮመን ሊስፕ ጥራይ ዘይኮነስ፡ ሓደ ካብቶም ኣዝዮም ድልዱላትን እሙናትን ምዃኖም ዝናኡ ኣጽኒዑዎ። ንመላእ ኢንዱስትሪ ሶፍትዌር ከም ሓያል መጽናዕቲ ፍጻመ ኮይኑ ዘገልግል ኮይኑ፡ ኣፈጻጽማን ድሕነትን ንሓድሕዱ ዝጻረር ክኸውን ከምዘይብሉ ዘረጋግጽ እዩ። ማሕበረሰብ SBCL ንሓደ ልቦና ዘለዎ መስርሕ ቡትስትራፕ ቀዳምነት ብምሃብ ዝያዳ ምትእምማን ኣዕብዩን ንደቨሎፐራት ምሉእ ዋንነት ናይ መሳርሒ ሰንሰለቶም ክወስዱ ሓይሊ ሂብዎምን። እዚ ሓያልን ርዱእን ስርዓታት ንምፍጣር ዝግበር ተወፋይነት መሪሕ ብርሃን ኮይኑ ይቕጽል ኣሎ፣ ካብ ቀዳማይ መስመር ኮድ ክሳብ ናይ መወዳእታ ፈጻሚ ንኹሉ ሰንሰለት ፍጥረት ዋጋ ዝህብ ዝያዳ ኮነ ኢልካን ውሑስን ኣገባብ ሶፍትዌር ምህንድስና የነቓቕሕ።

ብተደጋጋሚ ዝሕተቱ ሕቶታት

መእተዊ SBCLን ድራይቭን ንጽሬት ሶፍትዌር

ኣብቲ ዝተሓላለኸ ዓለም ምምዕባል ሶፍትዌር፡ ውሑዳት ዕማማት ከም ምህናጽ ኣከባቢርካ መሰረታውያን-ወይ ድማ ብእተሓላለኸነት ዝመልኡ ክኾኑ ዝኽእሉ እዮም። እቲ ብቡትስትራፒንግ ዝፍለጥ መስርሕ፡ ንባዕሉ ሓድሽ ስሪት ንምህናጽ፡ ዝጸንሐ ኮምፓይለር ምጥቃም ዘጠቓልል እዩ። እዚ ድማ ናብ "ደርሆን እንቋቑሖን" ዝብል ጸገም ከስዕብ ይኽእል እዩ፡ ከመይ ጌርካ ትኽክለኛነት ናይቲ ኣከባቢርካ ዝሃነጸ ኣከባቢርካ ትረጋግጽ? ኣብ 2008፡ ነዚ ንማሕበረሰብ ኮመን ሊስፕ ዝምልከት ጉዳይ ኣብ ምፍታሕ ርኡይ ምዕራፍ ተረኺቡ፡ "SBCL: A Sanely-Bootstrappable Common Lisp" ዝብል ጽሑፍ ክሪስቶፍ ሮድስ ብምዝርጋሕ። እዚ ስራሕ እዚ ንስቲል ባንክ ኮመን ሊስፕ (SBCL) ካብ ልዑል ኣፈጻጽማ ዘለዎ ኣተገባብራ ናብ መርኣያ ግሉጽነትን ተኣማንነትን ቀይርዎ፣ እዚ መትከላት ኣብ ናይ ሎሚ ሶፍትዌር መልክዓ ምድሪ ብዕምቆት ዝድመጹን ምስቲ ቀንዲ ፍልስፍና ናይ ከም በዓል መዋይዝ ዝኣመሰሉ ዘተኣማምንን ርዱእን ስርዓታት ንግዲ ንምሃብ ዝጽዕሩ መድረኻት ዝሰማምዑን እዮም።

"Sanely-Bootstrappable" እንታይ ማለት እዩ?

ቅድሚ ለውጢ SBCL፡ ምህናጽ ኮመን ሊስፕ ኣከባቢርካ፡ መብዛሕትኡ ግዜ ነቲ መስርሕ ህንጸት ንምክያድ፡ ቅድሚ ሕጂ ዝነበረ፡ መብዛሕትኡ ግዜ ዋንነት ዘለዎ፡ ኮመን ሊስፕ ስርዓት የድልዮ ነይሩ። እዚ ድማ ኣብ "ምትእምማን ምትእምማን" ዝብል ሰንሰለት ጽግዕተኛነት ፈጢሩ፡ እዚ ኣምር እዚ ብኬን ቶምፕሰን ኣብ 1984 ኣብ ሽልማት ቱሪንግ ኣብ ዝሃቦ ኣስተምህሮ ብፍሉጥ ዝገለጾ እዩ። እቲ ስክፍታ ሓደ ተንኮለኛ ተዋሳኣይ ሕቡእ ተቓላዕነት ናብ ሓደ ኣከባቢርካ ከእቱ ይኽእል እዩ፣ ድሕሪኡ ድማ ነቲ ተቓላዕነት ኣብ ነፍሲ ወከፍ ስዒቡ ዝሰርሖ ፕሮግራም፣ እንተላይ ኣብ መጻኢ ስሪት ናይ ገዛእ ርእሱ ስቕ ኢሉ ክዝርግሖ እዩ። "sanely-bootstrappable" ዝብል ስርዓት ነዚ ሰንሰለት ይሰብሮ። ካብ ውሑድን ቀሊልን መበገሲ ነጥቢ-መብዛሕትኡ ግዜ ንእሽቶ መጠን ኮድ ብታሕተዋይ ደረጃ ቋንቋ ከም C- ናብቲ ምሉእን ዝተራቐቐን ኣከባቢርካ ዝኸይድ ንጹርን ኦዲት ዝግበረሉን መንገዲ ይህብ። እዚ ድማ ንደቨሎፐራት ነፍሲ ወከፍ ስጉምቲ ናይቲ መስርሕ ከረጋግጹ የኽእሎም፣ እቲ ውጽኢት ክልተኣዊ ካብ ምትዕንቓፍ ነጻ ምዃኑን ባህርያቱ ልክዕ ከምቲ ምንጪ ኮዱ ዝተሓሰበ ምዃኑን የረጋግጽ።

መስርሕ ቡትስትራፕ SBCL: ካብ C ናብ Common Lisp

ጽሑፍ ክሪስቶፍ ሮድስ SBCL ነዚ ዝምነዮ ደረጃ ብኸመይ ከምዝበጽሖ ብዝርዝር ኣቕሪቡ። መስርሕ ቡትስትራፕ፡ ሓደ ስርዓት ንባዕሉ ብደረጃታት ዝሃንጽ መሳጢ ጉዕዞ እዩ። ብሙሉእ ናይ ኮመን ሊስፕ ሃዋህው ዘይኮነስ ብውሑድ ሊስፕ ተርጓሚ ብሲ ዝተጻሕፈ እዩ ዝጅምር።እዚ መብዛሕትኡ ግዜ "ዝሑል ምጅማር" ስርዓት ተባሂሉ ዝጽዋዕ ተርጓሚ፡ ነቲ ቀንዲ ምንጪ ኮድ SBCL ንምፍጻም ዝኣክል ሓያል ጥራይ እዩ። እቲ መስርሕ ክልተ ቁልፊ ደረጃታት ዘጠቓልል ኮይኑ፡

ንምንታይ ንዘመናዊ ሶፍትዌር ቡትስትራፕቢሊቲ ኣገዳሲ ምዃኑ

ድሕሪ ዲዛይን SBCL ዘለዉ መትከላት ካብ ኣካዳሚያዊ ተገዳስነት ኣዝዮም ዝዝርግሑ እዮም። ኣብዚ መጥቃዕቲ ቀረብ ሰንሰለት ሶፍትዌር ወሳኒ ሓደጋ ኣብ ዝኾነሉ ዘመን፡ ንጥቀመሎም መሳርሒታት ናይ ኦዲትን ምርግጋጽን ዓቕሚ ልዕሊ ኩሉ እዩ። ኣብ ዝተሓላለኹ ሶፍትዌር ስታክስ ዝምርኮሱ ትካላት ንግዲ፡ ኣብ መሰረታዊ ንብርክታት ዘይርጉጽነት፡ ርኡይ ናይ ጸጥታን ስርሒታውን ሓደጋታት ከስዕብ ይኽእል። እቲ ናይ SBCL ወረቐት ንምርግጋጽነት ከይሰዋእካ ሓያላትን ዝተሓላለኹን ስርዓታት ምህናጽ ከም ዝከኣል ዘርኢ እዩ። እዚ ካብ ዝእመን መሰረት ግሉጽን ዘተኣማምንን ስርዓታት ምህናጽ ዝብል ስነ-ምግባር ከም በዓል መዋይዝ ዝኣመሰሉ መድረኻት ዝካፈሉ እዮም። ልክዕ ከምቲ SBCL ንሶፍትዌር ምምዕባል ጽኑዕን ኦዲት ዝግበረሉን መሰረት ዝህብ፡ መዋይዝ ድማ ሞዱላርን ግሉጽን ንግዳዊ ኦኤስ ንምሃብ ዝዓለመ ኮይኑ፡ ንኹባንያታት ኣብ ስርሒታዊ ዋሕዚ ስራሖምን ምሉእነት ዳታን ንጹር ርድኢት ይህብ፡ በዚ ድማ ዝያዳ እሙንን ተቖጻጻሪን ንግዳዊ ሃዋህው ይሃንጽ።

ሕድሪን ነባሪ ጽልዋን

እቲ ኣብ 2008 ብዛዕባ SBCL ዝወጸ ጽሑፍ፡ ሓደ ካብቶም ዝቐልጠፉ ኣተገባብራታት ኮመን ሊስፕ ጥራይ ዘይኮነስ፡ ሓደ ካብቶም ኣዝዮም ድልዱላትን እሙናትን ምዃኖም ዝናኡ ኣጽኒዑዎ። ንመላእ ኢንዱስትሪ ሶፍትዌር ከም ሓያል መጽናዕቲ ፍጻመ ኮይኑ ዘገልግል ኮይኑ፡ ኣፈጻጽማን ድሕነትን ንሓድሕዱ ዝጻረር ክኸውን ከምዘይብሉ ዘረጋግጽ እዩ። ማሕበረሰብ SBCL ንሓደ ልቦና ዘለዎ መስርሕ ቡትስትራፕ ቀዳምነት ብምሃብ ዝያዳ ምትእምማን ኣዕብዩን ንደቨሎፐራት ምሉእ ዋንነት ናይ መሳርሒ ሰንሰለቶም ክወስዱ ሓይሊ ሂብዎምን። እዚ ሓያልን ርዱእን ስርዓታት ንምፍጣር ዝግበር ተወፋይነት መሪሕ ብርሃን ኮይኑ ይቕጽል ኣሎ፣ ካብ ቀዳማይ መስመር ኮድ ክሳብ ናይ መወዳእታ ፈጻሚ ንኹሉ ሰንሰለት ፍጥረት ዋጋ ዝህብ ዝያዳ ኮነ ኢልካን ውሑስን ኣገባብ ሶፍትዌር ምህንድስና የነቓቕሕ።