"Is e meirge àm ri teachd prògramadh siostaim, is e C an neach-cruinneachaidh ùr" - òraid le aon de na prìomh innleadairean aig Intel

Aig an Open Source Technology Summi (OSTS) o chionn ghoirid Josh Triplett, prìomh innleadair Intel, thuirt e gu bheil ùidh aig a 'chompanaidh aige ann an Rust a' ruighinn "co-ionnanachd" le C, a tha fhathast làmh an uachdair ann an raon nan siostaman agus leasachadh ìre ìosal, a dh'aithghearr. Anns an òraid aige fon cheann "Intel and Rust: The Future of Systems Programming" bhruidhinn e cuideachd mu eachdraidh prògramadh shiostaman, mar a thàinig C gu bhith na chànan prògramadh siostam “bunaiteach”, dè na feartan Rust a tha a’ toirt cothrom dha thairis air C, agus mar a dh’ aithghearr san àm ri teachd dh'fhaodadh e gu tur an àite C ann an raon sònraichte de phrògramadh.

"Is e meirge àm ri teachd prògramadh siostaim, is e C an neach-cruinneachaidh ùr" - òraid le aon de na prìomh innleadairean aig Intel

Is e prògramadh shiostaman leasachadh agus riaghladh bathar-bog a tha na àrd-ùrlar airson tagraidhean tagraidh a chruthachadh, a ’dèanamh cinnteach gu bheil an fheadhainn mu dheireadh ag eadar-obrachadh leis a’ phròiseasar, RAM, innealan I / O, agus uidheamachd lìonra. Bidh bathar-bog an t-siostaim a 'cruthachadh tarraing sònraichte ann an cruth eadar-aghaidh a chuidicheas tu gus bathar-bog tagraidh a chruthachadh gun a bhith a' dol a-steach don fhiosrachadh air mar a tha am bathar-cruaidh fhèin ag obair.

Tha Triplett fhèin a’ mìneachadh prògramadh shiostaman mar “rud sam bith nach eil na thagradh”. Tha e a’ toirt a-steach rudan mar BIOS, firmware, luchdan boot agus kernels siostam obrachaidh, diofar sheòrsan de chòd ìre ìosal togte, agus buileachadh innealan brìgheil. Gu h-inntinneach, tha Triplett den bheachd gu bheil am brabhsair lìn cuideachd na bhathar-bog siostaim, leis gu bheil am brabhsair air a dhol thairis air “dìreach prògram” a-steach don “àrd-ùrlar aige fhèin airson làraich-lìn agus tagraidhean lìn”.

San àm a dh'fhalbh, chaidh a 'mhòr-chuid de phrògraman siostam, a' gabhail a-steach BIOS, bootloaders, agus firmware, a sgrìobhadh ann an cànan cruinneachaidh. Thòisich deuchainnean anns na 1960n gus taic bathar-cruaidh a sholarachadh do chànanan àrd-ìre, a’ leantainn gu cànanan leithid PL/S, BLISS, BCPL, agus ALGOL 68.

An uairsin, anns na 1970n, chruthaich Dennis Ritchie an cànan prògramadh C airson siostam-obrachaidh Unix. Air a chruthachadh ann an cànan prògramadh B, aig nach robh eadhon taic clò-sgrìobhaidh, bha C air a lìonadh le gnìomhan àrd-ìre cumhachdach a bha nas freagarraiche airson siostaman obrachaidh agus draibhearan a sgrìobhadh. Chaidh grunn phàirtean de UNIX, a’ gabhail a-steach an kernel aige, ath-sgrìobhadh mu dheireadh ann an C. Às deidh sin, chaidh mòran de phrògraman siostam eile, a’ toirt a-steach stòr-dàta Oracle, a’ mhòr-chuid de chòd stòr Windows, agus siostam obrachaidh Linux, a sgrìobhadh ann an C.

Fhuair C taic mhòr a thaobh seo. Ach dè dìreach a thug air an luchd-leasachaidh gluasad thuige? Tha Triplett den bheachd, gus luchd-leasachaidh a bhrosnachadh gus gluasad bho aon chànan prògramaidh gu cànan eile, gum feum an dàrna fear feartan ùra a thoirt seachad an-toiseach gun a bhith a’ call seann fheartan.

An toiseach, feumaidh an cànan feartan ùra “drùidhteach gu leòr” a thabhann. “Chan urrainn dha a bhith nas fheàrr. Feumaidh e a bhith gu math nas fheàrr dearbhadh a dhèanamh air an oidhirp agus an ùine a bheir e dha na h-innleadairean an gluasad a dhèanamh," tha e a’ mìneachadh. An coimeas ri cànan cruinneachaidh, bha tòrr aig C ri thabhann. Thug e taic do shàbhailteachd seòrsa, thug e seachad comas giùlain agus coileanadh nas fheàrr le togail àrd-ìre, agus chruthaich e còd mòran nas leughaidh san fharsaingeachd.

San dàrna h-àite, feumaidh an cànan taic a thoirt do sheann fheartan, a tha a’ ciallachadh, ann an eachdraidh a’ ghluasaid gu C, gum feumadh luchd-leasachaidh a bhith cinnteach nach robh e cho obrachail na cànan cruinneachaidh. Tha Triplett a’ mìneachadh: “Chan urrainn cànan ùr a bhith nas fheàrr, feumaidh e a bhith a cheart cho math." A bharrachd air a bhith nas luaithe agus a’ toirt taic do sheòrsa sam bith de dhàta a dh’ fhaodadh cànan cruinneachaidh a chleachdadh, bha an rud ris an canadh Triplett mar “Escape hatch,” is e sin, taic airson còd cànain cruinneachaidh a chuir a-steach ann.

"Is e meirge àm ri teachd prògramadh siostaim, is e C an neach-cruinneachaidh ùr" - òraid le aon de na prìomh innleadairean aig Intel

Tha Triplett den bheachd gu bheil C a-nis gu bhith na chànan cruinneachaidh o chionn mòran bhliadhnaichean. " C am fear-tionail ùr," tha e 'g ràdh. Tha luchd-leasachaidh a-nis a’ coimhead airson cànan àrd-ìre ùr a dh’ fhuasgladh chan ann a-mhàin air na duilgheadasan leantainneach aig C nach gabh fuasgladh tuilleadh, ach a bheir cuideachd feartan ùra inntinneach. Feumaidh cànan mar seo a bhith làidir gu leòr gus toirt air luchd-leasachaidh gluasad thuige, a bhith tèarainte, riaghladh cuimhne fèin-ghluasadach a thoirt seachad, agus mòran a bharrachd.

“Feumaidh cànan sam bith a tha ag iarraidh a bhith nas fheàrr na C tòrr a bharrachd a thabhann na dìon thar-shruth bufair ma tha e dha-rìribh ag iarraidh a bhith na roghainn làidir. Tha ùidh aig luchd-leasachaidh ann an cleachdadh agus coileanadh, ann an sgrìobhadh còd a tha fèin-mhìneachail agus a nì barrachd obrach ann an nas lugha de loidhnichean. Feumar dèiligeadh ri cùisean tèarainteachd cuideachd. Bidh furasta a chleachdadh agus coileanadh a’ dol làmh ri làimh leis. Mar as lugha de chòd a dh’ fheumas tu a sgrìobhadh gus rudeigin a choileanadh, is ann as lugha de chothrom a bhios agad mearachdan sam bith co-cheangailte ri tèarainteachd no nach eil co-cheangailte ri tèarainteachd a dhèanamh, ”tha Triplett a’ mìneachadh.

Dèan coimeas eadar Rust agus C

Air ais ann an 2006, thòisich Graydon Hoare à Mozilla a’ sgrìobhadh Rust mar phròiseact pearsanta. Agus ann an 2009, thòisich Mozilla a’ toirt taic do leasachadh Rust airson na feumalachdan aige fhèin, agus leudaich e an sgioba cuideachd gus an cànan a leasachadh.

Is e aon de na h-adhbharan a bha ùidh aig Mozilla anns a’ chànan ùr gun deach Firefox a sgrìobhadh ann an còrr air 4 millean loidhne de chòd C ++ agus gu robh grunn so-leòntachd èiginneach aige. Chaidh Rust a thogail le tèarainteachd agus airgead ann an cuimhne, ga fhàgail na dheagh roghainn airson mòran de cho-phàirtean Firefox ath-sgrìobhadh mar phàirt de phròiseact Quantum gus ailtireachd a’ bhrobhsair ath-nuadhachadh gu tur. Tha Mozilla cuideachd a’ cleachdadh Rust gus Servo a leasachadh, einnsean render HTML a thèid an àite an einnsean tairgse gnàthach aig Firefox san àm ri teachd. Tha mòran chompanaidhean eile air tòiseachadh a’ cleachdadh Rust airson na pròiseactan aca, nam measg Microsoft, Google, Facebook, Amazon, Dropbox, Fastly, Chef, Baidu, agus mòran a bharrachd.

Bidh Rust a’ fuasgladh aon de na duilgheadasan as cudromaiche ann an cànan C. Tha e a’ tabhann riaghladh cuimhne fèin-ghluasadach gus nach fheum luchd-leasachaidh a riarachadh le làimh agus an uairsin a riarachadh airson a h-uile nì ann an tagradh. Is e an rud a tha a’ dèanamh eadar-dhealachadh air Rust bho chànanan an latha an-diugh eile nach eil neach-cruinneachaidh sgudail aige a bheir air falbh stuthan nach deach a chleachdadh gu fèin-ghluasadach bhon chuimhne, agus nach eil àrainneachd runtime aige a dh’ fheumas e airson a bhith ag obair, leithid àrainneachd Java Runtime airson Java. An àite sin, tha bun-bheachdan seilbh, iasadachd, iomraidhean agus beatha aig Rust. “Tha siostam aig Rust airson fiosan nithean fhoillseachadh, a’ toirt cothrom dhut sònrachadh a bheil an sealbhadair ga chleachdadh no a bheil e dìreach a’ faighinn iasad. Ma tha thu dìreach air iasad fhaighinn, cumaidh an neach-cruinneachaidh sùil air agus nì e cinnteach gum fuirich am fear tùsail na àite fhad ‘s a tha thu a’ toirt iomradh air. Agus nì Rust cinnteach cuideachd gun tèid an nì a thoirt air falbh bhon chuimhne cho luath ‘s a bhios e deiseil ga chleachdadh, a’ cuir a-steach a ’ghairm iomchaidh a-steach don chòd aig àm cruinneachaidh gun ùine a bharrachd,” thuirt Triplett.

Faodar beachdachadh air dìth ùine ruith dùthchasach mar fheart adhartach de Rust. Tha Triplett den bheachd gu bheil na cànanan a tha a’ ruith leis duilich a chleachdadh mar inneal airson prògramadh shiostaman. Mar a tha e ag ràdh, “Feumaidh tu an ùine ruith seo a thòiseachadh mus urrainn dhut còd sam bith a ghairm, feumaidh tu an ùine ruith seo a chleachdadh gus gnìomhan a ghairm, agus faodaidh an ùine ruith fhèin còd a bharrachd a ruith air cùl do dhruim aig amannan ris nach robh dùil."

Bidh Rust cuideachd a’ feuchainn ri prògraman sàbhailte co-shìnte a thoirt seachad. Bidh na h-aon fheartan a tha ga dhèanamh sàbhailte le cuimhne a’ cumail sùil air rudan mar cò leis an t-snàthainn dè an nì agus dè na nithean a dh’fhaodar a ghluasad eadar snàithleanan agus a dh’ fheumas glas.

Tha na feartan sin uile a’ fàgail Rust làidir gu leòr airson luchd-leasachaidh taghadh mar an inneal prògramadh siostam ùr aca. Ach, a thaobh coimpiutaireachd co-shìnte, tha Rust fhathast beagan air cùl C.

Tha Triplett gu bhith a’ cruthachadh buidheann obrach sònraichte a chuireas an gnìomh na feartan riatanach ann an Rust gus an urrainn dha làn cho-ionannachd, a dhol thairis air agus a chuir na àite C ann an raon prògramadh shiostaman. ANNS cuspair air reddit, coisrigte don òraid aige, thuirt e gu bheil “a’ bhuidheann FFI / C Parity an-dràsta air a chruthachadh agus nach eil e air tòiseachadh air obair fhathast”, fhad ‘s a tha e deiseil airson ceistean sam bith a fhreagairt, agus san àm ri teachd foillsichidh e gu cinnteach an fheadhainn as fhaisge. planaichean airson leasachadh Rust mar phàirt den iomairt aige airson a h-uile duine le ùidh sa chùis.

Faodar gabhail ris, an toiseach, gum bi a’ bhuidheann FFI / C Parity an sàs ann a bhith a’ leasachadh taic ioma-threadaidh Rust, a’ toirt a-steach taic airson BFLOAT16, an cruth puing-fleòdraidh a nochd anns na pròiseasairean ùra Intel Xeon Scalable, a bharrachd air a bhith a’ stèidheachadh còd cruinneachaidh. cuir a-steach.



Source: 3d naidheachdan.ru

Cuir beachd ann