On Tue, 2018-09-18 at 17:00 -0600, Khalid Aziz wrote: > I tested the kernel with this new code. When booted without > "xpfotlbflush", > there is no meaningful change in system time with kernel compile. That's good news! So the lock optimizations seem to help. > Kernel > locks up during bootup when booted with xpfotlbflush: I didn't test the version with TLB flushes, because it's clear that the overhead is so bad that no one wants to use this. It shouldn't lock up though, so maybe there is still a race condition somewhere. I'll give this a spin on my end later this week. Thanks for trying this out! Julian Amazon Development Center Germany GmbH Berlin - Dresden - Aachen main office: Krausenstr. 38, 10117 Berlin Geschaeftsfuehrer: Dr. Ralf Herbrich, Christian Schlaeger Ust-ID: DE289237879 Eingetragen am Amtsgericht Charlottenburg HRB 149173 B