Rust 1.97.1؛ انتشار آرامی برای ایمنی تولید—پیش از اعتماد به باینری‌های جدید به‌روزرسانی کنید

Rust 1.97.1 نسخه‌ای کوچک با پیامدی مهم برای ایمنی استقرار است: این نسخه خطای کامپایل نادرست در یک بهینه‌سازی LLVM را برطرف می‌کند. تیم Rust می‌گوید هم اصلاح LLVM و هم تغییر سمت Rust را که احتمال فعال‌شدن خطا را کاهش می‌داد، به این نسخه بازگردانده است. بااین‌حال، تیم اعلام کرده که خطای اصلی دست‌کم از Rust 1.87 وجود داشته است؛ بنابراین این موضوع ثابت نمی‌کند که همه برنامه‌های ساخته‌شده با نسخه‌های قدیمی تحت‌تأثیر بوده‌اند.

اقدام فوری روشن است: rustup update stable را اجرا کنید، خروجی‌های production را با Rust 1.97.1 دوباره بسازید و آزمون‌هایی را اجرا کنید که مسیرهای بهینه‌سازی‌شده را پوشش می‌دهند. تیم‌هایی که بازتولیدپذیری برایشان مهم است باید checksum یا سایر خروجی‌های build را نیز مقایسه کنند. ارتقای کامپایلر به‌تنهایی درست‌بودن باینریِ از قبل منتشرشده را ثابت نمی‌کند؛ فقط باعث می‌شود build بعدی با toolchain اصلاح‌شده انجام شود.

این مسئله مهم‌تر می‌شود، چون Rust 1.97.0 چند تغییر در شیوه بررسی و بهره‌برداری از باینری‌ها ایجاد کرد. نام‌گذاری نمادهای مخصوص Rust با نسخه v0 در stable به پیش‌فرض تبدیل شد. این روش اطلاعات بیشتری درباره نمونه‌سازی genericها حفظ می‌کند، اما debuggerها و profilerهای قدیمی ممکن است نتوانند نام‌های جدید را demangle کنند و قالب backtraceها نیز ممکن است تغییر کند.

Rust 1.97.0 همچنین خروجی linker را به‌صورت پیش‌فرض قابل مشاهده کرد. پیش‌تر، پیام‌های linker در build موفق معمولاً پنهان می‌شدند؛ اکنون از طریق lint به نام linker_messages نمایش داده می‌شوند. این تغییر می‌تواند مشکلات واقعی پلتفرم یا toolchain را زودتر آشکار کند، هرچند پروژه‌ها ممکن است لازم باشد نویز عمدی را صراحتاً با سطح allow خاموش کنند.

Cargo نیز پیکربندی پایدار build.warnings را ارائه کرده است؛ قابلیتی که جایگزین راهکار رایج RUSTFLAGS=-Dwarnings می‌شود. در CI می‌توان از CARGO_BUILD_WARNINGS=deny استفاده کرد و در توسعه محلی سطح allow یا warn را برگزید. چون این تنظیم cache build را بی‌اعتبار نمی‌کند، تیم‌ها می‌توانند CI بدون warning داشته باشند، بدون آنکه هر آزمایش محلی باعث cache miss شود.

درس عملی این انتشار از یک patch فراتر می‌رود. در Rust، صحت کامپایلر، مشاهده‌پذیری باینری و سیاست CI هم‌زمان در حال پیشرفت‌اند. برای پروژه‌های production، فهرست ایمن این است: به Rust 1.97.1 ارتقا دهید، سازگاری debugger و profiler با نمادهای v0 را بررسی کنید، هشدارهای تازه‌نمایش‌داده‌شده linker را ببینید و سیاست هشدارها را به پیکربندی Cargo منتقل کنید. تضمین‌های memory safety، خطاهای کامپایلر یا toolchain را حذف نمی‌کنند؛ راستی‌آزمایی منظم انتشار همچنان ضروری است.