mpstthree 0.1.17

A library implementing Multiparty Session Types for 2 or more participants
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

//! This module contains the functions for
//! forking binary sessions.

use crate::binary::struct_trait::session::Session;

use std::collections::HashMap;
use std::error::Error;
use std::marker;
use std::panic;
use std::thread::{Builder, JoinHandle};
use std::time::Instant;

#[doc(hidden)]
pub fn fork_with_thread_id<S, P>(p: P) -> (JoinHandle<()>, S::Dual)
where
    S: Session + 'static,
    P: FnOnce(S, &mut HashMap<char, Instant>) -> Result<(), Box<dyn Error>>
        + marker::Send
        + 'static,
{
    let (there, here) = Session::new();
    let other_thread = Builder::new()
        .name(String::from("Thread P"))
        .stack_size(64 * 1024 * 1024)
        .spawn(move || {
            panic::set_hook(Box::new(|_info| {
                // do nothing
            }));

            // let mut all_clocks = HashMap::<char, Instant>::new();

            match p(there, &mut HashMap::<char, Instant>::new()) {
                Ok(()) => (),
                Err(e) => panic!("{}", e.to_string()),
            }
        })
        .unwrap();
    (other_thread, here)
}

/// Creates a child process, and a session with two dual
/// endpoints of type `S` and `S::Dual`. The first endpoint
/// is given to the child process. Returns the
/// second endpoint.
pub fn fork<S, P>(p: P) -> S::Dual
where
    S: Session + 'static,
    P: FnOnce(S, &mut HashMap<char, Instant>) -> Result<(), Box<dyn Error>>
        + marker::Send
        + 'static,
{
    fork_with_thread_id(p).1
}