سیستم‌عامل Redox (ساختاری نو، وفادار به یونیکس، متفاوت با لینوکس)

معرفی کوتاه، فلسفه و اهداف:

ریداکس (Redox) که این روزها صدا کرده و نوآوری‌هایی داشته که نظر اهل علم و محافل آکادمیک رو به خودش جلب کرده. از مواردی که ریداکس روی اون دست گذاشته ایمنی، آزادی، دوام و پایایی، دوری از نقص/خطا و عملیاتی بودن هستند و از اهدافی که این سیستم‌عامل مدرن و جذاب دنبال می‌کند امنیت و آزادی هست.

ریداکس اجرا شده با اوربیتال
ریداکس اجرا شده با اوربیتال

Redox OS در تعارض با لینوکس؟

قدرت سیستم‌عامل ریداکس برخاسته از زبان Rust هست و بر خلاف هستهٔ لینوکس، بر اساس معماری میکروکرنل بنا شده. در لینوکس همه‌چیز فایل یا file-like objects هستند امّا در ریداکس تقریبا همه‌چیز لینک هست. شاید یک سؤال پیش اومده برای شما: آیا با بهای استفاده از ریداکس زدن قید برنامه‌های لینوکس و استفاده نکردن از آن‌ها خواهد بود؟ خیر.

بسیاری از برنامه‌ها و دستورات یونیکس و لینوکس در ریداکس کاربرد دارند و ریداکس بر مبنای POSIX به جلو می‌رود. نکتهٔ جالبی که در داستان ریداکس به اون‌ها اشاره شده الهام‌گیری این سیستم‌عامل هست از پروژه‌های متن‌بازی که دنیا را تکان دادند همانند: سیستم‌عامل BSD، مینیکس (لازم به ذکر هست که ریداکس بیشترین الهامات خود را از مینیکس گرفته)، لینوکس و Plan 9.

چه لزومی به به یک سیستم‌عامل جدید بود؟ ریداکس برای این پرسش پاسخ زیبایی داره و اشاره می‌کنه به system call هایی قدیمی و مشکلات امنیتی موجود که دائم باید روی اون‌ها تمرکز کرد که به واسطهٔ استفاده از زبان C پدید میان، مشکلات مربوط به امنیت حافظه و معماری مونولیثیک و کدهای فراوان موجود (کدهای کمتر ولی کارگشا در هسته کار رو برای رفع باگ و ایرادهای احتمالی آسون‌تر می‌کنه) و یکپارچه که مشکل‌ساز می‌شوند.

ساختار سیستم‌عامل مونولوثیک (چپ) در مقابل سیستم‌عامل بر مبنای میکروکرنل
ساختار سیستم‌عامل مونولوثیک (چپ) در مقابل سیستم‌عامل بر مبنای میکروکرنل


می‌بینیم که جدید بودن و رنگ تازگی داشتن به معنای ضعف نخواهد بود و ریداکس از ۳۱ سیستم‌کال پراستفاده موجود در لینوکس پشتیبانی می‌کنه و حس اعتماد رو برای کاربران جدید این سیستم عامل پدید آورده.


آیا این سیستم‌عامل از پردازشگرهای x86-64 پشتیبانی می‌کنه؟ بله.

ریداکس منکر طراحی امن لینوکس یا بی‌اس‌دی نیست بلکه اشاره می‌کنه که چیدن و ساختن این هسته‌ها و ابزارهای متعلق به وسیله زبان‌هایی مثل C سبب بروز اشکالات امنیتی زیادی می‌شود. در اینجا استناد می‌کنیم به آسیب‌پذیری‌های کرنل لینوکس، کتابخانهٔ C در گنو، بش و سرور اکس.

ریداکس جدای از Redox Kernel چه چیزی به شما می‌دهد:

برنامهٔ ماشین حساب و رابط کاربری استفاده شده از OrbTK
برنامهٔ ماشین حساب و رابط کاربری استفاده شده از OrbTK

در پایان ذکر میکنم که ریداکس با پروانهٔ MIT عرضه می‌شود. برای اطلاع بیشتر مراجعه کنید به:

https://www.redox-os.org/docs/