It's unambiguous, thanks! So this already happens in all cases except SMP kernel Click. On SMP kernel Click, it still happens among all Tasks scheduled on a single CPU. So maybe you want to use StaticThreadSched to ensure that the given elements are scheduled on the same CPU. lov,e ed