Emacs internals: ምፍራስ Lisp_Object ኣብ C (2ይ ክፋል)

መእተዊ፡ ናብ ሕመረት ብዕምቆት ምጥማት

ኣብ ቀዳማይ ክፋል ናይቲ ኣብ ውሽጣዊ ነገራት ኢማክስ ዝገበርናዮ ዳህሳስ፡ Lisp_Object እቲ ንሊስፕ ማእከል ዝገበረ ዓለም ኢማክስ ህያው ዝገብር መሰረታዊ ዓይነት ዳታ ምዃኑ ኣረጋጊጽናዮ። ከመይ ጌሩ ከም ኣድማሳዊ መትሓዚ፡ ንሙሉእ ቁጽርታት፡ ምልክታት፡ ሕብረ-ቁጽሪ፡ መዕቆሪታትን ንኹሉ ካልእ ኣካልን ኣብ ውሽጢ ኣርታዒ ክውክል ዝኽእል ውሕሉል ቁንጣሮ ሲ ኮድ ኮይኑ ከም ዘገልግል ርኢናዮ። ሕጂ፡ ኣብ ትሕቲ ሽፋን ናብ መካኒካት ክንጥምት ግዜኡ እዩ። እዚ ንጽል፡ 32 ወይ 64-ቢት ዋጋ ብሓቂ ከመይ ኢሉ እዩ ክንድዚ ዝኣክል ዝተፈላለየ ነገራት ክኸውን ዝኽእል? እቲ መልሲ ኣብ ውህደት ብልሓት ውክልና ዳታ፡ ዓይነት ምልክት ምግባርን ምሕደራ መዘክርን እዩ። ነዞም መካኒካት ምርዳእ ኣካዳሚያዊ ልምምድ ጥራሕ ኣይኮነን፤ ንሱ ድማ ነቲ ዘይተኣደነ ምዝርጋሕ ዘፍቅድ መትከላት ስነ ህንጻ ይገልጽ- እዚ ፍልስፍና እዚ ምስ ከም በዓል መዋይዝ ዝኣመሰሉ መድረኻት ብዕምቆት ዝድመጽ ኮይኑ፡ ኣብ ሕመረቶም ተዓጻጻፍን ሞዱላርን ክኾኑ ዝተሃንጹ እዮም።

ኣርኪቴክቸር ናይ ሓደ ኣድማሳዊ ኮንተይነር

ሓይሊ Lisp_Object ካብቲ ድርብ ባህርያቱ ዝምንጩ እዩ። ንሱ፡ ኣብ ልቡ፡ ማሽን ቃል ጥራይ እዩ- `ነዊሕ` ወይ ተመሳሳሊ ዓይነት ምሉእ ቁጽሪ ኣብ C. ሓቀኛ ብልሓቱ ካብቲ ተርጓሚ ኢማክስ ኣብ ውሽጢ እታ ቃል ንዘሎ ቁንጣሮ ብኸመይ ከም ዝትርጉሞ ዝመጽእ እዩ። እቲ ስርዓት ነቶም ዘለዉ ቢት ኣብ ክልተ ቀንዲ ዞባታት ይኸፍሎም፡ ንሳቶም ድማ እቲ ዋጋ ባዕሉን እቲ መለለዪን እዮም። እቲ መለለዪ፡ ብተለምዶ እቶም ዝወሓደ ትርጉም ዘለዎም ቢትስ፡ ከም ስያመ ኮይኑ ይሰርሕ፡ እዚ ድማ ነቲ ናይ ምዝዋር ግዜ እቶም ዝተረፉ ቢት እንታይ ዓይነት ዳታ ከም ዝውክሉ ይሕብር። እዚ ቁልፊ ናይ ፖሊሞርፊዝም ናይ Lisp_Object እዩ፤ ሓደ ዓይነት C ተለዋዋጢ ብመሰረት መለለዪኡ ብዝተፈላለየ መንገዲ ክስራሕ ይኽእል። እዚ ምስቲ ከም መዋይዝ ዝኣመሰለ ሞዱላር ቢዝነስ ኦኤስ ከመይ ጌሩ ሜታዳታን ዓይነት ስርዓታትን ተጠቒሙ ዝተፈላለዩ ዋሕዚ ዳታታት-ካብ መዛግብቲ ዓማዊል ክሳብ መስመራት ግዜ ፕሮጀክት-ኣብ ውሽጢ ውሁድ ማዕቀፍ ከም ዘመሓድር ዝመሳሰል ኮይኑ፡ ቅኑዕ መስርሕ ቅኑዕ ሓበሬታ ከም ዝሕዞ ምርግጋጽ እዩ።

ምፍታሕ መለለዪ ምልክት: ካብ ቢትስ ናብ ዓይነታት ሊስፕ

እቲ ናይ ምልክት ምግባር ስርዓት ንበታተን። ኢማክስ ነቲ መሰረታዊ ዓይነት ናይቲ ነገር ንምምዝጋብ ውሑዳት ቢት (ብተለምዶ ሰለስተ) ይዕቅብ። እዚ ውሑድ ቁጽሪ ቢት ኣብ መንጎ ስብስብ ናይ ቀረባ ዓይነታትን ጠቋሚ ዓይነታትን ንምፍላይ እኹል እዩ።

ዝብል ጽሑፍ ኣሎ።
• ቅጽበታዊ ዓይነታት: እዚኦም ብቐጥታ ኣብ ውሽጢ Lisp_Object ባዕሉ ክኽዘኑ ዝኽእሉ ክብርታት እዮም፣ ፍሉይ ምምቕራሕ መዘክር ኣየድልዮምን። እቶም ዝበዝሑ ኣብነታት ምሉእ ቁጽርታት (fixnms)ን ፍሉይ `nil` ዋጋን እዮም። ንሙሉእ ቁጽርታት፡ እቶም መለለዪ ቢት ናብ ፍሉይ ቅዲ ይቕመጡ፡ እቶም ዝተረፉ ቢት ድማ ዋጋ ናይቲ ምሉእ ቁጽሪ ይሕዙ።
• ዓይነታት ጠቋሚ: ንዝያዳ ዝተሓላለኹ ኣቃውማታት ዳታ ከም ሕብረ-ቁጽሪ፣ መዕቆሪ፣ ቬክተራትን ኮንስ ዋህዮታትን፣ እቲ Lisp_Object ናይ መዘክር ኣድራሻ (ጠቋሚ) ዝሓዘ እዩ። እቶም መለለዪ ቢትስ ኣብቲ ኣድራሻ እንታይ ዓይነት መዋቕር ከም ዝነብር ይሕብሩ። እዚ ድማ ኢማክስ ኣብቲ ኵምራ ዝዓበየን ዳይናሚካዊ ስፍሓት ዘለዎን ዳታ ብብቕዓት ከመሓድር የኽእሎ።

መስርሕ ምፍታሽ መለለዪ ምልክት ድሕሪኡ ኣብቲ ተዛማዲ ዋጋ ምውሳእ ንውሽጣዊ ሉፕ ናይቲ ተርጓሚ ሊስፕ መሰረታዊ እዩ፣ እዚ ድማ ኣብ ስሉጥ ምልኣኽ ዳታ ማስተርክላስ እዩ።

ምሕደራ ዝኽርን ኣካቢ ጎሓፍን

Lisp_Object ዓይነት ጠቋሚ ክኸውን ከሎ፡ ናብቲ ኣብቲ ኵምራ ዝተመደበ ብሎክ መዘክር የመልክት። እዚ ድማ ነቲ ወሳኒ ብድሆ ምሕደራ ዝኽሪ የላልየና። ኢማክስ ነቲ ድሕሪ ሕጂ ኣብ ጥቕሚ ዘይውዕል መዘክር ብኣውቶማቲክ ንምምላስ ምልክትን ምጽራይን ዝዓይነቱ መእከቢ ጎሓፍ (GC) ይጥቀም። እቲ GC በብእዋኑ ብኹሎም ንጡፋት Lisp_Objects ይስካን፣ ነቶም ካብቲ ሱር ስብስብ ክብጻሑ ዝኽእሉ (ከም ዓለማዊ ተቐያየርትን ስታክ ፍሬማትን) "ምልክት" ይገብር። ዝኾነ "ምልክት ዘይብሉ" ዝጸንሐ መዘክር ብሎክ ከም ጓሓፍ ይቑጸርን ይጽረግን፣ ነቲ መዘክር ንመጻኢ ኣጠቓቕማ ነጻ ይገብሮ። እዚ ኣውቶማቲክ ምሕደራ እዚ እዩ ንፕሮግራመር ኢማክስ ሊስፕ ብዘይ ማንዋል ምምቕራሕን ምፍንጫልን መዘክር ኣብ ተግባር ከተኩሩ ዘኽእሎም፣ ልክዕ ከምቲ መዋይዝ ከመይ ጌሩ ንመሰረታዊ ትሕተ ቅርጺ ዝተሓላለኹ ነገራት ኣርሒቑ ይርሕቕ፣ ጋንታታት ኣብ ምህናጽ ቢዝነስ ሎጂክን ዋሕዚ ስራሕን ከተኩሩ የኽእሎም።

"ጽባቐ ኢማክስ ኣብዚ ስሉጥ ምትሕውዋስ ናይ ልዑል ደረጃ ሊስፕ ሃዋህው ምስ ጥረ ብቕዓት ሲ እዩ ዝርከብ። ሊስፕ_ኦብጀክት እቲ ሊንችፒን እዩ፣ ብኣተሓሳስባ ቀሊል ኮይኑ ግን ከኣ ኣብ ምዝርጋሕን ኣፈጻጽማን ዘለዎ ጽልዋ ዓሚቝ ዝኾነ ኣቃውማ ዳታ እዩ።"

መደምደምታ፡ መሰረት ንዘይተወሰነ ምዝርጋሕ

Deconstructing Lisp_Object ኣብ ሕምብርቲ ኢማክስ ዘሎ ውቁብ ምህንድስና ይገልጽ። ተዓጻጻፍነትን ነዊሕ ዕድመን ቀዳምነት ዝህብ ዲዛይን ምስክር እዩ። ብትኽክለኛ ስርዓተ ምልክትን ድልዱል ኣከባቢ ጎሓፍን ዝሕዞ ውሁድ ውክልና ዳታ ብምፍጣር፡ እቶም ኣዳለውቲ ኢማክስ ንዓሰርተታት ዓመታት ዝቐጸለ ምንዋሕን ምምዕርራይን ክድግፍ ዝኽእል መሰረት ሃኒጾም። እዚ መወዳእታ ዘይብሉ ሞዱላሪቲ ሓይሊ ዝህብ ርጉእን ጽቡቕ ገይሩ ዝተነጸረን ሕመረት ምህናጽ ዝብል መትከል ሓያል ፕላን እዩ። ንልምዓት መዋይዝ ዝመርሕ መትከል ተመሳሳሊ ኮይኑ፡ ጽኑዕ ስነ ህንጻዊ መሰረት ንንግዳውያን ትካላት ስርሒታዊ ስርዓታቶም ብዘይ ደረት ክላመዱ፡ ክውሃሃዱን ከማዕብሉን ዘኽእሎም ኮይኑ፡ ዓበይቲ ስርዓታት፡ ንጽሑፍ ኣርትዖት ይኹን ንንግዳዊ ምትእኽኻብ፡ ኣብ በሊሕ፡ ተዓጻጻፊ ኮርስ ዝተሃንጹ ምዃኖም ዘረጋግጽ እዩ።

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

መእተዊ፡ ናብቲ ሕመረት ብዕምቆት ምጥማት

ኣብ ቀዳማይ ክፋል ናይቲ ኣብ ውሽጣዊ ነገራት ኢማክስ ዝገበርናዮ ዳህሳስ፡ Lisp_Object እቲ ንሊስፕ ማእከል ዝገበረ ዓለም ኢማክስ ህያው ዝገብር መሰረታዊ ዓይነት ዳታ ምዃኑ ኣረጋጊጽናዮ። ከመይ ጌሩ ከም ኣድማሳዊ መትሓዚ፡ ንሙሉእ ቁጽርታት፡ ምልክታት፡ ሕብረ-ቁጽሪ፡ መዕቆሪታትን ንኹሉ ካልእ ኣካልን ኣብ ውሽጢ ኣርታዒ ክውክል ዝኽእል ውሕሉል ቁንጣሮ ሲ ኮድ ኮይኑ ከም ዘገልግል ርኢናዮ። ሕጂ፡ ኣብ ትሕቲ ሽፋን ናብ መካኒካት ክንጥምት ግዜኡ እዩ። እዚ ንጽል፡ 32 ወይ 64-ቢት ዋጋ ብሓቂ ከመይ ኢሉ እዩ ክንድዚ ዝኣክል ዝተፈላለየ ነገራት ክኸውን ዝኽእል? እቲ መልሲ ኣብ ውህደት ብልሓት ውክልና ዳታ፡ ዓይነት ምልክት ምግባርን ምሕደራ መዘክርን እዩ። ነዞም መካኒካት ምርዳእ ኣካዳሚያዊ ልምምድ ጥራሕ ኣይኮነን፤ ንሱ ድማ ነቲ ዘይተኣደነ ምዝርጋሕ ዘፍቅድ መትከላት ስነ ህንጻ ይገልጽ- እዚ ፍልስፍና እዚ ምስ ከም በዓል መዋይዝ ዝኣመሰሉ መድረኻት ብዕምቆት ዝድመጽ ኮይኑ፡ ኣብ ሕመረቶም ተዓጻጻፍን ሞዱላርን ክኾኑ ዝተሃንጹ እዮም።

ኣርኪቴክቸር ናይ ሓደ ኣድማሳዊ ኮንተይነር

ሓይሊ Lisp_Object ካብቲ ድርብ ባህርያቱ ዝምንጩ እዩ። ንሱ፡ ኣብ ልቡ፡ ማሽን ቃል ጥራይ እዩ- `ነዊሕ` ወይ ተመሳሳሊ ዓይነት ምሉእ ቁጽሪ ኣብ C. ሓቀኛ ብልሓቱ ካብቲ ተርጓሚ ኢማክስ ኣብ ውሽጢ እታ ቃል ንዘሎ ቁንጣሮ ብኸመይ ከም ዝትርጉሞ ዝመጽእ እዩ። እቲ ስርዓት ነቶም ዘለዉ ቢት ኣብ ክልተ ቀንዲ ዞባታት ይኸፍሎም፡ ንሳቶም ድማ እቲ ዋጋ ባዕሉን እቲ መለለዪን እዮም። እቲ መለለዪ፡ ብተለምዶ እቶም ዝወሓደ ትርጉም ዘለዎም ቢትስ፡ ከም ስያመ ኮይኑ ይሰርሕ፡ እዚ ድማ ነቲ ናይ ምዝዋር ግዜ እቶም ዝተረፉ ቢት እንታይ ዓይነት ዳታ ከም ዝውክሉ ይሕብር። እዚ ቁልፊ ናይ ፖሊሞርፊዝም ናይ Lisp_Object እዩ፤ ሓደ ዓይነት C ተለዋዋጢ ብመሰረት መለለዪኡ ብዝተፈላለየ መንገዲ ክስራሕ ይኽእል። እዚ ምስቲ ከም መዋይዝ ዝኣመሰለ ሞዱላር ቢዝነስ ኦኤስ ከመይ ጌሩ ሜታዳታን ዓይነት ስርዓታትን ተጠቒሙ ዝተፈላለዩ ዋሕዚ ዳታታት-ካብ መዛግብቲ ዓማዊል ክሳብ መስመራት ግዜ ፕሮጀክት-ኣብ ውሽጢ ውሁድ ማዕቀፍ ከም ዘመሓድር ዝመሳሰል ኮይኑ፡ ቅኑዕ መስርሕ ቅኑዕ ሓበሬታ ከም ዝሕዞ ምርግጋጽ እዩ።

ምፍታሕ መለለዪ ምልክት: ካብ ቢትስ ናብ ዓይነታት ሊስፕ

እቲ ናይ ምልክት ምግባር ስርዓት ንበታተን። ኢማክስ ነቲ መሰረታዊ ዓይነት ናይቲ ነገር ንምምዝጋብ ውሑዳት ቢት (ብተለምዶ ሰለስተ) ይዕቅብ። እዚ ውሑድ ቁጽሪ ቢት ኣብ መንጎ ስብስብ ናይ ቀረባ ዓይነታትን ጠቋሚ ዓይነታትን ንምፍላይ እኹል እዩ።

ምሕደራ ዝኽርን ኣካቢ ጎሓፍን

Lisp_Object ዓይነት ጠቋሚ ክኸውን ከሎ፡ ናብቲ ኣብቲ ኵምራ ዝተመደበ ብሎክ መዘክር የመልክት። እዚ ድማ ነቲ ወሳኒ ብድሆ ምሕደራ ዝኽሪ የላልየና። ኢማክስ ነቲ ድሕሪ ሕጂ ኣብ ጥቕሚ ዘይውዕል መዘክር ብኣውቶማቲክ ንምምላስ ምልክትን ምጽራይን ዝዓይነቱ መእከቢ ጎሓፍ (GC) ይጥቀም። እቲ GC በብእዋኑ ብኹሎም ንጡፋት Lisp_Objects ይስካን፣ ነቶም ካብቲ ሱር ስብስብ ክብጻሑ ዝኽእሉ (ከም ዓለማዊ ተቐያየርትን ስታክ ፍሬማትን) "ምልክት" ይገብር። ዝኾነ "ምልክት ዘይብሉ" ዝጸንሐ መዘክር ብሎክ ከም ጓሓፍ ይቑጸርን ይጽረግን፣ ነቲ መዘክር ንመጻኢ ኣጠቓቕማ ነጻ ይገብሮ። እዚ ኣውቶማቲክ ምሕደራ እዚ እዩ ንፕሮግራመር ኢማክስ ሊስፕ ብዘይ ማንዋል ምምቕራሕን ምፍንጫልን መዘክር ኣብ ተግባር ከተኩሩ ዘኽእሎም፣ ልክዕ ከምቲ መዋይዝ ከመይ ጌሩ ንመሰረታዊ ትሕተ ቅርጺ ዝተሓላለኹ ነገራት ኣርሒቑ ይርሕቕ፣ ጋንታታት ኣብ ምህናጽ ቢዝነስ ሎጂክን ዋሕዚ ስራሕን ከተኩሩ የኽእሎም።

መደምደምታ፡ መሰረት ንዘይተወሰነ ምዝርጋሕ

Deconstructing Lisp_Object ኣብ ሕምብርቲ ኢማክስ ዘሎ ውቁብ ምህንድስና ይገልጽ። ተዓጻጻፍነትን ነዊሕ ዕድመን ቀዳምነት ዝህብ ዲዛይን ምስክር እዩ። ብትኽክለኛ ስርዓተ ምልክትን ድልዱል ኣከባቢ ጎሓፍን ዝሕዞ ውሁድ ውክልና ዳታ ብምፍጣር፡ እቶም ኣዳለውቲ ኢማክስ ንዓሰርተታት ዓመታት ዝቐጸለ ምንዋሕን ምምዕርራይን ክድግፍ ዝኽእል መሰረት ሃኒጾም። እዚ መወዳእታ ዘይብሉ ሞዱላሪቲ ሓይሊ ዝህብ ርጉእን ጽቡቕ ገይሩ ዝተነጸረን ሕመረት ምህናጽ ዝብል መትከል ሓያል ፕላን እዩ። ንልምዓት መዋይዝ ዝመርሕ መትከል ተመሳሳሊ ኮይኑ፡ ጽኑዕ ስነ ህንጻዊ መሰረት ንንግዳውያን ትካላት ስርሒታዊ ስርዓታቶም ብዘይ ደረት ክላመዱ፡ ክውሃሃዱን ከማዕብሉን ዘኽእሎም ኮይኑ፡ ዓበይቲ ስርዓታት፡ ንጽሑፍ ኣርትዖት ይኹን ንንግዳዊ ምትእኽኻብ፡ ኣብ በሊሕ፡ ተዓጻጻፊ ኮርስ ዝተሃንጹ ምዃኖም ዘረጋግጽ እዩ።