projects / userspace-rcu.git / search
| 2009-06-04 |  Mathieu Desnoyers | Use nicer LTL formula with eventually for ooomem model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-04 | Mathieu Desnoyers | Add speculative execution (prefetch) to model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-03 | Mathieu Desnoyers | Fix comment on top of oomem two writes model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-03 | Mathieu Desnoyers | Add Intel ipi urcu model run results ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-03 | Mathieu Desnoyers | Add multiple arch support (alpha, intel, powerpc) ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-30 | Mathieu Desnoyers | Verification run #1, ipi and no-ipi results ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-30 | Mathieu Desnoyers | Model used for ipi verification run #1 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-29 | Mathieu Desnoyers | Configuration for remote barrier formal verif run ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-28 | Mathieu Desnoyers | Update spin model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-27 | Mathieu Desnoyers | Use define SLAB_SIZE in promela model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-27 | Mathieu Desnoyers | urcu model wmb/read barrier depend ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-27 |  Paul E. McKenney | Add .gitignore entries to reduce 'git status' chatter ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-26 | Paul E. McKenney | catch urcu-paulmck.spin to my local version ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-26 | Mathieu Desnoyers | sync_core to smp_mb transition ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-20 | Mathieu Desnoyers | Fix standard (no remote barrier) parity flip bug ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-20 | Mathieu Desnoyers | Special-case reader/writer busy-loop for signals in... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-20 | Mathieu Desnoyers | Fix single flip test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-20 | Mathieu Desnoyers | Fix urcu controldataflow model remote barriers ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-19 | Mathieu Desnoyers | Document update in urcu.spin header ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-19 | Mathieu Desnoyers | Add extended urcu model with ooo mem and instruction... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-19 | Mathieu Desnoyers | Support gcc which does not support constructor attribute ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-19 |  Steven Munroe | Fix opensuse powerpc build ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-16 | Mathieu Desnoyers | Document thread registration in urcu.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-16 | Mathieu Desnoyers | Document rcu_register_thread in README ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-15 | Mathieu Desnoyers | Update ooo mem model comments ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-15 | Mathieu Desnoyers | Remove old memory models ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-15 | Mathieu Desnoyers | Update out of order memory models to include instruction... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-15 | Mathieu Desnoyers | Move reader barrier within if statement for outermost... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Use sync_core() in the write side to match current... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | add sync_core primitive ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Add rewrite of rep_nop ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Remove rep_nop() (GPL) ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | LGPLv2.1 relicensing statement ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Apply MIT-style license to compiler.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Rewrite of likely, unlikely, barrier and ACCESS_ONCE ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Removing GPL likely, unlikely, ACCESS_ONCE and barrier ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Create separate document for relicensing details ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Paul E. McKenney | Fix some typos in PowerPC support code. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-12 | Mathieu Desnoyers | Remove bogus comment. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-12 | Mathieu Desnoyers | Implementation of xchg primitives derived from MIT... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-11 | Mathieu Desnoyers | Add Paul's URCU model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-11 | Mathieu Desnoyers | Fix arch_ppc precompiler error ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-11 | Mathieu Desnoyers | Fix precompiler error in arch_*.h, add arch-api test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-11 | Mathieu Desnoyers | Add final license to test file, cleanup makefile ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-11 | Mathieu Desnoyers | Remove automatically generated api.h from repository ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-11 | Mathieu Desnoyers | Add missing urcu-static.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-11 | Mathieu Desnoyers | LGPL relicensing part 2 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-11 | Mathieu Desnoyers | LGPLv2.1 relicensing ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-09 | Mathieu Desnoyers | Add ACCESS_ONCE to _STORE_SHARED ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-09 | Paul E. McKenney | LGPL relicensing of IBM's contributions |
commit | commitdiff | tree |
| 2009-05-08 | Mathieu Desnoyers | formal verif : move bits produced declarations closer... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-08 | Mathieu Desnoyers | Add no sync_core() test to ooo two writes model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-08 | Mathieu Desnoyers | Add instruction scheduling model using SSA model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-08 | Mathieu Desnoyers | Add readme file ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-08 | Mathieu Desnoyers | Remove arch.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-08 | Mathieu Desnoyers | Add missing arch.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-04-27 | Mathieu Desnoyers | Add ooo mem instruction scheduling ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-04-26 | Mathieu Desnoyers | Remove unneeded signal in the cache-coherent case ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-04-21 | Paul E. McKenney | Minor fix to userspace-rcu Makefile ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-04-18 | Paul E. McKenney | Support kernels with broken signal delivery ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-04-18 | Paul E. McKenney | Add x86 and ppc arch definitions ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-04-12 | Mathieu Desnoyers | change reader_data for reader_registry ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-04-10 | Paul E. McKenney | Split out architecture-dependent definitions into api... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-04-08 | Mathieu Desnoyers | Don't mix pthread sleepable lock with busy-waiting... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-04-06 | Mathieu Desnoyers | Use more standard flags ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-04-06 | Mathieu Desnoyers | Check double write read order |
commit | commitdiff | tree |
| 2009-04-01 | Mathieu Desnoyers | Commit urcu verif results ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-04-01 | Mathieu Desnoyers | Commit for tests ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-03-30 | Mathieu Desnoyers | Execute sig handler unconditionnally ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-03-29 | Mathieu Desnoyers | RCU signal handler reader over reader ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-03-19 | Mathieu Desnoyers | remove duplicate ooo_mem statements ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-03-19 | Mathieu Desnoyers | add missing ooo_mem() to writer model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-27 | Mathieu Desnoyers | Add remote barrier model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-26 | Mathieu Desnoyers | Fix makefile, set default nesting to 2 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-26 | Mathieu Desnoyers | Default nesting level to 1 (< 2) ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-26 | Mathieu Desnoyers | Add reader nesting test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-25 | Mathieu Desnoyers | Add independent reader and writer progress checks ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-23 | Mathieu Desnoyers | dual writer fix ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-23 | Mathieu Desnoyers | Run 2 writers and show single flip error case ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-23 | Mathieu Desnoyers | Add ooomem and urcu checks ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-20 | Paul E. McKenney | Restructure urcu_updater() to more accurately reflect... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-20 | Paul E. McKenney | Remove spurious read-side infinite loops. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-13 | Mathieu Desnoyers | Add _STORE_SHARED() and _LOAD_SHARED() ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-13 | Mathieu Desnoyers | Turn *_REMOTE into *_SHARED ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | Add missing cpu_relax in loop ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | Fix compiler error. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | Add smp_mc() to force_mb_single_thread so we don't... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | Add gitignore files ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | Support architectures with non-coherent caches ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | Add support for x86 older than P4, with CONFIG_HAS_FENCE... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Paul E. McKenney | Fix warnings in urcutorture and use access once in... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Paul E. McKenney | Fix formal model nesting ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | Add read/write counts to test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | Fix force_mb_all_threads must be called within internal... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | Add barriers ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | Remove debug yield statements ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | use smp_*mb() ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-12 | Mathieu Desnoyers | Add Promela model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-11 | Mathieu Desnoyers | Add missing memory barriers to ensure progress and... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-02-10 | Mathieu Desnoyers | Enhance test cases ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| next | |||