MINIX 3: a Modular, Self-Healing POSIX-compatible Operating System

Поделиться
HTML-код
  • Опубликовано: 20 авг 2024

Комментарии • 84

  • @TheApatheticGuy
    @TheApatheticGuy 10 лет назад +25

    For anyone who doesn't know:
    Minix is not for use as a daily personal desktop. Its primary function since inception has been to provide a small, bare-bones OS for students to study and modify for themselves to learn low-level OS architecture. Anything extra was an after-thought. Comparing its application library or functionality to modern OSes like Windows, OSX, Linux, or x-BSD is a moot point because it's not trying to be like any of those.

    • @laughingvampire7555
      @laughingvampire7555 Год назад +2

      if you have an Intel CPU with ME then you already have MINIX running on your desktop

    • @defnlife1683
      @defnlife1683 10 месяцев назад

      This changed since they now have NetBSD userland over minix. So maybe minix could become viable as a daily driver if enough people use it.

  • @alexclarosfernandez8467
    @alexclarosfernandez8467 11 лет назад +2

    This is a great & superb explanation of a new modern operating system architectture!!!. Long live to Minix and just hope with every new version doesn't follow the 'bloating' trend too. Thanx for the information Mr. Tanenbaum.

  • @neilbedwell7763
    @neilbedwell7763 Год назад +2

    Did he say half way in that this presentation was recorded in 2009? Its very insightful to see the parts of this research that are more relevant than ever to the refinement of computational science and its role in humanities future, whilst showing lineage to projects that have made head way since then (I'm thinking GUIX, modern init systems like systemD/GNU Shepherd, and research into dependently typed languages, and the idea of type universes, type fields/rings etc )

    • @metatechnologist
      @metatechnologist 6 месяцев назад

      It really is a very interesting presentation!

  • @AmiteshPrashar
    @AmiteshPrashar 14 лет назад +1

    It's really great for all the os developer as well for com.sc. students.

  • @laughingvampire7555
    @laughingvampire7555 Год назад +1

    since in Linux we don't have this architecture of microkernel in Linux we have to use virtualization and containers and orchestrators to get the same kind of recovery semantics or simply just code in Erlang

  • @YoLninYo
    @YoLninYo 13 лет назад +3

    I thought Andy Tannenbaum was a dutch guy... I always imagined him having this dutch accent... lol ... nice talk.

  • @YoLninYo
    @YoLninYo 12 лет назад +4

    Linux maybe the shiznit now, but I learned Operating Systems on Minix that was on the back of AST's book. It was simple enough to grok. 10,000 lines of code for the whole thing. Give or take. and you could install it on an 8088 (that's like running a whole OS on a friggin Arduino++ for chrissakes!!!)

  • @Garegin
    @Garegin 11 лет назад +1

    also printer drivers don't run in kernel space. i'm amazed no-one from the audience pointed it out to him

  • @AmaroqStarwind
    @AmaroqStarwind 3 года назад +1

    This would be even better if we still had Ring 2 and Ring 3, instead of just Rings 0 and 1.

    • @neilbedwell7763
      @neilbedwell7763 Год назад

      I believe this concept will eventually be ironed out as a system of implementable rings that depend on each others axioms like the idea of type fields/type universes (U, U+1 etc) in dependently typed languages, and of course compiled to the CPU'S rings through micro code or w/e. Is RISK V doing something like this already, I wonder?

  • @tonywang9032
    @tonywang9032 4 года назад +1

    so good, lots of inspiring info !

  • @videomavric
    @videomavric 13 лет назад +1

    @montaTheNuts they have to rewrite the wheel for creating the vga out for minix, so they used windows rather than spending days trying to make a vga out driver.

  • @ultimape
    @ultimape 12 лет назад +1

    it would be neat to have the message cache keep messages around in case the reincarnation server has to kill a process.. combined with the data store, this could mean that the process is more likely to be able to pick up where it left off. Presumably there would be a mechanism to denote if a message has been responded to (or expects a response) to begin with.
    The whole thing reminds me of scala's actor (akka) model.

  • @Leeate
    @Leeate 11 лет назад +3

    Lol some of you just don't get it. Performance vs. reliability.
    1. MINIX is intended for embedded systems, not for you to run your WoW. A software environment in a bus, for example, should never crash. And it doesn't really require more than like 128 MB of memory for this task. But it wouldn't matter, because
    2. Memory and processing power nowadays is cheap, especially if we consider an industrial investment.
    So what?

    • @metatechnologist
      @metatechnologist 6 месяцев назад

      Unix system V is a real operating system. Likewise so is this. And yes you can actually run WoW. You missed the part where he talks about Win98 being installed on Minix and it was working flawlessly. Likewise so should WoW. Or more specifically Wine. I.e. it's all there.

  • @thought2007
    @thought2007 8 лет назад +1

    Nice description of the joys of GNU "Autohell" (TM) - 38:39

  • @ElectronikHeart
    @ElectronikHeart 13 лет назад +1

    A lot of theses technologies are in BeOS and Haiku if I've correctly understand !
    But if one day Minix 3 can run firefox or another HTML5 capable browser, I think I will try it seriously on real Hardware. This OS seems to feel all the holes I hate on current OS models.

  • @Garegin
    @Garegin 11 лет назад +3

    also kernel crashes are not the biggest problem. the DE freezing can force the person to restart, even though the kernel is still sticking. in two the only time I got a kernel crash on my mac was from a crappy FOSS ntfs-3g kext module. go figure.

  • @terminal2004
    @terminal2004 13 лет назад

    I was a student of you though your book, AST.

  • @storerestore
    @storerestore 9 лет назад

    really good presentation!

  • @bawbagstromash9452
    @bawbagstromash9452 10 лет назад +6

    It's nice to know that a sailor taking a massive shit won't trigger world war three....
    Microkernels FTW.

  • @sakisnemkav
    @sakisnemkav 13 лет назад +1

    respect

  • @ShinNoNoir85
    @ShinNoNoir85 14 лет назад

    @roopeshvaddepally
    Keep in mind that Minix is lacking drivers. That means you cannot run it on any random laptop, until you have ported all the necessary hardware drivers to Minix.

  • @SponzyParadox
    @SponzyParadox 12 лет назад

    @triplesquarednine You have to think about application, a nuclear reactor can not be out of control for even a second for reboot or handover. That is why he is talking for industrial controls

  • @WorBlux
    @WorBlux 13 лет назад

    To get perfectly reliable software you need for formally prove the entirety of the code and use, though this seems to come closer.

  • @TheFri13
    @TheFri13 14 лет назад

    At 45:00, the Chrome question is little wierd because the Chrome OS use Linux kernel as the OS. Different name for the system but the OS is well know but hided from wide public.

  • @lanbo64
    @lanbo64 11 лет назад +1

    According to another video posted by his school, they have Solary, Linux, and Windows. He teaches distributed computing in the school. Thus, he uses some unix-like systems in his teaching. You may right, it is a irony, but I think the irony is FOSDEM's meeting room provides WINDOWS.

    • @mawangdwei3866
      @mawangdwei3866 5 лет назад

      Doors too.

    • @metatechnologist
      @metatechnologist 6 месяцев назад

      This post was written 11 years ago. Android is actually encroaching on the Windows space rapidly.

  • @ArhkXi
    @ArhkXi 14 лет назад

    I remember the time before HD TV or color phones like it was yesterday.... Hmmm... or Maybe it was yesterday.
    ~

  • @carvas18
    @carvas18 4 года назад

    It's sad that the TV is becoming more like a computer instead...

  • @gontsaru
    @gontsaru 12 лет назад

    @catalintgjiu I'm pretty sure they have a good relationship!

  • @TheIndustrialphreak
    @TheIndustrialphreak 12 лет назад

    My car is like that, usually it wants a new belt, fluid, or a new engine. of course its a FORD "Found On Road Dead" vehicle.

  • @JordanTBoehm
    @JordanTBoehm 13 лет назад

    The current Intel lineup of processors run too hot. MacBook's and other laptops eventually heat up in your lap. Then the fans run at full speed, and then I have to turn up the speakers. Slower hardware is better.

  • @gsilos
    @gsilos 3 года назад

    2:38 European Union ERC Advanced Grant

  • @8alvares
    @8alvares 12 лет назад

    so is the arm port finished or even started yet? btw appreciate the talk.

  • @ZXSpectrum128K
    @ZXSpectrum128K 11 лет назад

    why cant we use an
    itu t v44+IPR=921600 v92 modem at the speed the manufacturer designed it to work at?

  • @reinux
    @reinux 13 лет назад

    @Darr1066 Minix is a microkernel whereas Linux is a monolithic kernel. It's sort of apples to oranges.

  • @zb3pl
    @zb3pl 12 лет назад

    problem is that no graphical browsers have been ported to MINIX 3

  • @deepforge
    @deepforge 12 лет назад +1

    While I agree that Linux has become bloated and reliability in GP OS is lacking, the analog to televisions and submarines, these are apples to oranges comparisons. The difference with a GP computer system is that it is not, by definition, an appliance. Instability often occurs from installation of software with bugs, driver incompatibilites, etc. Note Andrews comment on the instability of Windows due to drivers. Appliances like Cisco network devices and Linux-based TVs are more reliable.

  • @dgphi
    @dgphi 14 лет назад

    @roopeshvaddepally, I'm pretty sure that doesn't count as irony.

  • @emeka1978
    @emeka1978 13 лет назад

    We can tell who thumbed down this vid.

  • @kummando64
    @kummando64 11 лет назад

    what is the problem with that ?

  • @TheTechInvader
    @TheTechInvader 11 лет назад +1

    It may be right that Linux is bloated and huge. But Microkernels are much too complicated either. Of course drivers has to be written properly but I prefer kernels like Linux or FreeBSD with many working drivers to those ones(Minix), where drivers(graphics driver, network cards driver) doesn't even exist. And I don't no if Minix is as stable as Linux. I never had a kernel panic on Linux. And I'm using it for allmost a year.

  • @sookoll23
    @sookoll23 13 лет назад

    @roopeshvaddepally Perhaps he needs software that hasn't been developed for Minix yet?

  • @vikraman2007
    @vikraman2007 13 лет назад +2

    You run `./configure' and it always fails. /Always/. You know? What happens? It was looking for, I dunno, Perl 5.2.3.26.9.4b, and if that wasn't there it gives up--even though the application you're trying to install doesn't use Perl at all.
    ROFLMAO

  • @gargleblasta
    @gargleblasta Год назад +1

    7:40 and what happens in Linux? Systemd got introduced 🤣

    • @metatechnologist
      @metatechnologist 6 месяцев назад

      Systemd is its own world. The problem now is I don't think anyone understands what is in Linux or if bad actors can find a way to crash, hack or backdoor it. Let's not forget about the spectre bug as well. I really think Minix is inevitable.

  • @tracnemaker123
    @tracnemaker123 12 лет назад

    a really old version

  • @Garegin
    @Garegin 11 лет назад

    the only non-fosstard unix developer.

  • @ydkantor
    @ydkantor 12 лет назад

    i clapped at 43:35

  • @markbauermeister5449
    @markbauermeister5449 9 лет назад

    *****
    That's because he's American (he's from New York). Not sure about the Jewish part (though that name sounds German to me). Do Jewish Americans sound different from other Americans?

    • @Lawiah0
      @Lawiah0 9 лет назад

      +Nave Wilson
      He can be American Jew, American Christian, American Muslim, American other; are you hung up on Religions or do you think they turn into a race of people?

  • @danieldettlaff9662
    @danieldettlaff9662 8 лет назад +1

    These fucking configure scripts!

  • @roopeshvaddepally
    @roopeshvaddepally 14 лет назад +2

    irony: minix 3 creater using windows

  • @DanHowardMtl
    @DanHowardMtl 10 лет назад +2

    Linus Torvalds should learn from this.

    • @BenStillerFaggot64
      @BenStillerFaggot64 10 лет назад +6

      I'm sure he has, him and Tenenbaum apparently still friends.

    • @logidet
      @logidet 9 лет назад +1

      ***** lol. Learn "how"? That there's less bugs in a project many thousand times smaller than yours, developing at a completely inferior rate, mainly focusing on just stability? MINIX was started in 1987. Linus used MINIX himself, but was disappointed in it. He released Linux in 1991. Tanenbaum critized it, calling it a giant step back to the 70s. A few years later, Linux had a vastly larger user base. Now with Android, it's the most popular kernel in the world. Performance and features top stability. They make things interesting for our species itself. That's evolution.
      Tanenbaum even said it himself (47:20):
      | _"Performance is not put on our agenda."_ |
      Yeah. We could all use a raw X11 based system with a bunch of xterm windows and a tiny/stable micro kernel running it all, or we could just live in the year 2015, and leave that to systems and cases where anybody needs it. If you're looking for a dead stable Linux, then you don't have to keep up with the absolute latest kernel versions. There's already distros like Debian that focus on stability, with years old software, and who only accept bug and security fixes.

    • @DanHowardMtl
      @DanHowardMtl 9 лет назад

      Det WTF are you even ranting about? I made this comment a year ago and I don't give a shit about the subject. Linux is just a shit OS used by a few dozen loud mouth open sores clowns like you,

    • @logidet
      @logidet 9 лет назад +6

      ***** comma, and...? Were you going to conclude that angry post how?
      Like I said, genius, Linux is currently the most popular OS in the world :). A lot of people have loud mouths, but I hope yours only opens up like that in the internet.

    • @DanHowardMtl
      @DanHowardMtl 9 лет назад

      Det If by the "world" you mean your "warped delusional mind" than I agree. Otherwise STFU asswipe.

  • @Benbidmead
    @Benbidmead 11 лет назад

    hahaha well that says alot :D

  • @montaTheNuts
    @montaTheNuts 13 лет назад +2

    zomg you are using windows and microsoft office for the presentation? ahahah your minix can't do that?

  • @kefsound
    @kefsound 3 года назад

    No GPL? No thanks.

  • @dominiclloyd1716
    @dominiclloyd1716 4 года назад

    Best throwing MINIX TV Android box in trash disgusting

  • @catalintgjiu
    @catalintgjiu 13 лет назад

    118 people appreciated ,Linus didn't :)

  • @Garegin
    @Garegin 11 лет назад +1

    only morons define crashes as kernel panics. crashes to a normal person is the unresponsive desktop, where they are forced to restart. andrew has to wake up and walk outdoors into the world after 2000. Kernel crashes are very uncommon. No gradma is willing to sacrifice performance to avoid a single kernel crash every three years.

    • @neilbedwell7763
      @neilbedwell7763 Год назад

      There are so many more useful implications to this research than just 'we only need one kernel that doesn't crash'. Simplicity is a cornerstone of trust and trustlessness, which our world desperately needs more understanding of

  • @curtmcd
    @curtmcd 11 лет назад

    I get a bad impression from this waste of euros. The whole O/S and all mentioned software is truly archaic -- decades behind. The trade-off of performance for some nebulous reliability claims is unacceptable; I don't remember my Linux servers EVER having crashed. Reminds me of a programmer I used to work with whose solution was to use a `for' loop to retry any code that had an error.

  • @Garegin
    @Garegin 11 лет назад

    freebsd has very reliable kernel. please don't make me laugh. their monolithic piece of s**** would kernel panic when unplugging a usb stick.

  • @gavinschuette9826
    @gavinschuette9826 Год назад

    dos have iceWM or chrome?

  • @gavinschuette9826
    @gavinschuette9826 Год назад

    web browser? usb 3?