snarc

Snarc提供了一种可发送的非原子引用计数智能指针。

工作原理

为了同时实现可发送性和非原子引用计数，必须做出权衡。这些权衡如下。

• 只有一个强/拥有引用和任意多个弱引用。通过调用强/拥有引用的enter方法，其值可以临时绑定到当前线程。

• 弱引用只能在与强/拥有引用的enter上下文中创建和丢弃。这确保了所需的计数器增量和减量是竞争自由的。

• 在强引用的enter上下文中调用弱引用的get方法返回一个Option<&T>，即如果从强引用的enter上下文中调用，则为Some(&t)。

它有什么好处？

snarc实现所启发的用例非常特殊。它看起来像以下这样。

// We have an async task.
let task = async {
    // This task is creating and executing subtasks.
    let subtasks = FuturesUnordered::new();

    // `x.method()` is returning 'static Futures that share mutable state
    subtasks.push(x.method());
    subtasks.push(x.method());

    // Somewhere within the same task, the subtasks are executed.
    subtasks.for_each(|x| async { /* ... */ });
};

由于x.method()返回的未来共享可变状态，因此该状态必须被包装在RefCell中。由于未来也有'static生命周期，因此该RefCell必须被引用计数智能指针包装。