首页>
外国专利>
FAST AND ACCURATE STATIC DATA-RACE DETECTION FOR CONCURRENT PROGRAMS
FAST AND ACCURATE STATIC DATA-RACE DETECTION FOR CONCURRENT PROGRAMS
展开▼
机译:并行程序的快速,准确的静态数据种族检测
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system and method for race warning generation for computer program verification includes determining shared variables and determining context-sensitive points-to sets for lock pointers by focusing on pointers that may affect aliases of lock pointers, and by leveraging function summarization. Locksets are determined at locations where shared variables are accessed using the points-to sets for lock pointers. Warnings are based on disjointness of locksets.
展开▼