A Babban Taron Fasaha na Buɗewa na kwanan nan (OSTS) , Babban injiniya a Intel, ya ce kamfaninsa yana sha'awar Rust ya kai "daidaitacce" tare da harshen C wanda har yanzu ya mamaye tsarin da ƙananan ci gaba a nan gaba. A karkashin taken "Intel da Tsatsa: Future of Systems Programming," ya kuma yi magana game da tarihin shirye-shirye na tsarin, yadda C ya zama tsoho tsarin shirye-shirye harshen, abin da fasali na Rust ba shi da wani amfani a kan C, da kuma yadda zai iya gaba daya. maye gurbin C a wannan fanni na shirye-shirye.
Shirye-shiryen tsarin shine haɓakawa da sarrafa software wanda ke aiki azaman dandamali don ƙirƙirar aikace-aikacen aikace-aikacen, tabbatar da cewa ƙarshen yana hulɗa tare da na'ura, RAM, na'urorin shigarwa / fitarwa da kayan aikin cibiyar sadarwa. Software na tsarin yana ƙirƙirar abstraction na musamman a cikin nau'ikan musaya waɗanda ke taimakawa ƙirƙirar software na aikace-aikacen ba tare da zurfafa cikin cikakkun bayanai na yadda kayan aikin da kansa ke aiki ba.
Triplett da kansa ya bayyana shirye-shiryen tsarin a matsayin "duk abin da ba aikace-aikace ba." Ya haɗa da abubuwa kamar BIOS, firmware, bootloaders da kernels na tsarin aiki, nau'ikan nau'ikan ƙirar ƙananan matakin, da aiwatar da injin kama-da-wane. Abin sha'awa, Triplett ya yi imanin cewa mai binciken gidan yanar gizo shima software ne na tsarin, tunda mai binciken ya daɗe da zama fiye da "tsari kawai", ya zama "dandamali don shafukan yanar gizo da aikace-aikacen yanar gizo."
A da, yawancin shirye-shiryen tsarin, ciki har da BIOS, bootloaders da firmware, an rubuta su cikin yaren taro. A cikin 1960s, gwaje-gwaje sun fara ba da tallafin kayan aiki don manyan harsuna, wanda ya haifar da ƙirƙirar harsuna kamar PL/S, BLISS, BCPL, da ALGOL 68.
Bayan haka, a cikin 1970s, Dennis Ritchie ya ƙirƙiri yaren shirye-shiryen C don tsarin aiki na Unix. An ƙirƙira shi a cikin yaren shirye-shiryen B, wanda ko da ba shi da tallafin buga rubutu, C yana cike da manyan ayyuka masu ƙarfi waɗanda suka dace da tsarin rubutu da direbobi. An sake rubuta wasu abubuwa da yawa na UNIX, gami da kernel ɗin a ƙarshe a cikin C. Daga baya, wasu shirye-shiryen tsarin da yawa, gami da bayanan Oracle, yawancin lambar tushen Windows, da tsarin aiki na Linux, an kuma rubuta su a cikin C.
C ya sami babban tallafi ta wannan hanyar. Amma menene ainihin ya sa masu haɓakawa su canza zuwa gare shi? Triplett ya yi imanin cewa don zaburar da masu haɓakawa don canzawa daga yaren shirye-shirye zuwa wani, na ƙarshe dole ne ya fara samar da sabbin abubuwa ba tare da rasa tsoffin abubuwan ba.
Na farko, dole ne yaren ya ba da sabbin fasahohi "masu ban sha'awa sosai. “Ba zai iya zama mafi kyau ba. Dole ne ya zama mafi mahimmanci don tabbatar da ƙoƙari da lokacin aikin injiniya da ake ɗauka don yin sauyi, "in ji shi. Idan aka kwatanta da yaren taro, C yana da abubuwa da yawa da zai bayar. Ya goyi bayan ɗan ƙaramin hali-amintaccen hali, yana ba da mafi kyawun ɗaukar hoto da aiki tare da manyan gine-gine, kuma ya haifar da ƙarin lambar da za a iya karantawa gabaɗaya.
Na biyu, harshe dole ne ya ba da goyon baya ga tsofaffin siffofi, wanda ke nufin cewa a cikin tarihin sauyawa zuwa C, masu haɓakawa dole ne su tabbata cewa ba shi da ƙasa da aiki fiye da harshen taro. Triplett ya bayyana: "Sabon harshe ba zai iya zama mafi kyau ba, dole ne ya kasance mai kyau." Baya ga kasancewa da sauri da kuma tallafawa kowane nau'in bayanan da harshen taro zai iya amfani da shi, C kuma yana da abin da Triplett ya kira "kuskuren tserewa" - wato, yana goyan bayan shigar da lambar yaren taro a cikin kanta.
Triplett ya yi imanin cewa C yanzu ya zama abin da yaren taro ya kasance shekaru da yawa da suka wuce. "C shine sabon mai tarawa," in ji shi. Yanzu masu haɓakawa suna neman sabon harshe mai girma wanda ba kawai zai magance matsalolin da suka taru a cikin C ba wanda ba za a iya gyarawa ba, amma kuma yana ba da sababbin siffofi masu ban sha'awa. Irin wannan harshe dole ne ya zama mai tursasawa don samun masu haɓakawa su canza zuwa gare shi, dole ne su kasance amintacce, samar da sarrafa ƙwaƙwalwar ajiya ta atomatik, da ƙari mai yawa.
"Kowane harshe da ke son ya fi C dole ne ya ba da fiye da kawai kariya da ambaliya idan yana son zama madadin tursasawa. Masu haɓakawa suna da sha'awar amfani da aiki, lambar rubutu wacce ke bayyana kanta kuma tana yin ƙarin aiki a cikin ƴan layuka. Har ila yau, ya kamata a magance matsalolin tsaro. Sauƙin amfani da aiki suna tafiya hannu da hannu. Ƙananan lambar da za ku rubuta don cimma wani abu, ƙarancin damar da za ku samu don yin kowane kuskure, mai alaka da tsaro ko a'a, "in ji Triplett.
Kwatanta Rust da C
A baya a cikin 2006, Graydon Hoare, ma'aikacin Mozilla, ya fara rubuta Rust a matsayin aikin sirri. Kuma a cikin 2009, Mozilla ta fara tallafawa ci gaban Rust don bukatunta, kuma ta fadada ƙungiyar don ƙara haɓaka harshe.
Ɗaya daga cikin dalilan da ya sa Mozilla ke sha'awar sabon harshe shine cewa an rubuta Firefox a cikin layukan C++ sama da miliyan 4 kuma yana da wasu ƙananan lahani. An gina tsatsa tare da tsaro da daidaituwar ra'ayi, yana mai da shi kyakkyawan zaɓi don sake rubuta yawancin abubuwan Firefox a matsayin wani ɓangare na aikin Quantum don sake fasalin gine-ginen mai binciken gaba ɗaya. Mozilla kuma tana amfani da Rust don haɓaka Servo, injin sarrafa HTML wanda a ƙarshe zai maye gurbin injin ɗin Firefox na yanzu. Wasu kamfanoni da yawa sun fara amfani da Rust don ayyukansu, ciki har da Microsoft, Google, Facebook, Amazon, Dropbox, Fastly, Chef, Baidu da dai sauransu.
Tsatsa tana magance ɗayan mahimman matsalolin harshen C. Yana ba da sarrafa ƙwaƙwalwar ajiya ta atomatik don haka masu haɓaka ba dole ba ne su rarraba da hannu sannan su 'yantar da shi ga kowane abu a cikin aikace-aikacen. Abin da ya sa Rust ya bambanta da sauran yarukan zamani shi ne, ba ta da mai tara shara da ke cire abubuwan da ba a amfani da su kai tsaye daga ma’adana, kuma ba ta da yanayin runtime da ake buƙata don yin aiki, kamar Java Runtime Environment na Java. Madadin haka, Rust yana da ra'ayoyin mallaka, rance, nassoshi, da rayuwa. “Tsatsa yana da tsarin bayyana kira ga abu don nuna ko mai shi yana amfani da shi ko kuma kawai yana aro. Idan ka aro abu kawai, mai haɗawa zai ci gaba da bin diddigin wannan kuma ya tabbatar da cewa ainihin ya kasance a wurin muddin ka yi la'akari da shi. Tsatsa kuma za ta tabbatar da cewa an cire abu daga ƙwaƙwalwar ajiya da zaran an gama amfani da shi, saka madaidaicin kira cikin lambar a lokacin haɗawa ba tare da ƙarin lokaci ba, "in ji Triplett.
Hakanan ana iya la'akari da rashin lokacin lokacin gudu a matsayin ingantaccen fasalin Tsatsa. Triplett ya yi imanin cewa harsunan da suke aiki da su suna da wahala a yi amfani da su azaman kayan aikin tsara tsarin. Kamar yadda ya bayyana: "Dole ne ku fara wannan lokacin aiki kafin ku iya kiran kowane lamba, dole ne ku yi amfani da wannan lokacin aiki don kiran ayyuka, kuma lokacin aiki da kansa na iya gudanar da ƙarin lambar bayan ku a lokutan da ba zato ba tsammani."
Tsatsa kuma tana ƙoƙarin samar da amintattun shirye-shirye na layi ɗaya. Siffofin da ke sanya shi ƙwaƙwalwar ajiya yana lura da abubuwa kamar wanda zaren ya mallaki abin da kuma abubuwan da za a iya wucewa tsakanin zaren da kuma waɗanda ke buƙatar kulle.
Duk waɗannan fasalulluka suna sa tsatsa ta isa ga masu haɓakawa don zaɓar ta azaman sabon kayan aiki don shirye-shiryen tsarin. Koyaya, dangane da lissafin layi ɗaya, Rust har yanzu yana ɗan bayan C.
Triplett ya yi niyya don ƙirƙirar ƙungiyar aiki ta musamman wacce za ta mai da hankali kan gabatar da abubuwan da suka dace a cikin Rust ta yadda zai iya daidaita daidai, zarce da maye gurbin C a fagen shirye-shiryen tsarin. IN , sadaukar da jawabinsa, ya ce "Kungiyar FFI/C Parity tana kan aiwatar da ƙirƙira kuma har yanzu ba ta fara aiki ba," a yanzu haka a shirye yake ya amsa duk wata tambaya, kuma nan gaba tabbas zai buga shirye-shirye nan take. don ci gaban Rust a matsayin wani ɓangare na shirinsa ga duk masu sha'awar.
Ana iya ɗauka cewa ƙungiyar FFI / C Parity za ta fara mai da hankali kan haɓaka tallafin zaren da yawa a cikin Rust, gabatar da tallafi ga BFLOAT16, tsarin madaidaicin ruwa wanda ya bayyana a cikin sabbin na'urori na Intel Xeon Scalable, da kuma daidaita taro. shigar code.
source: 3dnews.ru