Safety verification of a spin lock used in Linux kernel based on x86-TSO memory model by using SyncStitch
Memory model   A memory model describes the interactions of threads through memory and their...
Tags: syncstitch, concurrency, multithreading