https://hgpu.org/?p=5512
KAdvice: infering synchronization patterns from an existing codebase