Journal Minix plus utilisé que Linux!

Posté par  . Licence CC By‑SA.
41
8
nov.
2017

Dans un revirement de situation aussi ironique que déconcertant, beaucoup de médias anglophones rapportent la confirmation que le Intel Management Engine (Intel ME) utilise Minix comme système d'exploitation. Rappelons que le ME est un ensemble matériel et logiciel composé d'un processeur additionnel qui fonctionne à un niveau de privilège plus élevé que l'OS lui-même… Vous en avez peut-être déjà entendu parlé plus tôt cette année, après la divulgation d'une faille zero-day concernant l'AMT (faisant partie du ME dans certaines (…)

Journal Conférence d'Andrew S. Tanenbaum

Posté par  . Licence CC By‑SA.
20
27
oct.
2014

Andrew S. Tanenbaum, créateur de Minix, un OS à micro-noyau qui a été une des sources d'inspiration de Linux, viendra parler de Minix 3 mardi 28 Octobre 2014 à Jussieu à 18h dans l'amphi 24.

La conférence a lieu dans le cadre du colloquium d'informatique de l'UPMC, série de conférences auxquelles ont déjà participé, entre autres sommités de l'informatique, Donald Knuth, Leslie Lamport, Robert Sedgewick, ou Tony Hoare.

Vous aurez l'occasion de demander à Tanenbaum si Linux est (…)

Journal Andrew Tanenbaum à la retraite

52
10
juil.
2014

Je suppose qu'ici beaucoup de personnes connaissent Andrew Tanenbaum qui est une personne incontournable de l'univers de l'informatique, du moins pour ceux qui programment et aiment savoir comment ça fonctionne à l'intérieur de ces machines qui traitent de l'information.

En effet, il a écrit des ouvrages considérés comme des références sur le réseau, les systèmes d'exploitation ou encore l'architecture des ordinateurs. Si vous n'avez pas lu ces ouvrages, ils sont vivement recommandés comme livres de chevet si ces domaines vous (…)

Entretien avec Andrew Tanenbaum à propos de MINIX

Posté par  (site web personnel) . Édité par Davy Defaud, Nÿco et Benoît Sibaud. Modéré par baud123. Licence CC By‑SA.
87
17
nov.
2011
Technologie

MINIX 3 est système d’exploitation libre sous licence BSD. Créé par le professeur Andrew Tanenbaum, il est basé sur un micro‐noyau et il vise avant tout la fiabilité et la modularité.

Alors que la licence d’origine était propriétaire et que le système était conçu avant tout comme étant un projet pédagogique, la situation a commencé à évoluer à partir de l’an 2000. La licence a été changée pour la BSD, puis, en 2005, c’est la raison d’être même du projet qui a changé. Plus question de système pédagogique réservé aux étudiants désireux de comprendre les entrailles d’un système d’exploitation !

Minix3

Forum Programmation.c Un noyau tout petit, en C(++)

Posté par  .
Étiquettes :
2
2
mar.
2010
Bonjour forum !

Aujourd'hui, pour apprendre la programmation des systèmes d'exploitation, je cherche un noyau avec seulement le strict minimum, un code compréhensible, et pas trop "spaghetti".
Plutôt pour faire des expérimentations (Test d'ordonnanceur, test de concept, bidouille). En fait, j'aurai bien essayé avec linux, mais sa complexité me décourage (rien que le nombre de fichier dans le dossier "kernel" fait peur, alors...)

Il faut donc que ce noyau remplisse plusieurs conditions: multitâche (même minimal), possibilité d'être exécuté depuis Qemu (…)

MINIX 3 - Google Summer of Code

Posté par  (site web personnel) . Modéré par Mouns.
Étiquettes :
21
27
mar.
2009
Noyau
MINIX 3 est un très petit système modulaire multiserveur qui vise une grande fiabilité, une tolérance aux erreurs et l'auto-guérison. Le code qui tourne en mode noyau fait approximativement 5000 lignes de code seulement.
Le reste est exécuté en tant que processus utilisateurs, en majorité des processus pour chaque pilote de périphérique et serveur.

Si un pilote plante, il est automatiquement remplacé par une nouvelle copie, sans l'intervention de l'utilisateur (ni même qu'il le sache) et sans affecter les programmes actuellement exécutés.

Il y a peu d'autres systèmes qui peuvent résister à des erreurs fatales dans des composants de système critique de manière continue.
Le but des systèmes fiables sera achevé quand :
  • aucun ordinateur n'aura de bouton RESET
    et
  • aucun utilisateur n'aura connu de plantage ni même ne connaîtra quelqu'un dans son entourage ayant expérimenté ce désagrément.
Pour la seconde année consécutive, le projet MINIX 3 est accepté au Google Summer of Code, permettant à des étudiants de travailler (travail rémunéré par Google) sur MINIX 3 durant l'été, avec certains de ses développeurs.

NdM : Cette dépêche est une traduction en français de la page MINIX sur le Google Summer of Code 2009.

Journal Linux a 15 ans aujourd'hui !

Posté par  .
0
25
août
2006
Il y a 15 ans un certain Linus Torvald posta ce message sur Usenet, il ne pensait surement pas ce que ça allait devenir :

From: torva...@klaava.Helsinki.FI (Linus Benedict Torvalds)
Newsgroups: comp.os.minix
Subject: What would you like to see most in minix?
Summary: small poll for my new operating system
Keywords: 386, preferences
Message-ID: <1991Aug25.205708.9541@klaava.Helsinki.FI>
Date: 25 Aug 91 20:57:08 GMT
Organization: University of Helsinki
Lines: 20


Hello everybody out there using minix -

I'm doing a (free) operating system (…)

Journal Minix 3 vient de sortir.

Posté par  .
Étiquettes :
1
24
oct.
2005
Minix, le fameux OS de Tanenbaum, vient de sortir dans sa version 3. Notez qu'il ne vise pas vraiment les systèmes les plus récents actuellement (limitations à 128GB de HD, 4GB de RAM, peu de cartes réseaux supportées) mais est plutôt destiné aux vieux PC à partir de 16 MB de RAM et à l'éducation via l'étude de son code source. Il vise à terme le marché embarqué, il faudra pour cela que ses ports vers de multiples plateformes aboutisse (…)

un nouveau Minix

Posté par  (site web personnel, Mastodon) . Modéré par Jaimé Ragnagna.
Étiquettes :
0
25
oct.
2005
Communauté
Minix est un respectable OS, conçu par Andrew Tanenbaum quand la "propriétarisation" de Unix l'a empêché de montrer le code source d'un véritable système d'exploitation. Il a donc codé un clone fonctionnel.
Le code source de ce système a été publié dans son excellent livre "Les systèmes d'exploitation". Hélas, sous une licence non-libre, en grande partie à cause de l'éditeur du livre. Plus tard, en 1997, il est passé sous une licence libre.
Cet OS a toujours été supporté par ses qualités didactiques, son utilisation dans le milieu éducatif et une forte communauté d'utilisateurs sur le ng comp.os.minix, bien connu grâce à un certain finlandais.
Et cette communauté a publié la version 3 de Minix...

NdR: Merci à Diwann et Kartoch pour avoir proposé une dépêche similaire.

Journal Minix !

Posté par  .
0
17
fév.
2005
J'ai récupéré un vieux 486, avec le bouton turbo qui rend le processeur 4 fois plus rapide... Ah nostalgie...
Le disque dur de 230 Mo est encore en état et n'a aucun secteur défectueux. Mais il ne possède malheureusement que 4 Mo de RAM, 8 Mo auraient été préférables...

Donc, j'ai pensé à installer un Linux dessus. Le problème, c'est que Linux, l'air de rien, ça pompe de la mémoire vive, et 4Mo, c'est assez juste : juste de quoi (…)