会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 10. 发明申请
    • FAST AND ACCURATE DATA RACE DETECTION FOR CONCURRENT PROGRAMS WITH ASYNCHRONOUS CALLS
    • 用非正常呼叫进行同步程序的快速和准确的数据检测
    • US20100235817A1
    • 2010-09-16
    • US12702023
    • 2010-02-08
    • VINEET KAHLONNishant SinhaYun ZhangEric J. Kruus
    • VINEET KAHLONNishant SinhaYun ZhangEric J. Kruus
    • G06F9/44
    • G06F8/458G06F11/3604
    • A system and method for analyzing a concurrent program employ asynchronous function calls for communication and recursion. A control flow graph is constructed based on a context-sensitive pointer analysis, whereupon encountering a function pointer, a points-to set of the function pointer is computed in a context-sensitive fashion to determine a set of potential function calls. The context-sensitive pointer analysis is terminated when no new potential function calls are encountered and where the potential function calls may contribute new data races other than those that exist in the contexts traversed thus far. To decide this, a characterization of pointer aliasing based upon complete update sequences is employed. A set of contexts that may contribute to different data races are enumerated by tracking update sequences for function and lock pointers and pointers that are shared or point to shared memory locations. Data race detection is carried out on the control flow graph.
    • 用于分析并发程序的系统和方法使用用于通信和递归的异步函数调用。 基于上下文敏感指针分析构建控制流程图,随后遇到函数指针,以上下文相关方式计算函数指针的点对集合,以确定一组潜在的函数调用。 当没有遇到新的潜在函数调用时,上下文敏感的指针分析被终止,潜在函数调用的潜在函数调用可能会贡献除了迄今为止遍历的上下文中存在的数据之外的新数据种族。 为了确定这一点,使用基于完整更新序列的指针混叠的表征。 可以通过跟踪共享或指向共享存储器位置的功能和锁定指针和指针的更新序列来枚举可能有助于不同数据竞赛的一组上下文。 在控制流程图上进行数据竞赛检测。