×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [atomic instructions]
Home >
atomic instructions
Arm Linux & Gcc
130 views
The x86 Family
9.505 views
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study Sebastian Burckhardt Rajeev Alur Milo M. K. Martin Department of.
215 views
Comparing and Optimising Parallel Haskell Implementations on Multicore Jost Berthold Simon Marlow Abyd Al Zain Kevin Hammond.
229 views
Linux Device Driver parallelism using SMP and Kernel Pre-emption
764 views
Threading through InterBase, Firebird, and beyond
909 views
Micro control idsecconf2010
938 views
RCU Usage in Linux. History of concurrency in Linux Multiprocessor support 15 years ago – via non-preemption in kernel mode Today's Linux – fine-grain.
223 views
©Silberschatz, Korth and Sudarshan1 ARIES Recovery Algorithm ARIES: A Transaction Recovery Method Supporting Fine Granularity Locking and Partial Rollback.
219 views
Levels of Reasoning propositional p 1 = q 1 p 2 = q 2 ... p n = q n p = q schematic (1 st order uninterpreted) x := s ; x := t = x := t[x/s] 1 st.
222 views
CS510 Concurrent Systems Class 1b Spin Lock Performance.
237 views
CS510 Concurrent Systems Class 1 Linux Kernel Locking Techniques.
234 views
Next >