Sujet : Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
De : 314 (at) *nospam* drpi.fr (DrPi)
Groupes : comp.lang.adaDate : 06. Oct 2024, 15:53:25
Autres entêtes
Organisation : <http://pasdenom.info/news.html>
Message-ID : <vdu4om$t3r$1@rasp.pasdenom.info>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
Le 06/10/2024 à 01:10, Lawrence D'Oliveiro a écrit :
On Sat, 5 Oct 2024 18:24:39 +0200, DrPi wrote:
Le 04/10/2024 à 22:05, Lawrence D'Oliveiro a écrit :
>
The microkernel proponents still seem to think there is a point to
their idea, even after decades of real-world experience to the
contrary.
>
Any evidence of this assertion ?
Look around you, at what happened when people tried to use microkernels in
real-world situations. I think Apple tried to use one in its “macOS” (née
“OS X”), and performance suffered as a result.
MacOS-X is a hybrid kernel. Half way betwwen micro-kernel and monolithic kernel.
You should try QNX.
Was that used in any high-performance situation?
Sure. QNX is designed for hard real time.
Also, you don't have to recompile the kernel each time a driver needs to
be recompiled.
Linux has supported loadable modules for maybe 30 years now.
Yes, they exist but they are some sort of exception.
Look at linux kernel release logs like this one
https://www.cnx-software.com/2024/09/16/linux-6-11-release-notable-changes-arm-risc-v-and-mips-architectures/Most of the log content is about drivers.
And when time comes to debugging a kernel driver...
Date | Sujet | # | | Auteur |
3 Oct 24 | Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 32 | | Fernando Oleo / Irvise |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 31 | | Lawrence D'Oliveiro |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Fernando Oleo / Irvise |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 27 | | Kevin Chadwick |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 26 | | Lawrence D'Oliveiro |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 5 | | Luke A. Guest |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Paul Rubin |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | Lawrence D'Oliveiro |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Luke A. Guest |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 20 | | DrPi |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 18 | | Lawrence D'Oliveiro |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 17 | | DrPi |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | DrPi |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Lawrence D'Oliveiro |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Nioclásán Caileán de Ghlostéir |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 12 | | Luke A. Guest |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 11 | | Lawrence D'Oliveiro |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 10 | | Luke A. Guest |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 9 | | Lawrence D'Oliveiro |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 5 | | Luke A. Guest |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | Lawrence D'Oliveiro |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Luke A. Guest |
12 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | Luke A. Guest |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Chris Townley |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |