Add speculative execution (prefetch) to model
-rw-r--r-- 198 .gitignore
-rw-r--r-- 1193 LICENSE
-rw-r--r-- 2216 Makefile
-rw-r--r-- 2252 Makefile64
-rw-r--r-- 386 README
-rw-r--r-- 45608 api_ppc.h
-rw-r--r-- 39254 api_x86.h
-rw-r--r-- 2948 arch_atomic_ppc.h
-rw-r--r-- 2462 arch_atomic_x86.h
-rw-r--r-- 2866 arch_ppc.h
-rw-r--r-- 3485 arch_x86.h
-rw-r--r-- 1499 compiler.h
-rw-r--r-- 3681 debug_yield.patch
drwxr-xr-x - formal-model
-rw-r--r-- 17987 gpl-2.0.txt
-rw-r--r-- 26434 lgpl-2.1.txt
-rw-r--r-- 1083 lgpl-relicensing.txt
-rw-r--r-- 10414 rcutorture.h
-rw-r--r-- 3703 test_rwlock_timing.c
-rw-r--r-- 6758 test_urcu.c
-rw-r--r-- 4448 test_urcu_timing.c
-rw-r--r-- 1121 urcu-asm.c
-rw-r--r-- 7594 urcu-static.h
-rw-r--r-- 12055 urcu.c
-rw-r--r-- 2660 urcu.h
-rw-r--r-- 180 urcutorture.c
This page took 0.04671 seconds and 4 git commands to generate.