Article <vduv8h$1cb85$2@dont-email.me>

Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <vduv8h$1cb85$2@dont-email.me>

Deutsch English Français Italiano

<vduv8h$1cb85$2@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in
 SPARK/Ada, received an nlnet grant
Date: Sun, 6 Oct 2024 21:25:38 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <vduv8h$1cb85$2@dont-email.me>
References: <vdmkqn$3qbtc$1@dont-email.me> <vdn4rf$3ssv4$10@dont-email.me>
	<vdph1c$bf5v$1@dont-email.me> <vdphqj$bgk6$4@dont-email.me>
	<vdrp8a$5pn$1@rasp.pasdenom.info> <vdsh1i$u392$5@dont-email.me>
	<vdu4om$t3r$1@rasp.pasdenom.info>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 06 Oct 2024 23:25:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2984c2f13757de48e2f7497d28a8ed5d";
	logging-data="1453317"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Alug9C9rKMdOkOwfYpH3y"
User-Agent: Pan/0.160 (Toresk; )
Cancel-Lock: sha1:/a9ggZyqovYHNq66XCEDmKDDAh0=
Bytes: 2658

On Sun, 6 Oct 2024 15:53:25 +0200, DrPi wrote:

> Le 06/10/2024 à 01:10, Lawrence D'Oliveiro a écrit :
>>
>> On Sat, 5 Oct 2024 18:24:39 +0200, DrPi wrote:
>> 
>>> You should try QNX.
>> 
>> Was that used in any high-performance situation?
>
> Sure. QNX is designed for hard real time.

Not the same thing. “Hard real time” does not imply “high performance”. 
Ask the folks working on the very subject of this thread.

Is the QNX “microkernel” similar in style to the old Amiga “microkernel”? 
That is, instead of copying message buffers around, it just passed around 
pointers to those message buffers? That would give you speed, but 
sacrifice much of the robustness that a microkernel is supposed to offer.

>> Linux has supported loadable modules for maybe 30 years now.
>
> Yes, they exist but they are some sort of exception.

No they are not. They typically make up the majority of the kernel. 
Looking at my current kernel, the base kernel file is less than 10MB in 
size, whereas the directory containing loadable modules for that kernel is 
about 10× that.

Of course, this is your choice; some prefer to build all the options they 
need into a single monolithic image, for faster loading. Linux is all 
about having the choice.

> And when time comes to debugging a kernel driver...

Hurd should have found that easy to do, if microkernels really make things 
easy to do. But it didn’t.