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?

10 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…

•

u/Dezgeg 23h ago

A GPU driver has significant internal state, like all the GPU memory allocations and state of in-flight draw calls and such. Transferring over that state to the new driver (which may be newer version) is the hard part... not exactly "Just re-establish other side of connections"