Re: Possible race in pc87413_wdt.ko

2017-08-07 Thread Guenter Roeck
On 08/07/2017 06:22 AM, Anton Volkov wrote: Hello. While searching for races in the Linux kernel I've come across "drivers/watchdog/pc87413_wdt.ko" module. Here is a question that I came up with while analyzing results. Lines are given using the info from Linux v4.12. Consider the following c

Possible race in pc87413_wdt.ko

2017-08-07 Thread Anton Volkov
Hello. While searching for races in the Linux kernel I've come across "drivers/watchdog/pc87413_wdt.ko" module. Here is a question that I came up with while analyzing results. Lines are given using the info from Linux v4.12. Consider the following case: Thread 1: Th