Redox, güvenlik, kararlılık ve performansa odaklanan Rust programlama dilinde yazılmış Unix benzeri bir mikro çekirdek işletim sistemidir.[3][4][5] 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.[6] 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.[3] 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:
Tarih
Redox, Jeremy Soller tarafından oluşturuldu ve ilk olarak 20 Nisan 2015'te GitHub'da yayımlandı.[7] Temmuz 2021 itibarıyla, Redox deposunda toplam 79 katılımcı vardı.[8]
Kaynakça
Dış bağlantılar