[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What is the standard microkernel?
From: |
Paul Boddie |
Subject: |
Re: What is the standard microkernel? |
Date: |
Fri, 20 Jan 2023 17:42:50 +0100 |
On Friday, 20 January 2023 15:00:46 CET William ML Leslie wrote:
> The trickiest part for me so far was the fact that mach ports are
> refcounted and you can get notifications when the sender is gone or when
> all the listeners are gone; to do this reliably on simpler microkernels you
> need to have some other service keep track of that information.
Fiasco.OC provides notifications when IPC gates are no longer referenced.
Paul