On Wed, Mar 27, 2019 at 7:12 PM Gary Guo <g...@garyguo.net> wrote: > > I would also like to mention that your code assumes 64-bit atomics > support which we don't have on 32-bit systems. Using 32-bit to track > ASID generations isn't sufficient and will cause overflows. That's why I > have asid_generation_overflow to handle the case (this is super > error-prone as well).
Thanks for catching. I will fix issues with 32bit systems and send v2 soon. Regards, Anup
