urcu.git
15 years agos390: Fix some compiler warnings
Jan Blunck [Wed, 17 Jun 2009 11:49:44 +0000 (13:49 +0200)] 
s390: Fix some compiler warnings

Fix warning about _atomic_exchange being defined but unused and explicitly
cast the 2nd argument.

Signed-off-by: Jan Blunck <jblunck@suse.de>
15 years agoAdd S390 support
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>
15 years agoURCU's api_*.h
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>
15 years agoapi.h is only needed by urcutorture
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>
15 years agoAdd S390 architecture specific headers
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>
15 years agoAdd runpaul-phase6.sh
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>
15 years agoFix phase5 test log collection
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>
15 years agoAdd local reclaim tests
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>
15 years agoUpdate phase3 batch size
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>
15 years agoAdd phase 5 test, educated guess for batch size 32768
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>
15 years agoUpdate default batch size to 32768, after removal of mutex
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>
15 years agoRemote mutex from RCU write-side
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>
15 years agoProtect shared affinity table with mutex
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>
15 years agoDeal with kernel affinity bug for tests
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>
15 years agoTest qsbr debug
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>
15 years agoAdd verbose debug to test_qsbr
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>
15 years agourcu: add quick start guide to README
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>
15 years agoAdd test phase 4 for striding
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>
15 years agoAdd verif results
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>
15 years agoAdd nosched model results (for signal readers)
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>
15 years agoCleanup verif directory.
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>
15 years agoAdd phase 3 : scalability run
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>
15 years agoPut back 4096 for runall.sh batch size
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>
15 years agoupdate runtests.sh
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>
15 years agoUpdate runall.sh default batch size
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>
15 years agoMake batch test shorter
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>
15 years agoAdd 2 phases test
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>
15 years agoAdd "runpaul.sh" test script
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>
15 years agoFix makefile
Mathieu Desnoyers [Thu, 18 Jun 2009 15:52:10 +0000 (11:52 -0400)] 
Fix makefile

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
15 years agoAdd more batch sizes to tests, just in case
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>
15 years agoUpdate default value for batch size
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>
15 years agoFix gc tests
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>
15 years agoUpdate summary
Mathieu Desnoyers [Thu, 18 Jun 2009 13:36:35 +0000 (09:36 -0400)] 
Update summary

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
15 years agoUpdate makefile64
Mathieu Desnoyers [Thu, 18 Jun 2009 13:33:51 +0000 (09:33 -0400)] 
Update makefile64

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
15 years agoUpdate makefile
Mathieu Desnoyers [Thu, 18 Jun 2009 13:33:12 +0000 (09:33 -0400)] 
Update makefile

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
15 years agoAdd GC tests
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>
15 years agoMerge branch 'master' of lttng.org:/home/git/userspace-rcu
Mathieu Desnoyers [Wed, 17 Jun 2009 16:31:58 +0000 (12:31 -0400)] 
Merge branch 'master' of lttng.org:/home/git/userspace-rcu

15 years agoFix typo in license file
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>
15 years agoAdd cpu time
compudj [Tue, 16 Jun 2009 21:40:28 +0000 (17:40 -0400)] 
Add cpu time

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
15 years agoAdd output to runall.log
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>
15 years agoFix test_looplen, use double-precition arithmetic
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>
15 years agoOther timing tests, update cache line size
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>
15 years agoDeal with POWER5+ 256B L3 cachefalse sharing for per thread lock
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>
15 years agoAdd looplen cycle test
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>
15 years agoFix affinity in test script
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>
15 years agoAdded a few points to the readercs test
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>
15 years agoUpdate update fraction test
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>
15 years agoUpdate readcslen test to use NUM_CPUS readers
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>
15 years agoFix perthreadlock test
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>
15 years agoAllow use on high-end Power systems.
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>
15 years agoUpdate fraction update
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>
15 years agoUpdate update-fraction test
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>
15 years agoUpdate test
Mathieu Desnoyers [Fri, 12 Jun 2009 19:28:29 +0000 (15:28 -0400)] 
Update test

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
15 years agoAdd runall.sh test
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>
15 years agoFix alignment of test names
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>
15 years agoAlign the summary result
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>
15 years agoAdd verbose mode
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>
15 years agoPrint reader duration
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>
15 years agoDelay reader in loops, not us
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>
15 years agoAdd -c option for read-side C.S. length to tests
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>
15 years agofix runtests.sh
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>
15 years agoruntests include mutex test
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>
15 years agoAdd test mutex
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>
15 years agoAdd set affinity -a option to tests
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>
15 years agoUnlikely for tests
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>
15 years agoAdd i586 i686 to Makefile
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>
15 years agoUpdate readme
Mathieu Desnoyers [Wed, 10 Jun 2009 17:38:42 +0000 (13:38 -0400)] 
Update readme

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
15 years agoAdd Makefile and Makefile64 architecture autodetection
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>
15 years agoMake sure the rwlock and per thread lock could detect races
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>
15 years agoFix deadlock in qsbr code
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>
15 years agoFix qsbr urcu implementation
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>
15 years agoUpdate makefiles
Mathieu Desnoyers [Wed, 10 Jun 2009 15:53:59 +0000 (11:53 -0400)] 
Update makefiles

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
15 years agoAdd missing void to function declaration
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>
15 years agoUse more lightweight timer mechanism in test
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>
15 years agoRemove unneeded signal-based MB from QSBR rcu
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>
15 years agoFix signal handler installation
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>
15 years agoAdd missing urcu-qsbr
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>
15 years agoAdd runtests.sh
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>
15 years agoAdd mb urcu flavor test
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>
15 years agoAdd perthread lock scaling test
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>
15 years agoMove test start time closer to enable
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>
15 years agoAdd rwlock scalability test
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>
15 years agoAdd scalability qsbr test
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>
15 years agoModify test_urcu to make more suitable for scalability benchmark
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>
15 years agoAdd number of reader/writers parameters to tests
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>
15 years agoAdd QSBR RCU timing tests
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>
15 years agoupdate test timings for writer
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>
15 years agoAdd per thread lock test case
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>
15 years agoAnother ooo mem isched update
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>
15 years agoUpdate isched ooomem model
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>
15 years agoUpdate ooo isched test
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>
15 years agoUse nicer LTL formula with eventually for ooomem model
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>
15 years agoAdd speculative execution (prefetch) to model
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>
15 years agoFix comment on top of oomem two writes model
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>
15 years agoAdd Intel ipi urcu model run results
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>
15 years agoAdd multiple arch support (alpha, intel, powerpc)
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>
15 years agoVerification run #1, ipi and no-ipi results
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>
15 years agoModel used for ipi verification run #1
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>
15 years agoConfiguration for remote barrier formal verif run
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>
15 years agoUpdate spin model
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>
This page took 0.039642 seconds and 4 git commands to generate.