پروژه noalloc؛ ابزار و کتابخانه‌ای برای تضمین عدم تخصیص حافظه در هیپ (Heap) در زبان Go

معرفی پروژه noalloc و مسئله‌ای که حل می‌کند

زبان Go به صورت پیش‌فرض از مدیریت حافظه خودکار (Garbage Collection) استفاده می‌کند و کامپایلر آن تصمیم می‌گیرد که متغیرها روی استک (Stack) تخصیص یابند یا روی هیپ (Heap). با این حال، در سیستم‌های با کارایی بالا و نیازمند پهنای باند زیاد (High-Throughput)، تخصیص‌های مکرر روی هیپ می‌توانند فشار زیادی به گاربیج کلکتور بیاورند. اگرچه نوشتن کدی که در لحظه روی هیپ تخصیص انجام ندهد ممکن است، اما حفظ این وضعیت با تغییر و توسعه کد بسیار دشوار است.

پروژه noalloc ابزار و کتابخانه‌ای است که به توسعه‌دهندگان اجازه می‌دهد تضمین کنند توابع‌شان هیچ تخصیص حافظه‌ای روی هیپ انجام نمی‌دهند. این ابزار کل درخت فراخوانی (Call Tree) یک تابع را بررسی کرده و خطوطی را که باعث تخصیص حافظه می‌شوند به توسعه‌دهنده گزارش می‌کند.

نحوه کار و معماری ابزار

پروژه noalloc از دستورات کنترلی ویژه‌ای درون کامنت‌ها (Directives) استفاده می‌کند تا رفتار بررسی‌کننده را هدایت کند. برخی از مهم‌ترین این دستورات عبارتند از:

• //noalloc:root: یک تابع و تمام توابعی را که فراخوانی می‌کند، زیر ذره‌بین قرار می‌دهد تا از صفر بودن تخصیص‌های هیپ مطمئن شود.
• //noalloc:exempt <reason>: به توسعه‌دهنده اجازه می‌دهد خط مشخصی را با ذکر دلیل از بررسی معاف کند.
• //noalloc:fixed روی انواع داده (Types): تضمین می‌کند که متدهای آن نوع، اندازه‌ی اسلایس‌های خود را تغییر نمی‌دهند و حافظه بازاستفاده می‌شود.

ساختارهای داده‌ای Bounded

این پروژه علاوه بر ابزار بررسی، پکیجی به نام bounded ارائه می‌دهد که شامل چهار ساختار داده با ظرفیت ثابت است:

• Buf: بافر بایت برای مدیریت داده‌ها بدون تخصیص اضافی.
• Vec: لیستی از هر نوع داده با ظرفیت از پیش تعیین‌شده.
• Slice: اسلایس پیوسته که امکان جابه‌جایی بین بلوک‌های حافظه از پیش تخصیص‌یافته را دارد.
• Map: نگاشتی با تعداد ورودی‌های مشخص که از رشد بی‌رویه جلوگیری می‌کند.

همچنین ابزار jsongen امکان انکود و دیکود JSON را بدون هیچ‌گونه تخصیص حافظه هیپ فراهم می‌کند.

نحوه استفاده

برای نصب ابزار کافی است دستور زیر را اجرا کنید (نیازمند Go نسخه ۱.۲۷ یاباتری‌تر):

go install github.com/theconsensuslabs/noalloc/cmd/noalloc@latest

سپس برای بررسی یک تابع، کافی است آن را با //noalloc:root علامت‌گذاری کرده و ابزار noalloc را در ماژول خود اجرا کنید.

سیگنال‌های بلوغ و بحث هکرنیوز

این مخزن دارای ستاره‌های مناسبی در گیت‌هاب بوده و تحت مجوز MIT منتشر شده است. نویسنده در دیسکلیمر ذکر کرده است که این مخزن و مستندات آن توسط هوش مصنوعی و با هدایت انسانی نوشته شده و در محیط پروداکشن (توسط The Consensus در سرویس‌های وب و موتور جستجوی کد) مورد استفاده قرار گرفته است. در بحث‌های هکرنیوز، توسعه‌دهندگان به بررسی جزئیات این ابزار پرداخته و نکاتی را درباره نحوه‌ی کار با پوینترهای انواعی ارزشی (Value Type Pointers) در ساختارهای منطقه‌ای مطرح کرده‌اند.

در یک نگاه

• نام مخزن: theconsensuslabs/noalloc
• زبان اصلی: Go
• مجوز: MIT
• حوزه کاری: بررسی ایستا (Static Analysis) و تضمین عدم تخصیص حافظه روی هیپ
• قابلیت کلیدی: ابزار CLI برای بررسی زنجیره توابع به همراه ساختارهای داده‌ای امن و ثابت (Bounded)