My apologies for the slow reply. On (20/08/17 13:25), Marc Zyngier wrote: > > It really isn't the same thing at all. You are exposing PV spinlocks, > while Sergey exposes preemption to vcpus. >
Correct, we see vcpu preemption as a "fundamental" feature, with consequences that affect scheduling, which is a core feature :) Marc, is there anything in particular that you dislike about this RFC patch set? Joel has some ideas, which we may discuss offline if that works for you. -ss