报告时间：2025年7月6日（周日）15:15 – 16:00
报告地点：线上腾讯会议（ID: 682321240），线下计算机与大数据学院2-219会议室
报告题目：GoPV：检测 Go 语言中与共享内存同步相关的阻塞性并发缺陷
报告简介：Go 是一种广受欢迎的并发编程语言，它采用消息传递和共享内存同步原语，实现名为“goroutine”的线程间的交互。不过，若错误使用同步原语，极易引发像死锁、goroutine泄漏等阻塞性并发缺陷。尽管与消息传递相关的阻塞性并发缺陷日益受到关注，但针对因错误使用共享内存同步原语而导致的阻塞性并发缺陷的相关研究却寥寥无几。在本次汇报中，我们提出了GoPV， 一款静态分析器兼开源工具。该工具基于并发分析以及（后）支配者分析，通过判定同步原语是否被错误使用，来找出阻塞性并发缺陷。在8个基准程序和21个大型实际Go项目上对GoPV进行了实验评估。结果表明，GoPV 不仅成功检测出8个基准程序里所有与共享内存同步相关的阻塞性并发缺陷，还在2.78小时内，于21个大型Go应用程序中找出了17个此类缺陷。
报告人介绍：宋巍，南京理工大学计算机科学与工程学院教授、博士生导师，校学术委员会委员，CCF软件工程专委委员、服务计算专委委员、IEEE Senior Member，曾历任CCF YOCSEF南京AC委员、秘书、副主席。十余年来一直从事软件工程与方法学、服务计算等方面的研究；在软件工程相关领域顶级会议与期刊上发表CCF A类论文20余篇，曾受邀参加国际计算机顶级论坛Schloss Dagstuhl研讨会并做报告。
