Re: [PATCH v3 10/19] sched: Fix migrate_disable() vs set_cpus_allowed_ptr()

From: Peter Zijlstra
Date: Tue Oct 20 2020 - 03:56:34 EST



FYI Tao, I shared this with Valentin on IRC yesterday evening (we're
both in Europe):

https://paste.debian.net/1167885/

I'll be going over it again this morning with a (hopefully) fresh(er) mind.