// سطح: helix-primary · سفارش 14
HelixCluster in-developmentاجازهنامه: TBD
منبع
یک سیستمعامل توزیعشده برای محاسبات AI — از پردازندههای گرافیکی دیتاسنتر تا دستگاههای دستی لبه، تحت یک صفحه کنترل واحد.
سیستمعامل خوشهای Helix یک سیستمعامل توزیعشده نسل بعدی است که محاسبات را در گرههای ناهمگن — از پردازندههای گرافیکی دیتاسنتر تا کامپیوترهای تکبردی لبه و دستگاههای دستی — هماهنگ میکند و زمانبندی HPC، هماهنگی کانتینرها، استنتاج AI/ML، عملیات چندخوشهای فدراتیو و جلسات چندمستأجری امن را تحت یک صفحه کنترل واحد یکپارچه میسازد.
یک سیستمعامل توزیعشده مبتنی بر Go / خوشه محاسباتی اشتراکگذاری GPU. این سیستم زمانبندی HPC (یک زمانبند دو سطحی مدل اُمگا)، هماهنگی کانتینرها، مسیریابی استنتاج AI، فدراسیون و جلسات چندمستأجری امن را در گرههای ناهمگن یکپارچه میکند که توسط gossip پروتکل SWIM و اجماع Raft هماهنگ میشوند، با رمزنگاری سرتاسری پساکوانتومی.
سیستمعامل خوشهای Helix بارهای کاری محاسباتی را در سختافزارهای بهشدت ناهمگن — از پردازندههای گرافیکی دیتاسنتر گرفته تا کامپیوترهای تکبردی لبه و حتی دستگاههای دستی — تحت یک صفحه کنترل واحد هماهنگ میکند و یک رک از A100ها و چند کامپیوتر تکبردی را به جای چندین جزیره ناسازگار، به عنوان یک پارچه قابل آدرسدهی در نظر میگیرد. این سیستم یک فضای کاری Go (یک مونورپو به همراه زیرماژولهای گیت) است که یک پشته هفتلایه را پیادهسازی میکند، از لایه زیرساخت سختافزاری L0 تا لایه فدراسیون و مشاهدهپذیری L7، که توسط چهارده میکروسرویس صفحه کنترل هماهنگ میشود. عضویت گرهها با gossip پروتکل SWIM و کشف خودکار ردیابی میشود تا پارچه محاسباتی با ورود و خروج گرهها خودترمیم شود؛ حالتهای کاملاً سازگار بر اساس اجماع Raft مدیریت میشوند که به صورت گروههای Raft به ازای هر شارد سازماندهی شدهاند و خوانشهای محلی نگهدارنده اجاره برای سرعت و حصار STONITH برای تضمین عدم فساد حالت مشترک توسط گرههای جدا شده به کار میروند. جایگذاری بار کاری از طریق یک زمانبند دو سطحی مدل اُمگا انجام میشود — همزمانی خوشبینانه، تطبیق ClassAd، زمانبندی دستهای، پیشemption با ضریب ارزش و جایگذاری مبتنی بر محدودیت — و سپس فراتر از یک زمانبند HPC کلاسیک پیش میرود: مسیریابی آگاه از کربن و هزینه/کل هزینه مالکیت، مقیاسبندی خودکار به ابر، و آداپتورهای بازار (Akash، io.net، RunPod، AWS Spot، Chutes) که به یک کار اجازه میدهند در صورت اتمام ظرفیت محلی به ظرفیت اجارهای سرریز شود.
کاربران نهایی هیچیک از این سازوکارها را مستقیماً مشاهده نمیکنند؛ آنها از طریق یک مدل جلسه تمیز (تخصیصهای محاسباتی)، یک ترمینال تعاملی WebSocket/PTY، یک مسیر داخلی استنتاج AI و خوانشهای بهرهبرداری از استخر با سیستم تعامل دارند. امنیت یک لایه درجهیک است نه یک افزونه: هویت SPIFFE، تأیید هویت دستگاه (چالش/پاسخ، اثبات کار GPU، مهر و موم)، دروازه KYC کنترل صادرات و یک انتقال رمزنگاریشده سرتاسری پساکوانتومی که بر اساس تبادل کلید ترکیبی X25519 + ML-KEM-768 با حفاظت رکورد AEAD و رد تکرار ساخته شده است — مهندسیشده تا ترافیک ضبطشده امروز حتی در برابر دشمنان کوانتومی فردا نیز محرمانه باقی بماند. صحت نه ادعا، بلکه *اثبات* میشود: تست شبیهسازی قطعی (اجرای بذرشده به سبک FoundationDB، تزریق خطا، شبیهسازی شبکه، بازپخش بایتبهبایت و بررسیکننده خطیپذیری Porcupine) شکستهای توزیعشده را به صورت تقاضایی بازتولید میکند و تست جهش جفت اجباری ثابت میکند که تستهای محافظتی واقعاً مؤثرند. معماری و مستندات با ابزارهای مکانیکی lint که ساخت را در لحظهای که واقعیت و مستندات از هم فاصله میگیرند، ناموفق میکنند، صادقانه نگه داشته میشوند.
محتوا
برای اجرای بارهای کاری AI و HPC روی لایههای سختافزاری کاملاً متفاوت بدون نیاز به وصلهپینهکردن زمانبندها، ارکستراسیونها و پشتههای استنتاج جداگانه — و این کار را با تضمین مهندسی انجام دهیم که هر ویژگی ارسالشده، *رفتار واقعی کاربر نهایی* را ثابت کند (هرگز تستهای سبز روی استابها اجرا نشود) و هر قابلیت وابسته به سیستمعامل از امکانات بومی واقعی هر پلتفرم استفاده کند (بدون ماکتهای صرفاً لینوکسی). مسئله انگیزهبخش، که در حاکمیت مخزن پروژه نقل شده، حالت شکست «تستها قبول میشوند اما ویژگی واقعاً کار نمیکند» است؛ حالتی که پروژه بهطور صریح برای حذف آن ساخته شده است.
این سامانه پنج مؤلفهای را که معمولاً پنج پشتهٔ جداگانه هستند — زمانبندی HPC، ارکستراسیون کانتینر، استنتاج AI، فدراسیون چندخوشهای و نشستهای امن چندمستأجری — در یک صفحهٔ کنترل واحد ادغام میکند که از پردازندههای گرافیکی دیتاسنتر تا دستگاههای دستی لبهٔ شبکه را در بر میگیرد. و این کار را با بودجهٔ دقتی انجام میدهد که معمولاً به زیرساختهای تخصصی اختصاص دارد: صحت در سطح روشهای صوری (مشخصات TLA+، شبیهسازی قطعی، بررسی خطیپذیری) و انتقال محرمانهٔ پساکوانتومی؛ تضمینهایی که بیشتر ارکستراتورها حتی تلاشی برای دستیابی به آنها نمیکنند. علاوه بر تمایز فنی، جایگذاری آگاه به هزینه و کربن بهعلاوهٔ انفجار به بازار ابری، آن را به اهرمی *اقتصادی* نیز تبدیل میکند — زمانبند میتواند بهطور خودکار ظرفیت ارزانتر، سبزتر یا یدکی را دنبال کند، بنابراین همان بار کاری با هزینهٔ کمتر و انتشار کربن کمتر اجرا میشود بدون اینکه کسی نیازی به بازنویسی کار داشته باشد.
- آزمون شبیهسازی قطعی (DST) — شبیهساز کاملاً بازتولیدپذیر با بذر مشخص که خطاها، انحراف ساعت و پارتیشنبندی شبکه را تزریق میکند، آنها را بایتبهبایت بازپخش میکند و نتیجهٔ آن را از طریق بررسیکنندهٔ خطیپذیری پورکوپاین اجرا میکند، بهطوری که یک باگ هایزنبرگ که یک بار کشف شود، برای همیشه قابل بازتولید خواهد بود.
- زمانبند دو سطحی مدل امگا — جایگذاری خوشبینانهٔ همزمانی با تطبیق ClassAd، زمانبندی گنگ و پیشemption با ضریب ارزش، طراحی حالت اشتراکی که به بسیاری از زمانبندها اجازه میدهد بدون گلوگاه مرکزی روی یک خوشه اعمال شوند.
- اتصال محرمانهٔ پساکوانتومی E2EE / استنتاج — تبادل کلید هیبریدی X25519 + ML-KEM-768 با اتصال جفتکلید پاسخ به هر درخواست و AEAD با رد تکرار (الگوریتمهای رمزنگاری واقعی و آزمایششدهاند؛ دور کامل محرمانهٔ چندگرهای بهطور صریح در مرحلهٔ برنامهریزی/دروازهبندی باقی مانده است).
- اعتماد مبتنی بر اثبات — گرهها باید *ثابت کنند* که چه هستند: هویت SPIFFE، اثبات کار GPU، مهر دستگاه، دروازهٔ KYC کنترل صادرات و تولید مستندات انطباق با قانون AI اتحادیهٔ اروپا، بهطوری که اعتماد از طریق شواهد بهدست آید نه از طریق موقعیت شبکه.
- ارکستراسیون آگاه به هزینه و کربن — مدلسازی TCO، جایگذاری آگاه به کربن، انفجار به ابر، ذخیرهٔ N+K برای خرابی و آداپتورهای بازار ابری، که قیمت و انتشار کربن را به ورودیهای درجهیک زمانبندی تبدیل میکند بهجای اینکه پسفکری باشند.
- اجماع چندرافتی — گروههای رافت بهازای هر شارد با خوانش محلی دارندهٔ اجاره برای سازگاری کمتأخیر، پشتیبانیشده با حصارکشی STONITH (IPMI / EC2 / Azure / SBD) بهطوری که گره مسدودشده بهطور قطعی حذف شود و فرصت فاسدکردن حالت را نیابد.
- چککنندههای مکانیکی ضدانحراف —
archlintبلافاصله ساخت را در صورت عدم وجود مسیر بستهای که یک مؤلفهٔ مستندشده به آن نگاشت شده، شکست میدهد، و موتور زنجیرهٔ مستندات، سازگاری بایتی مارکداون / HTML / PDF / DOCX را حفظ میکند، بهطوری که مستندات نتواند بیصدا دروغی دربارهٔ کد بگوید.
محتوا
- «تستهای دروغین» (عبور تستها بر روی ویژگیهای غیرعملیاتی). حالت شکست که کل پروژه برای حذف آن طراحی شده است: مجموعهای سبز بر روی استابها. این مشکل با تست جهش جفتی اجباری حل شد — هر آیتم کاری یک تست نگهبان نامگذاریشده دارد که باید تحت یک جهش کد مستقل *شکست بخورد* تا آن آیتم بتواند بهعنوان تکمیلشده علامتگذاری شود؛ بنابراین یک تستِ در حال عبور بهجای یک ماک، بهطور اثباتپذیر رفتار واقعی را آزمایش میکند.
- توازن میانپلتفرمی (عدم استفاده از ماکهای لینوکسمحور). با یک رابط مشترک حل شد که بر اساس تگهای ساخت به امکانات واقعی هر سیستمعامل تقسیم میشود — کنترلگرهای سیگروپ لینوکس،
/proc، وایرگارد کرنل،sysctlوvm_statمکاواس، IOKit وwireguard-go— و سپس با یک پیشگو مستقل سیستمعامل مقایسه میشود تا هر پلتفرم بهجای یک داستان ساختگی لینوکسی، وضعیت بومی واقعی خود را گزارش کند. - درستی توزیعشده تحت شرایط خطا. با تست شبیهسازی قطعی و یک بررسیکننده خطیپذیری حل شد که پارتیشنبندی، کرشها و انحراف ساعت را شبیهسازی و بازپخش میکند؛ این تستها توسط مشخصات رسمی TLA+ پشتیبانی میشوند که پیش از اجرای حتی یک خط کد، ثابتهای اجماع و زمانبندی را تعیین میکنند.
- انحراف مستندات و معماری. با
archlintحل شد که ساخت را در صورت وجود هر بسته مستندشده اما غیرواقعی شکست میدهد، و یک دروازه تأییدdocs_chainبدون راه گریز — انحراف باعث شکست ساخت میشود، نه یک صفحه ویکی قدیمی. - تعیین محدوده صادقانه کار ناتمام. سفر رفتوبرگشت استنتاج چندگرهای محرمانه بهعمد پشت یک تیکت قرار گرفته و با برچسب «هنوز بهطور انتهابهانتها اعتبارسنجی نشده است» مشخص شده است، نه اینکه بهعنوان محصول نهایی عرضه شود — همان نظمی که برای آنچه *انجام نشده* به کار میرود که برای آنچه انجام شده است.
- Go (go.mod: ۱٫۲۵ / زنجیره ابزار ۱٫۲۶٫۴) — زبان کنترلپلن در یک فضای کاری حدوداً ۳۰ ماژولی؛ بهخاطر همزمانی ارزان گوروتین و باینریهای استاتیک انتخاب شده است که بهطور یکسان از دیتاسنتر تا لبه مستقر میشوند.
- Zig (۰٫۱۴+) + C/C++ — در مواردی به کار گرفته میشود که زمان اجرای Go مانع میشود: برای پرایمتیوهای سطح پایین سیستم و هستههای GPU که به کنترل قطعی و بدون تخصیص منابع بر روی سختافزار نیاز دارند.
- gRPC + Protocol Buffers — هر API بینسیستمی (
api/v1/) یک قرارداد تایپشده و نسخهبندیشده است، بنابراین چهارده میکروسرویس بدون شکستن یکدیگر یا ساخت دستی فرمتهای ارتباطی، تکامل مییابند. - Raft (etcd-raft) + gossip SWIM — یک تقسیمبندی عمدی: Raft حالتهایی را حمل میکند که *باید* بهشدت سازگار باشند، در حالی که gossip SWIM عضویت و کشف را در مقیاسهایی که اجماع بیش از حد سنگین است، مدیریت میکند.
- PostgreSQL ۱۶، Redis ۷، etcd v۳٫۵، SQLite — انبار داده مناسب برای هر کار: پستگرس برای حالت رابطهای پایدار، Redis برای کش داغ، etcd برای هماهنگی، و SQLite تعبیهشده برای رجیستری محلی کارهای HXC در گره.
- NATS ۲٫۱۰ (JetStream)، Kafka ۴٫۰ (KRaft)، RabbitMQ ۳٫۱۳ — سه ستون پیامرسانی برای سه نوع ترافیک: NATS/JetStream برای رویدادهای داخلی سریع، Kafka برای جریانهای با توان عملیاتی بالا و پایدار، RabbitMQ برای معناشناسی کلاسیک بروکر.
- شبکه وایرگارد + ML-KEM-۷۶۸/X۲۵۵۱۹ + AES-۲۵۶-GCM/ChaCha۲۰-Poly۱۳۰۵ + HKDF — وایرگارد برای یک شبکه گرهبهگره سبک، پیچیدهشده در یک دستدهی ترکیبی پساکوانتومی و رکوردهای AEAD تا انتقال در برابر مهاجمان کلاسیک و کوانتومی محرمانه بماند.
- SPIFFE + JWT (HS۲۵۶) + RBAC مبتنی بر محدوده + OPA — هویت و مجوزدهی لایهای: SPIFFE برای هویت بار کاری، JWT برای توکنها، RBAC مبتنی بر محدوده برای دسترسی درشتدانه، و OPA برای بیان سیاستهای ریزدانه بهعنوان کد.
- Prometheus v۲٫۵۰، Grafana ۱۰٫۴، Jaeger ۱٫۵۵، ردیابی W۳C — معیارها، داشبوردها و ردیابی توزیعشده با انتشار زمینه W۳C، تا یک درخواست بتواند در سراسر سرویسها و لایههای سختافزاری دنبال شود.
- HashiCorp Vault ۱٫۱۶ — اسرار و مواد کلیدی دور از کد و پیکربندی نگه داشته شده و تحت حسابرسی صادر میشوند.
- Docker Compose، Kubernetes (kustomize، securityContext سختشده)، Helm — Compose برای راهاندازی محلی و Kubernetes/Helm با securityContextهای سختشده برای استقرارهای واقعی، یک تعریف که در تمام محیطها ارتقا مییابد.
- React + TypeScript + Vite (Node ۲۰+) — یک رابط کاربری وب سریع و تایپ-امن برای جلسات، ترمینالها و بهرهبرداری از استخر.
- TLA+ — مشخصات رسمی ثابتهای اجماع و زمانبندی، تا ویژگیهای دشوارآزمایش در سطح طراحی پیش از پیادهسازی اثبات شوند.
محتوا
- وضعیت: در حال توسعه. نسخهٔ فعلی اولیه است (
۰٫۱٫۰-dev). چندین قابلیت پیشرفته — از جمله استنتاج چندگرهای محرمانه با رفتوبرگشت کامل، تسویه بازار و جمعیتدهی زمانبندی مبتنی بر گواهی — در مخزن بهصراحت با برچسب «برنامهریزیشده / زیرساختی» مشخص شدهاند و بهعنوان قابلیتهای کاملاً عملیاتی ارائه نمیشوند. ارقام پوششدهی خوداظهاری هستند. - مجوز: نامشخص. بهروشنی اعلام نشده است؛ نمودار
Helmشامل نشانیهایHelixCluster/HelixClusterوhelixcluster.ioبهعنوان جایگزینهای تأییدنشدهای هستند که با مخازن واقعی مطابقت ندارند. - پروژههای پشتهٔ
LLMهمراهشده (شاملLLMOrchestrator،LLMProviderوLLMsVerifier) زیرماژولهای جداگانهای هستند و نه سرورهای مدل میزبانیشده درون خوشه.
سطح اولویت: Helix-اصلی (خوشهٔ زیرساختی LLM — بستری محاسباتی که میتواند بارهای کاری استنتاج و محاسباتی را میزبانی کند). پس از HelixTrack قرار دارد.