https://123dok.net/document/y96j319l-compiler-analysis-implement-point-point-synchronization-parallel-programs.html