840
No Mercy (files.catbox.moe)
submitted 9 months ago by sag@lemm.ee to c/linuxmemes@lemmy.world
161 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[-] uis@lemm.ee 2 points 9 months ago* (last edited 9 months ago)

This particular issue could be solved in most cases in a monolithic kernel. That it isn't, is by design.

It was(see CLONE_DETATCHED here) and is(source)

Create a program that is guaranteed to become a zombie. Run it within a filesystem mounted by an in-kernel module, like a remote nfs mount. You now have a permanently mounted NFS mount point.

Ok, this is not really good implementation. I'm not sure that standard requires zombie processes to keep mountpoints(unless its executable is located in that fs) untill return value is read. Unless there is call to get CWD of another process. Oh, wait. Can't ptrace issue syscall on behalf of zombie process or like that? Or use vfs of that process? If so, then it makes sense to keep mountpoint.

Every module is killable, crashable, upgradable - all without forcing a reboot or affecting any processes not using the module.

except without the benefits of actually being a microkernel.

Except Linux does it too. If graphics module crashes, I still can SSH into system. And when I developed driver for RK3328 TRNG, it crashed a lot. Replaced it without reboot.

Microkernels are better. Popularity does not prove superiority, except in the metric of popularity.

As I said, we live in post-meltdown world. Microkernels are MUCH slower.

[-] sxan@midwest.social 2 points 9 months ago* (last edited 9 months ago)

As I said, we live in post-meltdown world. Microkernels are MUCH slower.

I've heard this from several people, but you're the lucky number by which I'd heard it enough that I bothered to gather some references to refute this.

First, this is an argument that derived from first generation microkernels, and in particular, MINIX, which - as a teaching aid OS, never tried to play the benchmark game. It's been repeated, like dogma, through several iterations of microkernels which have, in the interim, largely erased most of those performance leads of monolithic kernels. One paper notes that, once the working code exceeds the L2 cache size, there is marginal advantage to the monolithic structure. A second paper running benchmarks on L^4^Linux vs Linux concluded that the microkernel penalty was only about 5%-10% slower for applications than the Linux monolithic kernel.

This is not MUCH slower, and - indeed - unless you're doing HPC applications, is close enough to be unnoticeable.

Edit: I was originally going to omit this, as it's propaganda from a vested interest, and includes no concrete numbers, but this blog entry from a product manager at QNX specifically mentions using microkernels in HPC problem spaces, which I thought was interesting, so I'm post-facto including it.

[-] uis@lemm.ee 1 points 9 months ago* (last edited 9 months ago)

First, this is an argument that derived from first generation microkernels, and in particular, MINIX, which - as a teaching aid OS, never tried to play the benchmark game.

Indeed, first generation microkernels were so bad, that Jochen Liedtke in rage created L3 "to show how it's done". While it was faster than existing microkernels, it was still slow.

One paper notes that, once the working code exceeds the L2 cache size, there is marginal advantage to the monolithic structure.

  1. The paper was written in pre-meltdown era.
  2. The paper is about hybrid kernels. And gutted Mach(XNU) is used as example.
  3. Nowdays(after meltdown) all cache levels are usually invalidated during context switch. Processors try to add mechanisms to avoid this, but they create new vulnreabilities.

A second paper running benchmarks on L^4^Linux vs Linux concluded that the microkernel penalty was only about 5%-10% slower for applications than the Linux monolithic kernel.

    1. Waaaaay before meltdown era.

I'll mark quotes from paper as doublequotes.

a Linux version that executes on top of a first- generation Mach-derived µ-kernel.

  1. So, hybrid kernel. Not as bad as microkernel.

The corresponding penalty is 5 times higher for a co-located in-kernel version of MkLinux, and 7 times higher for a user- level version of MkLinux.

Wait, what? Co-located in-kernel? So, loadable module?

In particular, we show (1) how performance can be improved by implementing some Unix services and variants of them directly above the L4 µ-kernel

  1. No surprise here. Hybrids are faster than microkernels. Kinda proves my point, that moving close to monolithic improves performance.

Right now I stopped at the end of second page of this paper. Maybe will continue later.

this blog entry

Will read.

this post was submitted on 07 Jul 2024
840 points (92.7% liked)

linuxmemes

24273 readers
781 users here now

Hint: :q!

Sister communities:

Community rules (click to expand)

1. Follow the site-wide rules

2. Be civil
  • Understand the difference between a joke and an insult.
  • Do not harrass or attack users for any reason. This includes using blanket terms, like "every user of thing".
  • Don't get baited into back-and-forth insults. We are not animals.
  • Leave remarks of "peasantry" to the PCMR community. If you dislike an OS/service/application, attack the thing you dislike, not the individuals who use it. Some people may not have a choice.
  • Bigotry will not be tolerated.
    • 3. Post Linux-related content
  • Including Unix and BSD.
  • Non-Linux content is acceptable as long as it makes a reference to Linux. For example, the poorly made mockery of sudo in Windows.
  • No porn, no politics, no trolling or ragebaiting.
    • 4. No recent reposts
  • Everybody uses Arch btw, can't quit Vim, <loves/tolerates/hates> systemd, and wants to interject for a moment. You can stop now.
    • 5. 🇬🇧 Language/язык/Sprache
  • This is primarily an English-speaking community. 🇬🇧🇦🇺🇺🇸
  • Comments written in other languages are allowed.
  • The substance of a post should be comprehensible for people who only speak English.
  • Titles and post bodies written in other languages will be allowed, but only as long as the above rule is observed.
    • 6. (NEW!) Regarding public figuresWe all have our opinions, and certain public figures can be divisive. Keep in mind that this is a community for memes and light-hearted fun, not for airing grievances or leveling accusations.
  • Keep discussions polite and free of disparagement.
  • We are never in possession of all of the facts. Defamatory comments will not be tolerated.
  • Discussions that get too heated will be locked and offending comments removed.
    •  

    Please report posts and comments that break these rules!

    Important: never execute code or follow advice that you don't understand or can't verify, especially here. The word of the day is credibility. This is a meme community -- even the most helpful comments might just be shitposts that can damage your system. Be aware, be smart, don't remove France.

    founded 2 years ago
    MODERATORS
    poopsmith@lemmy.world
    zephyr@lemmy.world
    rtxn@lemmy.world