发生序关系相关硕士博士期刊学术论文 - 搜论网

发生序关系相关论文

Java程序数据竞争的增量式检测

针对静态竞争检测无额外运行开销但精度低，而动态竞争检测精度高但因插桩有额外运行开销，在实际Java虚拟机的即时编译器中以竞争检测......

期刊

增量式检测数据竞争程序分析锁集发生序关系 incremental detection data race program analysis loc

并发环境下数据竞争检测方法研究

多核处理器的普遍化使得并发程序的需求日益提升,并发编程技术对于提高CPU的利用率有着不可或缺的作用。尽管Java已经为多线程并发......

学位

并发程序 Java 数据竞争发生序关系控制流分析

看过本文同时还关注