गिनक्स: चयनात्मक लिनक्स संगतता के लिए उपयोगकर्ता‑स्थान कर्नेल

गिनक्स एक कॉन्फ़िगरेबल उपयोगकर्ता‑स्थान कर्नेल है जो सामान्य लिनक्स प्रक्रिया के रूप में चलता है और प्रबंधित कार्यभार और होस्ट कर्नेल के बीच स्पष्ट, संस्करण‑युक्त अनुबंध स्थापित करता है।

पृष्ठभूमि

• मूल रूप से एक स्वतंत्र रस्ट कर्नेल था जो UEFI के माध्यम से बूट होता था और एक रॉकी लिनक्स 10 उपयोगकर्ता‑स्थान चलाता था।
• शोध चरण समाप्त हो चुका है; अंतिम स्रोत *bootable-kernel* शाखा और *bootable-kernel-final* टैग पर उपलब्ध है।
• वर्तमान विकास एक उपयोगकर्ता‑स्थान कर्नेल पर केंद्रित है जिसे सामान्य लिनक्स प्रक्रिया से लॉन्च किया जा सकता है।

डिज़ाइन लक्ष्य

• लिनक्स ABI को संरक्षित करना: लिनक्स को उपयोगकर्ता स्थान को नहीं तोड़ना चाहिए। गिनक्स प्रत्येक उदाहरण को एक छोटा, स्पष्ट अनुबंध प्रदान करता है।
• स्पष्ट, संस्करण‑युक्त सीमाएँ: प्रत्येक सिस्टम कॉल को अनुबंध के आधार पर या तो अनुकरण, मध्यस्थता, या अस्वीकार किया जाता है।
• एआई एजेंटों के लिए कंटेनमेंट: ऑपरेटर एक एजेंट को ऐसे उदाहरण में रख सकते हैं जो केवल कार्य के लिए आवश्यक संचालन और वर्चुअल संसाधन उजागर करता है।

मुख्य घटक

• x86‑64 इंटरप्रेटर के साथ संतुलित मूल ptrace बैकएंड।
• सख्त, संस्करण‑युक्त उदाहरण कॉन्फ़िगरेशन और जीवन‑चक्र।
• डाइजेस्ट‑पिन्ड OCI रूट, अपरिवर्तनीय फ़ाइलसिस्टम इंडेक्स, सीमित ओवरले।
• गिनक्स‑स्वामित्व वाले प्रक्रिया, क्रेडेंशियल, सिग्नल, समकालिकता, टाइमर, और इवेंट मॉडल।
• स्पष्ट असाइनमेंट, स्वामित्व, और रद्दीकरण के साथ वर्चुअल डिवाइस।
• सीमित वर्चुअल /proc, /sys, cgroup v2, माउंट, नेमस्पेस, मशीन, और बूट‑पहचान दृश्य।
• होस्ट‑शेयर नेटवर्क बैकएंड जो अभी भी सिस्टम कॉल‑मध्यस्थता पर निर्भर है।
• पिन्ड रॉकी लिनक्स 10 systemd बेसलाइन जो *multi‑user.target* तक पहुँचता है।

उपयोग

1. बिल्ड और रन: `make run-host` QEMU रॉकी होस्ट को बूट करता है और आपको उसके शेल में लॉग इन करता है।
2. उदाहरण बनाएं: `ginux instance create rocky` पिन्ड रॉकी OCI इमेज डाउनलोड और सत्यापित करता है।
3. इंटरैक्ट: रूट के रूप में लॉग इन करें (`password: ginux`), अन्वेषण करें, और `Ctrl‑]` से डिटैच करें।
4. शटडाउन: `kill -RTMIN+4 1` systemd को रोकता है और होस्ट पर लौटता है।

वर्तमान स्थिति

• गिनक्स शोध सॉफ़्टवेयर है; इसे स्वतंत्र सुरक्षा प्रमाणन नहीं मिला है।
• यह पूर्ण लिनक्स संगतता प्रदान नहीं करता और उत्पादन कार्यभार के लिए तैयार नहीं है।
• अनुबंध सूची, कॉन्फ़िगरेबल नीति, विरोधी परीक्षण, प्रदर्शन लागत, और पलायन सीमाएँ HDAE गेट्स के माध्यम से ट्रैक की जाती हैं।

सत्यापन

• अनुबंध उदाहरण परिभाषा का हिस्सा है; लॉन्च से पहले इसे मान्य करें।
• `make demo-gate-9` और `make test-systemd-interactive` लक्ष्य स्वचालित प्रतिगमन परीक्षण प्रदान करते हैं।
• पूर्ण इरादा, खतरे का मॉडल, और गेट योजना `hdae/` निर्देशिका में उपलब्ध है।

लाइसेंसिंग

गिनक्स Apache License 2.0 के तहत उपलब्ध है।

मुख्य निष्कर्ष

• गिनक्स कार्यभार और होस्ट कर्नेल के बीच नियंत्रित, स्पष्ट सीमा प्रदान करता है।
• यह एआई एजेंटों और अन्य स्वचालित सॉफ़्टवेयर के कंटेनमेंट के लिए प्रयोगात्मक रूप से उपयोगी है।
• उत्पादन उपयोग के लिए आगे विकास और स्वतंत्र सुरक्षा मूल्यांकन आवश्यक है।