From: Lawrence D'Oliveiro <ldo@nz.invalid>
Subject: Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
Date: Sun, 6 Oct 2024 23:48:34 -0000 (UTC) [thread overview]
Message-ID: <vdv7ki$1dc01$12@dont-email.me> (raw)
In-Reply-To: vdv4ua$1d908$1@dont-email.me
On Mon, 7 Oct 2024 00:02:34 +0100, Luke A. Guest wrote:
> On 06/10/2024 22:30, Lawrence D'Oliveiro wrote:
>>
>> On Sun, 6 Oct 2024 20:46:16 +0100, Luke A. Guest wrote:
>>
>>> MacOS uses Mach which is well known for being a terrible
>>> implementation of the microkernel, that's why it's a hybrid, same
>>> reason NT got changed into a hybrid too.
>>
>> And yet they are both still outperformed by Linux on the same hardware.
>
> What's your point? I said Mach is the worst example of a microkernel,
> it's been proven, decades ago.
So where is there a better one? It’s long been established that
microkernel performance is terrible, and the theoretical reliability
advantages have failed to materialize. What reason is there left to use
them? None.
After 40 or more years trying to tout the idea, it’s time to give up.
next prev parent reply other threads:[~2024-10-06 23:48 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-10-03 17:38 Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant Fernando Oleo / Irvise
2024-10-03 22:12 ` Lawrence D'Oliveiro
2024-10-04 10:28 ` Luke A. Guest
2024-10-04 16:56 ` Fernando Oleo / Irvise
2024-10-04 20:04 ` Lawrence D'Oliveiro
2024-10-04 19:52 ` Kevin Chadwick
2024-10-04 20:05 ` Lawrence D'Oliveiro
2024-10-04 22:19 ` Luke A. Guest
2024-10-04 23:55 ` Paul Rubin
2024-10-05 8:11 ` Lawrence D'Oliveiro
2024-10-05 10:47 ` Luke A. Guest
2024-10-05 23:08 ` Lawrence D'Oliveiro
2024-10-05 16:24 ` DrPi
2024-10-05 16:27 ` Luke A. Guest
2024-10-05 23:10 ` Lawrence D'Oliveiro
2024-10-06 13:53 ` DrPi
2024-10-06 14:19 ` DrPi
2024-10-06 21:29 ` Lawrence D'Oliveiro
2024-10-07 15:56 ` Nioclásán Caileán de Ghlostéir
2024-10-06 19:46 ` Luke A. Guest
2024-10-06 21:30 ` Lawrence D'Oliveiro
2024-10-06 23:02 ` Luke A. Guest
2024-10-06 23:48 ` Lawrence D'Oliveiro [this message]
2024-10-07 8:21 ` Luke A. Guest
2024-10-07 9:33 ` Luke A. Guest
2024-10-07 20:30 ` Lawrence D'Oliveiro
2024-10-07 20:47 ` Luke A. Guest
2024-10-11 23:25 ` Lawrence D'Oliveiro
2024-10-07 8:22 ` Luke A. Guest
2024-10-07 10:25 ` Chris Townley
2024-10-07 14:13 ` Luke A. Guest
2024-10-06 21:25 ` Lawrence D'Oliveiro
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox