Jan Blunck [Wed, 17 Jun 2009 11:40:38 +0000 (13:40 +0200)] 
Add S390 support
This patch adds support for the S390 architecture.
Signed-off-by: Jan Blunck <jblunck@suse.de>
Paul E. McKenney [Tue, 16 Jun 2009 18:26:36 +0000 (11:26 -0700)] 
URCU's api_*.h
On Tue, Jun 16, 2009 at 07:09:11PM +0200, Jan Blunck wrote:
> I already did most of that for libkcompat. That was actually why I was
> asking if I should port that over.
Nevertheless, I offer the following patch to userspace-rcu to provide
a gcc-library version of the api_*.h files and to clean up the build a
bit.
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Jan Blunck [Tue, 16 Jun 2009 09:22:13 +0000 (11:22 +0200)]
api.h is only needed by urcutorture
Signed-off-by: Jan Blunck <jblunck@suse.de>
Jan Blunck [Tue, 16 Jun 2009 09:20:55 +0000 (11:20 +0200)]
Add S390 architecture specific headers
This implements atomic exchange and some other trivial operations like
barriers for the S390 architecture. All of this is based on the
"z/Architecture Principles of Operation" as released by IBM.
Note that api_s390.h is missing so urcutortures applications don't build.
Signed-off-by: Jan Blunck <jblunck@suse.de>
Mathieu Desnoyers [Fri, 26 Jun 2009 15:18:07 +0000 (11:18 -0400)] 
Add runpaul-phase6.sh
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 26 Jun 2009 15:17:18 +0000 (11:17 -0400)]
Fix phase5 test log collection
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Tue, 23 Jun 2009 15:25:28 +0000 (11:25 -0400)]
Add local reclaim tests
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Mon, 22 Jun 2009 18:35:58 +0000 (14:35 -0400)]
Update phase3 batch size
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Mon, 22 Jun 2009 18:33:59 +0000 (14:33 -0400)]
Add phase 5 test, educated guess for batch size 32768
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Mon, 22 Jun 2009 14:55:39 +0000 (10:55 -0400)]
Update default batch size to 32768, after removal of mutex
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Mon, 22 Jun 2009 14:50:53 +0000 (10:50 -0400)]
Remote mutex from RCU write-side
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Mon, 22 Jun 2009 01:33:38 +0000 (21:33 -0400)]
Protect shared affinity table with mutex
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Mon, 22 Jun 2009 01:32:05 +0000 (21:32 -0400)]
Deal with kernel affinity bug for tests
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Sat, 20 Jun 2009 15:55:38 +0000 (11:55 -0400)]
Test qsbr debug
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Sat, 20 Jun 2009 15:32:01 +0000 (11:32 -0400)]
Add verbose debug to test_qsbr
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Pierre-Marc Fournier [Fri, 19 Jun 2009 20:51:23 +0000 (16:51 -0400)] 
urcu: add quick start guide to README
Signed-off-by: Pierre-Marc Fournier <pierre-marc.fournier@polymtl.ca>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 19 Jun 2009 14:05:04 +0000 (10:05 -0400)]
Add test phase 4 for striding
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 20:59:35 +0000 (16:59 -0400)]
Add verif results
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 20:26:17 +0000 (16:26 -0400)]
Add nosched model results (for signal readers)
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 20:21:18 +0000 (16:21 -0400)]
Cleanup verif directory.
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 18:11:00 +0000 (14:11 -0400)]
Add phase 3 : scalability run
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 16:47:44 +0000 (12:47 -0400)]
Put back 4096 for runall.sh batch size
Basically, when we get to 16384, it's the error due to non-handled removals that
makes this value "look" faster.
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 16:42:06 +0000 (12:42 -0400)]
update runtests.sh
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 16:40:58 +0000 (12:40 -0400)]
Update runall.sh default batch size
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 16:33:47 +0000 (12:33 -0400)]
Make batch test shorter
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 16:25:41 +0000 (12:25 -0400)]
Add 2 phases test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 16:20:37 +0000 (12:20 -0400)]
Add "runpaul.sh" test script
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 15:52:10 +0000 (11:52 -0400)]
Fix makefile
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 15:33:06 +0000 (11:33 -0400)]
Add more batch sizes to tests, just in case
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 15:09:51 +0000 (11:09 -0400)]
Update default value for batch size
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 15:01:18 +0000 (11:01 -0400)]
Fix gc tests
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 13:36:35 +0000 (09:36 -0400)]
Update summary
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 13:33:51 +0000 (09:33 -0400)]
Update makefile64
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 13:33:12 +0000 (09:33 -0400)]
Update makefile
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 18 Jun 2009 13:32:46 +0000 (09:32 -0400)]
Add GC tests
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 17 Jun 2009 16:31:58 +0000 (12:31 -0400)]
Merge branch 'master' of lttng.org:/home/git/userspace-rcu
Mathieu Desnoyers [Wed, 17 Jun 2009 16:31:36 +0000 (12:31 -0400)]
Fix typo in license file
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
compudj [Tue, 16 Jun 2009 21:40:28 +0000 (17:40 -0400)] 
Add cpu time
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
compudj [Tue, 16 Jun 2009 21:29:25 +0000 (17:29 -0400)]
Add output to runall.log
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Paul E. McKenney [Sat, 13 Jun 2009 23:53:05 +0000 (19:53 -0400)]
Fix test_looplen, use double-precition arithmetic
Here you go!!!
[root@perfsqh userspace-rcu]# ./test_looplen
CALIBRATION : 0 cycles per loop
Hmmm... Probably not what you had in mind. Breaking out the
floating-point arithmetic:
[root@perfsqh userspace-rcu]# ./test_looplen
CALIBRATION : 0.386172 cycles per loop
time_tot =
4049312, LOOPS =
1048576, TESTS = 10
More helpful? ;-)
Thanx, Paul
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Sat, 13 Jun 2009 23:18:38 +0000 (19:18 -0400)]
Other timing tests, update cache line size
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Sat, 13 Jun 2009 23:10:31 +0000 (19:10 -0400)]
Deal with POWER5+ 256B L3 cachefalse sharing for per thread lock
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Sat, 13 Jun 2009 21:52:43 +0000 (17:52 -0400)]
Add looplen cycle test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Paul E. McKenney [Sat, 13 Jun 2009 21:02:36 +0000 (17:02 -0400)]
Fix affinity in test script
You need to change the script!!! See patch below. All prior results
with more than 32 CPUs are bogus because the -a arguments confined the
threads to only 32 CPUs (the even-numbered ones from zero to 62).
Allow 64 CPUs. Really needs to do the calculation based on the
stride and the number of CPUs, but a quick hack for now.
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Mathieu Desnoyers [Sat, 13 Jun 2009 19:00:03 +0000 (15:00 -0400)]
Added a few points to the readercs test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Sat, 13 Jun 2009 18:51:02 +0000 (14:51 -0400)]
Update update fraction test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Sat, 13 Jun 2009 18:40:53 +0000 (14:40 -0400)]
Update readcslen test to use NUM_CPUS readers
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Sat, 13 Jun 2009 05:19:33 +0000 (01:19 -0400)]
Fix perthreadlock test
segmentation fault when 0 readers due to incorrect mutex array indexing (int vs
long types).
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Paul E. McKenney [Sat, 13 Jun 2009 04:59:14 +0000 (00:59 -0400)]
Allow use on high-end Power systems.
Power systems self-identify as ppc64 rather than powerpc. Add the
corresponding logic to the Makefile.
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 12 Jun 2009 22:44:32 +0000 (18:44 -0400)]
Update fraction update
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 12 Jun 2009 22:42:05 +0000 (18:42 -0400)]
Update update-fraction test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 12 Jun 2009 19:28:29 +0000 (15:28 -0400)]
Update test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 12 Jun 2009 19:16:29 +0000 (15:16 -0400)]
Add runall.sh test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 12 Jun 2009 18:30:19 +0000 (14:30 -0400)]
Fix alignment of test names
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 12 Jun 2009 18:28:18 +0000 (14:28 -0400)]
Align the summary result
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 12 Jun 2009 18:18:46 +0000 (14:18 -0400)]
Add verbose mode
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 12 Jun 2009 17:52:29 +0000 (13:52 -0400)]
Print reader duration
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 12 Jun 2009 17:51:20 +0000 (13:51 -0400)]
Delay reader in loops, not us
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 12 Jun 2009 17:31:02 +0000 (13:31 -0400)]
Add -c option for read-side C.S. length to tests
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 22:44:58 +0000 (18:44 -0400)]
fix runtests.sh
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 22:43:37 +0000 (18:43 -0400)]
runtests include mutex test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 22:43:07 +0000 (18:43 -0400)]
Add test mutex
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 22:40:26 +0000 (18:40 -0400)]
Add set affinity -a option to tests
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 18:59:13 +0000 (14:59 -0400)]
Unlikely for tests
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 18:47:02 +0000 (14:47 -0400)]
Add i586 i686 to Makefile
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 17:38:42 +0000 (13:38 -0400)]
Update readme
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 17:35:30 +0000 (13:35 -0400)]
Add Makefile and Makefile64 architecture autodetection
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 16:06:42 +0000 (12:06 -0400)]
Make sure the rwlock and per thread lock could detect races
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 16:01:47 +0000 (12:01 -0400)]
Fix deadlock in qsbr code
Readers must go offline because they unregister.
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 15:55:06 +0000 (11:55 -0400)]
Fix qsbr urcu implementation
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 15:53:59 +0000 (11:53 -0400)]
Update makefiles
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 15:51:03 +0000 (11:51 -0400)]
Add missing void to function declaration
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 15:31:46 +0000 (11:31 -0400)]
Use more lightweight timer mechanism in test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 10 Jun 2009 14:17:35 +0000 (10:17 -0400)]
Remove unneeded signal-based MB from QSBR rcu
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Pierre-Marc Fournier [Tue, 9 Jun 2009 21:54:49 +0000 (17:54 -0400)]
Fix signal handler installation
The signal handler is not being set in conformance with the sigaction
manpage. Because of this, it is probably not set at all. Valgrind also
generates an error. This patch fixes this.
Signed-off-by: Pierre-Marc Fournier <pierre-marc.fournier@polymtl.ca>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Tue, 9 Jun 2009 21:50:23 +0000 (17:50 -0400)]
Add missing urcu-qsbr
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Tue, 9 Jun 2009 18:20:08 +0000 (14:20 -0400)]
Add runtests.sh
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Tue, 9 Jun 2009 18:15:56 +0000 (14:15 -0400)]
Add mb urcu flavor test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Tue, 9 Jun 2009 18:09:21 +0000 (14:09 -0400)]
Add perthread lock scaling test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Tue, 9 Jun 2009 17:55:00 +0000 (13:55 -0400)]
Move test start time closer to enable
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Tue, 9 Jun 2009 16:50:37 +0000 (12:50 -0400)]
Add rwlock scalability test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Tue, 9 Jun 2009 16:41:21 +0000 (12:41 -0400)]
Add scalability qsbr test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Tue, 9 Jun 2009 16:29:02 +0000 (12:29 -0400)]
Modify test_urcu to make more suitable for scalability benchmark
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Mon, 8 Jun 2009 18:57:27 +0000 (14:57 -0400)]
Add number of reader/writers parameters to tests
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Mon, 8 Jun 2009 18:41:37 +0000 (14:41 -0400)]
Add QSBR RCU timing tests
urcu-qsbr can be used for QSBR-based RCU.
Currently not built as a full-blown library .so, but could.
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Mon, 8 Jun 2009 18:12:50 +0000 (14:12 -0400)]
update test timings for writer
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Mon, 8 Jun 2009 17:37:39 +0000 (13:37 -0400)]
Add per thread lock test case
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 4 Jun 2009 19:45:40 +0000 (15:45 -0400)]
Another ooo mem isched update
really just to simplify the LTL formula.
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 4 Jun 2009 19:43:42 +0000 (15:43 -0400)]
Update isched ooomem model
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 4 Jun 2009 19:40:12 +0000 (15:40 -0400)]
Update ooo isched test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 4 Jun 2009 18:58:21 +0000 (14:58 -0400)]
Use nicer LTL formula with eventually for ooomem model
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 4 Jun 2009 13:26:57 +0000 (09:26 -0400)]
Add speculative execution (prefetch) to model
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 3 Jun 2009 20:41:49 +0000 (16:41 -0400)]
Fix comment on top of oomem two writes model
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 3 Jun 2009 14:15:45 +0000 (10:15 -0400)]
Add Intel ipi urcu model run results
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 3 Jun 2009 04:48:08 +0000 (00:48 -0400)]
Add multiple arch support (alpha, intel, powerpc)
A simple define controls the architecture tested.
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Sat, 30 May 2009 22:31:09 +0000 (18:31 -0400)]
Verification run #1, ipi and no-ipi results
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Sat, 30 May 2009 22:30:30 +0000 (18:30 -0400)]
Model used for ipi verification run #1
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Fri, 29 May 2009 14:59:29 +0000 (10:59 -0400)]
Configuration for remote barrier formal verif run
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Thu, 28 May 2009 13:40:48 +0000 (09:40 -0400)]
Update spin model
- Add memory poisoning to the ooo insn sched section.
- Put pointer update into ooo insn sched section.
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mathieu Desnoyers [Wed, 27 May 2009 14:38:27 +0000 (10:38 -0400)]
Use define SLAB_SIZE in promela model
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
This page took 0.043448 seconds and 4 git commands to generate.
projects / userspace-rcu.git / log
