ردوکس

ردوکس (سیستم عامل). ردوکس یک سیستم عامل میکروکرنل شبه یونیکس است که با زبان برنامه نویسی راست نوشته شده و بر ایمنی، پایداری و عملکرد تمرکز دارد. [ ۴] [ ۵] [ ۶] هدف ردوکس امن، قابل استفاده و رایگان بودن است و از هسته ها و سیستم عامل های قبلی مانند SeL4، مینیکس، پلان ۹ و بی اس دی الهام گرفته شده است. این سیستم عامل شبیه به گنو و بی اس دی است، اما به زبان مناسب برای حافظه نوشته شده است. [ ۷] این نرم افزار منبع بازو رایگان است که تحت مجوز ام آی تی منتشر شده است.
ردوکس نام خود را از واکنش های اکسایش - کاهش در شیمی گرفته است. یکی از واکنش های ردوکس، خوردگی آهن است که زنگ نیز نامیده می شود.
سیستم عامل ردوکس با هدف امنیت طراحی شده است. [ ۴] این در دو تصمیم طراحی این سیستم عامل منعکس شده است:
• استفاده از زبان برنامه نویسی راست برای پیاده سازی
• استفاده از طراحی ریزهسته، مشابه مینیکس
ردوکس بسته هایی را ارائه می دهد ( تخصیص دهنده حافظه، سیستم فایل بندی، مدیر نمایش، ابزارهای اصلی و غیره ) که با هم یک سیستم عامل کاربردی را تشکیل می دهند. ردوکس متکی بر اکوسیستم نرم افزاری است که توسط اعضای پروژه به زبان راست نوشته شده است.
• هسته ردوکس – برگرفته از مفهوم ریزهسته ها، با الهام از مینیکس
• Ralloc - تخصیص دهنده حافظه
• سیستم فایل TFS – با الهام از سیستم فایل زی اف اس
• پوسته یونی – کتابخانه زیربنایی برای شل ها و اجرای دستورهای در ردوکس و پوسته پیش فرض
• pkgutils – مدیر بسته
• سیستم پنجره سازی مداری - نمایشگر و مدیر پنجره، طرح مداری را تنظیم می کند، نمایشگر را مدیریت می کند و درخواست های ایجاد پنجره، ترسیم مجدد و نظرسنجی رویداد را رسیدگی می کند.
• relibc – کتابخانه استاندارد C
ردوکس از برنامه های رابط خط فرمان ( CLI ) پشتیبانی می کند، از جمله:
• ویرایشگر سدیم – مشابه وی که برجسته سازی سینتکس را فراهم می کند
• Rusthello – هوش مصنوعی رورسی پیشرفته؛ بسیار همرونداست و به عنوان اثبات توانایی های چند رشته ای ردوکس عمل می کند. از استراتژی های هوش مصنوعی مختلف مانند brute force, minimax، بهینه سازی های محلی و هوش مصنوعی ترکیبی پشتیبانی می کند.
ردوکس از برنامه های رابط کاربری گرافیکی ( GUI ) پشتیبانی می کند، از جمله:
• NetSurf - یک مرورگر وب سبک وزن که از موتور طرح بندی خود استفاده می کند.
• ماشین حساب - یک ماشین حساب نرم افزاری که عملکردهایی مشابه برنامه ماشین حساب ویندوز ارائه می دهد.
• ویرایشگر – ویرایشگر متن ساده، مشابه نوت پد ویندوز
• مرورگر فایل – یک مدیر فایل که نمادها، نام ها، اندازه ها و جزئیات فایل ها را نمایش می دهد. از دستور لانچر برای باز کردن فایل ها هنگام کلیک کردن بر روی آنها استفاده می کند
• نمایشگر تصویر - نمایشگر تصویر برای انواع فایل های ساده
• Pixelcannon – رندر سه بعدی، می تواند برای محک زدن دسکتاپ Orbital استفاده شود
• Orbterm – شبیه ساز ترمینال نوع ANSI