مدل ذهنی فیوچرهای سی‌پلاس‌پلاس: نگاهی به زیرساخت std::promise و std::future

کتابخانه استاندارد سی‌پلاس‌پلاس ابزارهای قدرتمندی برای برنامه‌نویسی ناهمگام (Asynchronous) مانند std::promise، std::packaged_task، std::async، std::future و std::shared_future در اختیار توسعه‌دهندگان قرار می‌دهد. با این حال، درک مکانیسم درونی و نحوه ارتباط این کلاس‌ها با یکدیگر ممکن است در ابتدا پیچیده به نظر برسد. ریموند چن در مقاله جدید خود به سراغ واکاوی این موضوع رفته و مدل ذهنی پشت این ابزارها را باز می‌کند.

مفهوم مرکزی: شیء حالت یا source

نکته کلیدی در درک این مکانیسم این است که تمام کلاس‌های مربوط به فیوچرها، در پشت صحنه روی یک شیء واحد بنا شده‌اند که استاندارد C++ از آن با عنوان «حالت» (State) یاد می‌کند. برای درک بهتر، می‌توان آن را مشابه مفهوم Task Completion Source در سی‌شارپ در نظر گرفت. این ساختار وظیفه تولید مقدار یا استثناء را بر عهده دارد و باید عملیات زیر را پشتیبانی کند:

• انتظار برای تعیین مقدار یا بروز استثناء
• بازیابی مقدار نهایی یا پرتاب مجدد استثناء

جزئیات پیاده‌سازی و همگام‌سازی

در پیاده‌سازی ساده‌شده این ساختار، از یک متغیر متمم (Discriminant) برای تشخیص وضعیت فعلی استفاده می‌شود که می‌تواند یکی از حالت‌های خالی، مقدار، استثناء یا مصرف‌شده را داشته باشد. برای ایمنی در محیط‌های چندرشته‌ای (Thread-safe) از ابزارهای زیر استفاده می‌شود:

• استفاده از std::mutex برای ایمن‌سازی دسترسی به اعضای داخلی.
• استفاده از std::condition_variable برای متوقف کردن تردها تا زمان آماده شدن مقدار یا استثناء.

نکته جالب اینجاست که وجود std::condition_variable به خاطر متدهای انتظار زمان‌دار (wait_for) ضرورت پیدا می‌کند؛ وگرنه در حالت عادی می‌توانستیم تنها به متدهای انتظار در std::atomic اکتفا کنیم.

مدیریت مقدار و استثناء

هنگامی که مقدار یا استثنائی تنظیم می‌شود، بررسی می‌شود که آیا شیء قبلاً مقدار نگرفته باشد (must_be_empty). در صورت تکرار، خطای future_error پرتاب خواهد شد. پس از ثبت مقدار یا استثناء، تمام تردهایی که در حال انتظار بودند با متد notify_all بیدار می‌شوند.

در مرحله مصرف داده نیز، دو روش مختلف وجود دارد:

• متد get: یک ارجاع ثابت (const T&) به داده ذخیره‌شده برمی‌گرداند.
• متد consume: مقدار را با استفاده از std::move به بیرون منتقل کرده و وضعیت را به عنوان «مصرف‌شده» علامت‌گذاری می‌کند تا از دسترسی‌های بعدی جلوگیری شود.

چرا این موضوع برای مهندسان اهمیت دارد؟

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