Ceremi Soller (), əməliyyat sisteminin yaradıcısı , Rust dilində yazılmış, System76 Galaga Pro noutbukunda Redoksun uğurlu istifadəsi haqqında (Jeremy Soller System76-da işləyir). Artıq tam işlək olan komponentlərə klaviatura, toxunma paneli, yaddaş (NVMe) və Ethernet daxildir.
Redox ilə laptopda təcrübə aparmaq artıq sürücünün işini yaxşılaşdırıb, bəzi proqramlara HiDPI dəstəyi əlavə edib və Live şəkillərdən Redox-u quraşdırmağı asanlaşdıran pkgar kimi yeni komponentlər yaradıb. Hazırda diqqət mərkəzində olan vəzifələr arasında sistemi öz-özünə qurmaq bacarığına nail olmaq (Redoks-əsaslı mühitdən Redoks qurmaq) daxildir. Bir neçə aydan sonra Soller rustc kompilyatoru ilə bağlı bəzi təkmilləşdirmələrdən sonra kompüterlərdən birində Redoks əsaslı mühitdən Redox-un tam zamanlı inkişafına keçməyi planlaşdırır.
Redox-da istifadə edilən mikrokernel konsepsiyası sürücünün işlənməsini asanlaşdırır, çünki sürücü alt sistemi əməliyyatı dayandırmadan yenidən tərtib edilə və yenidən işə salına bilər. Redoks-əsaslı mühitdə inkişafın proqram təminatının daşınması və aparat təminatı məsələlərinin səmərəliliyini artıracağı gözlənilir. Məsələn, USB yığınını tam şəkildə inkişaf etdirmək və qrafika drayverlərini əlavə etmək planları davam edir.
Xatırladaq ki, əməliyyat sistemi Unix fəlsəfəsinə uyğun olaraq inkişaf edir və bəzi ideyaları SeL4, Minix və Plan 9-dan götürür. Redoks mikrokernel konsepsiyasından istifadə edir, burada nüvə yalnız proseslərarası əlaqəni və resursların idarə olunmasını təmin edir, digər bütün funksionallıqlar həm nüvə, həm də istifadəçi proqramları tərəfindən istifadə oluna bilən kitabxanalara çıxarılır. Bütün sürücülər təcrid olunmuş sandbox mühitlərində istifadəçi məkanında işləyir. Mövcud proqramlarla uyğunluq üçün bir çox proqramın daşınmadan işləməsinə imkan verən xüsusi POSIX qatı təmin edilir.
Sistem "hər şey URL-dir" prinsipindən istifadə edir. Məsələn, "log://" URL-i giriş üçün, "avtobus://" proseslərarası əlaqə üçün, "tcp://" şəbəkə rabitəsi üçün və s. Sürücülər, nüvə genişləndirmələri və ya istifadəçi proqramları kimi həyata keçirilə bilən modullar URL işləyicilərini qeydiyyatdan keçirə bilər. Məsələn, siz I/O portuna giriş modulu yaza və onu "port_io://" URL-inə bağlaya bilərsiniz, bundan sonra "port_io://60" URL-ni açaraq 60-cı porta daxil olmaq üçün istifadə edilə bilər. Layihə inkişafları pulsuz MIT lisenziyası altında.
Redox-da istifadəçi mühiti öz qrafik qabığına əsaslanır (ilə qarışdırılmamalıdır qabıq , Qt və Wayland istifadə edərək) və alətlər dəsti Flutter, React və Redux-a bənzər bir API təmin edən. İstifadə edir Layihə də özünü inkişaf etdirir , standart utilitlər dəsti (binutils, coreutils, netutils, extrautils), komanda qabığı , standart C kitabxanası , vim kimi mətn redaktoru , şəbəkə yığını və fayl sistemi , ZFS ideyaları əsasında hazırlanmışdır (ZFS-in Rust dilində yazılmış modul versiyası). Konfiqurasiya dildə göstərilmişdir .
Mənbə: opennet.ru
