tcontract-exec 0.9.1

Execution resources for the tcontract stack: the per-call Exec bundle (threadteam token, workspace, batch policy) and the Pool wrapper with its scratch arena
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

//! Serial and pooled use of `Exec` never starts Rayon's process-global pool.
//! One test, alone in its binary: the check starts the global pool itself and
//! passes only when nothing earlier did.
use tcontract_exec::{Exec, Pool};

#[test]
fn serial_and_pooled_exec_leave_the_global_pool_unstarted() {
    let mut serial = Exec::serial();
    serial.token().fork(4, |_, _| {});
    serial
        .token()
        .for_ranges(100, 1.try_into().unwrap(), |_| {});
    serial.token().broadcast(|_| {}).unwrap();
    assert_eq!(serial.token().external(|w| w.get()), 1);

    let sp = threadteam::Pool::builder().threads(3).build().unwrap();
    let pool = Pool::borrow(&sp);
    let mut exec = Exec::new(&pool, 3).unwrap();
    exec.token().fork(4, |_, _| {});
    exec.token().for_ranges(100, 1.try_into().unwrap(), |_| {});
    exec.token().broadcast(|_| {}).unwrap();
    assert_eq!(exec.token().external(|w| w.get()), 3);

    assert!(
        threadteam::ledger::global_pool_unstarted(),
        "something started the process-global Rayon pool"
    );
}