脱兔官方网站,dota2脱兔比分网

脱兔官方网站

近日,以脱兔官方网站黄宇老师为第一作者、以dota2脱兔比分网为第一单位的论文“A Predictive Analysis for Detecting Deadlock in MPI Programs” 在软件工程国际顶级会议ASE(CCF A类)上成功发表。ASE会议( IEEE/ACM International Conference on Automated Software Engineering)是软件工程领域最高级别的国际学术会议之一。

死锁一直以来是MPI系统的常见问题:两个及以上进程在运行时由于消息交互的环状依赖而产生无限停滞。本论文提出一种新的预测分析(Predictive Analysis)方法,通过对单路径(Single-Path)MPI程序的典型执行序列进行逻辑归因,精确推测出基于同样程序输入的所有其它执行序列是否存在死锁。该方法首先通过约简策略构建程序指令的环状依赖图,以静态分析的方式从图中识别出死锁候选(Deadlock Candidate),然后将这些死锁候选送至基于简化语义的抽象机进行筛选,最后用SMT方法对符合条件的死锁候选进行验证,从而精确验证出某些执行序列在实时运行中是否存在死锁。该方法的优势在于可以在低复杂度的前提下预测出高概率的死锁候选,相比于多个最新的MPI死锁验证方法,具有更高的时间效率,并同时具备可靠性(Soundness)和完备性(Completeness)。

黄宇老师毕业于美国杨百翰大学,曾在惠普Fortify(硅谷)参与研究工作,现为脱兔官方网站副教授、硕士生导师。主要研究方向为形式化验证、代码分析、智能合约等,迄今在国际知名期刊和会议(ASE、NFM、SEKE、Parallel Computing等)发表论文数篇。本篇论文是黄宇老师和杨百翰大学的研究团队合作共同完成。