-
公开(公告)号：CN116610441A
公开(公告)日：2023-08-18
申请号：CN202310354501.9
申请日：2023-04-06
Applicant: 南京大学
Abstract: 本发明公开了一种针对基于分解的多面体抽象域的并行加速方法。具体包括以下技术要点：主要由针对Chernikova算法的并行加速方法与针对基于分解的多面体域操作的并行加速方法两个部分组成，提供了一种并行计算射线的方法来加速Chernikova算法的方法，并且为并行计算产生的读写冲突提供了解决方法。多面体抽象域最主要的域操作有交操作、接合操作、加宽操作、包含测试、条件操作和赋值操作，本发明为这六种基于分解的域操作提供了并行加速方法。静态程序分析中，在基于分解的多面体抽象域表现不佳的某些场景下，本方法达到了显著缩短多面体抽象域的计算时间、且内存仅略微增加的技术效果。
Search Results
1
records
(took 0.012 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
