گره‌های مجازی در حلقه هش: هشینگ سازگار چگونه جابه‌جایی داده‌ها را هنگام توسعه خوشه‌های ابری به ۱ بر N محدود می‌کند

پایگاه‌های داده سنتی برای مسیریابی داده‌ها از عملیات ساده باقیمانده تقسیم (Modulo) بهره می‌برند؛ به این شکل که یک کلید یکتا بر تعداد کل سرورها تقسیم می‌شود تا پایگاه مقصد تعیین گردد. اما به‌محض افزودن یک سرور جدید، مخرج این کسر تغییر می‌کند و تقریباً کل داده‌های ذخیره‌شده ناچار به تغییر مکان می‌شوند.[5][8]

هشینگ سازگار (Consistent Hashing) دقیقاً از یک جنبه بنیادین با این ساختار تفاوت دارد: این رویکرد هم داده‌ها و هم سرورها را روی یک پیوستار دایره‌ای ثابت می‌نشاند؛ ترفندی که نشانی داده را از اندازه کل خوشه کاملاً مستقل می‌سازد.[1][5]

همین تفکیک ریاضیاتی، ستون فقراتی است که به زیرساخت‌های ابری مدرن اجازه می‌دهد بدون فروپاشی زیر بار ترافیک مقیاس‌پذیر شوند. سیستم به‌جای بازآرایی و محاسبه دوباره کل نشانی‌ها هنگام گسترش خوشه، فقط همان بخش دقیق از داده‌ها را جابه‌جا می‌کند که برای پر کردن سخت‌افزار تازه وارد نیاز است.[8]

این تکنیک نخستین بار در سال ۱۹۹۷ برای سامان‌دهی به حافظه‌های پنهان (Cache) در وب اولیه تدوین شد. امروزه همین فرمول، اسکلت مسیریابی پایگاه‌های داده توزیع‌شده‌ای همچون آپاچی کاساندرا، آمازون DynamoDB و سیستم‌های پردازش بلادرنگ عظیم را تشکیل می‌دهد.[1][2][4]

ارائه‌دهندگان خدمات ابری اغلب این توانایی را تحت عناوینی نظیر «مقیاس‌پذیری آنی و بدون وقفه» تبلیغ می‌کنند؛ گویی افزودن توان پردازشی صرفاً تغییر یک کلید نرم‌افزاری بی‌هزینه است. اما واقعیت فیزیکی شبکه به مراتب سرسخت‌تر است و مرزهای مشخص ریاضیات تعیین می‌کنند چه حجمی از داده باید حتماً مهاجرت کند.[9]

شکنندگی روش سنتی هشینگ با باقیمانده تقسیم

برای پی بردن به چرایی اهمیت این راهکار، باید ابتدا نقایص رویکرد سنتی را کالبدشکافی کرد. در یک جدول هش کلاسیک، الگوریتم هش یک قطعه داده را به عددی بزرگ بدل می‌کند که متعاقباً بر تعداد سرورهای فعال تقسیم می‌شود.[5]

باقیمانده این تقسیم سرور میزبان را مشخص می‌سازد. برای نمونه، در خوشه‌ای با ۱۰ گره، کلیدی که خروجی هش آن ۱۰۵ است به سرور شماره ۵ تعلق می‌گیرد؛ نظامی که بی‌نقص به نظر می‌رسد تا زمانی که افزایش بار سیستم نیازمند افزودن ماشین‌های بیشتر باشد.[5][8]

با ورود سرور یازدهم، مقسوم‌علیه از ۱۰ به ۱۱ تغییر می‌یابد. اکنون باقیمانده تقسیم همان کلید ۱۰۵ برابر با ۶ خواهد شد؛ یعنی داده باید از بستر فیزیکی شبکه عبور کند و به ماشینی دیگر منتقل گردد.[8]

این بازنگری محاسباتی به شکل هم‌زمان بر کل مجموعه داده‌ها اثر می‌گذارد. هنگام ارتقای خوشه‌ای از ۱۰ گره به ۱۱ گره، نزدیک به ۹۰ درصد رکوردهای ذخیره‌شده ناگهان به نشانی‌های متفاوتی هدایت می‌شوند که یک جابه‌جایی درونی غول‌آسا را به راه می‌اندازد.[5][8]

این جهش ناگهانی بار ترافیکی که اصطلاحاً «طوفان بازهش» (Rehashing Storm) خوانده می‌شود، معمولاً همان سرورهایی را فلج می‌کند که پیش از آن زیر بار پردازش در حال خفگی بودند. به عبارت روشن‌تر، خوشه در تلاش برای سازمان‌دهی مجدد وضعیت درونی خود به دست خود دچار انسداد می‌شود.[5]

نگاشت سرورها و کلیدها به فضایی دایره‌ای

هشینگ سازگار با حذف کامل عملیات باقیمانده تقسیم، این چالش را ریشه‌کن می‌کند. در این طرح، دامنه خروجی تابع هش به منزله یک حلقه پیوسته تلقی می‌شود که معمولاً آن را شبیه دایره‌ای از ۰ تا ۳۶۰ درجه تصویر می‌کنند.[1][5][8]

وقتی سروری به خوشه ملحق می‌شود، شناسه منحصربه‌فرد آن هش شده و جایگاهی مشخص و پایدار بر محیط این حلقه به آن داده می‌شود. بدین ترتیب، یک خوشه ۱۰ گره‌ای عملاً ۱۰ نشانگر پیرامون این دایره ثبت می‌کند.[1][8]

کلیدهای داده‌های ورودی با همان تابع هش یکسان پردازش شده و در کنار سرورها بر پهنه حلقه می‌نشینند. برای تعیین سرور مقصد، سیستم صرفاً در جهت عقربه‌های ساعت روی دایره پیش می‌رود تا به اولین نشانگر سرور برخورد کند.[1][5]

این چینش مکانی، دینامیک گسترش خوشه را از ریشه دگرگون می‌سازد. اگر سرور جدیدی در فاصله‌ای میان دو گره موجود مستقر شود، تنها کلیدهایی را جذب می‌کند که در شکاف بلافاصله‌ی پشت سر آن قرار گرفته‌اند.[1][8]

سایر نقاط حلقه کاملاً دست‌نخورده باقی می‌مانند. طبق مقاله مرجع انجمن ماشین‌های حسابگر (ACM) در سال ۱۹۹۷ به قلم کارگر و همکاران، این نوآوری شمار کلیدهای نیازمند جابه‌جایی را دقیقاً به نسبت K بر N محدود می‌کند؛ که در آن K تعداد کلیدها و N شمار کل سرورهای جدید است.[1]

چرا هشینگ سازگارِ خام نقاط بحرانی و پربار ایجاد می‌کند؟

با آنکه این مدل نظری جابه‌جایی اطلاعات را در کمترین سطح ممکن نگه می‌دارد، پیاده‌سازی خام آن معضلی عملیاتی و خطرناک به بار می‌آورد؛ زیرا تابع هش موقعیت سرورها را به صورت شبه‌تصادفی تعیین می‌کند و فواصل میان آن‌ها به ندرت متوازن از آب درمی‌آید.[2][8]

در سناریوهای واقعی، چیدمان تصادفی سبب می‌شود برخی سرورها در فاصله‌ای بسیار اندک از یکدیگر روی حلقه قرار گیرند، در حالی که میان برخی دیگر شکاف‌های خالی عظیمی دهان باز کند. سروری که نگهبان یکی از این شکاف‌های پهناور است، سهمی نامتناسب و گزاف از ترافیک را به دوش خواهد کشید.[2][5]

این وضعیت به پیدایش «نقاط داغ» (Hot Spots) موضعی می‌انجامد؛ جایی که شاید یک ماشین دو برابر همتایانش بار ذخیره‌سازی متحمل شود. اگر چنین گره تحت‌فشاری از کار بیفتد، تمام آن حجم سرسام‌آور داده به یکباره روی دوش سرور بعدی در جهت چرخش عقربه‌های ساعت آوار می‌گردد.[1][6]

تیم مهندسی گوگل درباره سازوکار اختصاصی خود در مهار این معضل اشاره کرده بود: «هشینگ سازگار با بارهای محدودشده تضمین می‌کند که هیچ سروری فراتر از یک سهمیه تعیین‌شده، ترافیک دریافت نکند.»[6]

در حالی که گوگل به سمت استفاده از بارهای محدودشده رفت، بدنه صنعت راهکار استاندارد دیگری را برگزید: مفهومی به نام «گره‌های مجازی» (Virtual Nodes) که در سال ۲۰۰۷ با انتشار مقاله بنیادین پایگاه داده Dynamo آمازون فراگیر شد.[2][4]

توزیع متوازن داده‌ها با تکثیر حضور مجازی گره‌ها

در این معماری، به‌جای آنکه سرور فیزیکی به یک نقطه منفرد بر حلقه هش متصل شود، ده‌ها یا صدها نقطه متمایز را به خود اختصاص می‌دهد. یک ماشین فیزیکی می‌تواند مثلاً نماینده ۲۵۶ گره مجازی باشد که به شکلی نامتمرکز در سراسر فضای مدور پخش شده‌اند.[2][4]

هنگامی که هر سرور صدها نشانگر مجازی به درون حلقه گسیل کند، تمام محیط دایره به شکلی متراکم و یکنواخت پوشانده می‌شود. این تسهیم آماری، ناهمگونی‌های تصادفی فواصل را خنثی می‌سازد.[2][4]

بر اساس قانون اعداد بزرگ، سهم پایانی هر ماشین فیزیکی از مساحت حلقه تقریباً برابر و هم‌اندازه خواهد بود؛ نتیجه‌ای که تعادل بار ذخیره‌سازی را بدون احتیاج به هیچ سرور هماهنگ‌کننده مرکزی به ارمغان می‌آورد.[2][8]

گره‌های مجازی شیوه مدیریت خرابی‌های سخت‌افزاری را نیز متحول می‌کنند. اگر ماشینی فیزیکی از مدار خارج شود، ۲۵۶ گره مجازی آن به طور هم‌زمان از حلقه محو می‌شوند و برش‌های ریز بار آن میان ۲۵۶ گره همسایه گوناگون دست‌به‌دست خواهد شد.[4]

به این ترتیب، به جای اینکه باری سنگین بر دوش یک سرور همسایه بدشانس بیفتد، زحمت بازیابی داده‌ها به شکلی متوازن میان تمام اعضای باقی‌مانده خوشه تقسیم می‌شود؛ موازی‌سازی هوشمندانه‌ای که مانع از بروز خرابی‌های زنجیره‌ای مرسوم در نسخه‌های خام هشینگ سازگار می‌گردد.[2][4]

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

همین فرایند موازی در زمان توسعه ظرفیت نیز تکرار می‌شود. وقتی سرور فیزیکی جدیدی روشن و وارد مدار می‌گردد، ۲۵۶ گره مجازی اختصاصی خود را می‌سازد و آن‌ها را در نقاط گوناگون حلقه مستقر می‌کند.[4]

هر گره مجازی تازه، بخش بسیار کوچکی از بار داده‌های گره جلوتر از خود را تحویل می‌گیرد. از آنجا که این گره‌ها در همه جای حلقه پراکنده‌اند، ماشین جدید محموله اولیه داده‌های خود را از تمامی ماشین‌های موجود به شکل هم‌زمان دریافت می‌دارد.[2][4]

این تمهید بازسازی داده‌های تکرارشونده را با حداکثر سرعت و از طریق تجمیع پهنای باند شبکه تمام تجهیزات میسر می‌کند؛ قابلیتی که پلتفرم دیسکورد از آن برای مقیاس‌بخشی به سیستم حضور کاربران مبتنی بر الیکسیر و میزبانی از ۵ میلیون کاربر هم‌زمان بدون حتی یک لحظه توقف بهره برد.[7]

با این حال، ادبیات تبلیغاتی پیرامون این سامانه‌های توزیع‌شده معمولاً واقعیت‌های ملموس شبکه را لاپوشانی می‌کند. فروشندگان اغلب توسعه سیستم را عملیاتی بی‌درنگ جلوه می‌دهند و به مالیات سنگینی که ریاضیات بر شبکه تحمیل می‌کند اشاره‌ای ندارند.[9]

مرزهای فیزیکی مهاجرت داده‌ها

فرمول جابه‌جایی K بر N نمایانگر یک کف فیزیکی غیرقابل‌اجتناب است، نه صرفاً یک افق آرمانی در محاسبات. اگر سازمانی پایگاه داده‌ای با حجم ۱۰۰ ترابایت را روی ۱۰ گره مدیریت کند و گره یازدهم را بیفزاید، دقیقاً یک‌یازدهم آن اطلاعات باید از نظر فیزیکی جابه‌جا شود.[1][9]

این یعنی بیش از ۹ ترابایت اطلاعات باید از دیسک خوانده شود، به بسته داده تبدیل گردد، از پهنای باند مرکز داده عبور کند و بر فضای ذخیره‌سازی جدید نگاشته شود. گره‌های مجازی حجم کل داده‌های انتقالی را ذره‌ای کم نمی‌کنند؛ آن‌ها تنها مسیر حرکت را بهینه‌تر می‌سازند.[9]

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

شکافتن جزئیات حلقه هش، هاله فریبنده و جادویی مقیاس‌پذیری ابری را کنار می‌زند. آنچه باقی می‌ماند سامانه‌ای فوق‌العاده هوشمندانه و با ریاضیاتی ظریف است که با این وجود، همچنان بی برو و برگرد در بند محدودیت‌های فیزیکی پهنای باند شبکه و ظرفیت خواندن و نوشتن دیسک‌ها گرفتار است.[9]