Ben Blum
|
42825fbea6
|
Split libcore/arc.rs: arc -> std::arc; exclusive -> unsafe::exclusive
|
2012-08-10 20:53:09 -04:00 |
|
Eric Holk
|
be664ddd29
|
Moved arc to libcore and added an arc that allows shared mutable state through mutual exclusion.
|
2012-06-19 10:31:12 -07:00 |
|
Tim Chevalier
|
0276a3376b
|
Revert "Moved arc to libstd and added an arc that allows shared mutable state through mutual exclusion."
This reverts commit 015527b0ce.
|
2012-06-16 15:21:08 -07:00 |
|
Eric Holk
|
015527b0ce
|
Moved arc to libstd and added an arc that allows shared mutable state through mutual exclusion.
|
2012-06-15 22:00:58 -04:00 |
|
Brian Anderson
|
7a74545e97
|
Convert reinterpret_cast + forget to 'transmute'
|
2012-06-08 10:58:46 -07:00 |
|
Niko Matsakis
|
60913bf045
|
constrain scope of mut ptr to please borrowck
|
2012-06-06 18:36:27 -07:00 |
|
Niko Matsakis
|
dd8f76c619
|
squelch warnings in tests
|
2012-06-01 11:10:27 -07:00 |
|
Eric Holk
|
6abddca18b
|
Rewriting shared_arc to work around Issue #2444.
Sadly, this exposes another ICE when trying to use the new version with Graph500
|
2012-05-30 12:03:51 -07:00 |
|
Eric Holk
|
5e35d49a50
|
Moving the arc tests into arc.rs.
|
2012-05-29 11:30:10 -07:00 |
|
Eric Holk
|
aa2efc05ea
|
Adding shared_arc to hide some of the tedium of sharing an arc between tasks.
Also added some asserts and logging to trans.
Modified graph500 to use the shared_arc, but this unfortunately doesn't work due to #2444.
|
2012-05-29 10:43:19 -07:00 |
|
Brian Anderson
|
d89b4c8c61
|
std: Modify arc to tolerate upcoming change to uniques
|
2012-05-25 16:22:29 -07:00 |
|
Eric Holk
|
30f8555544
|
Some comments giving some idea how to use these things.
|
2012-05-24 15:05:39 -07:00 |
|
Niko Matsakis
|
6ca6a3b80b
|
rewrite arc to use region & expressions (also making it pass borrowck)
|
2012-05-24 05:19:44 -07:00 |
|
Eric Holk
|
6fa1a084f7
|
A shareable atomically reference counted pointer wrapper.
Needs more tests to ensure safety, and probably some more work on usability too.
|
2012-05-23 14:58:16 -07:00 |
|