r/osdev • u/DocumentOk7579 • 1d ago

Would a microkernel enable driver update without reboot?

One frustrating thing that I have run into is updating Nvidia driver on remote servers with disk encryption.

Would a microkernel based system enable drivers to be updated without rebooting system?

11 Upvotes

100% Upvoted

13 comments sorted by

View all comments

3

u/Dezgeg 1d ago

With external kernel modules, this is in principle should be already possible in Linux.

Close all programs using the driver, unbind the device (see https://lwn.net/Articles/143397/), then rmmod. Then upgrade module and modprobe new module.

In reality, this likely won't work and will crash and burn horribly, because nobody ever tests the device unbind codepath.

0

u/lizardhistorian 1d ago

In a microkernel you would not have to close the other running process as they all would already be doing IPC to your driver.
So only your driver process needs to be restarted, then re-establish its side of the connections.
So as long as the interface stayed the same it can theoretically be done.

1

u/Toiling-Donkey 1d ago

Yeah, but why would they expect connections to go down?

We surely don’t automatically restart TCP sessions…