Ko e Fakamole 'o e Indirection 'i he 'ume'umea .

Ko e Totongi 'o e Abstraction: Mahino 'a e ta'efakahangatonu 'i he 'ume'umea

Ko e 'ume'umea ko ha lea 'oku langa 'i ha tala'ofa malohi: ngaahi abstractions 'oku 'ikai ha totongi. 'Oku ne faka'ata 'a e kau developers ke nau tohi 'a e tu'unga ma'olunga, malu, mo e fakahaa'i 'o e code 'o 'ikai totongi ha tautea fakahoko 'i he taimi lele. Ko e filosofia ko 'eni 'oku tefito ia ki he 'uhinga 'oku mahulu hake ai 'a e Rust 'i he polokalama 'o e ngaahi sisitemi, mei he ngaahi sisitemi ngaue ki he ngaahi misini va'inga. Kaekehe, 'oku tangutu 'a e fakakaukau 'o e "indirection" 'i ha kolosi'anga fakaofo 'i he tisaini 'a Rust. Lolotonga 'oku fa'a mahu'inga ki he fe'unu'aki mo e malu, 'Oku 'ikai ke zero-cost ma'u pe 'a e indirection, pea 'e lava ke fakalongolongo hono faka'aonga'i hala 'o faka'auha 'a e fakahokohoko 'aupito 'oku ongoongoa 'a e 'ume'umea. Ki he ngaahi tu'unga hange ko Mewayz, ko ha OS pisinisi modular 'a ia 'oku mahu'inga taha ai 'a e ola lelei mo hono faka'aonga'i 'o e ma'u'anga tokoni 'oku lava ke tomu'a tala, mahino 'a e fakamole ko 'eni 'oku 'ikai fakaako-'oku mahu'inga ia ki hono langa hake 'o e robust, scalable pisinisi logic.

Ko e hā ʻa e Taʻefakahinohinó pea ko e hā ʻoku tau fie maʻu ai iá?

Ko e indirection ko ha founga fakapolokalama ia 'oku ke lave ai ki ha me'a 'oku 'ikai fakahangatonu, ka 'i ha layer fakavaha'apule'anga. 'I he 'ume'umea, 'a e ngaahi fotunga angamaheni taha ko e ngaahi faka'ilonga, ngaahi fakamo'oni, ngaahi me'a 'o e 'ulungaanga, mo e ngaahi faka'ilonga 'atamai hange ko e `Box`, `Rc`, pe `Arc`. ʻOku fuʻu fie maʻu ʻaupito ʻa e ngaahi meʻangāue ko ʻení. 'Oku nau faka'ata 'a e 'ulungaanga malohi, vahevahe 'o e fu'u 'akau, vahevahe 'o e 'ea, mo e polymorphism. Hange ko 'eni, 'Oku faka'ata 'e ha `Vec>` ke ke tanaki ha tanaki'anga 'o e ngaahi fa'ahinga kehekehe 'oku nau fakahoko kotoa 'a e 'ulungaanga `Draw`, ko ha sipinga angamaheni 'i he ngaahi sisitemi UI pe plugin architectures. Ka ne ta'e'oua 'a e indirection, 'e faingata'a 'aupito ke tohi 'a e code 'oku fe'unga, modular.

"Ko e abstraction ko e 'aati ia 'o e fufū 'o e faingata'a, pea ko e ta'efakahangatonu ko hono me'angaue tefito ia. 'I he 'ume'umea, ko e pole ke wield 'a e me'angaue ko 'eni 'o 'ikai tuku ke hoko 'a e fakamole 'o e abstraction ko ha tukuhau taimi lele."

Ko e Tukuhau Fakahoko Ngaue Fakapulipuli

Lolotonga 'oku fa'a "zero-cost" 'a e abstraction 'i he me'a 'oku ke lava tohi'i nima, 'oku fakafe'iloaki 'e he indirection 'iate ia pe 'a e 'olunga 'oku 'asi. 'Oku fakahaa'i 'a e fakamole ko 'eni 'i ha ngaahi tafa'aki mahu'inga:

• Malu ki he Manatu (Mises 'o e Cache): Ko e muimui ki ha faka'ilonga 'oku fie ma'u ke puna ki ha tu'asila manatu kehe. 'E lava ke ikuna'i 'e he me'a ni 'a e CPU cache prefetching, 'o iku ai ki he lau 'oku fu'u tuai ange 'i hono fakafehoanaki ki he ngaahi fakamatala 'oku fehokotaki, 'i he laine.
• Faka'auha Fakamalohi: 'Oku faka'aonga'i 'e he ngaahi me'a 'o e 'ulungaanga (`dyn 'ulungaanga`) 'a e ngaahi tepile faka'ata (vtables) ke fakalelei'i 'a e ngaahi ui 'o e founga 'i he taimi lele. 'Oku tanaki atu 'e he me'a ni ha ki'i 'olunga ki he kumi 'o e pointer pea ta'ofi 'a e inlining 'o e compiler, 'a ia 'e lava ke hoko ko ha fakapoongi fakalelei'i lahi ki he ngaahi loop vela.
• Vahevahe 'o e Fu'u: Ko e ngaahi fa'ahinga hange ko e `Box` 'oku 'uhinga ia ki ha vahevahe 'o e fu'u, 'a ia ko e ngaahi tu'utu'uni 'o e lahi 'oku tuai ange ia 'i he vahevahe 'o e stack pea 'oku ne tanaki atu 'a e 'omi 'o e 'omi ki he vahevahe.
• Ngaahi Seini Fakahangatonu: Ko e ngaahi la'ipepa lahi 'o e ta'efakahangatonu (e.g., ha `Puha` 'oku 'i ai ha `Rc` ki ha struct mo ha `Vec` 'o e ngaahi me'a 'o e 'ulungaanga) 'oku ne fakataha'i 'a e ngaahi fakamole ko 'eni, 'o 'ai 'a e ngaahi hala 'o e ma'u 'o e fakamatala ke tuai mo ta'ealafakafuofua'i.

'I ha OS pisinisi hange ko e Mewayz, 'a ia 'oku fie ma'u ai 'e he ngaahi modules ke nau ngaue'aki 'a e ngaahi vaitafe 'o e fakamatala, pule'i 'a e ngaahi ngaue, pea tali ki he ngaahi me'a 'oku hoko 'aki 'a e latency ma'ulalo, 'e lava ke fakatahataha'i 'a e ngaahi fakamole si'isi'i ko 'eni ki he macro-level lag, 'o uesia 'a e me'a kotoa pe mei he to'utangata lipooti ki he ngaahi fakafo'ou 'o e dashboard taimi mo'oni.

Ngaahi Founga ki hono Fakasi'isi'i 'i Ho'o Codebase

Ko e taumu'a 'oku 'ikai ke fakangata 'a e indirection-'oku 'ikai ke malava pe faka'amu ia-ka ke faka'aonga'i fakapotopoto ia. Ko e ngaahi founga tefito eni:

'Uluakí, fiefia ange 'i he ngaahi me'a fakalūkufua 'i he ngaahi me'a 'o e 'ulungaanga 'i he feitu'u 'oku malava. 'Oku faka'aonga'i 'e he generics 'a e monomorphization, 'o fa'u 'a e kehekehe, fakalelei'i 'o e code ki he fa'ahinga sima takitaha 'i he taimi 'o e fakatahataha'i. 'Oku tauhi 'e he me'a ni 'a e fetuku static pea 'oku ne faka'ata 'a e inlining. Uá,ʻuma ki he tisaini ʻoku fakatefito ʻi he fakamatalá. Tauhi 'a e fakamatala 'i he ngaahi fakahokohoko 'oku fehokotaki, cache-fakakaume'a (`Vec`) kae 'ikai ko e ngaahi tanaki'anga 'o e ngaahi puha 'oku fehokotaki. Ngaue'aki 'a e fakamatala 'i he ngaahi kulupu, 'ikai 'i he ngaahi seini 'o e ngaahi ui virtual. Tolú,fakaʻilongaʻi taʻetuku. Faka'aonga'i 'a e ngaahi me'angaue hange ko e `cargo flamegraph` ke 'ilo'i pe ko e ta'efakahangatonu 'a e bottleneck mo'oni; fa'a, 'oku si'isi'i 'a e fakamole kae 'oua kuo 'i ha hala mahu'inga.

Langa ha Sisitemi Modular Lean mo e Mewayz

Ko e mahino nuanced ko 'eni 'o e fakamole versus 'a e fe'unu'aki 'oku ne faka'ilo fakahangatonu 'a e 'atakai 'o ha tu'unga hange ko e Mewayz. 'I hono tisaini 'o ha module ki he Mewayz OS, 'Oku fakalotolahi'i 'a e kau developers ke nau faka'aonga'i 'a e generics mo e static dispatch ki he uho, fakahoko-ongo'ingofua interfaces-hange ko e ngaahi paipa 'o e liliu 'o e fakamatala pe ngaahi misini fakafuofua. Lolotonga iá, 'oku kei haohaoa 'a e ngaahi me'a 'o e 'ulungaanga mo e uta 'o e malohi ki he tu'unga ma'olunga ange, ngaahi sisitemi plugin 'oku faka'aonga'i-extensible 'a ia ko e fe'unu'aki ko e fie ma'u tefito. 'I hono fai 'o e ngaahi fili fakataumu'a fekau'aki mo e indirection, 'e lava ke 'omi 'e he ngaahi modules 'o e Mewayz 'a e ngaahi pisinisi abstraction malohi 'oku fie ma'u 'o 'ikai feilaulau'i 'a e fakahokohoko 'o e deterministic 'oku nau fakafalala ki ai. Ko e ola ko ha OS pisinisi modular 'oku fakatou agile mo fakanatula 'a e ola lelei, 'a ia ko e totongi 'o e abstraction ko ha 'inivesimeni 'ilo'i ma'u pe, 'ikai ko ha totongi fufuu.