corpus.blog
41,554 blogs · 4,830,141 posts Claim your blog
Record · corpus.blog/posts/01a087be-108c-7370-8de6-9b8a81ac29b2

Can Rust Code Own RCU?

paulmck.livejournal.com · published 4 October 2021

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at paulmck.livejournal.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
31
Words captured
2,379

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
http://www2.rdrop.com/users/paulmck/RCU/RCU.2018.11.21c.PSU-full.pdf
www2.rdrop.com
https://www.linuxplumbersconf.org/
linuxplumbersconf.org
https://lwn.net/Articles/371986/
lwn.net
https://lwn.net/Articles/185666/
lwn.net
https://lwn.net/Articles/87538/
lwn.net
https://github.com/crossbeam-rs/crossbeam/commit/d9b1e3429450a64b490f68c08bd191417e68f00c
github.com
https://docs.rs/arc-swap/1.4.0/arc_swap/struct.ArcSwapAny.html
docs.rs
https://lwn.net/Articles/802128/
lwn.net
https://lwn.net/Articles/649115/
lwn.net
https://lwn.net/Articles/649729/
lwn.net
https://lwn.net/Articles/650786/
lwn.net
http://www.rdrop.com/~paulmck/RCU/Updates.2017.09.11c.SVLUG.pdf
rdrop.com
https://www.kernel.org/doc/Documentation/RCU/
kernel.org
https://www.kernel.org/doc/Documentation/RCU/Design/Requirements/Requirements.html
kernel.org
http://kernel.org/pub/linux/kernel/people/paulmck/perfbook/perfbook-e2.pdf
kernel.org
https://lwn.net/Articles/777036/
lwn.net
https://liburcu.org
liburcu.org
https://github.com/facebook/folly/blob/master/folly/synchronization/Rcu.h
github.com
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p1122r4.pdf
open-std.org
http://www2.rdrop.com/~paulmck/techreports/rcu-semantics.2005.01.30a.pdf
www2.rdrop.com
https://software.imdea.org/~gotsman/papers/recycling-esop13-ext.pdf
software.imdea.org
http://doi.acm.org/10.1145/3173162.3177156
doi.acm.org
https://github.com/torvalds/linux/tree/master/tools/memory-model
github.com
http://www.cprover.org/cbmc/
cprover.org
https://arxiv.org/abs/1610.03052
arxiv.org
https://github.com/nidhugg/nidhugg
github.com
https://michaliskok.github.io/papers/spin2017-rcu.pdf
michaliskok.github.io
https://lore.kernel.org/all/1484520155-21017-3-git-send-email-paulmck@linux.vnet.ibm.com/
lore.kernel.org
http://www.computer.org/csdl/trans/td/2012/02/ttd2012020375-abs.html
computer.org
https://dl.acm.org/doi/10.1145/2506164.2506174
dl.acm.org
http://www.mpi-sws.org/~dreyer/papers/rcu/paper.pdf
mpi-sws.org
Elsewhere on paulmck.livejournal.com (3)