projects / urcu.git / search
| 2009-06-18 |  Mathieu Desnoyers | Add verif results Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Add nosched model results (for signal readers) Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Cleanup verif directory. Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Add phase 3 : scalability run Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Put back 4096 for runall.sh batch size Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | update runtests.sh Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Update runall.sh default batch size Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Make batch test shorter Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Add 2 phases test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Add "runpaul.sh" test script Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Fix makefile Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Add more batch sizes to tests, just in case Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Update default value for batch size Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Fix gc tests Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Update summary Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Update makefile64 Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Update makefile Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-18 | Mathieu Desnoyers | Add GC tests Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-17 | Mathieu Desnoyers | Merge branch 'master' of lttng.org:/home/git/userspace-rcu |
commit | commitdiff | tree |
| 2009-06-17 | Mathieu Desnoyers | Fix typo in license file Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-13 | Mathieu Desnoyers | Other timing tests, update cache line size Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-13 | Mathieu Desnoyers | Deal with POWER5+ 256B L3 cachefalse sharing for per... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-13 | Mathieu Desnoyers | Add looplen cycle test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-13 | Mathieu Desnoyers | Added a few points to the readercs test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-13 | Mathieu Desnoyers | Update update fraction test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-13 | Mathieu Desnoyers | Update readcslen test to use NUM_CPUS readers Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-13 | Mathieu Desnoyers | Fix perthreadlock test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-12 | Mathieu Desnoyers | Update fraction update Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-12 | Mathieu Desnoyers | Update update-fraction test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-12 | Mathieu Desnoyers | Update test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-12 | Mathieu Desnoyers | Add runall.sh test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-12 | Mathieu Desnoyers | Fix alignment of test names Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-12 | Mathieu Desnoyers | Align the summary result Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-12 | Mathieu Desnoyers | Add verbose mode Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-12 | Mathieu Desnoyers | Print reader duration Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-12 | Mathieu Desnoyers | Delay reader in loops, not us Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-12 | Mathieu Desnoyers | Add -c option for read-side C.S. length to tests Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | fix runtests.sh Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | runtests include mutex test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Add test mutex Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Add set affinity -a option to tests Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Unlikely for tests Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Add i586 i686 to Makefile Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Update readme Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Add Makefile and Makefile64 architecture autodetection Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Make sure the rwlock and per thread lock could detect... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Fix deadlock in qsbr code Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Fix qsbr urcu implementation Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Update makefiles Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Add missing void to function declaration Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Use more lightweight timer mechanism in test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-10 | Mathieu Desnoyers | Remove unneeded signal-based MB from QSBR rcu Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-09 | Mathieu Desnoyers | Add missing urcu-qsbr Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-09 | Mathieu Desnoyers | Add runtests.sh Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-09 | Mathieu Desnoyers | Add mb urcu flavor test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-09 | Mathieu Desnoyers | Add perthread lock scaling test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-09 | Mathieu Desnoyers | Move test start time closer to enable Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-09 | Mathieu Desnoyers | Add rwlock scalability test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-09 | Mathieu Desnoyers | Add scalability qsbr test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-09 | Mathieu Desnoyers | Modify test_urcu to make more suitable for scalability... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-08 | Mathieu Desnoyers | Add number of reader/writers parameters to tests Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-08 | Mathieu Desnoyers | Add QSBR RCU timing tests Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-08 | Mathieu Desnoyers | update test timings for writer Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-08 | Mathieu Desnoyers | Add per thread lock test case Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-04 | Mathieu Desnoyers | Another ooo mem isched update Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-04 | Mathieu Desnoyers | Update isched ooomem model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-04 | Mathieu Desnoyers | Update ooo isched test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-04 | Mathieu Desnoyers | Use nicer LTL formula with eventually for ooomem model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-04 | Mathieu Desnoyers | Add speculative execution (prefetch) to model Signed-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 Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-03 | Mathieu Desnoyers | Add Intel ipi urcu model run results Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-06-03 | Mathieu Desnoyers | Add multiple arch support (alpha, intel, powerpc) Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-30 | Mathieu Desnoyers | Verification run #1, ipi and no-ipi results Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-30 | Mathieu Desnoyers | Model used for ipi verification run #1 Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-29 | Mathieu Desnoyers | Configuration for remote barrier formal verif run Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-28 | Mathieu Desnoyers | Update spin model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-27 | Mathieu Desnoyers | Use define SLAB_SIZE in promela model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-27 | Mathieu Desnoyers | urcu model wmb/read barrier depend Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-26 | Mathieu Desnoyers | sync_core to smp_mb transition Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-20 | Mathieu Desnoyers | Fix standard (no remote barrier) parity flip bug Signed-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... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-20 | Mathieu Desnoyers | Fix single flip test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-20 | Mathieu Desnoyers | Fix urcu controldataflow model remote barriers Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-19 | Mathieu Desnoyers | Document update in urcu.spin header Signed-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... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-19 | Mathieu Desnoyers | Support gcc which does not support constructor attribute Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-16 | Mathieu Desnoyers | Document thread registration in urcu.h Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-16 | Mathieu Desnoyers | Document rcu_register_thread in README Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-15 | Mathieu Desnoyers | Update ooo mem model comments Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-15 | Mathieu Desnoyers | Remove old memory models Signed-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... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-15 | Mathieu Desnoyers | Move reader barrier within if statement for outermost... Signed-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... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | add sync_core primitive Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Add rewrite of rep_nop Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Remove rep_nop() (GPL) Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | LGPLv2.1 relicensing statement Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Apply MIT-style license to compiler.h Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Rewrite of likely, unlikely, barrier and ACCESS_ONCE Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-05-13 | Mathieu Desnoyers | Removing GPL likely, unlikely, ACCESS_ONCE and barrier Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| next | |||