Emacs အတွင်းပိုင်း- C တွင် Lisp_Object ကို တည်ဆောက်ခြင်း (အပိုင်း 2)

နိဒါန်း- Core သို့ ပိုမိုနက်ရှိုင်းစွာ စူးစမ်းခြင်း

ကျွန်ုပ်တို့၏ Emacs အတွင်းပိုင်းသို့ စူးစမ်းရှာဖွေမှု၏ ပထမအပိုင်းတွင်၊ Lisp_Object သည် Emacs ၏ Lisp-ဗဟိုပြုကမ္ဘာကို အသက်ဝင်စေမည့် အခြေခံဒေတာအမျိုးအစားဖြစ်ကြောင်း ကျွန်ုပ်တို့ သတ်မှတ်ခဲ့သည်။ ၎င်းသည် universal container အဖြစ် လုပ်ဆောင်ပုံ၊ ကိန်းပြည့်များ၊ သင်္ကေတများ၊ ကြိုးများ၊ ကြားခံများနှင့် တည်းဖြတ်သူအတွင်းရှိ အခြားအရာအားလုံးကို ကိုယ်စားပြုနိုင်သည့် C ကုဒ်၏ လိမ္မာပါးနပ်သောနည်းနည်းကို ကျွန်ုပ်တို့တွေ့မြင်ခဲ့ရသည်။ အခုတော့ စက်ပြင်ကို ပါးပြင်အောက်ကို ကြည့်ဖို့ အချိန်တန်ပြီ။ ဤတစ်ခုတည်း၊ 32 သို့မဟုတ် 64-bit တန်ဖိုးသည် ဤမျှလောက်များစွာသော ကွဲပြားသည့်အရာများဖြစ်လာစေရန် မည်သို့စီမံသနည်း။ အဖြေသည် ပညာသားပါပါ ဒေတာကိုယ်စားပြုမှု၊ အမျိုးအစားတဂ်ခြင်းနှင့် မှတ်ဉာဏ်စီမံခန့်ခွဲမှုတို့ ပေါင်းစပ်မှုတွင် တည်ရှိသည်။ ဤစက်ပြင်များကို နားလည်ခြင်းသည် ပညာရပ်ဆိုင်ရာ လေ့ကျင့်ခန်းတစ်ခုမျှသာမဟုတ်ပါ။ ၎င်းသည် ကြီးမားသောချဲ့ထွင်မှုကို ခွင့်ပြုသည့် ဗိသုကာအခြေခံမူများကို ဖော်ပြသည်—၎င်းတို့၏ဗဟိုတွင် လိုက်လျောညီထွေဖြစ်အောင်တည်ဆောက်ထားသော Mewayz ကဲ့သို့သော ပလပ်ဖောင်းများနှင့် နက်ရှိုင်းစွာပဲ့တင်ထပ်နေသည့် ဒဿနတစ်ခုဖြစ်သည်။

ယူနီဗာဆယ်ကွန်တိန်နာ၏ ဗိသုကာလက်ရာ

Lisp_Object ၏ ပါဝါသည် ၎င်း၏ နှစ်ထပ်သဘာဝမှ ပေါက်ဖွားသည်။ ၎င်း၏နှလုံးသားတွင်၊ ၎င်းသည် C တွင် 'ရှည်' သို့မဟုတ် အလားတူ ကိန်းပြည့်အမျိုးအစားဖြစ်သည့် စက်စကားလုံးတစ်လုံးမျှသာဖြစ်သည်။ ၎င်း၏စစ်မှန်သောဉာဏ်ရည်သည် Emacs စကားပြန်မှ ထိုစကားလုံးအတွင်းရှိ bit များကို ဘာသာပြန်ပုံမှ ဆင်းသက်လာသည်။ စနစ်သည် ရနိုင်သောဘစ်များကို အဓိက နယ်ပယ်နှစ်ခုအဖြစ် ပိုင်းခြားသည်- တန်ဖိုးကိုယ်တိုင်နှင့် တက်ဂ်။ ယေဘုယျအားဖြင့် သိသာထင်ရှားသော အနည်းဆုံး bit များ tag သည် runtime ကိုပြောပြသော အညွှန်းတစ်ခုအဖြစ် လုပ်ဆောင်ပြီး ကျန်ဘစ်များ၏ ဒေတာအမျိုးအစားကို ကိုယ်စားပြုသည်။ ၎င်းသည် Lisp_Object ၏ polymorphism ၏သော့ချက်ဖြစ်သည်။ တူညီသော C variable သည် ၎င်း၏ tag ကိုအခြေခံ၍ ကွဲပြားစွာလုပ်ဆောင်နိုင်သည်။ Mewayz ကဲ့သို့ မော်ဂျူလာလုပ်ငန်း OS သည် မတူကွဲပြားသောဒေတာစီးကြောင်းများ—ဖောက်သည်မှတ်တမ်းများမှ ပရောဂျက်အချိန်ဇယားများအထိ—စီမံခန့်ခွဲရန် မက်တာဒေတာနှင့် အမျိုးအစားစနစ်များကို ပေါင်းစပ်ထားသည့်ဘောင်အတွင်း—မှန်ကန်သောလုပ်ငန်းစဉ်အတွင်း မှန်ကန်သောအချက်အလက်များကို ကိုင်တွယ်ဖြေရှင်းကြောင်း သေချာစေသည်။

တဂ်ကို ကုဒ်ဆွဲခြင်း- Bits မှ Lisp အမျိုးအစားများအထိ

တဂ်ခြင်းစနစ်ကို ချိုးဖျက်ကြပါစို့။ Emacs သည် အရာဝတ္တု၏ အခြေခံအမျိုးအစားကို ကုဒ်ဝှက်ရန်အတွက် အနည်းငယ် (အများအားဖြင့် သုံးမျိုး) ကို သိမ်းဆည်းထားသည်။ ဤဘစ်အရေအတွက်အနည်းငယ်သည် ချက်ချင်းအမျိုးအစားအစုံနှင့် ညွှန်ပြသည့်အမျိုးအစားများအကြား ခွဲခြားရန်လုံလောက်ပါသည်။

• ချက်ချင်းအမျိုးအစားများ- ၎င်းတို့သည် သီးခြားမှတ်ဉာဏ်ခွဲဝေမှုမလိုအပ်ဘဲ Lisp_Object ကိုယ်တိုင်အတွင်း တိုက်ရိုက်သိမ်းဆည်းနိုင်သော တန်ဖိုးများဖြစ်သည်။ အသုံးအများဆုံး ဥပမာများမှာ ကိန်းပြည့် (fixnum) နှင့် အထူး `nil` တန်ဖိုးများဖြစ်သည်။ ကိန်းပြည့်များအတွက်၊ တဂ်ဘစ်များကို သတ်သတ်မှတ်မှတ်ပုံစံတစ်ခုအဖြစ် သတ်မှတ်ထားပြီး ကျန်ဘစ်များသည် ကိန်းပြည့်တန်ဖိုးကို ထိန်းထားသည်။
• Pointer အမျိုးအစားများ- strings၊ buffers၊ vectors နှင့် cons cells များကဲ့သို့သော ရှုပ်ထွေးသောဒေတာဖွဲ့စည်းပုံများအတွက် Lisp_Object တွင် memory address ( pointer ) ပါရှိသည်။ tag bits များသည် ထိုလိပ်စာတွင် မည်သည့်ဖွဲ့စည်းပုံ အမျိုးအစားကို ညွှန်ပြသည် ။ ၎င်းက Emacs သည် အမှိုက်ပုံပေါ်တွင် ကြီးမားပြီး ဒိုင်းနမစ်အရွယ်အစား ဒေတာကို ထိထိရောက်ရောက် စီမံခန့်ခွဲနိုင်စေပါသည်။

တဂ်ကို စစ်ဆေးပြီးနောက် ဆက်စပ်တန်ဖိုးကို လုပ်ဆောင်ခြင်းသည် ထိရောက်သော ဒေတာပေးပို့မှုတွင် ကျွမ်းကျင်အဆင့်ဖြစ်သည့် Lisp စကားပြန်၏ အတွင်းကွင်းအတွက် အခြေခံဖြစ်သည်။

မှတ်ဉာဏ်စီမံခန့်ခွဲမှုနှင့် အမှိုက်စုဆောင်းသူ

Lisp_Object သည် pointer type ဖြစ်သောအခါ၊ ၎င်းသည် heap တွင်ခွဲဝေပေးထားသော memory ၏ဘလောက်တစ်ခုကိုညွှန်ပြသည်။ ၎င်းသည် မှတ်ဉာဏ်စီမံခန့်ခွဲမှု၏ အရေးကြီးသောစိန်ခေါ်မှုကို မိတ်ဆက်ပေးသည်။ Emacs သည် အသုံးမပြုတော့သော မမ်မိုရီကို အလိုအလျောက် ပြန်လည်ရယူရန်အတွက် အမှတ်အသားနှင့် အမှိုက်စုဆောင်းသူ (GC) ကို အသုံးပြုသည်။ GC သည် လက်ရှိအသုံးပြုနေသော Lisp_Objects အားလုံးကို အခါအားလျော်စွာ စကင်န်ဖတ်ပြီး root set မှ လက်လှမ်းမီနိုင်သော အရာများ (ကမ္ဘာလုံးဆိုင်ရာ ကိန်းရှင်များနှင့် stack frames များကဲ့သို့) "အမှတ်အသားပြုခြင်း"။ "အမှတ်အသားမပါသော" ကျန်ရှိနေသော မမ်မိုရီဘလောက်များကို အမှိုက်ဟုယူဆကာ သုတ်သင်ရှင်းလင်းပြီး ၎င်းမှတ်ဉာဏ်ကို အနာဂတ်အသုံးပြုရန်အတွက် လွှတ်ပေးလိုက်ပါသည်။ ဤအလိုအလျောက် စီမံခန့်ခွဲမှုသည် Emacs Lisp ပရိုဂရမ်မာများအား မန်မိုရီခွဲဝေမှုနှင့် ခွဲဝေသတ်မှတ်ခြင်းမပြုဘဲ လုပ်ဆောင်နိုင်စွမ်းအပေါ် အာရုံစိုက်နိုင်စေသည့် အရာဖြစ်သည့် Mewayz သည် အရင်းခံအခြေခံအဆောက်အအုံဆိုင်ရာ ရှုပ်ထွေးမှုများကို ဖယ်ရှားပေးကာ အဖွဲ့များအား စီးပွားရေးယုတ္တိဗေဒနှင့် အလုပ်အသွားအလာများတည်ဆောက်ရာတွင် အာရုံစိုက်စေခြင်းကဲ့သို့ပင် ဖြစ်သည်။

"Emacs ၏ ကျက်သရေသည် C ၏ ကုန်ကြမ်းထိရောက်မှုဖြင့် အဆင့်မြင့်မားသော Lisp ပတ်ဝန်းကျင်၏ ချောမွေ့စွာပေါင်းစပ်မှုတွင် တည်ရှိပါသည်။ Lisp_Object သည် စိတ်ကူးတွင်ရိုးရှင်းသော်လည်း ကျယ်ပြန့်မှုနှင့် စွမ်းဆောင်ရည်အတွက် နက်နဲသောအကျိုးသက်ရောက်မှုများရှိသည့် linchpin ဖြစ်သည်။"

နိဂုံး- အဆုံးမရှိ ချဲ့ထွင်နိုင်မှု အတွက် ဖောင်ဒေးရှင်းတစ်ခု

Lisp_Object ကို Deconstructing သည် Emacs ၏ အလယ်ဗဟိုတွင် အံဝင်ခွင်ကျသော အင်ဂျင်နီယာကို ပြသသည်။ လိုက်လျောညီထွေမှုနှင့် အသက်ရှည်မှုကို ဦးစားပေးသည့် ဒီဇိုင်းတစ်ခုအတွက် သက်သေတစ်ခုဖြစ်သည်။ တိကျသော tagging စနစ်နှင့် ခိုင်မာသော အမှိုက်စုဆောင်းသူမှ စုစည်းထားသော ဒေတာကိုယ်စားပြုမှုကို ဖန်တီးခြင်းဖြင့် Emacs developer များသည် ဆယ်စုနှစ်များစွာ တိုးချဲ့မှုနှင့် စိတ်ကြိုက်ပြင်ဆင်မှုများကို ပံ့ပိုးပေးနိုင်သည့် အခြေခံအုတ်မြစ်ကို တည်ဆောက်ခဲ့သည်။ အဆုံးမရှိသော modularity ကို အားကောင်းစေမည့် တည်ငြိမ်ပြီး ကောင်းစွာသတ်မှတ်ထားသော core တစ်ခုတည်ဆောက်ခြင်း၏နိယာမသည် အစွမ်းထက်သောအသေးစိတ်ပုံစံတစ်ခုဖြစ်သည်။ ခိုင်မာသောဗိသုကာအခြေခံအုတ်မြစ်သည် စီးပွားရေးလုပ်ငန်းများကို လိုက်လျောညီထွေဖြစ်အောင်၊ ပေါင်းစည်းရန်နှင့် ၎င်းတို့၏လုပ်ငန်းလည်ပတ်မှုစနစ်များကို အတားအဆီးမရှိဘဲ တိုးတက်ပြောင်းလဲစေသည့် ခိုင်မာသောဗိသုကာအခြေခံအုတ်မြစ်ဖြစ်သော Mewayz ၏ဖွံ့ဖြိုးတိုးတက်မှုကို လမ်းညွှန်ပေးသည့် တူညီသောနိယာမမှာ စာသားတည်းဖြတ်ခြင်း သို့မဟုတ် စီးပွားရေးဆိုင်ရာ ကြိုးကိုင်ခြင်းအတွက်ဖြစ်စေ ဉာဏ်ရည်ထက်မြက်၍ လိုက်လျောညီထွေဖြစ်အောင် လုပ်ဆောင်နိုင်သော cores များပေါ်တွင် တည်ဆောက်ထားကြောင်း သက်သေပြပါသည်။

အမေးများသောမေးခွန်းများ

နိဒါန်း- Core သို့ ပိုမိုနက်ရှိုင်းစွာ စူးစမ်းခြင်း

ကျွန်ုပ်တို့၏ Emacs အတွင်းပိုင်းသို့ စူးစမ်းရှာဖွေမှု၏ ပထမအပိုင်းတွင်၊ Lisp_Object သည် Emacs ၏ Lisp-ဗဟိုပြုကမ္ဘာကို အသက်ဝင်စေမည့် အခြေခံဒေတာအမျိုးအစားဖြစ်ကြောင်း ကျွန်ုပ်တို့ သတ်မှတ်ခဲ့သည်။ ၎င်းသည် universal container အဖြစ် လုပ်ဆောင်ပုံ၊ ကိန်းပြည့်များ၊ သင်္ကေတများ၊ ကြိုးများ၊ ကြားခံများနှင့် တည်းဖြတ်သူအတွင်းရှိ အခြားအရာအားလုံးကို ကိုယ်စားပြုနိုင်သည့် C ကုဒ်၏ လိမ္မာပါးနပ်သောနည်းနည်းကို ကျွန်ုပ်တို့တွေ့မြင်ခဲ့ရသည်။ အခုတော့ စက်ပြင်ကို ပါးပြင်အောက်ကို ကြည့်ဖို့ အချိန်တန်ပြီ။ ဤတစ်ခုတည်း၊ 32 သို့မဟုတ် 64-bit တန်ဖိုးသည် ဤမျှလောက်များစွာသော ကွဲပြားသည့်အရာများဖြစ်လာစေရန် မည်သို့စီမံသနည်း။ အဖြေသည် ပညာသားပါပါ ဒေတာကိုယ်စားပြုမှု၊ အမျိုးအစားတဂ်ခြင်းနှင့် မှတ်ဉာဏ်စီမံခန့်ခွဲမှုတို့ ပေါင်းစပ်မှုတွင် တည်ရှိသည်။ ဤစက်ပြင်များကို နားလည်ခြင်းသည် ပညာရပ်ဆိုင်ရာ လေ့ကျင့်ခန်းတစ်ခုမျှသာမဟုတ်ပါ။ ၎င်းသည် ကြီးမားသောချဲ့ထွင်မှုကို ခွင့်ပြုသည့် ဗိသုကာအခြေခံမူများကို ဖော်ပြသည်—၎င်းတို့၏ဗဟိုတွင် လိုက်လျောညီထွေဖြစ်အောင်တည်ဆောက်ထားသော Mewayz ကဲ့သို့သော ပလပ်ဖောင်းများနှင့် နက်ရှိုင်းစွာပဲ့တင်ထပ်နေသည့် ဒဿနတစ်ခုဖြစ်သည်။

Universal Container ၏ ဗိသုကာလက်ရာ

Lisp_Object ၏ ပါဝါသည် ၎င်း၏ နှစ်ထပ်သဘာဝမှ ပေါက်ဖွားသည်။ ၎င်း၏နှလုံးသားတွင်၊ ၎င်းသည် C တွင် 'ရှည်' သို့မဟုတ် အလားတူ ကိန်းပြည့်အမျိုးအစားဖြစ်သည့် စက်စကားလုံးတစ်လုံးမျှသာဖြစ်သည်။ ၎င်း၏စစ်မှန်သောဉာဏ်ရည်သည် Emacs စကားပြန်မှ ထိုစကားလုံးအတွင်းရှိ bit များကို ဘာသာပြန်ပုံမှ ဆင်းသက်လာသည်။ စနစ်သည် ရနိုင်သောဘစ်များကို အဓိက နယ်ပယ်နှစ်ခုအဖြစ် ပိုင်းခြားသည်- တန်ဖိုးကိုယ်တိုင်နှင့် တက်ဂ်။ ယေဘုယျအားဖြင့် သိသာထင်ရှားသော အနည်းဆုံး bit များ tag သည် runtime ကိုပြောပြသော အညွှန်းတစ်ခုအဖြစ် လုပ်ဆောင်ပြီး ကျန်ဘစ်များ၏ ဒေတာအမျိုးအစားကို ကိုယ်စားပြုသည်။ ၎င်းသည် Lisp_Object ၏ polymorphism ၏သော့ချက်ဖြစ်သည်။ တူညီသော C variable သည် ၎င်း၏ tag ကိုအခြေခံ၍ ကွဲပြားစွာလုပ်ဆောင်နိုင်သည်။ Mewayz ကဲ့သို့ မော်ဂျူလာလုပ်ငန်း OS သည် မတူကွဲပြားသောဒေတာစီးကြောင်းများ—ဖောက်သည်မှတ်တမ်းများမှ ပရောဂျက်အချိန်ဇယားများအထိ—စီမံခန့်ခွဲရန် မက်တာဒေတာနှင့် အမျိုးအစားစနစ်များကို ပေါင်းစပ်ထားသည့်ဘောင်အတွင်း—မှန်ကန်သောလုပ်ငန်းစဉ်အတွင်း မှန်ကန်သောအချက်အလက်များကို ကိုင်တွယ်ဖြေရှင်းကြောင်း သေချာစေသည်။

တဂ်ကို ကုဒ်ထုတ်ခြင်း- Bits မှ Lisp အမျိုးအစားများအထိ

တဂ်ခြင်းစနစ်ကို ချိုးဖျက်ကြပါစို့။ Emacs သည် အရာဝတ္တု၏ အခြေခံအမျိုးအစားကို ကုဒ်ဝှက်ရန်အတွက် အနည်းငယ် (အများအားဖြင့် သုံးမျိုး) ကို သိမ်းဆည်းထားသည်။ ဤဘစ်အရေအတွက်အနည်းငယ်သည် ချက်ချင်းအမျိုးအစားအစုံနှင့် ညွှန်ပြသည့်အမျိုးအစားများအကြား ခွဲခြားရန်လုံလောက်ပါသည်။

မှတ်ဉာဏ်စီမံခန့်ခွဲမှုနှင့် အမှိုက်စုဆောင်းသူ

Lisp_Object သည် pointer type ဖြစ်သောအခါ၊ ၎င်းသည် heap တွင်ခွဲဝေပေးထားသော memory ၏ဘလောက်တစ်ခုကိုညွှန်ပြသည်။ ၎င်းသည် မှတ်ဉာဏ်စီမံခန့်ခွဲမှု၏ အရေးကြီးသောစိန်ခေါ်မှုကို မိတ်ဆက်ပေးသည်။ Emacs သည် အသုံးမပြုတော့သော မမ်မိုရီကို အလိုအလျောက် ပြန်လည်ရယူရန်အတွက် အမှတ်အသားနှင့် အမှိုက်စုဆောင်းသူ (GC) ကို အသုံးပြုသည်။ GC သည် လက်ရှိအသုံးပြုနေသော Lisp_Objects အားလုံးကို အခါအားလျော်စွာ စကင်န်ဖတ်ပြီး root set မှ လက်လှမ်းမီနိုင်သော အရာများ (ကမ္ဘာလုံးဆိုင်ရာ ကိန်းရှင်များနှင့် stack frames များကဲ့သို့) "အမှတ်အသားပြုခြင်း"။ "အမှတ်အသားမပါသော" ကျန်ရှိနေသော မမ်မိုရီဘလောက်များကို အမှိုက်ဟုယူဆကာ သုတ်သင်ရှင်းလင်းပြီး ၎င်းမှတ်ဉာဏ်ကို အနာဂတ်အသုံးပြုရန်အတွက် လွှတ်ပေးလိုက်ပါသည်။ ဤအလိုအလျောက် စီမံခန့်ခွဲမှုသည် Emacs Lisp ပရိုဂရမ်မာများအား မန်မိုရီခွဲဝေမှုနှင့် ခွဲဝေသတ်မှတ်ခြင်းမပြုဘဲ လုပ်ဆောင်နိုင်စွမ်းအပေါ် အာရုံစိုက်နိုင်စေသည့် အရာဖြစ်သည့် Mewayz သည် အရင်းခံအခြေခံအဆောက်အအုံဆိုင်ရာ ရှုပ်ထွေးမှုများကို ဖယ်ရှားပေးကာ အဖွဲ့များအား စီးပွားရေးယုတ္တိဗေဒနှင့် အလုပ်အသွားအလာများတည်ဆောက်ရာတွင် အာရုံစိုက်စေခြင်းကဲ့သို့ပင် ဖြစ်သည်။

နိဂုံး- အဆုံးမရှိ ချဲ့ထွင်နိုင်မှု အတွက် ဖောင်ဒေးရှင်းတစ်ခု

Lisp_Object ကို Deconstructing သည် Emacs ၏ အလယ်ဗဟိုတွင် အံဝင်ခွင်ကျသော အင်ဂျင်နီယာကို ပြသသည်။ လိုက်လျောညီထွေမှုနှင့် အသက်ရှည်မှုကို ဦးစားပေးသည့် ဒီဇိုင်းတစ်ခုအတွက် သက်သေတစ်ခုဖြစ်သည်။ တိကျသော tagging စနစ်နှင့် ခိုင်မာသော အမှိုက်စုဆောင်းသူမှ စုစည်းထားသော ဒေတာကိုယ်စားပြုမှုကို ဖန်တီးခြင်းဖြင့် Emacs developer များသည် ဆယ်စုနှစ်များစွာ တိုးချဲ့မှုနှင့် စိတ်ကြိုက်ပြင်ဆင်မှုများကို ပံ့ပိုးပေးနိုင်သည့် အခြေခံအုတ်မြစ်ကို တည်ဆောက်ခဲ့သည်။ အဆုံးမရှိသော modularity ကို အားကောင်းစေမည့် တည်ငြိမ်ပြီး ကောင်းစွာသတ်မှတ်ထားသော core တစ်ခုတည်ဆောက်ခြင်း၏နိယာမသည် အစွမ်းထက်သောအသေးစိတ်ပုံစံတစ်ခုဖြစ်သည်။ ခိုင်မာသောဗိသုကာအခြေခံအုတ်မြစ်သည် စီးပွားရေးလုပ်ငန်းများကို လိုက်လျောညီထွေဖြစ်အောင်၊ ပေါင်းစည်းရန်နှင့် ၎င်းတို့၏လုပ်ငန်းလည်ပတ်မှုစနစ်များကို အတားအဆီးမရှိဘဲ တိုးတက်ပြောင်းလဲစေသည့် ခိုင်မာသောဗိသုကာအခြေခံအုတ်မြစ်ဖြစ်သော Mewayz ၏ဖွံ့ဖြိုးတိုးတက်မှုကို လမ်းညွှန်ပေးသည့် တူညီသောနိယာမမှာ စာသားတည်းဖြတ်ခြင်း သို့မဟုတ် စီးပွားရေးဆိုင်ရာ ကြိုးကိုင်ခြင်းအတွက်ဖြစ်စေ ဉာဏ်ရည်ထက်မြက်၍ လိုက်လျောညီထွေဖြစ်အောင် လုပ်ဆောင်နိုင်သော cores များပေါ်တွင် တည်ဆောက်ထားကြောင်း သက်သေပြပါသည်။