'Ilo mahu'inga: 'Oku fakapapau'i 'e he 'ume'umea 'a e malu 'o e manatu 'i loto 'i hono code 'o'ona, ka ko e momeniti 'oku ke kolosi ai ha ngata'anga 'o e FFI ki he C ++, 'Oku ke ma'u tofi'a 'i he palopalema kotoa pe 'o e thread-malu 'oku ma'u 'e he C ++. Ko e 'atakai 'oku takatakai 'i he ngata'anga ko ia 'oku mahu'inga ange ia 'i he code 'i he ongo tafa'aki 'o ia.

Ko e tauhele angamaheni 'e taha ko e pule'i 'o e mo'ui. 'Oku 'ikai ke kau 'a e ngaahi me'a C ++ 'i he sivi 'o e no 'a e Rust. Kapau 'oku tuku hifo 'e he 'ume'umea ha fakamo'oni lolotonga 'oku kei pukepuke 'e he C ++ ha faka'ilonga, 'Oku ke ma'u 'a e faka'aonga'i-hili-ta'etotongi 'a e ngaahi bugs 'oku brutally faingata'a ke fakatotolo'i. Na'a mau fakafepaki'i 'eni 'aki hono fakamālohi'i 'o e semantics 'o e 'ea fefeka: 'Oku ma'u ma'u pe 'e he ngaahi me'a 'o e C ++ 'a e takai 'o e 'ume'umea 'e taha tonu, pea 'oku 'alu 'a e hū vahevahe 'i he Arc-fakava'e 'i he lau 'o e lave 'i he tafa'aki 'o e 'ume'umea.

Fakahoko-poto, 'oku fakatupu 'e he ngaahi ui FFI 'oku fu'u lahi 'a e 'olunga mei he liliu 'o e tu'unga mo e serialization. 'Oku mau batch 'a e ngaahi ngaue 'i ha feitu'u pe 'e lava, 'o 'ave ha laine 'o e ngaahi me'a ngaue ki he C ++ executor kae 'ikai ko hono fai 'o e ngaahi ui fakafo'ituitui 'o e kolosi-lea.

Na'e anga fefe 'a e ngaue 'a e founga ko 'eni 'i he ngaohi'anga koloa?

Hili hono fakahoko 'o e hybrid 'o e 'atakai 'i he tafa'aki 'o 'etau tu'unga, na'a mau fua 'a e ngaahi fakalelei'i sima. Kole throughput fakalahi 'e he 3.4x ki he ngaahi modules na'e bottlenecked kimu'a 'i he hokohoko 'o e C ++ ngaue. Na'e holo hifo 'a e latency 'o e hiku (p99) 'aki 'a e 61% koe'uhi ko e taimi lele 'o e async 'o e 'ume'umea 'e lava ke ne fakahoko 'a e ngaahi kole tau'ataina 'i he taimi tatau lolotonga ia 'oku tokanga'i 'e he C ++ 'a e ngaahi ngaue 'o e computation-mamafa 'i hono filo fakatapui.

Ko e me'a 'oku mahu'inga ange, na'e 'ikai ha'amau ngaahi bugs fekau'aki mo e concurrency 'i he 'uluaki mahina 'e ono 'o e ngaohi. Na'e hanga 'e he sipinga 'o e filo-confinement 'o 'ai ke structurally 'ikai lava ke ui 'a e C ++ code mei he ngaahi filo lahi, lolotonga ia 'oku ta'ofi 'e he sisitemi fa'ahinga 'o e 'ume'umea 'a e ngaahi fe'auhi 'o e fakamatala 'i hono tafa'aki 'o e ngata'anga. Ko ha fakalakalaka lahi 'eni 'i he'etau founga kimu'a 'o e feinga ke tanaki atu 'a e threading ki he C ++ mo e mutexes, 'a ia na'e fakatupu 'e he ngaahi me'a na'e hoko 'i he tu'unga 'o e fe'auhi 'e tolu 'i ha kuata 'e taha.

Na'e lipooti foki 'e he timi 'enisinia 'a e ngaahi siakale iteration vave ange. Na'e lava ke langa ha ngaahi fotunga fo'ou 'i he 'uli mo e poupou kakato 'o e concurrency, lolotonga ia 'oku 'i ai 'a e C ++ modules hokohoko atu 'a e lele 'o 'ikai ha fakalelei'i. Ko e founga fakalahi ko 'eni na'e 'uhinga ia na'e 'ikai ke tau ma'u ha hiki "big bang" 'oku fakatu'utamaki lahi — ko e fakalakalaka tu'uma'u pe, 'oku lava ke fua.

Ngaahi Fehuʻi ʻoku Faʻa ʻEke

'E lava ke ui 'e he Rust 'a e ngaahi laipeli C++ 'oku 'i ai hono filo 'e taha 'o 'ikai ha fakalelei'i?

'Io, ka kuo pau ke ke fakapapau'i 'oku hoko 'a e ngaahi ui kotoa pe ki he laipeli ko ia mei ha filo 'e taha. Ko e sipinga angamaheni ko hono fa'u ha filo executor fakatapui 'oku serializes 'a e ngaahi ui kotoa pe 'a e C ++ 'o fakafou 'i ha halanga. 'Oku 'oatu 'e he ngaahi ngaue async 'a e 'ume'umea 'a e ngaahi kole pea tatali ki he ngaahi tali 'o 'ikai ke ta'ofi 'a e taimi lele 'o e ngaahi filo lahi. Ko e C++ code 'iate ia pe 'oku 'ikai fie ma'u ha ngaahi liliu — 'oku fakahoko kakato 'a e fakangatangata 'o e malu 'i he tafa'aki 'o e Rust.

'Oku mahu'inga fe'unga 'a e totongi 'o e FFI ke ne uesia 'a e fakahoko 'o e polokalama?

Ko e ngaahi ui fakafo'ituitui FFI 'oku si'isi'i taha 'a e 'olunga — 'oku angamaheni 'aki 'i lalo 'i he 10 nanoseconds ki ha ui ngaue faingofua. Ka neongo ia, serialization 'o e ngaahi fokotu'utu'u 'o e fakamatala faingata'a mo e synchronization 'o e filo 'i he ngata'anga 'oku tanaki atu kapau 'oku ke fai ha ngaahi ui 'e lauiafe 'o e fine-grained. Ko e ngaahi ngaue 'o e batching mo hono faka'aonga'i 'o e ngaahi fotunga 'o e serialization 'o e tatau 'o e zero hange ko e FlatBuffers pe Cap'n Proto 'oku ne tauhi 'a e 'olunga 'o e ta'e'aonga na'a mo e 'i he fua.

'Oku totonu ke tau toe tohi 'etau C++ codebase 'i he Rust kae 'ikai ko e fakafehokotaki?

Ki he lahi taha 'o e ngaahi timi, ko e interfacing fakalahi ko e hala malu mo vave ange ia. 'Oku fakafe'iloaki 'e ha toe tohi kakato 'a e ngaahi mahina 'o e fakatu'utamaki 'o e 'enisinia 'oku 'ikai ha mahu'inga 'oku fehangahangai mo e tokotaha faka'aonga'i kae 'oua kuo fakakakato. 'Oku faka'ata 'e he interfacing ke ke vaka 'a e ngaahi fakalelei'i 'i he taimi pe ko ia, fakamo'oni'i 'a e founga 'o e 'ume'umea 'i he ngaohi, pea hiki modules 'i he taimi 'e taha 'o makatu'unga 'i he feitu'u 'oku 'omi ai 'e he concurrency 'a e uesia lahi taha. Toe tohi pe 'a e ngaahi module 'oku lahi ange ai 'a e fakamole ki hono tauhi 'o e ngata'anga 'o e FFI 'i he fakamole ki hono toe tohi.