Taobh a-staigh Emacs: A’ dì-thogail Lisp_Object ann an C (Pàirt 2)

Ro-ràdh: A’ coimhead nas doimhne dhan bhun

Anns a’ chiad phàirt den rannsachadh againn a-steach do Emacs internals, lorg sinn gur e Lisp_Object an seòrsa dàta bunaiteach a bheir beò saoghal Lisp-centric Emacs. Chunnaic sinn mar a tha e a’ frithealadh mar shoitheach uile-choitcheann, pìos glic de chòd C a dh’ fhaodas àireamhan iomlan, samhlaidhean, sreangan, bufairean, agus gach eintiteas eile taobh a-staigh an neach-deasachaidh a riochdachadh. A-nis, tha an t-àm ann coimhead fon chochall air na meacanaigean. Ciamar a tha an luach singilte, 32 no 64-bit seo a’ riaghladh a bhith mar uimhir de rudan eadar-dhealaichte? Tha am freagairt na laighe ann an cothlamadh de riochdachadh dàta innleachdach, tagadh seòrsa, agus riaghladh cuimhne. Chan e dìreach eacarsaich acadaimigeach a th’ ann a bhith a’ tuigsinn na meacanaigean sin; tha e a’ nochdadh na prionnsapalan ailtireil a leigeas le leudachadh mòr - feallsanachd a tha a’ freagairt gu domhainn air àrd-ùrlaran mar Mewayz, a tha air an togail gus a bhith sùbailte agus modular aig an cridhe.

Ailtireachd inneal-gleidhidh Uile-choitcheann

Tha cumhachd Lisp_Object a’ tighinn bhon nàdar dhùbailte aige. Chan eil ann, aig a chridhe, ach facal inneal – seòrsa ‘fada’ no a leithid de shlànaighear ann an C. Tha a fhìor fhiosrachadh a’ tighinn bhon dòigh anns a bheil eadar-theangair Emacs ag eadar-mhìneachadh nam pìosan san fhacal sin. Bidh an siostam a’ roinn na pìosan a tha rim faighinn ann an dà phrìomh roinn: an luach fhèin agus an taga. Bidh an taga, mar as trice na pìosan as cudromaiche, ag obair mar leubail a dh’ innseas don ùine ruith dè an seòrsa dàta a tha an còrr de na pìosan a’ riochdachadh. Is e seo an iuchair airson polymorphism Lisp_Object; faodar an aon chaochladair C a phròiseasadh ann an dòigh eadar-dhealaichte stèidhichte air an taga aige. Tha seo coltach ri mar a bhios gnìomhachas modular OS mar Mewayz a’ cleachdadh meata-dàta agus siostaman seòrsa gus sruthan dàta eadar-mheasgte a riaghladh - bho chlàran teachdaiche gu loidhnichean-tìm pròiseict - taobh a-staigh frèam aonaichte, a’ dèanamh cinnteach gu bheil am pròiseas ceart a’ làimhseachadh an fhiosrachaidh cheart.

A’ còdachadh na taga: Bho Bits gu Seòrsan Lisp

Nì sinn siostam nan tagaichean a bhriseadh sìos. Bidh Emacs a’ glèidheadh ​​beagan phìosan (mar as trice trì) gus an seòrsa bunaiteach den nì a chòdachadh. Tha an àireamh bheag seo de phìosan gu leòr airson eadar-dhealachadh a dhèanamh eadar seata de sheòrsan sa bhad agus seòrsaichean puing.

• Seòrsa sa bhad: Seo luachan a ghabhas an stòradh gu dìreach taobh a-staigh an Lisp_Object fhèin, gun feum air riarachadh cuimhne fa leth. Is e na h-eisimpleirean as cumanta àireamhan iomlan (fixnums) agus an luach sònraichte `nil`. Airson slàn-àireamhan, tha na pìosan taga air an suidheachadh gu pàtran sònraichte, agus tha luach an t-slànaighear aig na pìosan eile.
• Seòrsaichean de phuingearan: Airson structaran dàta nas iom-fhillte leithid sreangan, bufairean, vectaran is ceallan eas-aonta, tha seòladh cuimhne (puingeadair) anns an Lisp_Object. Tha na pìosan taga a’ sealltainn dè an seòrsa structair a tha a’ fuireach aig an t-seòladh sin. Leigidh seo le Emacs dàta nas motha agus fiùghantach a riaghladh gu h-èifeachdach air a’ chàrn.

Tha am pròiseas airson taga a sgrùdadh agus an luach co-fhreagarrach a chur an gnìomh an uairsin bunaiteach do lùb a-staigh an eadar-theangair Lisp, sàr-chlas ann an sgaoileadh dàta èifeachdach.

Stiùireadh Cuimhne agus an Neach-cruinneachaidh sgudail

Nuair is e seòrsa puing a th’ ann an Lisp_Object, comharraichidh e gu bheil bloc cuimhne air a riarachadh air a’ chàrn. Tha seo a’ toirt a-steach an dùbhlan èiginneach a thaobh riaghladh cuimhne. Bidh Emacs a’ cleachdadh neach-cruinneachaidh sgudail comharra-is-sguabaidh (GC) gus cuimhne fhaighinn air ais nach eilear a’ cleachdadh tuilleadh. Bidh an GC bho àm gu àm a’ sganadh tro na Lisp_Objects gnìomhach, “a’ comharrachadh ”an fheadhainn a tha ruigsinneach bhon t-seata freumh (mar caochladairean cruinne agus frèamaichean stac). Thathas den bheachd gu bheil blocaichean cuimhne sam bith a tha fhathast “gun chomharradh” mar sgudal agus air an sguabadh suas, a ’saoradh a’ chuimhne sin airson a chleachdadh san àm ri teachd. Is e an riaghladh fèin-ghluasadach seo a leigeas le luchd-prògramaidh Emacs Lisp fòcas a chuir air gnìomhachd gun riarachadh cuimhne làimhe agus làimhseachadh, dìreach mar a bhios Mewayz a’ toirt air falbh iom-fhillteachd bun-structair, a’ leigeil le sgiobaidhean fòcas a chuir air togail loidsig gnìomhachais agus sruthan-obrach.

"Tha eireachdas Emacs na laighe anns a’ mheasgachadh fuaigheil seo de àrainneachd Lisp àrd-ìre le èifeachdas amh C. Is e an Lisp_Object an linchpin, structar dàta a tha sìmplidh ann am bun-bheachd ach domhainn anns a’ bhuaidh a th’ aige air leudachd agus coileanadh."

Co-dhùnadh: Bunait airson Leudachadh Neo-chrìochnach

Deconstructing Lisp_Object a’ nochdadh an innleadaireachd eireachdail aig cridhe Emacs. Tha e na theisteanas air dealbhadh a tha a’ toirt prìomhachas do shùbailteachd agus fad-beatha. Le bhith a’ cruthachadh riochdachadh dàta aonaichte air a làimhseachadh le siostam tagaidh mionaideach agus neach-cruinneachaidh sgudail làidir, thog luchd-leasachaidh Emacs bunait a bha comasach air taic a thoirt do dheicheadan de leudachadh agus gnàthachadh. Tha am prionnsapal seo de bhith a’ togail cridhe seasmhach, air a dheagh mhìneachadh a bheir cumhachd do mhodalachd gun chrìoch na phlana cumhachdach. Is e an aon phrionnsapal a tha a’ stiùireadh leasachadh Mewayz, far a bheil bunait làidir ailtireil a’ toirt comas do ghnìomhachasan na siostaman obrachaidh aca atharrachadh, amalachadh agus atharrachadh gun chuingealachaidhean, a’ dearbhadh gu bheil siostaman mòra, ge bith an ann airson deasachadh teacsa no orcastra gnìomhachais, air an togail air coraichean tuigseach, sùbailte.

Ceistean Bitheanta

Ro-ràdh: A’ coimhead nas doimhne dhan bhun

Anns a’ chiad phàirt den rannsachadh againn a-steach do Emacs internals, lorg sinn gur e Lisp_Object an seòrsa dàta bunaiteach a bheir beò saoghal Lisp-centric Emacs. Chunnaic sinn mar a tha e a’ frithealadh mar shoitheach uile-choitcheann, pìos glic de chòd C a dh’ fhaodas àireamhan iomlan, samhlaidhean, sreangan, bufairean, agus gach eintiteas eile taobh a-staigh an neach-deasachaidh a riochdachadh. A-nis, tha an t-àm ann coimhead fon chochall air na meacanaigean. Ciamar a tha an luach singilte, 32 no 64-bit seo a’ riaghladh a bhith mar uimhir de rudan eadar-dhealaichte? Tha am freagairt na laighe ann an cothlamadh de riochdachadh dàta innleachdach, tagadh seòrsa, agus riaghladh cuimhne. Chan e dìreach eacarsaich acadaimigeach a th’ ann a bhith a’ tuigsinn na meacanaigean sin; tha e a’ nochdadh na prionnsapalan ailtireil a leigeas le leudachadh mòr - feallsanachd a tha a’ freagairt gu domhainn air àrd-ùrlaran mar Mewayz, a tha air an togail gus a bhith sùbailte agus modular aig an cridhe.

Ailtireachd inneal-gleidhidh Uile-choitcheann

Tha cumhachd Lisp_Object a’ tighinn bhon nàdar dhùbailte aige. Chan eil ann, aig a chridhe, ach facal inneal – seòrsa ‘fada’ no a leithid de shlànaighear ann an C. Tha a fhìor fhiosrachadh a’ tighinn bhon dòigh anns a bheil eadar-theangair Emacs ag eadar-mhìneachadh nam pìosan san fhacal sin. Bidh an siostam a’ roinn na pìosan a tha rim faighinn ann an dà phrìomh roinn: an luach fhèin agus an taga. Bidh an taga, mar as trice na pìosan as cudromaiche, ag obair mar leubail a dh’ innseas don ùine ruith dè an seòrsa dàta a tha an còrr de na pìosan a’ riochdachadh. Is e seo an iuchair airson polymorphism Lisp_Object; faodar an aon chaochladair C a phròiseasadh ann an dòigh eadar-dhealaichte stèidhichte air an taga aige. Tha seo coltach ri mar a bhios gnìomhachas modular OS mar Mewayz a’ cleachdadh meata-dàta agus siostaman seòrsa gus sruthan dàta eadar-mheasgte a riaghladh - bho chlàran teachdaiche gu loidhnichean-tìm pròiseict - taobh a-staigh frèam aonaichte, a’ dèanamh cinnteach gu bheil am pròiseas ceart a’ làimhseachadh an fhiosrachaidh cheart.

A’ còdachadh na taga: Bho Bits gu Seòrsan Lisp

Nì sinn siostam nan tagaichean a bhriseadh sìos. Bidh Emacs a’ glèidheadh ​​beagan phìosan (mar as trice trì) gus an seòrsa bunaiteach den nì a chòdachadh. Tha an àireamh bheag seo de phìosan gu leòr airson eadar-dhealachadh a dhèanamh eadar seata de sheòrsan sa bhad agus seòrsaichean puing.

Stiùireadh Cuimhne agus an Neach-cruinneachaidh sgudail

Nuair is e seòrsa puing a th’ ann an Lisp_Object, comharraichidh e gu bheil bloc cuimhne air a riarachadh air a’ chàrn. Tha seo a’ toirt a-steach an dùbhlan èiginneach a thaobh riaghladh cuimhne. Bidh Emacs a’ cleachdadh neach-cruinneachaidh sgudail comharra-is-sguabaidh (GC) gus cuimhne fhaighinn air ais nach eilear a’ cleachdadh tuilleadh. Bidh an GC bho àm gu àm a’ sganadh tro na Lisp_Objects gnìomhach, “a’ comharrachadh ”an fheadhainn a tha ruigsinneach bhon t-seata freumh (mar caochladairean cruinne agus frèamaichean stac). Thathas den bheachd gu bheil blocaichean cuimhne sam bith a tha fhathast “gun chomharradh” mar sgudal agus air an sguabadh suas, a ’saoradh a’ chuimhne sin airson a chleachdadh san àm ri teachd. Is e an riaghladh fèin-ghluasadach seo a leigeas le luchd-prògramaidh Emacs Lisp fòcas a chuir air gnìomhachd gun riarachadh cuimhne làimhe agus làimhseachadh, dìreach mar a bhios Mewayz a’ toirt air falbh iom-fhillteachd bun-structair, a’ leigeil le sgiobaidhean fòcas a chuir air togail loidsig gnìomhachais agus sruthan-obrach.

Co-dhùnadh: Bunait airson Leudachadh Neo-chrìochnach

Deconstructing Lisp_Object a’ nochdadh an innleadaireachd eireachdail aig cridhe Emacs. Tha e na theisteanas air dealbhadh a tha a’ toirt prìomhachas do shùbailteachd agus fad-beatha. Le bhith a’ cruthachadh riochdachadh dàta aonaichte air a làimhseachadh le siostam tagaidh mionaideach agus neach-cruinneachaidh sgudail làidir, thog luchd-leasachaidh Emacs bunait a bha comasach air taic a thoirt do dheicheadan de leudachadh agus gnàthachadh. Tha am prionnsapal seo de bhith a’ togail cridhe seasmhach, air a dheagh mhìneachadh a bheir cumhachd do mhodalachd gun chrìoch na phlana cumhachdach. Is e an aon phrionnsapal a tha a’ stiùireadh leasachadh Mewayz, far a bheil bunait làidir ailtireil a’ toirt comas do ghnìomhachasan na siostaman obrachaidh aca atharrachadh, amalachadh agus atharrachadh gun chuingealachaidhean, a’ dearbhadh gu bheil siostaman mòra, ge bith an ann airson deasachadh teacsa no orcastra gnìomhachais, air an togail air coraichean tuigseach, sùbailte.