Видео

I agree, there's overhead with IPC between the services, even if it's optimized. That extra overhead is going to introduce a bit of latency. However, there are other places where latency is introduced, like garbage collection. The garbage collector pauses program execution while it defrags the used space.

You can actually read them and they solve a ton of other major problems such as reliability and security. Speed is not everything.

@@senselessnothing reliability and speed are very important

@Richard Addison Isn't it ironic that Minix powers broken, buggy, proprietary spyware that you cannot modify or even deactivate? Oh wait, no, that's a feature of the BSD license.

@Richard Addison Yeah no, it's the same confused people that think that free speech should include the right to do things that ultimately limit free speech. And it's the same with tolerance. Tolerance of everything would include tolerance of intolerant groups or movements that actively seek to destroy tolerance. Similarly, giving users freedoms doesn't mean that everyone should be free to do anything, as that would be counterproductive and lead to violation of users' freedoms. Sadly, some people live in idealistic fantasy worlds or are too naive to get this... and suggest BSD for exactly that reason.

@Daniel Schütte: One more thing: the bazillion of lines of code ("bloat") of Linux comparisons with microkernels are fallacious and deliberately misleading. Most lines of code come from drivers for hardware you're not running and potentially will never own in your life. If Minix had the same driver base and hardware support then it would have even more lines of code. Also, the kernel didn't get more bloated. A recent embedded build configuration results in a smaller linux kernel than some older versions, and the number of lines compiled (including basic hardware support of the embedded platform) are in the thousands, not millions.

@Richard Addison What conceptual flaws? Did you watch the video and the explanation of the drawbacks of microkernel design? Minix being 8x to 50x slower than Linux, for example. But there are many more issues with microkernels and also with the marketing arguments that are being thrown around by the microkernel mob.

@Richard Addison Yeah, for quite a long time people like the professor in your linked video have e.g. insisted on synchronous calls. Surprise, surprise, this brings unfixable problems with it and this has been known for a long time... Which is why most implementations have switched to asynchronous communication, which makes the overall architecture quite complex and very hard to debug. Btw, both points were mentioned explicitly by Linus Torvalds several years ago when asked about microkernels. There's also this main argument of "fault tolerance" of microkernels, but it is an empty promise. Consider a hardware state that hangs a module due to a bug. Restarting the module won't help, because the module will again hang. Or consider a scenario where one module triggers a bug in another. If it retries then even if the other module is restarted after a hang or crash, the same will happen again. Basically, microkernels are not any more reliable when it comes to denial of service. Lastly, Linux has components that load user-space "drivers" or daemons. They are used for things where performance is not critical, do not belong in the kernel or are written by people who do not know how to develop an in-kernel driver.

why ?

Zhecho Zhechev basically, microkernels have inferior performance (5%-10%) and the whole module system ends up not working so well cuz some modules like file system need special access and thus can’t fully run in user space anyway (something like this). Just search up what Linus Torvalds says about microkernels tbh.

@@zhechozhechev118 opinion. Everyone's opinion is better than everyone else's. There are advantages and disadvantages of both.

Zhecho Zhechev I’m actually interested in microkernels rn lol. I’m trynna make one but I’m just learning about operating systems rn

@@KC9UDX That's not rigorous enough to assess how to make good OS's. Performance difference of different technologies isn't about opinions. I don't know whether Linus is right, but your comment ironically paints both options as equal. If it's just opinions, how can it be objectively true that there are advantages and disadvantages to both?

:D :D really funny, he is a theoretical professor, without practical skills

Minix is just a toy for his students

@@meteor8076 And for our Intel CPUs.

@@dymek- Yes, at 8:23 in video, he quickly brushes aside the period in which IME (Intel Management Engine) was being embedded into our CPU's... 2008, 2010, and 2013.

but it took 3 generations to eliminate the bugs. (at the customer's expense - buy the new model) 400/800 had several (Pokey timer 4 & SIO timeout) 1200XL incompatible with every other machine. (MMU & PIA Port B) ATARI Basic had 3 revisions.

I am not a c Dev but I have written so.e basic c in college. The presented code at the beginning was near unreadble to me. The presentator is a pro developer.

agree there has been similar attempts to boot erlang vm as os check erlangonxen.org/

I'd rather have an OS built on Erlang. Instead of having to use a runtime system for erlang on a host OS.

show some respect he is an academic, if you are not interested move along why watch the video in the first place

TiCLer without that guy you won't have Linux. ignorant is a bliss

STFU, microkernels are here.

No!Only about minix.otherwise you 100% right.

I use that microkernel quite successfully. Hardly a waste of time, and it makes driver hacking very easy.

Linux is too bloated for that kind of change.

Why ask for something new by asking that nothing be changed? If you want Linux, you already have it. If you want a Tiny Linux you already have that. And you wonder why nothing changes?

The replies to your comment here are all true. I would two more reasons why trying a micro kernel with Linux:

Two reasons why it’s a bad idea to try a micro kernel in Linux: 1. Linux is too political to attempt this in - too many feelings to hurt. 2. Linux is already too fragmented . Think what you could all do together making 1 or 2 distributions instead of the hundreds there are now.

Mates, Linux already run on top of a microkernel in someway, every Intel CPU runs an embedded minix on the core of the processor, it's just beyond reach.