transaction-stm

A transaction runner for stm

lib.rs:

Run the stm transaction

Examples

extern crate stm;
extern crate transaction;
extern crate transaction_stm;

use transaction::{Transaction, with_ctx};
use transaction_stm::run;

fn main() {
    let x = stm::TVar::new(0);
    let y = stm::TVar::new(0);

    let inc_xy =
        with_ctx(|ctx: &mut stm::Transaction| {
                     let xv = ctx.read(&x)?;
                     ctx.write(&x, xv + 1)?;
                     Ok(xv)
                 })
                .and_then(|_| {
                              with_ctx(|ctx: &mut stm::Transaction| {
                                           let yv = ctx.read(&y)?;
                                           ctx.write(&y, yv + 1)?;
                                           Ok(yv)
                                       })
                          })
                .and_then(|_| {
                              with_ctx(|ctx: &mut stm::Transaction| {
                                           Ok(ctx.read(&x)? + ctx.read(&y)?)
                                       })
                          });
    let ret = run(&inc_xy);
    assert_eq!(ret, 2);

}