2009-06-08  Mathieu DesnoyersAdd QSBR RCU timing tests
2009-06-08  Mathieu Desnoyersupdate test timings for writer
2009-06-08  Mathieu DesnoyersAdd per thread lock test case
2009-06-04  Mathieu DesnoyersAnother ooo mem isched update
2009-06-04  Mathieu DesnoyersUpdate isched ooomem model
2009-06-04  Mathieu DesnoyersUpdate ooo isched test
2009-06-04  Mathieu DesnoyersUse nicer LTL formula with eventually for ooomem model
2009-06-04  Mathieu DesnoyersAdd speculative execution (prefetch) to model
2009-06-03  Mathieu DesnoyersFix comment on top of oomem two writes model
2009-06-03  Mathieu DesnoyersAdd Intel ipi urcu model run results
2009-06-03  Mathieu DesnoyersAdd multiple arch support (alpha, intel, powerpc)
2009-05-30  Mathieu DesnoyersVerification run #1, ipi and no-ipi results
2009-05-30  Mathieu DesnoyersModel used for ipi verification run #1
2009-05-29  Mathieu DesnoyersConfiguration for remote barrier formal verif run
2009-05-28  Mathieu DesnoyersUpdate spin model
2009-05-27  Mathieu DesnoyersUse define SLAB_SIZE in promela model
2009-05-27  Mathieu Desnoyersurcu model wmb/read barrier depend
2009-05-27  Paul E. McKenneyAdd .gitignore entries to reduce 'git status' chatter
2009-05-26  Paul E. McKenneycatch urcu-paulmck.spin to my local version
2009-05-26  Mathieu Desnoyerssync_core to smp_mb transition
2009-05-20  Mathieu DesnoyersFix standard (no remote barrier) parity flip bug
2009-05-20  Mathieu DesnoyersSpecial-case reader/writer busy-loop for signals in...
2009-05-20  Mathieu DesnoyersFix single flip test
2009-05-20  Mathieu DesnoyersFix urcu controldataflow model remote barriers
2009-05-19  Mathieu DesnoyersDocument update in urcu.spin header
2009-05-19  Mathieu DesnoyersAdd extended urcu model with ooo mem and instruction...
2009-05-19  Mathieu DesnoyersSupport gcc which does not support constructor attribute
2009-05-19  Steven MunroeFix opensuse powerpc build
2009-05-16  Mathieu DesnoyersDocument thread registration in urcu.h
2009-05-16  Mathieu DesnoyersDocument rcu_register_thread in README
2009-05-15  Mathieu DesnoyersUpdate ooo mem model comments
2009-05-15  Mathieu DesnoyersRemove old memory models
2009-05-15  Mathieu DesnoyersUpdate out of order memory models to include instructio...
2009-05-15  Mathieu DesnoyersMove reader barrier within if statement for outermost...
2009-05-13  Mathieu DesnoyersUse sync_core() in the write side to match current...
2009-05-13  Mathieu Desnoyersadd sync_core primitive
2009-05-13  Mathieu DesnoyersAdd rewrite of rep_nop
2009-05-13  Mathieu DesnoyersRemove rep_nop() (GPL)
2009-05-13  Mathieu DesnoyersLGPLv2.1 relicensing statement
2009-05-13  Mathieu DesnoyersApply MIT-style license to compiler.h
2009-05-13  Mathieu DesnoyersRewrite of likely, unlikely, barrier and ACCESS_ONCE
2009-05-13  Mathieu DesnoyersRemoving GPL likely, unlikely, ACCESS_ONCE and barrier
2009-05-13  Mathieu DesnoyersCreate separate document for relicensing details
2009-05-13  Paul E. McKenneyFix some typos in PowerPC support code.
2009-05-12  Mathieu DesnoyersRemove bogus comment.
2009-05-12  Mathieu DesnoyersImplementation of xchg primitives derived from MIT...
2009-05-11  Mathieu DesnoyersAdd Paul's URCU model
2009-05-11  Mathieu DesnoyersFix arch_ppc precompiler error
2009-05-11  Mathieu DesnoyersFix precompiler error in arch_*.h, add arch-api test
2009-05-11  Mathieu DesnoyersAdd final license to test file, cleanup makefile
2009-05-11  Mathieu DesnoyersRemove automatically generated api.h from repository
2009-05-11  Mathieu DesnoyersAdd missing urcu-static.h
2009-05-11  Mathieu DesnoyersLGPL relicensing part 2
2009-05-11  Mathieu DesnoyersLGPLv2.1 relicensing
2009-05-09  Mathieu DesnoyersAdd ACCESS_ONCE to _STORE_SHARED
2009-05-09  Paul E. McKenneyLGPL relicensing of IBM's contributions
2009-05-08  Mathieu Desnoyersformal verif : move bits produced declarations closer...
2009-05-08  Mathieu DesnoyersAdd no sync_core() test to ooo two writes model
2009-05-08  Mathieu DesnoyersAdd instruction scheduling model using SSA model
2009-05-08  Mathieu DesnoyersAdd readme file
2009-05-08  Mathieu DesnoyersRemove arch.h
2009-05-08  Mathieu DesnoyersAdd missing arch.h
2009-04-27  Mathieu DesnoyersAdd ooo mem instruction scheduling
2009-04-26  Mathieu DesnoyersRemove unneeded signal in the cache-coherent case
2009-04-21  Paul E. McKenneyMinor fix to userspace-rcu Makefile
2009-04-18  Paul E. McKenneySupport kernels with broken signal delivery
2009-04-18  Paul E. McKenneyAdd x86 and ppc arch definitions
2009-04-12  Mathieu Desnoyerschange reader_data for reader_registry
2009-04-10  Paul E. McKenneySplit out architecture-dependent definitions into api...
2009-04-08  Mathieu DesnoyersDon't mix pthread sleepable lock with busy-waiting...
2009-04-06  Mathieu DesnoyersUse more standard flags
2009-04-06  Mathieu DesnoyersCheck double write read order
2009-04-01  Mathieu DesnoyersCommit urcu verif results
2009-04-01  Mathieu DesnoyersCommit for tests
2009-03-30  Mathieu DesnoyersExecute sig handler unconditionnally
2009-03-29  Mathieu DesnoyersRCU signal handler reader over reader
2009-03-19  Mathieu Desnoyersremove duplicate ooo_mem statements
2009-03-19  Mathieu Desnoyersadd missing ooo_mem() to writer model
2009-03-19  compudjspin model : inline reader
2009-03-02  compudjAdd documentation of urcu
2009-02-27  Mathieu DesnoyersAdd remote barrier model
2009-02-26  Mathieu DesnoyersFix makefile, set default nesting to 2
2009-02-26  Mathieu DesnoyersDefault nesting level to 1 (< 2)
2009-02-26  Mathieu DesnoyersAdd reader nesting test
2009-02-25  Mathieu DesnoyersAdd independent reader and writer progress checks
2009-02-23  Mathieu Desnoyersdual writer fix
2009-02-23  Mathieu DesnoyersRun 2 writers and show single flip error case
2009-02-23  Mathieu DesnoyersAdd ooomem and urcu checks
2009-02-20  Paul E. McKenneyRestructure urcu_updater() to more accurately reflect...
2009-02-20  Paul E. McKenneyRemove spurious read-side infinite loops.
2009-02-13  Mathieu DesnoyersAdd _STORE_SHARED() and _LOAD_SHARED()
2009-02-13  Mathieu DesnoyersTurn *_REMOTE into *_SHARED
2009-02-12  Mathieu DesnoyersAdd missing cpu_relax in loop
2009-02-12  Mathieu DesnoyersFix compiler error.
2009-02-12  Mathieu DesnoyersAdd smp_mc() to force_mb_single_thread so we don't...
2009-02-12  Mathieu DesnoyersAdd gitignore files
2009-02-12  Mathieu DesnoyersSupport architectures with non-coherent caches
2009-02-12  Mathieu DesnoyersAdd support for x86 older than P4, with CONFIG_HAS_FENC...
2009-02-12  Paul E. McKenneyFix warnings in urcutorture and use access once in...
2009-02-12  Paul E. McKenneyFix formal model nesting
This page took 0.055049 seconds and 4 git commands to generate.