shinjuku icon indicating copy to clipboard operation
shinjuku copied to clipboard

Published 20 hours ago • verified publisher icon stanford-mast

Sending IPIs

Open rishabh246 opened this issue 2 years ago • 0 comments

Hi,

I'm trying to run Shinjuku. Shinjuku boots OK and the networker, dispatcher and workers all start fine but the dispatcher is unable to pre-empt any of the workers. A quick look showed that on my system the IPI isn't being sent, because the Interrupt Control Reg (ICR) of the APIC seems permanently busy - https://github.com/kkaffes/dune/blob/master/libdune/apic.c#L98.

Unfortunately, this doesn't seem too well documented online and so debugging this has been pretty hard. As far as I can tell, Dune doesn't do much to setup IPIs either (beyond mapping the relevant addresses into the dispatcher's address space), so it doesn't seem like I've forgotten to set an important bit somewhere either.

Did you ever run into this? If so, any help would be great!

rishabh246 avatar Jul 05 '22 21:07 rishabh246