Re: [PATCH]: gnumach - simplify interrupt handling

[Samuel Thibault]

Samuel Thibault, le lun. 11 nov. 2019 19:06:21 +0100, a ecrit:
> Justus Winter, le lun. 11 nov. 2019 19:03:46 +0100, a ecrit:
> > I remember thinking about using a send-once right that when deallocated
> > enables the interrupt again.  This should be a) well optimized, and b)
> > robust in the face of misbehaving userland.
> 
> I was thinking about something like that to be able to restore proper
> state when the process is killed, indeed.

I have cleaned the support in master-user_level_drivers a bit.

I have added counting disables, and added proper interaction with
user-delivered interrupts. It seems to be going fine, I could drive both
an ahci device from gnumach and a network card from netdde at the same
time. I have uploaded that to debian.

The interface should however be cleaned. We really need to add a port to
the user_intr_enable instead of just the line number, so that counting
can be done properly. We could use the send-once port for that.

Samuel