قفل مفسر جهانی یا همان GIL، برای نزدیک به سه دهه به عنوان بحثبرانگیزترین محدودیت معماری در CPython شناخته میشد. این مکانیزم که در روزهای نخست، پایداری زبان را تضمین کرده بود، به مرور به سدی بزرگ در برابر مقیاسپذیری روی سختافزارهای چند هستهای مدرن تبدیل شد. اکنون با انتشار پایتون ۳.۱۴، اکوسیستم این زبان به نقطه عطفی تاریخی رسیده است: پشتیبانی رسمی از «رشتهبندی آزاد» (Free-Threading) که امکان اجرای مفسر بدون قید و بند GIL را فراهم میکند.
سادگی؛ سنگبنای معماری پایتون
در اواخر دهه ۸۰ میلادی، زمانی که گیدو ون روسوم پایتون را خلق کرد، پردازندههای چند هستهای رؤیایی دور از دسترس بودند. فلسفه این زبان بر پایه خوانایی بالا و انتزاع از جزئیات پیچیده ماشین بنا شد. در پیادهسازی مرجع، از مکانیزم «شمارش ارجاع» (Reference Counting) برای مدیریت حافظه استفاده شد. این روش بسیار ساده و قطعی است، اما مشکل بنیادین آن، عدم ایمنی در محیطهای چندرشتهای بود؛ چرا که تغییر همزمان شمارنده اشیاء، منجر به بروز شرایط رقابتی (Race Conditions) میشد.
راهحل ون روسوم، یک قفل سراسری یا همان GIL بود. این قفل مانند یک تور ایمنی عمل میکرد تا از باگهای مهلک همزمانی نظیر بنبستها جلوگیری کند. در آن دوران که پایتون عمدتاً برای وظایف محدود به I/O استفاده میشد، GIL با آزادسازی در حین عملیاتهای ورودی/خروجی، به خوبی نیازهای زمانه را پاسخ میداد.
بدهی فنی و ظهور گلوگاههای پردازشی
با ظهور پردازندههای چند هستهای و نفوذ پایتون به حوزههای یادگیری ماشین و پردازشهای سنگین عددی، GIL از یک ویژگی مفید به «بدهی فنی» تبدیل شد. برنامهنویسان برای بهرهگیری از تمام توان سختافزار، به ناچار از ماژول multiprocessing استفاده میکردند که سربار سنگینی نظیر کپیبرداری از حافظه و پیچیدگی در ارتباطات بینفرآیندی (IPC) را به همراه داشت. این وضعیت پایتون را به دو دنیای مجزا تقسیم کرده بود: کدهای خالص که اسیر GIL بودند و افزونههای نوشته شده با C یا Rust که با آزاد کردن قفل، سعی در فرار از این محدودیت داشتند.
تلاش برای حذف GIL دههها به طول انجامید، چرا که تغییر در مکانیزم مدیریت حافظه بدون افت عملکرد در سناریوهای تکرشتهای، چالشی بسیار دشوار برای توسعهدهندگان هسته پایتون بود.
طلوع رشتهبندی آزاد (Free-Threading)
تحول فعلی تحت PEP 703 به واقعیت پیوسته است. ابتکار «CPython سریعتر» که با حمایت مایکروسافت و رهبری مارک شانون پیش رفت، زیرساختهای لازم برای بهینهسازی مسیرهای کد را فراهم کرد. گیدو ون روسوم نیز در این مسیر همواره جامعه برنامهنویسان را به واقعبینی فراخوانده و تأکید کرده است که نباید در دام «اسطورهسازی همزمانی» افتاد.
تغییر پارادایم در برنامهنویسی پایتون
- بهرهوری حداکثری: استفاده کامل از تمام هستههای CPU بدون نیاز به فرآیندهای مجزا.
- مسئولیتپذیری در کدنویسی: لزوم مدیریت دقیقتر حافظه و امنیت رشتهها در کدهایی که اکنون به صورت موازی اجرا میشوند.
- آیندهنگری: پایتون با این گام بزرگ، بدهی فنی ۳۵ ساله خود را پرداخت کرد تا برای چالشهای دهههای آینده دنیای محاسبات آماده باشد.
برای مطالعه بیشتر درباره تغییرات عمیق در ساختار زبان و اخبار روز دنیای پایتون، میتوانید به وبسایت نگاتک مراجعه کنید.
