On 04/04/2017 12:46, Alex Bennée wrote: >> In theory the main-loop should be sequenced before or after vCPU events >> because of the BQL. I'm not sure why this is not currently the case. > > It seems cpu_handle_exception doesn't take the BQL until > replay_exception() has done its thing. This is fixable but the function > is a mess so I'm trying to neaten that up first.
Long term neither cpu_handle_exception nor cpu_handle_interrupt need the BQL at all. Paolo
