Linux કર્નલમાં રસ્ટ ડેવલપમેન્ટ ટૂલ્સ ઉમેરવાના મુદ્દા પર ચર્ચા કરવા માટેની દરખાસ્ત

નિક ડીસાગ્નિયર (નિક ડેસોલનીયર્સ), જે પ્રદાન કરવા માટે Google પર કામ કરે છે આધાર ક્લેંગ કમ્પાઇલરનો ઉપયોગ કરીને લિનક્સ કર્નલ બનાવવી અને તે પણ મદદ કરે છે રસ્ટ કમ્પાઈલરમાં બગ્સને ઠીક કરો, સૂચવ્યું કોન્ફરન્સમાં રાખો Linux પ્લમ્બર્સ કોન્ફરન્સ 2020 રસ્ટમાં કર્નલ ઘટકો વિકસાવવાનું શક્ય બનાવવાની ચર્ચા કરવા માટેનું સત્ર. નિક એલએલવીએમને સમર્પિત માઇક્રો-કોન્ફરન્સનું આયોજન કરી રહ્યો છે, અને માને છે કે કર્નલમાં રસ્ટ સપોર્ટના સંભવિત એકીકરણના ટેકનિકલ પાસાઓની ચર્ચા કરવી સરસ રહેશે (તેણે પહેલેથી જ KBuild માટે વર્કિંગ પ્રોટોટાઇપ તૈયાર કર્યો છે) અને સમજવું જોઈએ કે શું આ પ્રકારનો સપોર્ટ હોવો જોઈએ. બિલકુલ ઉમેરવું જોઈએ અને રસ્ટના ઉપયોગ પરના કયા પ્રતિબંધો સ્વીકારવા જોઈએ.

ચાલો યાદ કરીએ કે ઓપન સોર્સ સમિટ અને એમ્બેડેડ લિનક્સ કોન્ફરન્સમાં તાજેતરની ચર્ચામાં, લિનસ ટોરવાલ્ડ્સ તેને નકારી ન હતી રસ્ટ જેવી ભાષાઓમાં નોન-કોર કર્નલ સબસિસ્ટમ્સ (ઉદાહરણ તરીકે, ડ્રાઇવરો) ના વિકાસ માટે બાઈન્ડિંગ્સનો ઉદભવ. રસ્ટમાં ડ્રાઇવરો વિકસાવવાની ક્ષમતા અમને ન્યૂનતમ પ્રયત્નો સાથે સુરક્ષિત અને વધુ સારા ડ્રાઇવરો બનાવવાની મંજૂરી આપશે, ફ્રી કર્યા પછી મેમરી એક્સેસ, નલ પોઇન્ટર ડિરેફરન્સ અને બફર ઓવરરન્સ જેવી સમસ્યાઓથી મુક્ત. આ સુવિધાને અમલમાં મૂકવા માટે પહેલાથી જ ઘણા તૃતીય-પક્ષ પ્રોજેક્ટ્સ છે:

• "ફિશ ઇન અ બેરલ" કંપનીના વિકાસકર્તાઓ તૈયાર રસ્ટ ભાષામાં Linux કર્નલ માટે લોડ કરી શકાય તેવા મોડ્યુલો લખવા માટેની ટૂલકીટ, સુરક્ષા વધારવા માટે ઇન્ટરફેસ અને કર્નલ સ્ટ્રક્ચર્સ પર અમૂર્ત સ્તરોના સમૂહનો ઉપયોગ કરીને. ઉપયોગિતાનો ઉપયોગ કરીને હાલની કર્નલ હેડર ફાઈલોના આધારે સ્તરો આપમેળે જનરેટ થાય છે બંધન. રણકારનો ઉપયોગ સ્તરો બનાવવા માટે થાય છે. ઇન્ટરલેયર ઉપરાંત, એસેમ્બલ કરેલ મોડ્યુલો સ્ટેટીકલિબ પેકેજનો ઉપયોગ કરે છે.
• હોંગકોંગની ચાઈનીઝ યુનિવર્સિટીના સંશોધકો વિકાસ રસ્ટમાં એમ્બેડેડ સિસ્ટમ્સ અને ઈન્ટરનેટ ઓફ થિંગ્સ ડિવાઈસ માટે ડ્રાઈવરો વિકસાવવા માટેનો પ્રોજેક્ટ, જે કર્નલ હેડર ફાઈલો પર આધારિત સ્તરો જનરેટ કરવા માટે બાઈન્ડજેનનો પણ ઉપયોગ કરે છે. ફ્રેમવર્ક તમને કર્નલમાં ફેરફાર કર્યા વિના ડ્રાઇવર સુરક્ષાને સુધારવા માટે પરવાનગી આપે છે - કર્નલમાં ડ્રાઇવરો માટે વધારાના અલગતા સ્તરો બનાવવાને બદલે, વધુ સુરક્ષિત રસ્ટ ભાષાનો ઉપયોગ કરીને સંકલન તબક્કે સમસ્યાઓને અવરોધિત કરવાની દરખાસ્ત છે. એવું માનવામાં આવે છે કે યોગ્ય ઓડિટ કર્યા વિના ઉતાવળમાં માલિકીના ડ્રાઇવરો વિકસાવતા સાધનો ઉત્પાદકો દ્વારા આવા અભિગમની માંગ હોઈ શકે છે.
• ફ્રેમવર્ક વિકાસકર્તાઓ C2Rust સી કોડને રસ્ટ પર પ્રસારિત કરવા માટે, હાથ ધરવા કર્નલ મોડ્યુલોને ન્યૂનતમ મેન્યુઅલ સંપાદનો સાથે રૂપાંતરિત કરવાના પ્રયોગો. નોંધવામાં આવેલી સમસ્યાઓમાંની એક કોડના કર્નલના ઘણા ભાગોમાં ઉપયોગ છે જે GCC એક્સ્ટેંશનનો ઉપયોગ કરે છે જે હજુ સુધી C2Rust માં સમર્થિત નથી. આ સમસ્યાને ઉકેલવા માટે, C2Rust એ GCC એટ્રિબ્યુટ્સ ઇનલાઇન, કોલ્ડ, ઉપનામ, વપરાયેલ અને વિભાગ માટે સમર્થન ઉમેરવાની સાથે સાથે ઇનલાઇન એસેમ્બલરની ક્ષમતાઓને વિસ્તૃત કરવાની અને સંરેખિત અને પેક બંને માળખાં સાથે સમસ્યાઓ ઉકેલવાની યોજના બનાવી છે (ઉદાહરણ તરીકે, xregs_state) . નોંધપાત્ર સમસ્યાઓ કે જેને મેન્યુઅલ વર્કની જરૂર છે તેમાં બિન-તુચ્છ C મેક્રોને રસ્ટ મેક્રોમાં અનુવાદિત કરવાની અસમર્થતા અને પ્રકારોને ફરીથી વ્યાખ્યાયિત કરવાની જરૂરિયાતનો સમાવેશ થાય છે, કારણ કે C2Rust લિબીસી પેકેજમાં C પ્રકારોને વ્યાખ્યાઓમાં અનુવાદિત કરે છે, પરંતુ આ પેકેજ કર્નલ મોડ્યુલોમાં વાપરી શકાતું નથી.

સોર્સ: opennet.ru