Minix
Разработчик	Эндрю Таненбаум
Первый выпуск	1987[3]
Последняя версия	3.3.0 (16 сентября2014)[1][2]
Поддерживаемые языки	английский
Поддерживаемые платформы	X86 и ARM architecture
Типядра	Микроядро
Лицензия	модифицированная лицензия BSD[4][5][…]
Репозиторий исходного кода	git.minix3.org
Веб-сайт	minix3.org (англ.)
Медиафайлы на Викискладе

MINIX —свободнаяUnix-подобнаямикроядернаяоперационная система (ОС), популяризированная под лицензииBSD^[6][7], написанная на языкеСи иассемблер.Эндрю Таненбаум создал первую версию MINIX в 1987 в качестве «иллюстрации» к своему учебнику «Операционные системы: Разработка и реализация^[англ.]». Среди студентов, изучающих теорию операционных систем поисходникам MINIX, наибольшей известности достигЛинус Торвальдс, разработчикядра Linux^[8].

Первоначально целью MINIX было обучение студентов конструированию компьютеров и созданию операционной системы,исходные коды которой MINIX полностью отличаются от кодов операционной системыLinux, но, как и Linux, MINIX представляет собойUnix-подобную операционную систему с аналогичными командами.

Исходный кодMINIX 3 с переведёнными на русский язык комментариями можно было получить на CD вместе с книгой «Операционные системы: разработка и реализация», в которой детально расписано строение ОС на примере MINIX.

1 ноября 2008 года Эндрю Таненбаум получилгрант в 2,5 млн евро от Европейского исследовательского совета для работы над проектом «Исследование действительно надёжного и безопасного системного программного обеспечения». Грант позволил продолжить работы по дальнейшему развитию ОСMINIX 3 в течение не менее пяти лет (до ноября 2013 года)^[9].

Эндрю Таненбаум создал MINIX вАмстердамском свободном университете для наглядной демонстрации принципов, описываемых в своей книге «Операционные системы: Разработка и реализация» (1987). Сокращённые 12000строкисходного кодаядра, подсистемы управления памятью ифайловой системы MINIX были напечатаны в самой книге.

В 1987 году Таненбаум относился к MINIX только как к учебному пособию. Чтобы оставить код ОС доступным для изучения в течениесеместра, Таненбаум отвергал предложения усовершенствовать MINIX или принятьпатчи, которые поступали от читателей его учебника. Роль проекта, в котором читатели Таненбаума воплотили своё стремление разрабатывать операционные системы, взял на себяLinux.

Изначально Таненбаум разработал MINIX для компьютеровIBM PC и IBM PC/AT, доступных в то время. MINIX версии 1.5 был перенесен наMotorola 68000, что обеспечило совместимость с популярными платформамиAmiga,Atari ST,Apple Macintosh. Кроме того, были сделаны версии дляSPARC,National SemiconductorNS32032 итранспьютеров.

MINIX 1.5 вышел в 1991 году. Включал в себя поддержку для системMicroChannelIBM PS/2, которые были также перенесены для архитектур Motorola 68000 иSPARC, при этом также поддерживаяAtari ST,Amiga,Macintosh^[10] иSPARCstation^[11][12].

MINIX 2.0 снова поддерживал только архитектуруx86 и был реализован в 1997 году. Он прилагался ко второй редакции книги Таненбаума, написанной им в соавторстве с Альбертом Вудхаллом (англ. Albert Woodhull). MINIX 1 и 2 были средствами обучения^[13][14].

MINIX версии 3 был анонсирован 24 октября 2005 года Таненбаумом во время его речи на конференции по принципам операционных систем, организованном Association for Computing Machinery (ACM Symposium on Operating Systems Principles). Несмотря на то, что MINIX всё ещё служит в качестве учебного примера в новой редакции книги Таненбаума и Вудхалла, он был переработан и доведён до годности к использованию в качестве надёжной операционной системы длямикроконтроллеров и другихвстраиваемых систем. Он доступен наLiveCD, с которым можно работать без необходимости установки системы на жёсткий диск, а также в виде, совместимом со многимиэмуляторами, такими, какBochs,QEMU,VMware,VirtualBox иVirtual PC^[15].

Версия этой операционной системы является компактной. Части, которые работают в пользовательском режиме, разделены на небольшиемодули и хорошо изолированы друг от друга. Например, каждыйдрайвер устройства выполняется как отдельный процесс пользовательского режима, и ошибка в драйвере (безусловно, источник большинства ошибок в любой операционной системе) не может полностью нарушить работу системы в целом. В MINIX, когда драйвер терпит крах, он автоматически перезапускается, не требуя пользовательского вмешательства, перезагрузки, и не затрагивая выполняющихся программ. Перечисленные особенности, микро-ядерная архитектура и другие аспекты значительно повышают надёжность этой операционной системы.

Начиная с версии 3.1.4, MINIX поддерживаетвиртуальную память.

Анонс изменений в релизе 3.1.5^[16]:

• улучшена производительность;
• добавлена поддержкаразделяемой памяти (Shared memory);
• добавлена функция setitimer;
• улучшен код обработки сигналов;
• добавлены портыPostgreSQL, QEMU иsudo.

Анонс изменений в релизе 3.1.6:

• добавлены новые драйверы:Atheros L2,Intel E1000,Realtek 8169,DEC Tulip;
• поддержка VirtualPC Network (DEC Tulip);
• поддержкаPipeFS;
• поддержкаHGFS — монтирование каталогов VMware как файловой системы;
• поддержкаFPU;
• поддержка System Event Framework (SEF);
• экспериментальная поддержкаAPIC (по умолчанию отключена);
• добавлены порты:
  • набор базовых системных утилит изOpenBSD — bsd-utils;
  • интерпретаторLua 5.1.4;
  • файловый менеджерMidnight Commander;
  • эмулятор QEMU 0.12.2;
  • средства для измерения производительностиaim9,lmbench3;
  • tcpdump.

Анонс изменений в релизе 3.1.7:

• планирование ресурсов на пользовательском уровне (Userspace scheduling) и поддержка серверов-планировщиков;
• корректная поддержка одновременной работы с несколькими Ethernet-картами одного типа;
• исправлены ошибки, мешающие запуску MINIX под управлением системы виртуализацииKVM;
• загрузчик теперь может работать собразами, размер которых превышает 16 Мб;
• размеркорневого раздела увеличен до 64 Мб,скрипт установки изменён с целью корректной работы с корневыми разделами нестандартного размера;
• в системе сборки появилась поддержка сборки MINIX с использованиемGCC (ранее использовался набор компиляторов ACK), ведётся работа по обеспечению поддержкиicc,clang иllvm-gcc;
• проведена реорганизация и чистка дерева исходных текстов;
• добавлены новые порты:Git и GCC 4.4.3;
• реализован вторичный уровень кеширования ФС в VM, использующий всю доступную память для минимизации задержки при вводе-выводе;
• поддержка кодировокCP1251 иKOI8-U.

Анонс изменений в релизе 3.2.0:

• пользовательское пространство был в основном заменен наNetBSD, и появилась поддержка от pkgsrc, увеличив доступныеприложения, которые MINIX может использовать. Clang заменил предыдущий компилятор (с поддержкой GCC), а GDB, отладчик GNU, был портирован^[17][18];
• релиз 3.3.0 стал поддерживатьARM;
• MINIX 3.4.0 стал кандидатом на релиз в январе 2016 года^[19];
• MINIX 3 всё ещё имеет сообщество, которое его разрабатывало, и сообщество было встречено на MINIXCon 2016 с 50 человек, чтобы обсудить будущее MINIX^[20];
• все чипсеты Intel после 2015 года выполняются в MINIX 3 как программный компонентIntel Management Engine^[21].

Торвальдс использовал и оценил MINIX, а также был знаком с книгой Таненбаума^[22], однако при реализации архитектуры ядра Linux решил не использовать архитектуру MINIX, применив архитектурумонолитного ядра вместо архитектуры микроядра. Данное решение Торвальдса было не одобрено Таненбаумом и вылилосьв спор Таненбаума — Торвальдса. Таненбаум представил свои аргументы в пользу использования архитектуры микроядра в мае 2006 года^[23].

Ранняя разработка ядра Linux была выполнена на хост-системе MINIX, что привело к тому, что Linux включил в себя различные функции из MINIX, такие как поддержкафайловой системы MINIX.

В мае 2004 года Кеннет Браун изИнститута Алексиса де Токвиля^[англ.] выдвинул обвинение в том, что основные части ядра Linux были скопированы из кодовой базы MINIX, объявив это в своей книге «Самиздат»^[24]. Эти обвинения были опровергнуты — в первую очередь, Эндрю Таненбаумом, который сильно критиковал Кеннета Брауна и опубликовал длинное опровержение на своём личном веб-сайте, также указывая на то, что Браун финансировался Microsoft’ом^[7][25].

• Xinu^[англ.] — аналогичная образовательная операционная система от 1984 года
• Redox — операционная система наRust, использующая ядро типа MINIX

• «Операционные системы: разработка и реализация. 2-е издание» (англ. Operating Systems: Design and Implementation, 2nd Edition). —СПб.:Питер (издательство), 2006. — 576 с. —ISBN 5-469-00148-2.
• «Операционные системы: разработка и реализация. 3-е издание» (англ. Operating Systems: Design and Implementation, 3rd Edition). —СПб.:Питер (издательство), 2007. — 704 с. —ISBN 5-469-01403-7.

	Имеетсявикиучебник по теме«Minix»

• minix3.org — официальный сайт Minix (англ.)
• Официальный сайт поддержки MINIX 2 (англ.)
• Русскоязычное сообщество разработчиков и пользователей MINIX 3
• Форум поддержки ОС MINIX / MINIX 3 на сайте Романа Игнатова
• MINIX на лаптопах и КПК
• История MINIX от Эндрю Таненбаума
• СпорЛинуса Торвальдса и Эндрю Таненбаума о технологиях MINIX и Linux
• MINIX под лицензией BSD
• comp.os.minix — MINIXUsenetnewsgroup
• Интервью Таненбаума для русского сообщества разработчиков и пользователей MINIX 3
• Minix в каталоге ссылокCurlie (dmoz) (рус.)
• Minix в каталоге ссылокCurlie (dmoz) (англ.)

• Программное обеспечение по алфавиту
• Операционные системы, разработанные в 1987 году
• Свободные операционные системы
• Микроядра
• Операционные системы ARM
• MINIX

• Википедия:Cite web (не указан язык)
• Википедия:Статьи с источниками из Викиданных
• ПРО:ИТ:Статьи по алфавиту
• ПРО:ИТ:Последняя правка: в текущем году
• Статьи со ссылками на Викиучебник
• Страницы, использующие волшебные ссылки ISBN