SAD kernels: a software tool to evaluate synchronization behavior of multiprocessors | IEEE Conference Publication | IEEE Xplore