اجرای پایدار و ورک‌فلوهای فناناپذیر

کابوس تاریخی تراکنش‌های توزیع‌شده؛ شکست الگوهای سنتی بازیابی در میکروسرویس‌ها

در بیش از دو دهه گذشته، مهندسان سیستم‌های توزیع‌شده با یکی از پیچیده‌ترین مسائل علوم رایانه دست به گریبان بوده‌اند: چگونه می‌توان فرآیندی تجاری مرکب از چند گام متوالی (مانند ثبت سفارش، برداشت وجه، اختصاص انبار و ارسال فاکتور) را به گونه‌ای اجرا کرد که در صورت کرش ناگهانی سرور یا قطع ارتباط شبکه میان میکروسرویس‌ها، داده‌ها دچار ناسازگاری نشوند؟ تلاش‌های سنتی نظیر پروتکل‌های تعهد دوفازی (Two-Phase Commit) به دلیل ایجاد قفل‌های سنگین در پایگاه‌های داده و کاهش فاحش توان عملیاتی عملاً کنار گذاشته شدند.

جایگزین بعدی یعنی الگوی ساگا (Saga Pattern) و پایپ‌لاین‌های مبتنی بر صف‌های پیام (Message Queues) نیز بار سنگینی از کدهای غیراختصاصی مانند کدهای جبرانی (Compensation Logic)، مدیریت تایم‌اوت‌ها، سازوکارهای تلاش مجدد (Retry Policies) و ذخیره دستی وضعیت در دیتابیس را به توسعه‌دهنده تحمیل می‌کرد. کافی بود یک سرور دقیقا میان دو گام ریبوت شود تا وضعیت سیستم معلق بماند.

همان‌گونه که در بررسی تخصصی گذار زیرساخت‌های مهندسی به زبان‌های امن حافظه Rust و Zig اشاره کردیم، پایداری زیرساخت فقط محدود به لایه مدیریت رم نیست، بلکه نیازمند معماری‌های محاسباتی است که وضعیت فرآیندها را در برابر بی‌ثباتی‌های فیزیکی محافظت کنند. امروزه پاسخ این چالش در مفهومی انقلابی متبلور شده است: «اجرای پایدار» (Durable Execution).

مکانیک کارکرد اجرای پایدار؛ ثبات وضعیت محاسباتی و بازپخش قطعی رویدادها

در پارادایم اجرای پایدار، کدهای فرآیند تجاری (Workflow) به شیوه‌ای کامپایل و مدیریت می‌شوند که انگار در یک سیستم رایانه‌ای فرضی با حافظه نامیرا و پردازنده‌ای بدون خرابی اجرا می‌گردند. توسعه‌دهنده کد خود را به صورت کدهای معمولی گام‌به‌گام با دستورات استاندارد if-else، حلقه‌ها و توابع ناهمگام (Async/Await) می‌نویسد، بدون آنکه نیازی به کدهای دستی ثبت در دیتابیس یا هندلینگ اختصاصی کرش داشته باشد.

زیرساخت اجرای پایدار در پس‌زمینه، هر فراخوانی تابع (Activity) را به عنوان یک رویداد در یک لاگ توزیع‌شده (Append-Only Event History) ثبت می‌نماید. اگر در حین اجرای مرحله چهارم، دیتاسنتر دچار قطعی برق شود یا کانتینر کوبرنتیز به دلیل کمبود حافظه ری‌استارت گردد، موتور ران‌تایم روی یک نود دیگر بیدار می‌شود و با بازپخش قطعی (Deterministic Replay) تاریخچه رویدادهای پیشین، وضعیت حافظه، پشته فراخوانی و مقادیر متغیرها را بازسازی کرده و کد را دقیقاً از آغاز مرحله چهارم ادامه می‌دهد.

این تضمین قطعی، اجرای دقیقاً یکباره را به واقعیت رسانده و ریسک ارسال ایمیل‌های مکرر، دو بار کسر وجه از حساب مشتری یا گم شدن تراکنش‌ها را به صفر کاهش داده است.

ابزارهای مدرن دوران کنونی اکوسیستم‌های Temporal، Restate و Inngest

در چشم‌انداز ابزارهای توسعه دوران معاصر سه پلتفرم نقشی محوری در گسترش اجرای پایدار ایفا می‌کنند. در رأس آنها، پلتفرم پرآوازه Temporal قرار دارد که در نسخه‌های نوین خود با معرفی قابلیت‌های بهینه‌سازی پروتکل و فشرده‌سازی تاریخچه‌ها، تأخیر تراکنش‌ها را به سطح زیر ۲ میلی‌ثانیه رسانده و توسط غول‌های پرداخت و خرده‌فروشی جهانی به عنوان بستر عملیاتی استاندارد به کار گرفته شده است.

همگام با آن، فریم‌ورک نوین Restate با بازتعریف این مفهوم در قالب میکروسرویس‌های سبک مبتنی بر HTTP و وب‌سوکت، امکان استقرار سریع روی پلتفرم‌های بدون سرور (Serverless) را فراهم آورده است. ری‌استیت با نگاشت مستقیم مدل‌های شیء پایدار (Durable Objects)، پیچیدگی راه‌اندازی کلاسترهای عظیم را برطرف نموده است. همچنین ابزار مدرن Inngest با رویکرد توسعه‌دهنده‌محور و سازگاری عمیق با فریم‌ورک‌های تایپ‌اسکریپت و نکست‌جی‌اس، پیاده‌سازی پایپ‌لاین‌های رخدادمحور را برای استارتاپ‌ها دگرگون ساخته است.

نکته جذاب دوران کنونی تلفیق اجرای پایدار با سامانه‌های هوش مصنوعی است؛ همان‌گونه که در بررسی عامل‌های خودمختار مهندسی نرم‌افزار و استدلال درختی تحلیل کردیم، اجرای زنجیره‌های پیچیده استنتاج عامل‌های هوشمند که ممکن است ساعت‌ها به طول بینجامد، تنها از طریق این بسترها بدون خطر از دست رفتن محاسبات امکان‌پذیر است.

مدیریت زمان، ارتقای زنده کدها و انعطاف در چرخه‌های استقرار

یکی از چالش‌برانگیزترین بخش‌های سیستم‌های سنتی، تغییر نسخه کدهای در حال اجرا (Code Versioning) بود؛ تغییر کدی که هزاران تراکنش معلق داشت اغلب منجر به خرابی‌های وسیع می‌شد. چارچوب‌های اجرای پایدار امروزه با مکانیسم‌های ردیابی نسخه درون‌خطی، به تیم‌های توسعه اجازه می‌دهند نسخه‌های جدید کدهای اجرایی را در کنار نسخه‌های قدیمی مستقر کنند. تراکنش‌های قبلی با قوانین نسخه گذشته به پایان می‌رسند و تراکنش‌های نو از قوانین جدید تبعیت می‌کنند.

همچنین امکان متوقف کردن فرآیندها برای روزها یا هفته‌ها با دستور ساده sleep() بدون مصرف هیچ‌گونه منابع پردازشی یا اتصالات دیتابیس، معماری‌های زمان‌بندی ادواری (Cron Jobs) را به طور کامل از دور خارج کرده است.

نتیجه‌گیری راهبردی؛ گذار به نرم‌افزارهای خودپایا در عصر ماگ بیت

پارادایم اجرای پایدار نه یک ترند زودگذر، بلکه بنیاد معماری نرم‌افزارهای نسل نوین است. همان‌طور که سیستم‌عامل‌ها دهه‌ها پیش پیچیدگی تخصیص فیزیکی سکتورهای هارددیسک را از دوش برنامه‌نویسان با انتزاع فایل برداشتند، زیرساخت‌های پایدار دوران کنونی نیز پیچیدگی خرابی‌های فیزیکی شبکه و سرور را به تاریخ واگذار کرده‌اند.

تحریریه ماگ بیت به تمامی سازمان‌های مهندسی و توسعه‌دهندگان پیشرو توصیه می‌کند معماری‌های شکننده سنتی خود را به سمت پلتفرم‌های Durable Execution بازطراحی نمایند. سازمان‌هایی که این تحول را پذیرا شوند، نه تنها زمان توسعه محصول را تا ۷۰ درصد کاهش می‌دهند، بلکه تاب‌آوری سامانه‌های خود را در برابر نوسانات دنیای ابری به بالاترین مرزهای اطمینان مهندسی می‌رسانند.