| From: |
| Mathieu Desnoyers <compudj@krystal.dyndns.org> |
| To: |
| "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>,
ltt-dev@vger.kernel.org, linux-kernel@vger.kernel.org |
| Subject: |
| [RFC git tree] Userspace RCU (urcu) for Linux |
| Date: |
| Thu, 5 Feb 2009 22:05:43 -0500 |
| Message-ID: |
| <20090206030543.GB8560@Krystal> |
| Archive-link: |
| Article, Thread
|
Hi Paul,
I figured out I needed some userspace RCU for the userspace tracing part
of LTTng (for quick read access to the control variables) to trace
userspace pthread applications. So I've done a quick-and-dirty userspace
RCU implementation.
It works so far, but I have not gone through any formal verification
phase. It seems to work on paper, and the tests are also OK (so far),
but I offer no guarantee for this 300-lines-ish 1-day hack. :-) If you
want to comment on it, it would be welcome. It's a userland-only
library. It's also currently x86-only, but only a few basic definitions
must be adapted in urcu.h to port it.
Here is the link to my git tree :
git://lttng.org/userspace-rcu.git
http://lttng.org/cgi-bin/gitweb.cgi?p=userspace-rcu.git;a...
Thanks,
Mathieu
--
Mathieu Desnoyers
OpenPGP key fingerprint: 8CD5 52C3 8E3C 4140 715F BA06 3F25 A8FE 3BAE 9A68
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/