معماری ابری WebAssembly و استاندارد WASI 0.3 | ماگ بیت

خلاصه در یک نگاه

کالبدشکافی تحول زیربنایی محاسبات ابری و لبه امروزه جایگزینی ایمیج‌های چندصد مگابایتی کانتینرهای لینوکسی با ماژول‌های سبک چند کیلوبایتی کامپایل‌شده بر بستر WebAssembly و کامپوننت‌مدل WASI 0.3. در این مقاله تخصصی، مزایای ایزولاسیون بر پایه دسترسی‌های امنیتی (Capability-based Security)، زمان شروع سرد (Cold-Start) زیر یک میلی‌ثانیه، بهینه‌سازی ۹۰ درصدی مصرف رم سرورها و بنچمارک‌های کارایی رانتایم‌های Wasmtime و Spin 3 بررسی شده است.
بررسی جامع ابعاد فنی و کاربردی توسط تحریریه ماگ بیت.
پیش‌بینی اثرات کوتاه‌مدت و بلندمدت بر اکوسیستم فناوری.

بحران اضافه بار کانتینرها در عصر رایانش ابری؛ چرا داکر دیگر پاسخگوی نیازهای مدرن نیست؟

بیش از یک دهه کانتینرهای داکر (Docker) استاندارد طلایی استقرار نرم‌افزار در فضای ابری بودند. با این حال، کانتینرها بر اساس یک بدهی فنی تاریخی شکل گرفتند: بسته‌بندی یک سیستم‌عامل کامل لینوکس، کتابخانه‌های اشتراکی glibc و هزاران فایل سیستمی غیرضروری تنها برای اجرای یک تابع کوچک پایتون یا گو. در مقیاس‌های بزرگ سازمانی، این رویکرد منجر به ایمیج‌های چندصد مگابایتی، حملات سایبری از طریق آسیب‌پذیری بسته‌های فرعی لینوکس و زمان استارت سرد (Cold Start) چندثانیه‌ای شده بود.

در شرایطی که معماری‌های سرورلس مدرن و توابع پردازش لبه نیازمند اجرای میلیون‌ها درخواست همزمان با مقیاس‌پذیری آنی هستند، هدررفت منابع رم سرورها به مرحله غیرقابل تحملی رسیده بود. اختصاص حداقل ۶۴ یا ۱۲۸ مگابایت رم برای یک کانتینر ساده، هزینه‌های میلیارد دلاری را به ارائه‌دهندگان کلاود تحمیل می‌کرد.

با گسترش سامانه‌های عظیم معماری مدرن لیک‌هاوس بلادرنگ با آپاچی آیس‌برگ که مستلزم اجرای ریزتوابع پردازشی در لبه داده‌ها هستند، نیاز به رانتایمی به شدت سبک، بلادرنگ و بدون سیستم‌عامل بیش از هر زمان دیگری امروزه احساس شد.

معماری کامپوننت‌مدل WASI 0.3؛ استانداردسازی پیوند زبان‌ها و امنیت Capabilities

راهکار نهایی این بحران با نهایی شدن استاندارد رابط سیستم وب‌اسمبلی یعنی WASI 0.3 (WebAssembly System Interface) امروزه رقم خورد. این مشخصه استاندارد، ماژول‌های کامپایل‌شده Wasm را مجهز به مدل کامپوننت (Component Model) کرد؛ مکانیزمی که اجازه می‌دهد کدهای نوشته شده با زبان‌های گوناگون نظیر Rust، Go، C++ و حتی پایتون بدون نیاز به سریال‌سازی‌های پرهزینه JSON با یکدیگر تبادل داده نمایند.

نقطه عطف امنیتی در WASI 0.3، مدل امنیتی مبتنی بر قابلیت‌ها (Capability-based Security) است. در کانتینرهای سنتی لینوکس، کدی که درون کانتینر اجرا می‌شود به طور پیش‌فرض به تمام امکانات هسته دسترسی دارد مگر آنکه با سیاست‌های پیچیده seccomp محدود شود. در نقطه مقابل، در وب‌اسمبلی یک ماژول هیچ‌گونه دسترسی به ساعت سیستم، فایل‌سیستم، سوکت شبکه یا متغیرهای محیطی ندارد مگر آنکه میزبان به صراحت یک دسته دسترسی (Capability Handle) محدود را به آن تزریق کند.

این سطح از ایزولاسیون تضمین می‌کند که نفوذ به یک ماژول شخص ثالث هرگز به اسکن شبکه داخلی یا افشای کلیدهای محرمانه سرور منتهی نشود؛ مزیت حیاتی که همگام با جنبش امنیت حافظه و پذیرش زبان Rust در هسته لینوکس امنیت پلتفرم‌های سازمانی را دگرگون ساخته است.

مقایسه بنچمارک مصرف حافظه، تاخیر آغاز به کار سرد و توان عملیاتی WebAssembly در برابر کانتینرهای Docker — تحلیل فنی مدل کامپوننت WASI 0.3؛ اجرای ایزوله میکروماشین‌های مجازی بدون سیستم‌عامل در فضای کاربری (User Space) با شروع به کار زیر یک میلی‌ثانیه در گره‌های لبه توزیع‌شده

بنچمارک‌های کارایی و شروع به کار زیر یک میلی‌ثانیه در موتورهای Wasmtime و Spin

در حوزه عملکرد اجرایی، بنچمارک‌های منتشر شده در اکتبر توسط بنیاد بایت‌کد آلیانس نتایج شگفت‌انگیزی را به ثبت رسانده‌اند. رانتایم‌های مدرن نظیر Wasmtime 26 و فریم‌ورک‌های توسعه سرورلس نظیر Spin 3 قادرند یک تابع پیچیده تجاری را در زمانی کمتر از ۵۰۰ میکروثانیه (کمتر از ۰.۵ میلی‌ثانیه) در حافظه مقداردهی اولیه کرده و اجرا نمایند.

این رقم را مقایسه کنید با زمان شروع سرد ۸۰۰ تا ۱۵۰۰ میلی‌ثانیه‌ای کانتینرهای استاندارد در پلتفرم‌های کوبرنتیز. علاوه بر این، مصرف رم هر نمونه اجرای ایزوله شده (Sandbox) در محیط وب‌اسمبلی کمتر از ۳۰ کیلوبایت است، در حالی که کوچک‌ترین کانتینرهای آلپاین لینوکس حداقل به ۲۰ مگابایت حافظه احتیاج دارند.

این بهینه‌سازی ۷۰۰ برابری در مصرف رم بدین معناست که یک سرور ابری ۶۴ گیگابایتی به جای میزبانی از ۵۰۰ کانتینر، اکنون می‌تواند به طور همزمان بیش از ۲۰۰ هزار میکروسرویس فعال Wasm را بدون کوچک‌ترین کاهش کارایی مدیریت کند؛ جهشی که مستقیماً در زیرساخت‌های معماری نوین پایگاه‌های داده ترکیبی و گراف-بردار به کار گرفته شده است.

مهاجرت کوبرنتیز به نودهای بدون داکر؛ تلفیق کانتینردی (containerd) و موتورهای Wasm

پرسش اساسی مهندسان دوآپس این بود که آیا برای بهره‌مندی از مزایای Wasm باید زیرساخت‌های ارکستراسیون کوبرنتیز را به طور کامل کنار گذاشت؟ پاسخ منفی است. اکوسیستم ابری دوران معاصر با توسعه شیم‌های اجرای استاندارد (runwasi shims) امکان ترکیب یکپارچه پادهای وب‌اسمبلی را در کنار پادهای کانتینری سنتی در یک کلاستر واحد میسر ساخته است.

شما می‌توانید همان فایل‌های مانیفست YAML کوبرنتیز را حفظ کنید، اما در بخش `runtimeClassName` مقدار `wasm` را تعریف نمایید. در این حالت، داکر از چرخه اجرای آن تسک به طور کامل حذف شده و کد کامپایل‌شده مستقیماً درون رانتایم محافظت‌شده Wasmtime اجرا می‌شود.

این ادغام منعطف به شرکت‌های فناوری اجازه داده است تا سرویس‌های پرترافیک و حساس به تاخیر خود را بدون بازنویسی زیرساخت به معماری Wasm منتقل کرده و هزینه‌های ماهانه پردازش ابری خود را تا ۶۵ درصد کاهش دهند.

نقشه راه توسعه‌دهندگان؛ ابزارها، اکوسیستم زبان‌ها و آینده محاسبات لبه

برای مهندسان نرم‌افزار امروزه یادگیری ابزارهای زنجیره ساخت WebAssembly به یک مزیت رقابتی بی‌بدیل تبدیل شده است. کامپایلرهای مدرن نظیر Rust `cargo-component`، پکیج منیجرهای تخصصی مانند Warg و ابزارهای عیب‌یابی در سطح بایت‌کد، فرآیند توسعه و استقرار را به سادگی یک دستور تک‌خطی درآورده‌اند.

در لایه کاربری نیز مرورگرها با پیوند دادن WebGPU به ماژول‌های سرورلس Wasm، مرز میان پردازش کلاینت و سرور را محو کرده‌اند؛ به گونه‌ای که یک کد واحد می‌تواند در کسری از ثانیه در مرورگر کاربر، روی سرور لبه در دیتاسنتر محلی یا درون پایگاه داده توزیع‌شده اجرا گردد.

انقلاب WebAssembly و استاندارد WASI 0.3 بازگشت شکوهمندانه به اصول اولیه علم کامپیوتر است: سادگی، سرعت خارق‌العاده و حذف لایه‌های سربار غیرضروری. دوران معاصر آغاز دورانی است که در آن زیرساخت ابری نه یک سیستم‌عامل پرحجم، بلکه یک بافت محاسباتی جهانی، سبک و نفوذناپذیر است.