OpenBSD/src Wbwe5sa — sys/kern kern_smr.c, sys/sys sched.h
Remove incorrect optimization. The current logic for skipping idle CPUs does not establish strong enough ordering between CPUs. Consequently, smr_grace_wait() might incorrectly skip a CPU and invoke an SMR callback too early. Prompted by haesbaert@
Version | Delta | File | |
---|---|---|---|
1.3 | +3 | -21 | sys/kern/kern_smr.c |
1.52 | +1 | -4 | sys/sys/sched.h |
+4 | -25 | 2 files |