搜索结果: 1-2 共查到“工学 static race detection”相关记录2条 . 查询时间(0.078 秒)
Effective Static Race Detection for Java
static race detection Java synchronization concurrency multi-threading
2016/5/24
We present a novel technique for static race detection in Java programs,comprised of a series of stages that employ a combination of static analyses to successively reduce the pairs of memory accesses...
Conditional Must Not Aliasing for Static Race Detection
static race detection Java synchronization concurrency multi-threading
2016/5/24
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a proof of race freedom ...