इस प्रोजेक्ट के बारे में

Takibi एक रिसर्च प्रोटोटाइप है जिसमें एक कस्टम सिस्टम्स लैंग्वेज और एक संबंधित मोनोलिथिक कर्नल शामिल है। इस प्रोजेक्ट का उद्देश्य बफर ओवरफ्लो, रिसोर्स लीक और कॉन्टेक्स्ट उल्लंघन जैसी सामान्य कर्नल-स्तर की विफलताओं को सीधे टाइप सिस्टम में एनकोड करके समाप्त करना है। मुख्य तकनीकी विशेषताओं में शामिल हैं: - लैंग्वेज डिज़ाइन: यह प्रमाणित एरे इंडेक्स के लिए रिफाइनमेंट टाइप्स, रिसोर्स मैनेजमेंट के लिए एफाइन और लीनियर ओनरशिप, और एक्जीक्यूशन कॉन्टेक्स्ट्स (जैसे, ब्लॉकिंग बनाम इंटरप्ट कॉन्टेक्स्ट) को ट्रैक करने के लिए एक इफेक्ट सिस्टम लागू करता है। - कंपाइलर: इसे OCaml में लिखा गया है और नेटिव कोड जनरेशन के लिए LLVM 19 का उपयोग करता है। - कर्नल क्षमताएं: कर्नल Linux-ABI संगत है, जिससे यह मौजूदा AArch64 ELF बाइनरी को चलाने में सक्षम है। यह Linux syscalls के एक सबसेट, डिमांड-ग्रोन पेज टेबल्स, कॉपी-ऑन-राइट और एक ext2 रूट फाइलसिस्टम का समर्थन करता है। - नेटवर्किंग: इसमें अपना स्वयं का TCP/IP स्टैक है जो ARP, IPv4/IPv6, ICMP और TCP का समर्थन करता है। - हार्डवेयर सपोर्ट: यह QEMU/AArch64 और Raspberry Pi 5 पर बूट होता है, और Alpine BusyBox चलाने तथा HTTPd के माध्यम से फाइलें सर्व करने में सक्षम है। यह प्रोजेक्ट एक रिसर्च वाहन के रूप में कार्य करता है ताकि यह पता लगाया जा सके कि वास्तविक दुनिया की सिस्टम प्रोग्रामिंग समस्याओं को हल करने के लिए एक भाषा को कैसे विकसित किया जा सकता है, जिससे रनटाइम ट्रैप्स के बजाय शुद्धता के स्टैटिक प्रूफ की ओर बढ़ा जा सके।