TL;DR
- چکیده: زبان برنامهنویسی C در ساختن نرم افزارهای سطح سیستم پایهای بوده است.
- با این حال، مدل مدیریت حافظه دستی آن اغلب به مشکلات ایمنی حافظه منجر میشود.
- در پاسخ، Rust بهعنوان یک جایگزین امن برای حافظه ظاهر شده است.
چه اتفاقی افتاد
چکیده: زبان برنامهنویسی C در ساختن نرم افزارهای سطح سیستم پایهای بوده است. با این حال، مدل مدیریت حافظه دستی آن اغلب به مشکلات ایمنی حافظه منجر میشود.
در پاسخ، Rust بهعنوان یک جایگزین امن برای حافظه ظاهر شده است. علاوه بر این،.
خودکارسازی ترجمه C-to-Rust که توسط پیشرفتهای سریع قابلیتهای تولیدی LLMها تقویت شده است،. علاقه فزایندهای به حجم زیادی از کدهای قدیمی C پیدا میکند.
استفاده از LLM برای ترجمه C-to-Rust،. برخلاف حوزههای QA ریاضی یا عامیانه که در آن LLMها عمدتاً اعمال شده اند،.
چالشهای متمایزی را ایجاد میکند. اول، کمبود مجموعه دادههای C-to-Rust موازی مانع بازیابی نمونههای ترجمه کد مناسب برای یادگیری درون متنی میشود.
دوم، برخلاف مسائل QA ریاضی یا عامیانه، مراحل میانی مورد نیاز برای C-to-Rust به خوبی تعریف نشده اند. سوم،.
نامشخص باقی مانده است چگونه این مراحل میانی را دهی و آبشاری کنیم تا یک مسیر ترجمه درست. بسازیم.
در حالی که رویکردهای مبتنی بر LLM موجود تا حدی به موفقیت دست یافتهاند،. آنها بر اصلاح کد تکراری در طول یک مسیر جستجو در فضای مشکل C-to-Rust تکیه کردهاند و استفاده.
از مکانیسمهای جستجوی سیستماتیک را برای حرکت در فضای مسیرهای پالایش احتمالی بررسی نکردهاند. برای پرداختن به این چالشها در ترجمه C-to-Rust،.
ما تکنیک اصلاح LLM با هدایت MCTS را برای ترجمه خودکار C-to-Safe-Rust (LAC2R) پیشنهاد میکنیم. LAC2R از MCTS برای کاوش سیستماتیک چندین مسیر پالایش و دهی مراحل میانی ناشی از LLM برای ترجمه.
صحیح استفاده میکند. ما بهطور تجربی نشان دادیم که LAC2R بهطور موثر ترجمه C-to-Rust را در معیارهای دنیای واقعی در مقیاس.
بزرگ انجام میدهد. در معیارهای مقیاس کوچک،.
LAC2R تنها روشی است که بهطور همزمان به بالاترین نسبت ایمنی،. صحت کامل در سطح پروژه و کمترین اخطار در بین روشهای مقایسه شده دست مییابد.
زبانهای برنامهنویسی (cs. PL)؛ مهندسی نرم افزار (cs.
SE) استناد بهعنوان: (یا v3 [cs. PL] برای این نسخه) https:.
// شده توسط arXiv از طریق DataCite تاریخچه ارسال از:. Hyeonjoong Cho [مشاهده ایمیل] [v1] چهارشنبه،.
21 مه 2025،. 01:.
26:. 23 UTC (2,.
126 KB) [v2] پنجشنبه،. 26 ژوئن 2025،.
ساعت 15:. 16:.
53 UTC (1,. 907 KB) [v3] دوشنبه،.
6 آوریل 2026،. 08:.
10:. 41 UTC (2,.
321 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.