Redox (işletim sistemi)

Redox, güvenlik, kararlılık ve performansa odaklanan Rust programlama dilinde yazılmış Unix benzeri bir mikro çekirdek işletim sistemidir. Redox güvenli, kullanılabilir ve özgür olmayı amaçlar. Redox, SeL4, MINIX, Plan 9 ve BSD gibi önceki çekirdeklerden ve işletim sistemlerinden esinlenmiştir. GNU ve BSD'ye benzer, ancak bellek açısından güvenli bir dilde yazılmıştır. MIT Lisansı altında dağıtılan ücretsiz ve açık kaynaklı bir yazılımdır .

Redox, adını kimyadaki indirgeme-yükseltgenme reaksiyonlarından alır; bir redoks reaksiyonu, pas olarak da adlandırılan demirin korozyonudur .

Tasarım 
Redox işletim sistemi güvenli olacak şekilde tasarlanmıştır. Bu, iki tasarım kararına yansır:

 Uygulama için Rust programlama dilinin kullanılması
 MINIX'e benzer bir mikro çekirdek tasarımı kullanılması

Bileşenler 
Redox, birlikte işlevsel bir işletim sistemi oluşturan paketler ( bellek ayırıcı, dosya sistemi, ekran yöneticisi, temel yardımcı programlar, vb.) sağlar. Redox, proje üyeleri tarafından Rust'ta yazılmış bir yazılım ekosistemine dayanır.

 Redox kernel – MINIX'ten esinlenerek mikro çekirdek konseptinden türemiştir
 Ralloc – bellek ayırıcı
 TFS dosya sistemi – ZFS dosya sisteminden ilham almıştır
 İyon kabuğu - Redox'ta kabuklar ve komut yürütme için temel kitaplık ve varsayılan kabuk
 pkgutils - paket yöneticisi
 Orbital pencere sistemi - görüntüleme ve pencere yöneticisi, yörüngeyi ayarlar: şema, ekranı yönetir ve pencere oluşturma, yeniden çizme ve olay yoklama isteklerini işler
 relibc – C standart kitaplığı

Komut satırı uygulamaları 
Redox, aşağıdakiler dahil olmak üzere komut satırı arabirimi (CLI) programlarını destekler:

 Sodium – sözdizimi vurgulama sağlayan vi benzeri düzenleyici
 Rusthello – gelişmiş Reversi yapay zekası ; oldukça eşzamanlıdır ve Redox'un çoklu okuma yeteneklerinin kanıtı olarak hizmet eder; kaba kuvvet, minimaks, yerel optimizasyonlar ve hibrit yapay zekalar gibi çeşitli yapay zeka stratejilerini destekler

Görsel uygulamalar 
Redox, aşağıdakiler dahil olmak üzere grafiksel kullanıcı arabirimi (GUI) programlarını destekler:

 NetSurf - kendi düzen motorunu kullanan hafif bir web tarayıcısı
 Calculator – Windows Hesap Makinesi programına benzer işlevler sağlayan bir yazılım hesap makinesi
 Editor – basit metin düzenleyici, Microsoft Not Defteri'ne benzer
 File Browser - dosyalar için simgeleri, adları, boyutları ve ayrıntıları görüntüleyen bir dosya yöneticisi ; dosyaları tıklatıldıklarında açmak için başlatıcı komutunu kullanır
 Image Viewer– Basit dosya türleri için resim görüntüleyici
 Pixelcannon - 3B oluşturucu, Orbital masaüstünü karşılaştırmak için kullanılabilir
 Orbterm – ANSI tipi terminal emülatörü

Tarih 
Redox, Jeremy Soller tarafından oluşturuldu ve ilk olarak 20 Nisan 2015'te GitHub'da yayımlandı. Temmuz 2021 itibarıyla, Redox deposunda toplam 79 katılımcı vardı.

Kaynakça

Dış bağlantılar 

 
 Official GitLab instance 
 
 Redox at Open Hub

Unix türevleri
MIT Lisansı kullanan yazılımlar
Mikro çekirdek tabanlı işletim sistemleri
Özgür işletim sistemleri