the National Natural Science Foundation of China(No.61300010,No.61300011)
Data races are increasingly seen as concurrency bugs and they are difficult to reproduce and diagnose in parallel programs. Linux kernel is a large-scale software system, in which intensive thread-level parallelism an...
The conventional transaction concurrency control theory and mechanisms are challenged in the context of a multilevel DBMS (Data base management system). Not only the correctness of transaction processing, namely the s...