Emacs ខាងក្នុង៖ បំផ្លាញ Lisp_Object ក្នុង C (Part 2)

សេចក្តីផ្តើម៖ ការពិនិត្យមើលកាន់តែជ្រៅទៅក្នុងស្នូល

នៅក្នុងផ្នែកទីមួយនៃការរុករករបស់យើងចូលទៅក្នុង Emacs ខាងក្នុង យើងបានបង្កើតឡើងថា Lisp_Object គឺជាប្រភេទទិន្នន័យមូលដ្ឋានដែលនាំមកនូវពិភព Lisp-centric នៃ Emacs ដល់ជីវិត។ យើងបានឃើញពីរបៀបដែលវាបម្រើជាកុងតឺន័រសកល ប៊ីតដ៏ឆ្លាតវៃនៃកូដ C ដែលអាចតំណាងឱ្យចំនួនគត់ និមិត្តសញ្ញា ខ្សែអក្សរ សតិបណ្ដោះអាសន្ន និងគ្រប់ធាតុផ្សេងទៀតនៅក្នុងកម្មវិធីនិពន្ធ។ ឥឡូវនេះវាដល់ពេលហើយដើម្បីមើលនៅក្រោមក្រណាត់នៅមេកានិច។ តើតម្លៃតែមួយ, 32 ឬ 64 ប៊ីតនេះពិតជាគ្រប់គ្រងទៅជារបស់ផ្សេងគ្នាយ៉ាងដូចម្ដេច? ចម្លើយគឺនៅក្នុងការរួមបញ្ចូលគ្នានៃតំណាងទិន្នន័យដ៏ប៉ិនប្រសប់ ការដាក់ស្លាកប្រភេទ និងការគ្រប់គ្រងអង្គចងចាំ។ ការយល់ដឹងអំពីមេកានិចទាំងនេះមិនមែនគ្រាន់តែជាលំហាត់សិក្សាប៉ុណ្ណោះទេ។ វាបង្ហាញពីគោលការណ៍ស្ថាបត្យកម្មដែលអនុញ្ញាតឱ្យមានការពង្រីកយ៉ាងធំធេង—ជាទស្សនវិជ្ជាដែលឆ្លុះបញ្ចាំងយ៉ាងស៊ីជម្រៅជាមួយនឹងវេទិកាដូចជា Mewayz ដែលត្រូវបានបង្កើតឡើងដើម្បីអាចសម្របខ្លួនបាន និងម៉ូឌុលនៅស្នូលរបស់វា។

ស្ថាបត្យកម្មនៃកុងតឺន័រសកល

ថាមពលនៃ Lisp_Object កើតចេញពីធម្មជាតិពីររបស់វា។ វាគឺនៅក្នុងបេះដូងរបស់វា គ្រាន់តែជាពាក្យម៉ាស៊ីន—ជា 'វែង' ឬប្រភេទចំនួនគត់ស្រដៀងគ្នានៅក្នុង C។ ភាពឆ្លាតវៃពិតប្រាកដរបស់វាកើតចេញពីរបៀបដែលអ្នកបកប្រែ Emacs បកស្រាយប៊ីតនៅក្នុងពាក្យនោះ។ ប្រព័ន្ធនេះបែងចែកប៊ីតដែលមានជាតំបន់ចម្បងពីរ៖ តម្លៃខ្លួនវា និងស្លាក។ ស្លាក ជាធម្មតាជាប៊ីតដែលមិនសូវសំខាន់ ដើរតួជាស្លាកដែលប្រាប់រយៈពេលដំណើរការថាតើទិន្នន័យប្រភេទណាដែលប៊ីតដែលនៅសល់តំណាងឱ្យ។ នេះ​គឺ​ជា​គន្លឹះ​នៃ polymorphism នៃ Lisp_Object; អថេរ C ដូចគ្នាអាចត្រូវបានដំណើរការខុសគ្នាដោយផ្អែកលើស្លាករបស់វា។ នេះគឺស្រដៀងគ្នាទៅនឹងរបៀបដែលប្រព័ន្ធប្រតិបត្តិការអាជីវកម្មម៉ូឌុលដូចជា Mewayz ប្រើប្រាស់ទិន្នន័យមេតា និងប្រព័ន្ធប្រភេទដើម្បីគ្រប់គ្រងការផ្សាយទិន្នន័យចម្រុះ—ពីកំណត់ត្រាអតិថិជនរហូតដល់កាលវិភាគគម្រោង—ក្នុងក្របខ័ណ្ឌបង្រួបបង្រួម ដោយធានាថាដំណើរការត្រឹមត្រូវគ្រប់គ្រងព័ត៌មានត្រឹមត្រូវ។

ការឌិកូដស្លាក៖ ពីប៊ីតទៅប្រភេទ Lisp

តោះបំបែកប្រព័ន្ធដាក់ស្លាក។ Emacs បម្រុងទុកពីរបីប៊ីត (ជាទូទៅបី) ដើម្បីអ៊ិនកូដប្រភេទមូលដ្ឋាននៃវត្ថុ។ ចំនួនប៊ីតតូចនេះគឺគ្រប់គ្រាន់ដើម្បីបែងចែករវាងសំណុំនៃប្រភេទភ្លាមៗ និងប្រភេទទ្រនិច។

• ប្រភេទភ្លាមៗ៖ ទាំងនេះគឺជាតម្លៃដែលអាចត្រូវបានរក្សាទុកដោយផ្ទាល់នៅក្នុង Lisp_Object ខ្លួនវា ដោយមិនចាំបាច់មានការបែងចែកអង្គចងចាំដាច់ដោយឡែកនោះទេ។ ឧទាហរណ៍ទូទៅបំផុតគឺចំនួនគត់ (លេខកំណត់) និងតម្លៃ 'nil' ពិសេស។ សម្រាប់ចំនួនគត់ ប៊ីតស្លាកត្រូវបានកំណត់ទៅជាគំរូជាក់លាក់មួយ ហើយប៊ីតដែលនៅសល់រក្សាតម្លៃនៃចំនួនគត់។
• ប្រភេទទ្រនិច៖ សម្រាប់រចនាសម្ព័ន្ធទិន្នន័យស្មុគ្រស្មាញបន្ថែមទៀតដូចជា ខ្សែអក្សរ សតិបណ្ដោះអាសន្ន វ៉ិចទ័រ និងកោសិកាគុណវិបត្តិ Lisp_Object មានអាសយដ្ឋានអង្គចងចាំ (ទ្រនិច)។ ប៊ីត​ស្លាក​បង្ហាញ​ថា​រចនាសម្ព័ន្ធ​ប្រភេទ​ណា​ដែល​ស្ថិត​នៅ​អាសយដ្ឋាន​នោះ។ នេះអនុញ្ញាតឱ្យ Emacs គ្រប់គ្រងទិន្នន័យធំជាង និងទំហំថាមវន្តប្រកបដោយប្រសិទ្ធភាពនៅលើ heap ។

ដំណើរការនៃការពិនិត្យមើលស្លាកមួយ ហើយបន្ទាប់មកធ្វើសកម្មភាពលើតម្លៃដែលត្រូវគ្នាគឺជាមូលដ្ឋានគ្រឹះនៃរង្វិលជុំខាងក្នុងរបស់អ្នកបកប្រែ Lisp ដែលជាថ្នាក់មេក្នុងការបញ្ជូនទិន្នន័យប្រកបដោយប្រសិទ្ធភាព។

ការគ្រប់គ្រងអង្គចងចាំ និងឧបករណ៍ប្រមូលសំរាម

នៅពេលដែល Lisp_Object គឺជាប្រភេទទ្រនិច វាចង្អុលទៅប្លុកនៃអង្គចងចាំដែលបានបែងចែកនៅលើ heap ។ នេះណែនាំពីបញ្ហាប្រឈមដ៏សំខាន់នៃការគ្រប់គ្រងការចងចាំ។ Emacs ប្រើឧបករណ៍ប្រមូលសំរាម (GC) ដើម្បីដកអង្គចងចាំដែលលែងប្រើឡើងវិញដោយស្វ័យប្រវត្តិ។ GC ស្កេនជាទៀងទាត់តាមរយៈ Lisp_Objects សកម្មទាំងអស់ "សម្គាល់" វត្ថុដែលអាចទៅដល់បានពីសំណុំ root (ដូចជាអថេរសកល និងជង់ស៊ុម)។ ប្លុកអង្គចងចាំទាំងឡាយណាដែលនៅតែ "មិនបានសម្គាល់" ត្រូវបានចាត់ទុកថាជាសំរាម ហើយត្រូវបានសម្អាត ដោយដោះលែងអង្គចងចាំនោះសម្រាប់ការប្រើប្រាស់នាពេលអនាគត។ ការគ្រប់គ្រងដោយស្វ័យប្រវត្តិនេះគឺជាអ្វីដែលអនុញ្ញាតឱ្យអ្នកសរសេរកម្មវិធី Emacs Lisp ផ្តោតលើមុខងារដោយមិនមានការបែងចែកអង្គចងចាំដោយដៃ និងការបែងចែក ដូចជារបៀបដែល Mewayz ដកស្រងចេញពីភាពស្មុគស្មាញនៃហេដ្ឋារចនាសម្ព័ន្ធដែលអនុញ្ញាតឱ្យក្រុមផ្តោតលើការកសាងតក្កវិជ្ជាអាជីវកម្ម និងលំហូរការងារ។

"ភាពឆើតឆាយនៃ Emacs ស្ថិតនៅក្នុងការបញ្ចូលគ្នាយ៉ាងរលូននៃបរិស្ថាន Lisp កម្រិតខ្ពស់ជាមួយនឹងប្រសិទ្ធភាពឆៅរបស់ C. Lisp_Object គឺជា linchpin ដែលជារចនាសម្ព័ន្ធទិន្នន័យដែលមានលក្ខណៈសាមញ្ញក្នុងការបង្កើតគំនិត ប៉ុន្តែមានអត្ថន័យជ្រាលជ្រៅចំពោះភាពអាចពង្រីកបាន និងដំណើរការ។"

សេចក្តីសន្និដ្ឋាន៖ មូលនិធិសម្រាប់ការពង្រីកគ្មានកំណត់

Deconstructing Lisp_Object បង្ហាញពីវិស្វកម្មដ៏ប្រណិតនៅក្នុងបេះដូងនៃ Emacs។ វាគឺជាសក្ខីភាពនៃការរចនាដែលផ្តល់អាទិភាពដល់ភាពបត់បែន និងអាយុកាលវែង។ តាមរយៈការបង្កើតតំណាងទិន្នន័យបង្រួបបង្រួមដែលគ្រប់គ្រងដោយប្រព័ន្ធដាក់ស្លាកច្បាស់លាស់ និងអ្នកប្រមូលសំរាមដ៏រឹងមាំ អ្នកអភិវឌ្ឍន៍ Emacs បានបង្កើតមូលដ្ឋានគ្រឹះមួយដែលអាចគាំទ្រដល់ការពង្រីក និងការប្ដូរតាមបំណងជាច្រើនទសវត្សរ៍។ គោលការណ៍​នៃ​ការ​កសាង​ស្នូល​ដែល​មាន​ស្ថិរភាព និង​កំណត់​យ៉ាង​ល្អ​ដែល​ផ្តល់​អំណាច​ដល់​ម៉ូឌុល​គ្មាន​ទី​បញ្ចប់ គឺជា​ប្លង់មេ​ដ៏មាន​ឥទ្ធិពល។ វាគឺជាគោលការណ៍ដូចគ្នាដែលដឹកនាំការអភិវឌ្ឍន៍របស់ Mewayz ដែលមូលដ្ឋានគ្រឹះស្ថាបត្យកម្មរឹងមាំអាចឱ្យអាជីវកម្មសម្របខ្លួន រួមបញ្ចូល និងវិវឌ្ឍប្រព័ន្ធប្រតិបត្តិការរបស់ពួកគេដោយគ្មានឧបសគ្គ ដោយបង្ហាញថាប្រព័ន្ធដ៏អស្ចារ្យ មិនថាសម្រាប់ការកែសម្រួលអត្ថបទ ឬការរៀបចំអាជីវកម្មនោះទេ គឺត្រូវបានបង្កើតឡើងនៅលើស្នូលឆ្លាតវៃ និងអាចប្រែប្រួលបាន។

សំណួរដែលគេសួរញឹកញាប់

សេចក្តីផ្តើម៖ ការពិនិត្យមើលកាន់តែជ្រៅទៅក្នុងស្នូល

នៅក្នុងផ្នែកទីមួយនៃការរុករករបស់យើងចូលទៅក្នុង Emacs ខាងក្នុង យើងបានបង្កើតឡើងថា Lisp_Object គឺជាប្រភេទទិន្នន័យមូលដ្ឋានដែលនាំមកនូវពិភព Lisp-centric នៃ Emacs ដល់ជីវិត។ យើងបានឃើញពីរបៀបដែលវាបម្រើជាកុងតឺន័រសកល ប៊ីតដ៏ឆ្លាតវៃនៃកូដ C ដែលអាចតំណាងឱ្យចំនួនគត់ និមិត្តសញ្ញា ខ្សែអក្សរ សតិបណ្ដោះអាសន្ន និងគ្រប់ធាតុផ្សេងទៀតនៅក្នុងកម្មវិធីនិពន្ធ។ ឥឡូវនេះវាដល់ពេលហើយដើម្បីមើលនៅក្រោមក្រណាត់នៅមេកានិច។ តើតម្លៃតែមួយ, 32 ឬ 64 ប៊ីតនេះពិតជាគ្រប់គ្រងទៅជារបស់ផ្សេងគ្នាយ៉ាងដូចម្ដេច? ចម្លើយគឺនៅក្នុងការរួមបញ្ចូលគ្នានៃតំណាងទិន្នន័យដ៏ប៉ិនប្រសប់ ការដាក់ស្លាកប្រភេទ និងការគ្រប់គ្រងអង្គចងចាំ។ ការយល់ដឹងអំពីមេកានិចទាំងនេះមិនមែនគ្រាន់តែជាលំហាត់សិក្សាប៉ុណ្ណោះទេ។ វាបង្ហាញពីគោលការណ៍ស្ថាបត្យកម្មដែលអនុញ្ញាតឱ្យមានការពង្រីកយ៉ាងធំធេង—ជាទស្សនវិជ្ជាដែលឆ្លុះបញ្ចាំងយ៉ាងស៊ីជម្រៅជាមួយនឹងវេទិកាដូចជា Mewayz ដែលត្រូវបានបង្កើតឡើងដើម្បីអាចសម្របខ្លួនបាន និងម៉ូឌុលនៅស្នូលរបស់វា។

ស្ថាបត្យកម្មនៃកុងតឺន័រសកល

ថាមពលនៃ Lisp_Object កើតចេញពីធម្មជាតិពីររបស់វា។ វាគឺនៅក្នុងបេះដូងរបស់វា គ្រាន់តែជាពាក្យម៉ាស៊ីន—ជា 'វែង' ឬប្រភេទចំនួនគត់ស្រដៀងគ្នានៅក្នុង C។ ភាពឆ្លាតវៃពិតប្រាកដរបស់វាកើតចេញពីរបៀបដែលអ្នកបកប្រែ Emacs បកស្រាយប៊ីតនៅក្នុងពាក្យនោះ។ ប្រព័ន្ធនេះបែងចែកប៊ីតដែលមានជាតំបន់ចម្បងពីរ៖ តម្លៃខ្លួនវា និងស្លាក។ ស្លាក ជាធម្មតាជាប៊ីតដែលមិនសូវសំខាន់ ដើរតួជាស្លាកដែលប្រាប់រយៈពេលដំណើរការថាតើទិន្នន័យប្រភេទណាដែលប៊ីតដែលនៅសល់តំណាងឱ្យ។ នេះ​គឺ​ជា​គន្លឹះ​នៃ polymorphism នៃ Lisp_Object; អថេរ C ដូចគ្នាអាចត្រូវបានដំណើរការខុសគ្នាដោយផ្អែកលើស្លាករបស់វា។ នេះគឺស្រដៀងគ្នាទៅនឹងរបៀបដែលប្រព័ន្ធប្រតិបត្តិការអាជីវកម្មម៉ូឌុលដូចជា Mewayz ប្រើប្រាស់ទិន្នន័យមេតា និងប្រព័ន្ធប្រភេទដើម្បីគ្រប់គ្រងការផ្សាយទិន្នន័យចម្រុះ—ពីកំណត់ត្រាអតិថិជនរហូតដល់កាលវិភាគគម្រោង—ក្នុងក្របខ័ណ្ឌបង្រួបបង្រួម ដោយធានាថាដំណើរការត្រឹមត្រូវគ្រប់គ្រងព័ត៌មានត្រឹមត្រូវ។

ការឌិកូដស្លាក៖ ពីប៊ីតទៅប្រភេទ Lisp

តោះបំបែកប្រព័ន្ធដាក់ស្លាក។ Emacs បម្រុងទុកពីរបីប៊ីត (ជាទូទៅបី) ដើម្បីអ៊ិនកូដប្រភេទមូលដ្ឋាននៃវត្ថុ។ ចំនួនប៊ីតតូចនេះគឺគ្រប់គ្រាន់ដើម្បីបែងចែករវាងសំណុំនៃប្រភេទភ្លាមៗ និងប្រភេទទ្រនិច។

ការគ្រប់គ្រងអង្គចងចាំ និងឧបករណ៍ប្រមូលសំរាម

នៅពេលដែល Lisp_Object គឺជាប្រភេទទ្រនិច វាចង្អុលទៅប្លុកនៃអង្គចងចាំដែលបានបែងចែកនៅលើ heap ។ នេះណែនាំពីបញ្ហាប្រឈមដ៏សំខាន់នៃការគ្រប់គ្រងការចងចាំ។ Emacs ប្រើឧបករណ៍ប្រមូលសំរាម (GC) ដើម្បីដកអង្គចងចាំដែលលែងប្រើឡើងវិញដោយស្វ័យប្រវត្តិ។ GC ស្កេនជាទៀងទាត់តាមរយៈ Lisp_Objects សកម្មទាំងអស់ "សម្គាល់" វត្ថុដែលអាចទៅដល់បានពីសំណុំ root (ដូចជាអថេរសកល និងជង់ស៊ុម)។ ប្លុកអង្គចងចាំទាំងឡាយណាដែលនៅតែ "មិនបានសម្គាល់" ត្រូវបានចាត់ទុកថាជាសំរាម ហើយត្រូវបានសម្អាត ដោយដោះលែងអង្គចងចាំនោះសម្រាប់ការប្រើប្រាស់នាពេលអនាគត។ ការគ្រប់គ្រងដោយស្វ័យប្រវត្តិនេះគឺជាអ្វីដែលអនុញ្ញាតឱ្យអ្នកសរសេរកម្មវិធី Emacs Lisp ផ្តោតលើមុខងារដោយមិនមានការបែងចែកអង្គចងចាំដោយដៃ និងការបែងចែក ដូចជារបៀបដែល Mewayz ដកស្រងចេញពីភាពស្មុគស្មាញនៃហេដ្ឋារចនាសម្ព័ន្ធដែលអនុញ្ញាតឱ្យក្រុមផ្តោតលើការកសាងតក្កវិជ្ជាអាជីវកម្ម និងលំហូរការងារ។

សេចក្តីសន្និដ្ឋាន៖ មូលនិធិសម្រាប់ការពង្រីកគ្មានកំណត់

Deconstructing Lisp_Object បង្ហាញពីវិស្វកម្មដ៏ប្រណិតនៅក្នុងបេះដូងនៃ Emacs។ វាគឺជាសក្ខីភាពនៃការរចនាដែលផ្តល់អាទិភាពដល់ភាពបត់បែន និងអាយុកាលវែង។ តាមរយៈការបង្កើតតំណាងទិន្នន័យបង្រួបបង្រួមដែលគ្រប់គ្រងដោយប្រព័ន្ធដាក់ស្លាកច្បាស់លាស់ និងអ្នកប្រមូលសំរាមដ៏រឹងមាំ អ្នកអភិវឌ្ឍន៍ Emacs បានបង្កើតមូលដ្ឋានគ្រឹះមួយដែលអាចគាំទ្រដល់ការពង្រីក និងការប្ដូរតាមបំណងជាច្រើនទសវត្សរ៍។ គោលការណ៍​នៃ​ការ​កសាង​ស្នូល​ដែល​មាន​ស្ថិរភាព និង​កំណត់​យ៉ាង​ល្អ​ដែល​ផ្តល់​អំណាច​ដល់​ម៉ូឌុល​គ្មាន​ទី​បញ្ចប់ គឺជា​ប្លង់មេ​ដ៏មាន​ឥទ្ធិពល។ វាគឺជាគោលការណ៍ដូចគ្នាដែលដឹកនាំការអភិវឌ្ឍន៍របស់ Mewayz ដែលមូលដ្ឋានគ្រឹះស្ថាបត្យកម្មរឹងមាំអាចឱ្យអាជីវកម្មសម្របខ្លួន រួមបញ្ចូល និងវិវឌ្ឍប្រព័ន្ធប្រតិបត្តិការរបស់ពួកគេដោយគ្មានឧបសគ្គ ដោយបង្ហាញថាប្រព័ន្ធដ៏អស្ចារ្យ មិនថាសម្រាប់ការកែសម្រួលអត្ថបទ ឬការរៀបចំអាជីវកម្មនោះទេ គឺត្រូវបានបង្កើតឡើងនៅលើស្នូលឆ្លាតវៃ និងអាចប្រែប្រួលបាន។