ኢማክስ የውስጥ አካላት፡ Lisp_Object በሐ ውስጥ መፍታት (ክፍል 2)

መግቢያ፡ ወደ ኮር በጥልቀት መመልከት

በEmacs ውስጣዊ አካላት ላይ ባደረግነው ጥናት የመጀመሪያ ክፍል፣ Lisp_Object Lisp-centric of Emacsን ወደ ህይወት የሚያመጣ መሠረታዊ የውሂብ አይነት መሆኑን አረጋግጠናል። እንዴት እንደ ሁለንተናዊ መያዣ፣ ኢንቲጀርን፣ ምልክቶችን፣ ሕብረቁምፊዎችን፣ ማቋቋሚያዎችን እና ሌሎች በአርታዒው ውስጥ ያሉ ሌሎች አካላትን ሊወክል የሚችል ብልህ የሆነ የC ኮድ እንዴት እንደሚያገለግል አይተናል። አሁን፣ መካኒኮችን ከኮፈኑ ስር ለመመልከት ጊዜው አሁን ነው። ይህ ነጠላ፣ 32 ወይም 64-ቢት እሴት እንዴት ብዙ የተለያዩ ነገሮችን ሊሆን ይችላል? መልሱ በረቀቀ የውሂብ ውክልና፣ የመለያ አይነት እና የማህደረ ትውስታ አስተዳደር ጥምር ነው። እነዚህን መካኒኮች መረዳት የትምህርት ልምምድ ብቻ አይደለም; ግዙፍነትን የሚፈቅደውን የሕንፃ ግንባታ መርሆችን ያሳያል - እንደ Mewayz ካሉ መድረኮች ጋር በጥልቅ የሚያስተጋባ ፍልስፍና በዋና ዋናዎቹ ተስተካክለው እና ሞዱል ሆነው የተገነቡ ናቸው።

የዩኒቨርሳል ኮንቴይነር አርክቴክቸር

የ Lisp_Object ኃይል ከጥምር ተፈጥሮው የመነጨ ነው። እሱ፣ በልቡ፣ የማሽን ቃል ብቻ ነው—“ረጅም” ወይም በሲ ውስጥ ያለው ተመሳሳይ የኢንቲጀር አይነት ነው። የእሱ እውነተኛ የማሰብ ችሎታ የመጣው የኢማክ ተርጓሚው በዚህ ቃል ውስጥ ያሉትን ትንንሾችን እንዴት እንደሚተረጉም ነው። ስርዓቱ የሚገኙትን ቢት ወደ ሁለት ዋና ክልሎች ይከፍላል፡ እሴቱ ራሱ እና መለያው። መለያው፣በተለምዶ ትንሹ ጉልህ ቢት፣ የተቀሩት ቢትስ ምን አይነት ዳታ እንደሚወክሉ ለሩጫ ሰዓቱ የሚገልጽ መለያ ሆኖ ይሰራል። ይህ የ Lisp_Object ፖሊሞርፊዝም ቁልፍ ነው; ተመሳሳዩ C ተለዋዋጭ መለያው ላይ በመመስረት በተለየ መንገድ ሊሰራ ይችላል። ይህ እንደ Mewayz ያለው ሞዱል የንግድ ስርዓተ ክወና የተለያዩ የውሂብ ዥረቶችን ለማስተዳደር ሜታዳታ እና ስርዓቶችን እንዴት እንደሚይዝ ተመሳሳይ ነው - ከደንበኛ መዛግብት እስከ የፕሮጀክት የጊዜ ሰሌዳዎች - በተዋሃደ ማዕቀፍ ውስጥ ትክክለኛው ሂደት ትክክለኛውን መረጃ እንደሚይዝ ያረጋግጣል።

መለያውን መፍታት፡ ከቢትስ እስከ ሊፕ አይነቶች

የመለያ አሰጣጥ ስርዓቱን እንከፋፍል። Emacs የነገሩን መሰረታዊ አይነት ለመሰየም ጥቂት ቢት (በተለምዶ ሶስት) ያስቀምጣል። ይህ ትንሽ የቢት ብዛት የወዲያውኑ አይነቶችን እና የጠቋሚ አይነቶችን ለመለየት በቂ ነው።

• ወዲያውኑ አይነቶች፡እነዚህ በLisp_Object እራሱ ውስጥ ሊቀመጡ የሚችሉ፣ የተለየ የማህደረ ትውስታ ድልድል ሳያስፈልጋቸው ነው። በጣም የተለመዱት ምሳሌዎች ኢንቲጀር (fixnums) እና ልዩ `ኒል` እሴት ናቸው። ለኢንቲጀር፣ የመለያ ቢትስ ወደ አንድ የተወሰነ ስርዓተ-ጥለት ተቀናብሯል፣ እና የተቀሩት ቢት የኢንቲጀር ዋጋን ይይዛሉ።
• ጠቋሚ ዓይነቶች፡ ለተጨማሪ ውስብስብ የውሂብ አወቃቀሮች እንደ ገመዳ፣ ቋት፣ ቬክተር እና ኮንስ ሴሎች፣ የሊስፕ_ነገር የማስታወሻ አድራሻ (ጠቋሚ) ይዟል። የመለያ ቢትስ በዚያ አድራሻ ምን አይነት መዋቅር እንደሚኖር ያመለክታሉ። ይህ Emacs ትልቅ፣ ተለዋዋጭ መጠን ያለው ውሂብ በክምር ላይ በብቃት እንዲያስተዳድር ያስችለዋል።

መለያ የማጣራት እና በተዛማጁ እሴት ላይ የመተግበር ሂደት ለሊፕ ተርጓሚ ውስጣዊ loop፣ ቀልጣፋ የውሂብ መላኪያ ዋና ክፍል ነው።

የማህደረ ትውስታ አስተዳደር እና የቆሻሻ ሰብሳቢው

‹Lisp_Object የጠቋሚ አይነት ሲሆን፡ ክምር ላይ ወደተመደበው የማህደረ ትውስታ ክፍል ይጠቁማል። ይህ የማስታወስ አስተዳደርን ወሳኝ ፈተና ያስተዋውቃል. ኢማክስ ከአሁን በኋላ ጥቅም ላይ ያልዋለ ማህደረ ትውስታን በራስ ሰር መልሶ ለማግኘት ማርክ-እና-ጠራርጎ ቆሻሻ ሰብሳቢ (ጂሲ) ይጠቀማል። ጂሲው ከጊዜ ወደ ጊዜ ሁሉንም ንቁ የ Lisp_Objects ይቃኛል፣ ከስር ስብስብ ሊደረስባቸው የሚችሉትን (እንደ አለምአቀፍ ተለዋዋጮች እና ቁልል ክፈፎች) "ምልክት ያደርጋል"። “ምልክት ሳይደረግበት” የሚቀሩ ማናቸውም የማህደረ ትውስታ ብሎኮች እንደ ቆሻሻ ይቆጠራሉ እና ተጠርገው ለወደፊት ጥቅም ላይ እንዲውል ያደርጋሉ። ይህ አውቶማቲክ አስተዳደር የ Emacs Lisp ፕሮግራመሮች ያለ በእጅ ማህደረ ትውስታ ድልድል እና ስምምነት ላይ እንዲያተኩሩ የሚፈቅደው ነው፣ ልክ Mewayz መሰረታዊ የመሰረተ ልማት ውስብስብ ነገሮችን እንዴት እንደሚያስወግድ፣ ይህም ቡድኖች የንግድ አመክንዮ እና የስራ ፍሰቶችን በመገንባት ላይ እንዲያተኩሩ ያስችላቸዋል።

"የEmacs ውበት ያለው በዚህ እንከን በሌለው የከፍተኛ ደረጃ Lisp አካባቢ ውህደት እና ከ C ጥሬ ቅልጥፍና ጋር ነው። Lisp_Object ሊንችፒን ነው፣ በፅንሰ-ሀሳብ ቀላል ነገር ግን በቅልጥፍና እና በአፈጻጸም ላይ ያለው አንድምታ ጥልቅ ነው።"

ማጠቃለያ፡ ወሰን ለሌለው ኤክስቴንሽን ፋውንዴሽን

Lisp_Object ን ማፍረስ በEmacs እምብርት ያለውን የሚያምር ምህንድስና ያሳያል። ለተለዋዋጭነት እና ለረጅም ጊዜ አገልግሎት ቅድሚያ የሚሰጠውን ንድፍ የሚያሳይ ማረጋገጫ ነው. የEmacs ገንቢዎች በትክክለኛ መለያ መስጫ ስርዓት እና በጠንካራ ቆሻሻ ሰብሳቢ የሚስተናገደውን የተዋሃደ የውሂብ ውክልና በመፍጠር ለአስርተ አመታት ማራዘሚያ እና ማበጀት የሚያስችል መሰረት ገነቡ። ይህ ማለቂያ የሌለው ሞጁላሪነትን የሚያበረታታ የተረጋጋ፣ በሚገባ የተገለጸ ኮር የመገንባት መርህ ኃይለኛ ንድፍ ነው። የሜዌይዝ ልማት የሚመራው ይኸው መርህ ነው፣ ጠንካራ የስነ-ህንፃ መሰረት ንግዶችን ያለ ምንም ገደብ እንዲላመዱ፣ እንዲዋሃዱ እና የአሰራር ስርዓቶቻቸውን እንዲያሻሽሉ የሚያደርግ ሲሆን ይህም ታላላቅ ስርዓቶች ለጽሑፍ አርትዖትም ሆነ ለንግድ ኦርኬስትራ በብልህ እና በተጣጣሙ ኮሮች ላይ የተገነቡ መሆናቸውን ያረጋግጣል።

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

መግቢያ፡ ወደ ኮር በጥልቀት መመልከት

በEmacs ውስጣዊ አካላት ላይ ባደረግነው ጥናት የመጀመሪያ ክፍል፣ Lisp_Object Lisp-centric of Emacsን ወደ ህይወት የሚያመጣ መሠረታዊ የውሂብ አይነት መሆኑን አረጋግጠናል። እንዴት እንደ ሁለንተናዊ መያዣ፣ ኢንቲጀርን፣ ምልክቶችን፣ ሕብረቁምፊዎችን፣ ማቋቋሚያዎችን እና ሌሎች በአርታዒው ውስጥ ያሉ ሌሎች አካላትን ሊወክል የሚችል ብልህ የሆነ የC ኮድ እንዴት እንደሚያገለግል አይተናል። አሁን፣ መካኒኮችን ከኮፈኑ ስር ለመመልከት ጊዜው አሁን ነው። ይህ ነጠላ፣ 32 ወይም 64-ቢት እሴት እንዴት ብዙ የተለያዩ ነገሮችን ሊሆን ይችላል? መልሱ በረቀቀ የውሂብ ውክልና፣ የመለያ አይነት እና የማህደረ ትውስታ አስተዳደር ጥምር ነው። እነዚህን መካኒኮች መረዳት የትምህርት ልምምድ ብቻ አይደለም; ግዙፍነትን የሚፈቅደውን የሕንፃ ግንባታ መርሆችን ያሳያል - እንደ Mewayz ካሉ መድረኮች ጋር በጥልቅ የሚያስተጋባ ፍልስፍና በዋና ዋናዎቹ ተስተካክለው እና ሞዱል ሆነው የተገነቡ ናቸው።

የዩኒቨርሳል ኮንቴይነር አርክቴክቸር

የ Lisp_Object ኃይል ከጥምር ተፈጥሮው የመነጨ ነው። እሱ፣ በልቡ፣ የማሽን ቃል ብቻ ነው—“ረጅም” ወይም በሲ ውስጥ ያለው ተመሳሳይ የኢንቲጀር አይነት ነው። የእሱ እውነተኛ የማሰብ ችሎታ የመጣው የኢማክ ተርጓሚው በዚህ ቃል ውስጥ ያሉትን ትንንሾችን እንዴት እንደሚተረጉም ነው። ስርዓቱ የሚገኙትን ቢት ወደ ሁለት ዋና ክልሎች ይከፍላል፡ እሴቱ ራሱ እና መለያው። መለያው፣በተለምዶ ትንሹ ጉልህ ቢት፣ የተቀሩት ቢትስ ምን አይነት ዳታ እንደሚወክሉ ለሩጫ ሰዓቱ የሚገልጽ መለያ ሆኖ ይሰራል። ይህ የ Lisp_Object ፖሊሞርፊዝም ቁልፍ ነው; ተመሳሳዩ C ተለዋዋጭ መለያው ላይ በመመስረት በተለየ መንገድ ሊሰራ ይችላል። ይህ እንደ Mewayz ያለው ሞዱል የንግድ ስርዓተ ክወና የተለያዩ የውሂብ ዥረቶችን ለማስተዳደር ሜታዳታ እና ስርዓቶችን እንዴት እንደሚይዝ ተመሳሳይ ነው - ከደንበኛ መዛግብት እስከ የፕሮጀክት የጊዜ ሰሌዳዎች - በተዋሃደ ማዕቀፍ ውስጥ ትክክለኛው ሂደት ትክክለኛውን መረጃ እንደሚይዝ ያረጋግጣል።

መለያውን መፍታት፡ ከቢትስ እስከ ሊፕ አይነቶች

የመለያ አሰጣጥ ስርዓቱን እንከፋፍል። Emacs የነገሩን መሰረታዊ አይነት ለመሰየም ጥቂት ቢት (በተለምዶ ሶስት) ያስቀምጣል። ይህ ትንሽ የቢት ብዛት የወዲያውኑ አይነቶችን እና የጠቋሚ አይነቶችን ለመለየት በቂ ነው።

የማህደረ ትውስታ አስተዳደር እና ቆሻሻ ሰብሳቢው

‹Lisp_Object የጠቋሚ አይነት ሲሆን፡ ክምር ላይ ወደተመደበው የማህደረ ትውስታ ክፍል ይጠቁማል። ይህ የማስታወስ አስተዳደርን ወሳኝ ፈተና ያስተዋውቃል. ኢማክስ ከአሁን በኋላ ጥቅም ላይ ያልዋለ ማህደረ ትውስታን በራስ ሰር መልሶ ለማግኘት ማርክ-እና-ጠራርጎ ቆሻሻ ሰብሳቢ (ጂሲ) ይጠቀማል። ጂሲው ከጊዜ ወደ ጊዜ ሁሉንም ንቁ የ Lisp_Objects ይቃኛል፣ ከስር ስብስብ ሊደረስባቸው የሚችሉትን (እንደ አለምአቀፍ ተለዋዋጮች እና ቁልል ክፈፎች) "ምልክት ያደርጋል"። “ምልክት ሳይደረግበት” የሚቀሩ ማናቸውም የማህደረ ትውስታ ብሎኮች እንደ ቆሻሻ ይቆጠራሉ እና ተጠርገው ለወደፊት ጥቅም ላይ እንዲውል ያደርጋሉ። ይህ አውቶማቲክ አስተዳደር የ Emacs Lisp ፕሮግራመሮች ያለ በእጅ ማህደረ ትውስታ ድልድል እና ስምምነት ላይ እንዲያተኩሩ የሚፈቅደው ነው፣ ልክ Mewayz መሰረታዊ የመሰረተ ልማት ውስብስብ ነገሮችን እንዴት እንደሚያስወግድ፣ ይህም ቡድኖች የንግድ አመክንዮ እና የስራ ፍሰቶችን በመገንባት ላይ እንዲያተኩሩ ያስችላቸዋል።

ማጠቃለያ፡ ወሰን ለሌለው ኤክስቴንሽን ፋውንዴሽን

Lisp_Object ን ማፍረስ በEmacs እምብርት ያለውን የሚያምር ምህንድስና ያሳያል። ለተለዋዋጭነት እና ለረጅም ጊዜ አገልግሎት ቅድሚያ የሚሰጠውን ንድፍ የሚያሳይ ማረጋገጫ ነው. የEmacs ገንቢዎች በትክክለኛ መለያ መስጫ ስርዓት እና በጠንካራ ቆሻሻ ሰብሳቢ የሚስተናገደውን የተዋሃደ የውሂብ ውክልና በመፍጠር ለአስርተ አመታት ማራዘሚያ እና ማበጀት የሚያስችል መሰረት ገነቡ። ይህ ማለቂያ የሌለው ሞጁላሪነትን የሚያበረታታ የተረጋጋ፣ በሚገባ የተገለጸ ኮር የመገንባት መርህ ኃይለኛ ንድፍ ነው። የሜዌይዝ ልማት የሚመራው ይኸው መርህ ነው፣ ጠንካራ የስነ-ህንፃ መሰረት ንግዶችን ያለ ምንም ገደብ እንዲላመዱ፣ እንዲዋሃዱ እና የአሰራር ስርዓቶቻቸውን እንዲያሻሽሉ የሚያደርግ ሲሆን ይህም ታላላቅ ስርዓቶች ለጽሑፍ አርትዖትም ሆነ ለንግድ ኦርኬስትራ በብልህ እና በተጣጣሙ ኮሮች ላይ የተገነቡ መሆናቸውን ያረጋግጣል።