Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Minix 3, Unix benzeri bir küçük bir işletim sistemidir. BSD-3-Lisansı altında yayınlanır ve önceki sürümler olan Minix 1 ve 2'nin devamı niteliğinde bir projedir.
 | |
 Pencere Yöneticisi olarak ile X11 çalıştıran Minix 3 | |
| Geliştirici(ler) | Andrew S. Tanenbaum et al. |
|---|---|
| İşletim sistemi ailesi | Unix-benzeri |
| Kaynak türü | Açık-kaynak |
| Lisans | 2005: Original: |
| Çekirdek türü | Mikroçekirdek |
| Platform desteği | IA-32, ARM |
| Öncülü | Minix 1.0, 1.5 and 2.0 |
| Minix, NetBSD | |
| Kullanıcı arayüzü | Almquist shell/ash |
| Web sitesi | minix3.org |
| Dil sayısı | İngilizce |
Projenin ana hedefi, sistemin herhangi bir kullanıcı müdahalesi olmadan anında tespit edilip onarılarak sistemin arızaya dayanıklı hale getirilmesidir. Sistemin temel kullanımlarının gömülü sistemler ve eğitim olması öngörülmektedir.
(2017 itibarıyla), Minix 3, IA-32 ve ARM mimarili işlemcileri destekler. Bochs, VMware Workstation, Microsoft Virtual PC, Oracle VirtualBox ve QEMU gibi emülatörler veya sanal makineler üzerinde de çalışabilir. PowerPC mimarisi için bir port geliştirme aşamasındadır.
Dağıtım, canlı bir CD'de gelir ve canlı USB kurulumunu desteklemez.
Minix 3'ün, Skylake ve Kaby Lake işlemcilerle birlikte kullanılan ME 11'in piyasaya sürülmesinden başlayarak Intel'in Platform Denetleyici Merkezinde bulunan Intel Management Engine (ME) işletim sistemine ilham verdiğine inanılıyor.
Intel ME'de kullanılması nedeniyle Minix'in Microsoft Windows, Linux veya macOS'tan daha fazla kurulumla x86 / AMD64 işlemcilerde en yaygın kullanılan işletim sistemi olabileceği tartışıldı.
Minix 3 tartışma grubu hala aktif olmasına rağmen, proje 2018'den beri atıl durumdadır ve en son sürüm 2017'den 3.4.0 rc6'dır
Projenin hedefleri
Bir sürücünün (Minix'in yaratıcısı Tanenbaum'a göre normal bir programa göre yaklaşık 3-7 kat daha fazla hataya sahip olan) tüm sistemi çökertebileceği yekpare çekirdek tabanlı sistemlerin doğasını düşünerek, Minix 3, "güvenilir, kendi kendini iyileştiren, çok sunuculu Unix klonu" olan bir işletim sistemi oluşturmayı amaçlar.
Bunu başarmak için, dosya sunucusu, işlem sunucusu ve her bir aygıt sürücüsü ayrı kullanıcı modu işlemleri olarak çalışırken, çekirdekte çalışan kod minimum düzeyde olmalıdır. Her sürücü, reenkarnasyon sunucusu adı verilen sistemin bir bölümü tarafından dikkatle izlenir. Bir sürücü bu sunucudan gelen pinglere yanıt veremezse kapatılır ve sürücünün yeni bir kopyası ile değiştirilir.
Monolitik bir sistemde, bir sürücüdeki bir hata, tüm çekirdeği kolaylıkla çökertebilir. Bunun Minix 3'te olma olasılığı çok daha düşüktür
Tarih
| Release date | Description | |
|---|---|---|
| 3.1.0 (OSDI3) | 2005-10-18 |
|
| 3.1.1 (SOSP) | 2005-10-24 |
|
| 3.1.2 | 2006-04-18 |
|
| 3.1.2a | 2006-05-29 |
|
| 3.1.3 | 2007-04-13 |
|
| 3.1.3a | 2007-06-08 |
|
| 3.1.4 | 2009-06-09 |
|
| 3.1.5 | 2009-11-05 |
|
| 3.1.6 | 2010-02-08 |
|
| 3.1.7 | 2010-06-16 |
|
| 3.1.8 | 2010-10-04 | |
| 3.2.0 | 2012-02-29 |
|
| 3.2.1 | 2013-02-21 |
|
| 3.3.0 | 2014-09-15 |
|
| 3.4.0 rc6 | 2017-05-09 | X11 is now part of the operating system. |
| ||
Minix 3, 24 Ekim 2005'te Andrew Tanenbaum tarafından Association for Computing Machinery (ACM) Sempozyumu İşletim Sistemleri İlkeleri konferansının zirvesindeki açılış konuşması sırasında kamuoyuna duyuruldu. Hala Tanenbaum ve Woodhull'un ders kitabının yeni baskısı için bir örnek teşkil etse de, "kaynak sınırlı ve gömülü bilgisayarlarda ve yüksek güvenilirlik gerektiren uygulamalarda ciddi bir sistem olarak kullanılabilir" olacak şekilde kapsamlı bir şekilde yeniden tasarlandı.
Başlangıçta, Minix'in 2000'den beri lisanslandığı aynı BSD-3-Clause lisansı altında yayınlandı. 2005 sonlarında telif hakkı sahibi değiştirildi ve dördüncü bir madde eklendi.
Güvenilirlik politikaları
Minix 3'ün ana hedeflerinden biri güvenilirliktir. Aşağıda, güvenilirliğini artıran daha önemli ilkelerden bazıları tartışılmaktadır.
Çekirdek boyutunun küçültülmesi
Linux ve FreeBSD gibi monolitik işletim sistemleri ve Windows gibi hibrit işletim sistemleri milyonlarca satırlık çekirdek koduna sahiptir. Buna karşılık, Minix 3'te yaklaşık 6.000 satır yürütülebilir çekirdek kodu vardır, bu kodda sorunların bulunmasını kolaylaştırabilir.
Böcekleri (hataları) kafesleyebilme
Monolitik çekirdeklerde, aygıt sürücüleri çekirdekte bulunur. Böylece yeni bir çevre birimi kurulduğunda çekirdeğe bilinmeyen, güvenilmeyen kod eklenir. Bir sürücüdeki hatalı bir kod satırı sistemi çökertebilir.
Bunun yerine, Minix 3'te her aygıt sürücüsü ayrı bir kullanıcı modu işlemidir. Sürücüler ayrıcalıklı yönergeleri yürütemez, sayfa tablolarını değiştiremez, isteğe bağlı (giriş/çıkış) (G/Ç) gerçekleştiremez veya mutlak belleğe yazamaz. Bu hizmetler için çekirdek çağrıları yapmaları gerekir ve çekirdek her yetki çağrısını kontrol eder.
Sürücülerin bellek erişimini sınırlayabilme
Monolitik çekirdeklerde, bir sürücü herhangi bir bellek sözcüğüne yazabilir ve böylece kazara kullanıcı programlarını bozabilir.
Minix 3'te, bir kullanıcı örneğin dosya sisteminden veri beklediğinde, kimin ve hangi adreslerde erişime sahip olduğunu söyleyen bir tanımlayıcı oluşturur. Daha sonra, bu tanımlayıcıya bir dizini, onu bir sürücüye iletebilecek olan dosya sistemine iletir. Dosya sistemi veya sürücü daha sonra çekirdeğe tanımlayıcı aracılığıyla yazmasını ister, bu da arabellek dışındaki adreslere yazmalarını imkansız hale getirir.
Kötü işaretçilerden kurtulabilme
Bir sürücü içindeki hatalı bir işaretçinin başvurusunun kaldırılması, sürücü sürecini çökertecektir, ancak bir bütün olarak sistem üzerinde hiçbir etkisi olmayacaktır. Reenkarnasyon sunucusu, çöken sürücüyü otomatik olarak yeniden başlatacaktır. Kullanıcılar bazı sürücüler için (örn. disk ve ağ) kurtarmayı fark etmeyeceklerdir ancak diğerleri için (örn. ses ve yazıcı) fark edebilirler. Monolitik çekirdeklerde, bir sürücüdeki hatalı bir işaretçinin başvurusunun kaldırılması normalde sistem çökmesine neden olur.
Sonsuz döngüleri işleyebilme
Bir sürücü sonsuz bir döngüye girerse, zamanlayıcı boşta kalana kadar önceliğini kademeli olarak düşürür. Sonunda reenkarnasyon sunucusu durum isteklerine yanıt vermediğini görecek, bu nedenle döngü sürücüsünü öldürecek ve yeniden başlatacaktır. Yekpare bir çekirdekte, bir döngü sürücüsü sistemi kilitleyebilir.
Arabellek taşmalarından kaynaklanan hasarı sınırlayabilme
Minix 3, belirli arabellek taşmalarını ve arabellek yönetimi sorunlarını ortadan kaldıran dahili iletişim için sabit uzunlukta mesajlar kullanır. Ayrıca, birçok istismar, saldırgan tarafından kontrol edilen belleğe, genellikle taşma arabelleğine işaret eden üzerine yazılmış bir yığın dönüş adresi kullanarak programı bir işlev çağrısından geri dönmesi için kandırmak üzere bir arabelleği taşarak çalışır. Minix 3'te, talimat ve veri alanı bölündüğü ve yürütülebilir alan koruması olarak adlandırılan yalnızca (salt okunur) talimat alanındaki kod yürütülebildiği için bu saldırı hafifletilir. Ancak, yasal olarak yürütülebilir belleğin kötü niyetli bir şekilde çalıştırılmasına dayanan saldırılar (libc'ye dönüş, geri dönüş yönelimli programlama ) bu hafifletme ile engellenmez.
Çekirdek işlevlerine erişimi kısıtlayabilme
Aygıt sürücüleri, çekirdek çağrıları yaparak çekirdek hizmetlerini (kullanıcıların adres alanlarına veri kopyalamak gibi) alır. Minix 3 çekirdeği, her sürücü için hangi çağrıları yapmaya yetkili olduğunu belirten bir bit haritasına sahiptir. Monolitik çekirdeklerde, her sürücü yetkili olsun ya da olmasın her çekirdek işlevini çağırabilir.
G/Ç bağlantı noktalarına erişimi kısıtlayabilme
Çekirdek ayrıca her sürücünün hangi (G/Ç bağlantı noktalarına) erişebileceğini söyleyen bir tablo tutar. Bu nedenle, bir sürücü yalnızca kendi G/Ç bağlantı noktalarına dokunabilir. Monolitik çekirdeklerde, hatalı bir sürücü başka bir aygıta ait G/Ç bağlantı noktalarına erişebilir.
İşletim sistemi bileşenleriyle iletişimi kısıtlayabilme
Her sürücü ve sunucunun diğer tüm sürücü ve sunucularla iletişim kurması gerekmez. Buna göre, işlem başına bir bit haritası, her işlemin hangi hedeflere gönderim yapabileceğini belirler.
Ölü veya hasta sürücüleri reenkarne edin
Reenkarnasyon sunucusu adı verilen özel bir işlem, her aygıt sürücüsüne düzenli aralıklarla ping gönderir. Sürücü ölürse veya pinglere doğru yanıt veremezse, reenkarnasyon sunucusu otomatik olarak onu yeni bir kopyayla değiştirir. Çalışmayan sürücülerin algılanması ve değiştirilmesi kullanıcının herhangi bir işlem yapmasına gerek kalmadan otomatik olarak yapılır. Bu özellik şu anda disk sürücüleri için çalışmamaktadır, ancak bir sonraki sürümde sistem, rastgele erişim belleğinde (RAM) gölgelenecek olan disk sürücülerini bile kurtarabilecektir. Sürücü kurtarma, çalışan işlemleri etkilemez.
Kesintileri ve mesajları entegre edebilme
Bir kesme meydana geldiğinde, düşük seviyede uygun sürücüye gönderilen bir bildirime dönüştürülür. Sürücü bir mesaj bekliyorsa, kesmeyi hemen alır; aksi takdirde, bir sonraki sefer bir mesaj almak için RECEIVE bildirim alır. Bu şema, iç içe kesintileri ortadan kaldırır ve sürücü programlamayı kolaylaştırır.
Mimari
Görülebileceği gibi, en alt seviyede, yaklaşık 4.000 satırlık koddan (çoğunlukla C'de ve az miktarda da Assembly dilinde) oluşan mikro çekirdek bulunur. Kesintileri, zamanlamayı ve ileti geçişini yönetir. Ayrıca, yetkili sunucuların ve sürücülerin yapabileceği yaklaşık 30 çekirdek çağrısından oluşan bir uygulama programlama arabirimini (API) destekler. Kullanıcı programları bu çağrıları yapamaz. Bunun yerine, sunuculara mesaj gönderen POSIX sistem çağrıları yapabilirler. Çekirdek çağrıları, kesmeleri ayarlamak ve adres alanları arasında veri kopyalamak gibi işlevleri yerine getirir.
Bir sonraki seviyede, her biri ayrı bir kullanıcı alanı işlemi olarak çalışan aygıt sürücüleri vardır. Her biri, disk veya yazıcı gibi bazı G/Ç aygıtlarını kontrol eder. Sürücülerin G/Ç bağlantı noktası alanına erişimi yoktur ve doğrudan G/Ç yönergeleri veremez. Bunun yerine, yazılacak G/Ç bağlantı noktalarının ve yazılacak değerlerin bir listesini veren çekirdek çağrıları yapmaları gerekir. Bunu yaparken küçük bir miktar ek yük olsa da (tipik olarak 500 ns), bu şema çekirdeğin yetkilendirmeyi kontrol etmesini mümkün kılar, böylece örneğin ses sürücüsü diske yazamaz.
Bir sonraki seviyede sunucular var. Bu, neredeyse tüm işletim sistemi işlevlerinin bulunduğu yerdir. Kullanıcı işlemleri, örneğin dosyaları açmak, kapatmak, okumak ve yazmak için dosya sunucusuna mesajlar göndererek dosya hizmeti alır. Buna karşılık, dosya sunucusu, diski kontrol eden disk sürücüsüne mesajlar göndererek disk G/Ç'sini gerçekleştirir.
Anahtar sunuculardan biri reenkarnasyon sunucusudur. Görevi, sağlıklarını periyodik olarak kontrol etmek için diğer tüm sunucuları ve sürücüleri yoklamaktır. Bir bileşen doğru şekilde yanıt vermezse veya çıkarsa veya sonsuz bir döngüye girerse, reenkarnasyon sunucusu (sürücülerin ve sunucuların ana işlemidir) hatalı bileşeni öldürür ve onu yeni bir kopyayla değiştirir. Bu sayede çalışan programlara müdahale etmeden sistem otomatik olarak kendi kendini onarır hale getirilir.
Şu anda reenkarnasyon sunucusu, işlem sunucusu ve mikro çekirdek, güvenilir bilgi işlem tabanının parçalarıdır. Bunlardan herhangi biri başarısız olursa, sistem çöker. Bununla birlikte, Linux ve Windows sistemlerinde olduğu gibi 3-5 milyon satır koddan güvenilir bilgi işlem tabanını yaklaşık 20.000 satıra düşürmek, sistem güvenilirliğini büyük ölçüde artırır.
Minix 3 ve önceki sürümler arasındaki farklar
Minix 1.0, 1.5 ve 2.0, insanların işletim sistemlerinin tasarımı hakkında bilgi edinmelerine yardımcı olacak araçlar olarak geliştirildi.
1987'de piyasaya sürülen Minix 1.0, 12.000 satır C ve biraz x86 derleme diliydi. Minix 1.0'ın çekirdeğinin, bellek yöneticisinin ve dosya sisteminin kaynak kodu kitapta basılıdır. Tanenbaum, Minix'i orijinal olarak o sırada mevcut olan IBM PC ve IBM PC/AT mikrobilgisayarlarıyla uyumluluk için geliştirdi.
1991'de piyasaya sürülen Minix 1.5, MicroChannel IBM PS/2 sistemleri için destek içeriyordu ve ayrıca Atari ST, Commodore Amiga, Apple Macintosh ve Sun Microsystems SPARCstation bilgisayar platformlarını destekleyen Motorola 68000 ve SPARC mimarilerine taşındı. SunOS altında bir kullanıcı işlemi olarak çalışan bir Minix sürümü de mevcuttu.
1997'de piyasaya sürülen Minix 2.0, yalnızca x86 ve Solaris tarafından barındırılan SPARC mimarileri için mevcuttu. Minix-vmd, iki Vrije Universiteit araştırmacısı tarafından oluşturuldu ve X Pencere Sistemi için sanal bellek ve destek eklendi.
Minix 3 de aynı şeyi yapar ve birçok yeni araç ve birçok Unix uygulamasıyla modern bir işletim sistemi sağlar. Prof. Tanenbaum bir keresinde şöyle demişti:
| “ | Lütfen MINIX 3'ün büyükbabanızın MINIX'i olmadığını unutmayın ... MINIX 1 bir eğitim aracı olarak yazılmıştır ... MINIX 3 ise bunun yanı sıra son derece güvenilir, kendi kendini iyileştiren, şişkinlikten arındırılmış bir işletim sistemi oluşturmaya yönelik bir başlangıçtır ... MINIX 1 ve MINIX 3, Windows 3.1 ve Windows XP ile aynı şekilde ilişkilidir: aynı ilk isim. | „ |
Minix 2 sürümünden bu yana çekirdeğin yapısında da birçok iyileştirme yapılarak sistem daha güvenilir hale getirildi. Minix sürüm 3.1.5, 5 Kasım 2009'da yayınlandı. X11, Emacs, vi, cc, GCC, Perl, Python, Almquist kabuğu, Bash, Z kabuğu, FTP istemcisi, SSH istemcisi, Telnet istemcisi, Pine ve 400'ün üzerinde diğer yaygın Unix yardımcı programlarını içerir. X11'in eklenmesiyle bu sürüm salt metin sisteminden geçişi işaret ediyor. Gelecekte geliştirilecek olan bu versiyonun bir başka özelliği de, sistemin aygıt sürücüsü çökmelerine dayanabilmesi ve çoğu durumda çalışan işlemleri etkilemeden bunları otomatik olarak değiştirebilmesidir. Bu sayede Minix kendi kendini onarır ve yüksek güvenilirlik gerektiren uygulamalarda kullanılabilir.
Minix 3.2.0, Şubat 2012'de yayınlandı. Bu sürüm, Clang derleyici, deneysel simetrik çoklu işlem desteği, procfs ve ext2fs dosya sistemi desteği ve GNU Hata Ayıklayıcı (GDB) dahil olmak üzere birçok yeni özelliğe sahiptir. Önyükleyici, libc ve çeşitli yardımcı programlar ve diğer kitaplıklar dahil olmak üzere NetBSD'nin çeşitli bölümleri de yayına entegre edilmiştir.
Minix 3.3.0, Eylül 2014'te piyasaya sürüldü. Bu sürüm, x86'ya ek olarak ARM mimarisini destekleyen ilk sürümdür. Ayrıca, kutudan çıkar çıkmaz çalışan binlerce NetBSD paketiyle bir NetBSD kullanıcı alanını da destekler.
Maskot
Rocky Raccoon, Minix 3'ün maskotudur.
MINIXCon
MINIXCon, Minix ile ilgili konuşmaların, çabaların ve araştırmaların paylaşıldığı bir konferanstır.
2016 yılında bir kez yapılmıştır. MINIXCon2017, sunulan görüşme eksikliği nedeniyle iptal edildi.
Ayrıca bakınız
- İşletim sistemi çekirdeklerinin karşılaştırılması
- MINIX dosya sistemi
- Bilgi işlem maskotlarının listesi
- Kategori:Bilgisayar maskotları
Not listesi
Kaynakça
- ^ . 24 Kasım 2005 tarihinde kaynağından arşivlendi. Erişim tarihi: 24 Kasım 2005.
- ^ corbet (24 Ekim 2005). . Lwn.net. 14 Aralık 2005 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Mayıs 2014.
- ^ . minix3.org. 24 Ekim 2005 tarihinde kaynağından arşivlendi. Erişim tarihi: 16 Nisan 2017.
- ^ . Woodhull.com. 4 Şubat 2006 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Mayıs 2014.
- ^ . OSNews.com. 27 Haziran 2004 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Mayıs 2014.
- ^ . Patrick.wagstrom.net. 12 Kasım 2013 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Mayıs 2014.
- ^ . Woodhull.com. 11 Aralık 2005 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Mayıs 2014.
- ^ . inopinion.org. 6 Ağustos 2014. 13 Temmuz 2015 tarihinde kaynağından arşivlendi.
- ^ (PDF). 27 Eylül 2007 tarihinde kaynağından (PDF) arşivlendi. Yazar
|ad1=eksik|soyadı1=() - ^ . Minix3. 26 Ekim 2005 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Mayıs 2014.
- ^ . blog.ptsecurity.com. 1 Temmuz 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 28 Ağustos 2017.
- ^ . GitHub. 28 Ağustos 2017. 28 Kasım 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 28 Ağustos 2017. Yazar
|ad1=eksik|soyadı1=() - ^ . 17 Haziran 2022 tarihinde kaynağından arşivlendi. Erişim tarihi: 6 Eylül 2022. Yazar
|ad1=eksik|soyadı1=() - ^ . git.minix3.org. 16 Ocak 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 3 Mayıs 2022.
- ^ . 25 Şubat 2013 tarihinde kaynağından arşivlendi.
- ^ . groups.google.com. 28 Ağustos 2021 tarihinde kaynağından arşivlendi. Erişim tarihi: 3 Mayıs 2022.
- ^ . OSnew. OSnews. 25 Eylül 2006. 16 Ekim 2006 tarihinde kaynağından arşivlendi. Erişim tarihi: 4 Temmuz 2008.
From Rebirth section: "Various studies have shown that software broadly contains something like 6-16 bugs per 1000 lines of code and that device drivers have 3-7 times as many bugs as the rest of the operating system. When combined with the fact that 70% of a typical operating system consists of device drivers, it is clear that device drivers are a big source of trouble. For Windows XP, 85% of the crashes are due to bugs in device drivers. Obviously, to make OSes reliable, something has to be done to deal with buggy device drivers. Building a reliable system despite the inevitable bugs in device drivers was the original driving force behind Minix 3."
Yazar|ad1=eksik|soyadı1=() - ^ . Csail.mit.edu. 4 Şubat 2012 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Mayıs 2014.
- ^ a b . Cs.vu.nl. 12 Mayıs 2006. 1 Haziran 2006 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Mayıs 2014.
- ^ . www.MINIX3.org. 1 Temmuz 2006 tarihinde kaynağından arşivlendi.
- ^ . Wiki.minix3.org. 7 Mart 2015 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Mayıs 2014.
- ^ . 11 Temmuz 2006 tarihinde kaynağından arşivlendi. Erişim tarihi: 16 Haziran 2021.
- ^ a b . GitHub. 7 Haziran 2023 tarihinde kaynağından arşivlendi. Erişim tarihi: 16 Haziran 2021.
- ^ a b . 9 Şubat 2007 tarihinde kaynağından arşivlendi. Erişim tarihi: 16 Haziran 2021.
- ^ a b . GitHub. 15 Haziran 2021 tarihinde kaynağından arşivlendi. Erişim tarihi: 16 Haziran 2021.
- ^ (PDF). Minix3.org. 12 Kasım 2013 tarihinde kaynağından (PDF) arşivlendi. Yazar
|ad1=eksik|soyadı1=() - ^ "MINIX Release 3.3.0". 7 Haziran 2023 tarihinde kaynağından . Erişim tarihi: 7 Haziran 2023.
- ^ . 13 Şubat 2007. 14 Haziran 2020 tarihinde kaynağından arşivlendi.
- ^ . minix3.org. 13 Ocak 2012 tarihinde kaynağından arşivlendi.
- ^ . Minix3.org. 9 Kasım 2013. 26 Ekim 2005 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Mayıs 2014.
- ^ . www.minix3.org. 17 Nisan 2006 tarihinde kaynağından arşivlendi.
- ^ . wiki.minix3.org. 21 Haziran 2012 tarihinde kaynağından arşivlendi. Erişim tarihi: 29 Şubat 2012.
- ^ . wiki.minix3.org (İngilizce). 7 Mart 2015 tarihinde kaynağından arşivlendi. Erişim tarihi: 20 Temmuz 2017.
- ^ . 10 Kasım 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 5 Temmuz 2006.
- ^ . www.minix3.org. 26 Ekim 2005 tarihinde kaynağından arşivlendi. Erişim tarihi: 11 Kasım 2017.
İleri okumalar
- Tanenbaum, Andrew S; Woodhull, Albert S. (14 Ocak 2006). Operating Systems: Design and Implementation (3. bas.). Prentice Hall. ISBN . 24 Eylül 2015 tarihinde kaynağından . Erişim tarihi: 7 Haziran 2023.
- Building a dependable operating system: fault tolerance in MINIX 3 2 Haziran 2023 tarihinde Wayback Machine sitesinde . by Jorrit N. Herder (PDF)
- Reorganizing Unix for Reliability 8 Haziran 2023 tarihinde Wayback Machine sitesinde . by Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, and Andrew S. Tanenbaum (PDF)
- Modular system programming in MINIX 3 7 Ağustos 2007 tarihinde Wayback Machine sitesinde . by Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, and Andrew S Tanenbaum (PDF)
- J. N. Herder et al., Modular System Programming in MINIX 3, ;Login, April 2006 7 Ağustos 2007 tarihinde Wayback Machine sitesinde . (PDF)
- Pablo A Pessolani. MINIX4RT: A Real-Time Operating System Based on MINIX 7 Haziran 2023 tarihinde Wayback Machine sitesinde .
- Building Performance Measurement Tools for the MINIX 3 Operating System, by Rogier Meurs 2 Haziran 2023 tarihinde Wayback Machine sitesinde . (PDF)
- Design and implementation of the MINIX virtual file system 2 Haziran 2023 tarihinde Wayback Machine sitesinde . (PDF)
- Reference manual for MINIX 3 Kernel API 13 Ekim 2006 tarihinde Wayback Machine sitesinde . (PDF)
- Towards a true microkernel operating system 2 Haziran 2023 tarihinde Wayback Machine sitesinde . (PDF)
- Construction of a Highly Dependable Operating System 4 Aralık 2022 tarihinde Wayback Machine sitesinde . (PDF)
- Minix 3 and the microkernel experience: Smart Kernel 21 Mart 2023 tarihinde Wayback Machine sitesinde . by Rüdiger Weis (PDF)
- Safe and Automatic Live Update 2 Haziran 2023 tarihinde Wayback Machine sitesinde . by Cristiano Giuffrida (PDF)
Dış bağlantılar
- Resmî site
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
Minix 3 Unix benzeri bir kucuk bir isletim sistemidir BSD 3 Lisansi altinda yayinlanir ve onceki surumler olan Minix 1 ve 2 nin devami niteliginde bir projedir Minix 3Pencere Yoneticisi olarak ile X11 calistiran Minix 3Gelistirici ler Andrew S Tanenbaum et al Isletim sistemi ailesiUnix benzeriKaynak turuAcik kaynakLisans2005 Original Cekirdek turuMikrocekirdekPlatform destegiIA 32 ARMOnculuMinix 1 0 1 5 and 2 0Minix NetBSDKullanici arayuzuAlmquist shell ashWeb sitesiminix3 orgDil sayisiIngilizce Projenin ana hedefi sistemin herhangi bir kullanici mudahalesi olmadan aninda tespit edilip onarilarak sistemin arizaya dayanikli hale getirilmesidir Sistemin temel kullanimlarinin gomulu sistemler ve egitim olmasi ongorulmektedir 2017 2017 itibariyla Minix 3 IA 32 ve ARM mimarili islemcileri destekler Bochs VMware Workstation Microsoft Virtual PC Oracle VirtualBox ve QEMU gibi emulatorler veya sanal makineler uzerinde de calisabilir PowerPC mimarisi icin bir port gelistirme asamasindadir Dagitim canli bir CD de gelir ve canli USB kurulumunu desteklemez Minix 3 un Skylake ve Kaby Lake islemcilerle birlikte kullanilan ME 11 in piyasaya surulmesinden baslayarak Intel in Platform Denetleyici Merkezinde bulunan Intel Management Engine ME isletim sistemine ilham verdigine inaniliyor Intel ME de kullanilmasi nedeniyle Minix in Microsoft Windows Linux veya macOS tan daha fazla kurulumla x86 AMD64 islemcilerde en yaygin kullanilan isletim sistemi olabilecegi tartisildi Minix 3 tartisma grubu hala aktif olmasina ragmen proje 2018 den beri atil durumdadir ve en son surum 2017 den 3 4 0 rc6 dirProjenin hedefleriSirasiyla monolitik cekirdek ve mikro cekirdek tabanli isletim sistemlerinin yapisi Bir surucunun Minix in yaraticisi Tanenbaum a gore normal bir programa gore yaklasik 3 7 kat daha fazla hataya sahip olan tum sistemi cokertebilecegi yekpare cekirdek tabanli sistemlerin dogasini dusunerek Minix 3 guvenilir kendi kendini iyilestiren cok sunuculu Unix klonu olan bir isletim sistemi olusturmayi amaclar Bunu basarmak icin dosya sunucusu islem sunucusu ve her bir aygit surucusu ayri kullanici modu islemleri olarak calisirken cekirdekte calisan kod minimum duzeyde olmalidir Her surucu reenkarnasyon sunucusu adi verilen sistemin bir bolumu tarafindan dikkatle izlenir Bir surucu bu sunucudan gelen pinglere yanit veremezse kapatilir ve surucunun yeni bir kopyasi ile degistirilir Monolitik bir sistemde bir surucudeki bir hata tum cekirdegi kolaylikla cokertebilir Bunun Minix 3 te olma olasiligi cok daha dusukturTarihMINIX 3 versions Version Release date Description3 1 0 OSDI3 2005 10 18 The first release of Minix 3 Book Release under BSD 3 Clause 3 1 1 SOSP 2005 10 24 The last version under the standard BSD 3 Clause license 3 1 2 2006 04 18 The first version under the custom BSD 3 Clause license 3 1 2a 2006 05 29 New Packman package manager Fixed an installation issue with auto partitioning disks 3 1 3 2007 04 13 Added new virtual file system3 1 3a 2007 06 08 Bug fixes 3 1 4 2009 06 09 Virtual memory support Improved virtual machine support when Minix runs as guest 3 1 5 2009 11 05 Improvements performance Shared memory setitimer function ISO 9660 file system Open Sound System Trap NULL accesses now for user convenience Improved signal handling Better support for debuggers ptrace improvements etc Network card autodetection for supported PCI cards improved network configuration3 1 6 2010 02 08 New Network drivers Atheros L2 Intel E1000 Realtek 8169 DEC Tulip PipeFS removed pipe handling from filesystem drivers HGFS support for mounting VMware shared folders as file system VFS supplemental group support and sticky bit support Floating point unit support System Event Framework SEF Experimental APIC support3 1 7 2010 06 16 Userspace scheduling and a scheduling server Proper support for multiple Ethernet cards of the same type Boot monitor allows loading images gt 16 MB Buildsystem support for building Minix with GCC Support for Windows 1251 and KOI8 U charsets3 1 8 2010 10 04 New package management infrastructure pkgsrc and Unix domain socket support Multiboot support ext2 support ACPI driver full APIC mode including I O APICs Experimental AHCI support3 2 0 2012 02 29 Porting GNU Debugger to Minix 3 and implementing core dumping support FUSE support with experimental NTFS 3G file system Gradually replacing userland from Minix to NetBSD Replacing the default compiler ACK with Clang GCC is also supported Switch to ELF and NetBSD libc libraries Pkgsrc upstreaming and application porting Asynchronous virtual filesystem VFS server Replacing the bootloader from Minix to NetBSD NCQ support in the AHCI driver3 2 1 2013 02 21 Support for dynamically linked executables Removal of Intel segments Dropped support for a out binaries Cross compilation support support VBFS support for mounting VirtualBox Shared Folder as file system3 3 0 2014 09 15 ARM architecture support cross compilable Support for mmap I O mechanism allows for shared dynamic libraries and lower memory needs New input infrastructure input server and keyboard driver separated from TTY VND vnode disk loopback block driver LLVM Bitcode build of the system Import of LLVM and clang in the sources Unified block cache shared by FSes and VM Improved NetBSD compatibility utilities calls types lots of 64 bit toolchain codebase and packages C type for messages cleaner bigger netlestirme gerekli Improved driver modularity UDS separate from PFS PTY from TTY one controller per at wini instance LOG removed from boot image Packages are now dynamically linked3 4 0 rc6 2017 05 09 X11 is now part of the operating system Book Release Old release Current stable release Current development release Minix 3 24 Ekim 2005 te Andrew Tanenbaum tarafindan Association for Computing Machinery ACM Sempozyumu Isletim Sistemleri Ilkeleri konferansinin zirvesindeki acilis konusmasi sirasinda kamuoyuna duyuruldu Hala Tanenbaum ve Woodhull un ders kitabinin yeni baskisi icin bir ornek teskil etse de kaynak sinirli ve gomulu bilgisayarlarda ve yuksek guvenilirlik gerektiren uygulamalarda ciddi bir sistem olarak kullanilabilir olacak sekilde kapsamli bir sekilde yeniden tasarlandi Baslangicta Minix in 2000 den beri lisanslandigi ayni BSD 3 Clause lisansi altinda yayinlandi 2005 sonlarinda telif hakki sahibi degistirildi ve dorduncu bir madde eklendi Guvenilirlik politikalariMinix 3 un ana hedeflerinden biri guvenilirliktir Asagida guvenilirligini artiran daha onemli ilkelerden bazilari tartisilmaktadir Cekirdek boyutunun kucultulmesi Linux ve FreeBSD gibi monolitik isletim sistemleri ve Windows gibi hibrit isletim sistemleri milyonlarca satirlik cekirdek koduna sahiptir Buna karsilik Minix 3 te yaklasik 6 000 satir yurutulebilir cekirdek kodu vardir bu kodda sorunlarin bulunmasini kolaylastirabilir Bocekleri hatalari kafesleyebilme Monolitik cekirdeklerde aygit suruculeri cekirdekte bulunur Boylece yeni bir cevre birimi kuruldugunda cekirdege bilinmeyen guvenilmeyen kod eklenir Bir surucudeki hatali bir kod satiri sistemi cokertebilir Bunun yerine Minix 3 te her aygit surucusu ayri bir kullanici modu islemidir Suruculer ayricalikli yonergeleri yurutemez sayfa tablolarini degistiremez istege bagli giris cikis G C gerceklestiremez veya mutlak bellege yazamaz Bu hizmetler icin cekirdek cagrilari yapmalari gerekir ve cekirdek her yetki cagrisini kontrol eder Suruculerin bellek erisimini sinirlayabilme Monolitik cekirdeklerde bir surucu herhangi bir bellek sozcugune yazabilir ve boylece kazara kullanici programlarini bozabilir Minix 3 te bir kullanici ornegin dosya sisteminden veri beklediginde kimin ve hangi adreslerde erisime sahip oldugunu soyleyen bir tanimlayici olusturur Daha sonra bu tanimlayiciya bir dizini onu bir surucuye iletebilecek olan dosya sistemine iletir Dosya sistemi veya surucu daha sonra cekirdege tanimlayici araciligiyla yazmasini ister bu da arabellek disindaki adreslere yazmalarini imkansiz hale getirir Kotu isaretcilerden kurtulabilme Bir surucu icindeki hatali bir isaretcinin basvurusunun kaldirilmasi surucu surecini cokertecektir ancak bir butun olarak sistem uzerinde hicbir etkisi olmayacaktir Reenkarnasyon sunucusu coken surucuyu otomatik olarak yeniden baslatacaktir Kullanicilar bazi suruculer icin orn disk ve ag kurtarmayi fark etmeyeceklerdir ancak digerleri icin orn ses ve yazici fark edebilirler Monolitik cekirdeklerde bir surucudeki hatali bir isaretcinin basvurusunun kaldirilmasi normalde sistem cokmesine neden olur Sonsuz donguleri isleyebilme Bir surucu sonsuz bir donguye girerse zamanlayici bosta kalana kadar onceligini kademeli olarak dusurur Sonunda reenkarnasyon sunucusu durum isteklerine yanit vermedigini gorecek bu nedenle dongu surucusunu oldurecek ve yeniden baslatacaktir Yekpare bir cekirdekte bir dongu surucusu sistemi kilitleyebilir Arabellek tasmalarindan kaynaklanan hasari sinirlayabilme Minix 3 belirli arabellek tasmalarini ve arabellek yonetimi sorunlarini ortadan kaldiran dahili iletisim icin sabit uzunlukta mesajlar kullanir Ayrica bircok istismar saldirgan tarafindan kontrol edilen bellege genellikle tasma arabellegine isaret eden uzerine yazilmis bir yigin donus adresi kullanarak programi bir islev cagrisindan geri donmesi icin kandirmak uzere bir arabellegi tasarak calisir Minix 3 te talimat ve veri alani bolundugu ve yurutulebilir alan korumasi olarak adlandirilan yalnizca salt okunur talimat alanindaki kod yurutulebildigi icin bu saldiri hafifletilir Ancak yasal olarak yurutulebilir bellegin kotu niyetli bir sekilde calistirilmasina dayanan saldirilar libc ye donus geri donus yonelimli programlama bu hafifletme ile engellenmez Cekirdek islevlerine erisimi kisitlayabilme Aygit suruculeri cekirdek cagrilari yaparak cekirdek hizmetlerini kullanicilarin adres alanlarina veri kopyalamak gibi alir Minix 3 cekirdegi her surucu icin hangi cagrilari yapmaya yetkili oldugunu belirten bir bit haritasina sahiptir Monolitik cekirdeklerde her surucu yetkili olsun ya da olmasin her cekirdek islevini cagirabilir G C baglanti noktalarina erisimi kisitlayabilme Cekirdek ayrica her surucunun hangi G C baglanti noktalarina erisebilecegini soyleyen bir tablo tutar Bu nedenle bir surucu yalnizca kendi G C baglanti noktalarina dokunabilir Monolitik cekirdeklerde hatali bir surucu baska bir aygita ait G C baglanti noktalarina erisebilir Isletim sistemi bilesenleriyle iletisimi kisitlayabilme Her surucu ve sunucunun diger tum surucu ve sunucularla iletisim kurmasi gerekmez Buna gore islem basina bir bit haritasi her islemin hangi hedeflere gonderim yapabilecegini belirler Olu veya hasta suruculeri reenkarne edin Reenkarnasyon sunucusu adi verilen ozel bir islem her aygit surucusune duzenli araliklarla ping gonderir Surucu olurse veya pinglere dogru yanit veremezse reenkarnasyon sunucusu otomatik olarak onu yeni bir kopyayla degistirir Calismayan suruculerin algilanmasi ve degistirilmesi kullanicinin herhangi bir islem yapmasina gerek kalmadan otomatik olarak yapilir Bu ozellik su anda disk suruculeri icin calismamaktadir ancak bir sonraki surumde sistem rastgele erisim belleginde RAM golgelenecek olan disk suruculerini bile kurtarabilecektir Surucu kurtarma calisan islemleri etkilemez Kesintileri ve mesajlari entegre edebilme Bir kesme meydana geldiginde dusuk seviyede uygun surucuye gonderilen bir bildirime donusturulur Surucu bir mesaj bekliyorsa kesmeyi hemen alir aksi takdirde bir sonraki sefer bir mesaj almak icin RECEIVE bildirim alir Bu sema ic ice kesintileri ortadan kaldirir ve surucu programlamayi kolaylastirir MimariMinix 3 un mimarisi Gorulebilecegi gibi en alt seviyede yaklasik 4 000 satirlik koddan cogunlukla C de ve az miktarda da Assembly dilinde olusan mikro cekirdek bulunur Kesintileri zamanlamayi ve ileti gecisini yonetir Ayrica yetkili sunucularin ve suruculerin yapabilecegi yaklasik 30 cekirdek cagrisindan olusan bir uygulama programlama arabirimini API destekler Kullanici programlari bu cagrilari yapamaz Bunun yerine sunuculara mesaj gonderen POSIX sistem cagrilari yapabilirler Cekirdek cagrilari kesmeleri ayarlamak ve adres alanlari arasinda veri kopyalamak gibi islevleri yerine getirir Bir sonraki seviyede her biri ayri bir kullanici alani islemi olarak calisan aygit suruculeri vardir Her biri disk veya yazici gibi bazi G C aygitlarini kontrol eder Suruculerin G C baglanti noktasi alanina erisimi yoktur ve dogrudan G C yonergeleri veremez Bunun yerine yazilacak G C baglanti noktalarinin ve yazilacak degerlerin bir listesini veren cekirdek cagrilari yapmalari gerekir Bunu yaparken kucuk bir miktar ek yuk olsa da tipik olarak 500 ns bu sema cekirdegin yetkilendirmeyi kontrol etmesini mumkun kilar boylece ornegin ses surucusu diske yazamaz Bir sonraki seviyede sunucular var Bu neredeyse tum isletim sistemi islevlerinin bulundugu yerdir Kullanici islemleri ornegin dosyalari acmak kapatmak okumak ve yazmak icin dosya sunucusuna mesajlar gondererek dosya hizmeti alir Buna karsilik dosya sunucusu diski kontrol eden disk surucusune mesajlar gondererek disk G C sini gerceklestirir Anahtar sunuculardan biri reenkarnasyon sunucusudur Gorevi sagliklarini periyodik olarak kontrol etmek icin diger tum sunuculari ve suruculeri yoklamaktir Bir bilesen dogru sekilde yanit vermezse veya cikarsa veya sonsuz bir donguye girerse reenkarnasyon sunucusu suruculerin ve sunucularin ana islemidir hatali bileseni oldurur ve onu yeni bir kopyayla degistirir Bu sayede calisan programlara mudahale etmeden sistem otomatik olarak kendi kendini onarir hale getirilir Su anda reenkarnasyon sunucusu islem sunucusu ve mikro cekirdek guvenilir bilgi islem tabaninin parcalaridir Bunlardan herhangi biri basarisiz olursa sistem coker Bununla birlikte Linux ve Windows sistemlerinde oldugu gibi 3 5 milyon satir koddan guvenilir bilgi islem tabanini yaklasik 20 000 satira dusurmek sistem guvenilirligini buyuk olcude artirir Minix 3 ve onceki surumler arasindaki farklarBirkac Unix benzeri sistem arasindaki iliskilerin semasi Minix 1 0 1 5 ve 2 0 insanlarin isletim sistemlerinin tasarimi hakkinda bilgi edinmelerine yardimci olacak araclar olarak gelistirildi 1987 de piyasaya surulen Minix 1 0 12 000 satir C ve biraz x86 derleme diliydi Minix 1 0 in cekirdeginin bellek yoneticisinin ve dosya sisteminin kaynak kodu kitapta basilidir Tanenbaum Minix i orijinal olarak o sirada mevcut olan IBM PC ve IBM PC AT mikrobilgisayarlariyla uyumluluk icin gelistirdi 1991 de piyasaya surulen Minix 1 5 MicroChannel IBM PS 2 sistemleri icin destek iceriyordu ve ayrica Atari ST Commodore Amiga Apple Macintosh ve Sun Microsystems SPARCstation bilgisayar platformlarini destekleyen Motorola 68000 ve SPARC mimarilerine tasindi SunOS altinda bir kullanici islemi olarak calisan bir Minix surumu de mevcuttu 1997 de piyasaya surulen Minix 2 0 yalnizca x86 ve Solaris tarafindan barindirilan SPARC mimarileri icin mevcuttu Minix vmd iki Vrije Universiteit arastirmacisi tarafindan olusturuldu ve X Pencere Sistemi icin sanal bellek ve destek eklendi Minix 3 de ayni seyi yapar ve bircok yeni arac ve bircok Unix uygulamasiyla modern bir isletim sistemi saglar Prof Tanenbaum bir keresinde soyle demisti Lutfen MINIX 3 un buyukbabanizin MINIX i olmadigini unutmayin MINIX 1 bir egitim araci olarak yazilmistir MINIX 3 ise bunun yani sira son derece guvenilir kendi kendini iyilestiren siskinlikten arindirilmis bir isletim sistemi olusturmaya yonelik bir baslangictir MINIX 1 ve MINIX 3 Windows 3 1 ve Windows XP ile ayni sekilde iliskilidir ayni ilk isim Minix 2 surumunden bu yana cekirdegin yapisinda da bircok iyilestirme yapilarak sistem daha guvenilir hale getirildi Minix surum 3 1 5 5 Kasim 2009 da yayinlandi X11 Emacs vi cc GCC Perl Python Almquist kabugu Bash Z kabugu FTP istemcisi SSH istemcisi Telnet istemcisi Pine ve 400 un uzerinde diger yaygin Unix yardimci programlarini icerir X11 in eklenmesiyle bu surum salt metin sisteminden gecisi isaret ediyor Gelecekte gelistirilecek olan bu versiyonun bir baska ozelligi de sistemin aygit surucusu cokmelerine dayanabilmesi ve cogu durumda calisan islemleri etkilemeden bunlari otomatik olarak degistirebilmesidir Bu sayede Minix kendi kendini onarir ve yuksek guvenilirlik gerektiren uygulamalarda kullanilabilir Minix 3 2 0 Subat 2012 de yayinlandi Bu surum Clang derleyici deneysel simetrik coklu islem destegi procfs ve ext2fs dosya sistemi destegi ve GNU Hata Ayiklayici GDB dahil olmak uzere bircok yeni ozellige sahiptir Onyukleyici libc ve cesitli yardimci programlar ve diger kitapliklar dahil olmak uzere NetBSD nin cesitli bolumleri de yayina entegre edilmistir Minix 3 3 0 Eylul 2014 te piyasaya suruldu Bu surum x86 ya ek olarak ARM mimarisini destekleyen ilk surumdur Ayrica kutudan cikar cikmaz calisan binlerce NetBSD paketiyle bir NetBSD kullanici alanini da destekler MaskotMinix 3 un maskotu Rocky Raccoon Rocky Raccoon Minix 3 un maskotudur MINIXConMINIXCon Minix ile ilgili konusmalarin cabalarin ve arastirmalarin paylasildigi bir konferanstir 2016 yilinda bir kez yapilmistir MINIXCon2017 sunulan gorusme eksikligi nedeniyle iptal edildi Ayrica bakinizIsletim sistemi cekirdeklerinin karsilastirilmasi MINIX dosya sistemi Bilgi islem maskotlarinin listesi Kategori Bilgisayar maskotlariNot listesi a b c BSD 3 Clause with a fourth clause Kaynakca 24 Kasim 2005 tarihinde kaynagindan arsivlendi Erisim tarihi 24 Kasim 2005 corbet 24 Ekim 2005 Lwn net 14 Aralik 2005 tarihinde kaynagindan arsivlendi Erisim tarihi 1 Mayis 2014 minix3 org 24 Ekim 2005 tarihinde kaynagindan arsivlendi Erisim tarihi 16 Nisan 2017 Woodhull com 4 Subat 2006 tarihinde kaynagindan arsivlendi Erisim tarihi 1 Mayis 2014 OSNews com 27 Haziran 2004 tarihinde kaynagindan arsivlendi Erisim tarihi 1 Mayis 2014 Patrick wagstrom net 12 Kasim 2013 tarihinde kaynagindan arsivlendi Erisim tarihi 1 Mayis 2014 Woodhull com 11 Aralik 2005 tarihinde kaynagindan arsivlendi Erisim tarihi 1 Mayis 2014 inopinion org 6 Agustos 2014 13 Temmuz 2015 tarihinde kaynagindan arsivlendi PDF 27 Eylul 2007 tarihinde kaynagindan PDF arsivlendi Yazar ad1 eksik soyadi1 yardim Minix3 26 Ekim 2005 tarihinde kaynagindan arsivlendi Erisim tarihi 1 Mayis 2014 blog ptsecurity com 1 Temmuz 2017 tarihinde kaynagindan arsivlendi Erisim tarihi 28 Agustos 2017 GitHub 28 Agustos 2017 28 Kasim 2016 tarihinde kaynagindan arsivlendi Erisim tarihi 28 Agustos 2017 Yazar ad1 eksik soyadi1 yardim 17 Haziran 2022 tarihinde kaynagindan arsivlendi Erisim tarihi 6 Eylul 2022 Yazar ad1 eksik soyadi1 yardim git minix3 org 16 Ocak 2016 tarihinde kaynagindan arsivlendi Erisim tarihi 3 Mayis 2022 25 Subat 2013 tarihinde kaynagindan arsivlendi groups google com 28 Agustos 2021 tarihinde kaynagindan arsivlendi Erisim tarihi 3 Mayis 2022 OSnew OSnews 25 Eylul 2006 16 Ekim 2006 tarihinde kaynagindan arsivlendi Erisim tarihi 4 Temmuz 2008 From Rebirth section Various studies have shown that software broadly contains something like 6 16 bugs per 1000 lines of code and that device drivers have 3 7 times as many bugs as the rest of the operating system When combined with the fact that 70 of a typical operating system consists of device drivers it is clear that device drivers are a big source of trouble For Windows XP 85 of the crashes are due to bugs in device drivers Obviously to make OSes reliable something has to be done to deal with buggy device drivers Building a reliable system despite the inevitable bugs in device drivers was the original driving force behind Minix 3 Yazar ad1 eksik soyadi1 yardim Csail mit edu 4 Subat 2012 tarihinde kaynagindan arsivlendi Erisim tarihi 1 Mayis 2014 a b Cs vu nl 12 Mayis 2006 1 Haziran 2006 tarihinde kaynagindan arsivlendi Erisim tarihi 1 Mayis 2014 www MINIX3 org 1 Temmuz 2006 tarihinde kaynagindan arsivlendi Wiki minix3 org 7 Mart 2015 tarihinde kaynagindan arsivlendi Erisim tarihi 1 Mayis 2014 11 Temmuz 2006 tarihinde kaynagindan arsivlendi Erisim tarihi 16 Haziran 2021 a b GitHub 7 Haziran 2023 tarihinde kaynagindan arsivlendi Erisim tarihi 16 Haziran 2021 a b 9 Subat 2007 tarihinde kaynagindan arsivlendi Erisim tarihi 16 Haziran 2021 a b GitHub 15 Haziran 2021 tarihinde kaynagindan arsivlendi Erisim tarihi 16 Haziran 2021 PDF Minix3 org 12 Kasim 2013 tarihinde kaynagindan PDF arsivlendi Yazar ad1 eksik soyadi1 yardim MINIX Release 3 3 0 7 Haziran 2023 tarihinde kaynagindan Erisim tarihi 7 Haziran 2023 13 Subat 2007 14 Haziran 2020 tarihinde kaynagindan arsivlendi minix3 org 13 Ocak 2012 tarihinde kaynagindan arsivlendi Minix3 org 9 Kasim 2013 26 Ekim 2005 tarihinde kaynagindan arsivlendi Erisim tarihi 1 Mayis 2014 www minix3 org 17 Nisan 2006 tarihinde kaynagindan arsivlendi wiki minix3 org 21 Haziran 2012 tarihinde kaynagindan arsivlendi Erisim tarihi 29 Subat 2012 wiki minix3 org Ingilizce 7 Mart 2015 tarihinde kaynagindan arsivlendi Erisim tarihi 20 Temmuz 2017 10 Kasim 2017 tarihinde kaynagindan arsivlendi Erisim tarihi 5 Temmuz 2006 www minix3 org 26 Ekim 2005 tarihinde kaynagindan arsivlendi Erisim tarihi 11 Kasim 2017 Ileri okumalarTanenbaum Andrew S Woodhull Albert S 14 Ocak 2006 Operating Systems Design and Implementation 3 bas Prentice Hall ISBN 0 13 142938 8 24 Eylul 2015 tarihinde kaynagindan Erisim tarihi 7 Haziran 2023 Building a dependable operating system fault tolerance in MINIX 3 2 Haziran 2023 tarihinde Wayback Machine sitesinde by Jorrit N Herder PDF Reorganizing Unix for Reliability 8 Haziran 2023 tarihinde Wayback Machine sitesinde by Jorrit N Herder Herbert Bos Ben Gras Philip Homburg and Andrew S Tanenbaum PDF Modular system programming in MINIX 3 7 Agustos 2007 tarihinde Wayback Machine sitesinde by Jorrit N Herder Herbert Bos Ben Gras Philip Homburg and Andrew S Tanenbaum PDF J N Herder et al Modular System Programming in MINIX 3 Login April 2006 7 Agustos 2007 tarihinde Wayback Machine sitesinde PDF Pablo A Pessolani MINIX4RT A Real Time Operating System Based on MINIX 7 Haziran 2023 tarihinde Wayback Machine sitesinde Building Performance Measurement Tools for the MINIX 3 Operating System by Rogier Meurs 2 Haziran 2023 tarihinde Wayback Machine sitesinde PDF Design and implementation of the MINIX virtual file system 2 Haziran 2023 tarihinde Wayback Machine sitesinde PDF Reference manual for MINIX 3 Kernel API 13 Ekim 2006 tarihinde Wayback Machine sitesinde PDF Towards a true microkernel operating system 2 Haziran 2023 tarihinde Wayback Machine sitesinde PDF Construction of a Highly Dependable Operating System 4 Aralik 2022 tarihinde Wayback Machine sitesinde PDF Minix 3 and the microkernel experience Smart Kernel 21 Mart 2023 tarihinde Wayback Machine sitesinde by Rudiger Weis PDF Safe and Automatic Live Update 2 Haziran 2023 tarihinde Wayback Machine sitesinde by Cristiano Giuffrida PDF Dis baglantilarResmi site