প্রকল্প সম্পর্কে

Takibi একটি রিসার্চ প্রোটোটাইপ যা একটি কাস্টম সিস্টেমস ল্যাঙ্গুয়েজ এবং একটি সংশ্লিষ্ট মনোলিথিক কার্নেল নিয়ে গঠিত। এই প্রকল্পের লক্ষ্য হলো টাইপ সিস্টেমের মধ্যে সরাসরি বাধ্যবাধকতাগুলো এনকোড করার মাধ্যমে কার্নেল-লেভেলের সাধারণ ফেইলিওরগুলো—যেমন বাফার ওভারফ্লো, রিসোর্স লিক এবং কনটেক্সট ভায়োলেশন—দূর করা। মূল কারিগরি বৈশিষ্ট্যগুলোর মধ্যে রয়েছে: - ল্যাঙ্গুয়েজ ডিজাইন: প্রমাণিত অ্যারে ইনডেক্সের জন্য রিফাইনমেন্ট টাইপ, রিসোর্স ম্যানেজমেন্টের জন্য অ্যাফাইন এবং লিনিয়ার ওনারশিপ, এবং এক্সিকিউশন কনটেক্সট (যেমন ব্লকিং বনাম ইন্টারাপ্ট কনটেক্সট) ট্র্যাক করার জন্য একটি ইফেক্ট সিস্টেম বাস্তবায়ন করা হয়েছে। - কম্পাইলার: এটি OCaml-এ লেখা এবং নেটিভ কোড জেনারেশনের জন্য LLVM 19 ব্যবহার করে। - কার্নেল সক্ষমতা: কার্নেলটি Linux-ABI কম্প্যাটিবল, যা এটিকে বিদ্যমান AArch64 ELF বাইনারিগুলো চালাতে সক্ষম করে। এটি লিনাক্স সিস্টেম কলের একটি সাবসেট, ডিমান্ড-গ্রোন পেজ টেবিল, কপি-অন-রাইট এবং একটি ext2 রুট ফাইলসিস্টেম সমর্থন করে। - নেটওয়ার্কিং: এতে নিজস্ব TCP/IP স্ট্যাক রয়েছে যা ARP, IPv4/IPv6, ICMP এবং TCP সমর্থন করে। - হার্ডওয়্যার সাপোর্ট: এটি QEMU/AArch64 এবং Raspberry Pi 5-এ বুট হয়, যা Alpine BusyBox চালাতে এবং HTTPd-এর মাধ্যমে ফাইল সার্ভ করতে সক্ষম। এই প্রকল্পটি একটি রিসার্চ ভেহিকল হিসেবে কাজ করে যা অন্বেষণ করে যে কীভাবে একটি ল্যাঙ্গুয়েজকে বাস্তব বিশ্বের সিস্টেম প্রোগ্রামিং সমস্যা সমাধানের জন্য বিবর্তিত করা যায়, যাতে রানটাইম ট্র্যাপ থেকে সরে এসে সঠিকতার স্ট্যাটিক প্রুফ বা প্রমাণ towards যাওয়া যায়।