use criterion::{black_box, criterion_group, criterion_main, Criterion};
use mpstthree::binary::struct_trait::{end::End, recv::Recv, send::Send, session::Session};
use mpstthree::role::broadcast::RoleBroadcast;
use mpstthree::role::end::RoleEnd;
use mpstthree::{
bundle_struct_fork_close_multi, choose_mpst_multi_to_all, create_multiple_normal_name_short,
create_multiple_normal_role_short, create_recv_mpst_session_bundle,
create_send_mpst_session_bundle, offer_mpst,
};
use rand::{thread_rng, Rng};
use std::error::Error;
use std::marker;
bundle_struct_fork_close_multi!(close_mpst_multi, fork_mpst, MeshedChannels, 2);
create_multiple_normal_role_short!(Voter, Server);
create_multiple_normal_name_short!(Voter, Server);
create_send_mpst_session_bundle!(
send_mpst_server_to_voter, RoleVoter, 1 | =>
NameServer, MeshedChannels, 2
);
create_send_mpst_session_bundle!(
send_mpst_voter_to_server, RoleServer, 1 | =>
NameVoter, MeshedChannels, 2
);
create_recv_mpst_session_bundle!(
recv_mpst_server_to_voter, RoleVoter, 1 | =>
NameServer, MeshedChannels, 2
);
create_recv_mpst_session_bundle!(
recv_mpst_voter_to_server, RoleServer, 1 | =>
NameVoter, MeshedChannels, 2
);
type Choose0fromStoV<N> = Send<Branching0fromStoV<N>, End>;
type Choose1fromVtoS<N> = <Choice1fromStoV<N> as Session>::Dual;
enum Branching0fromStoV<N: marker::Send> {
Auth(MeshedChannels<Recv<N, Choose1fromVtoS<N>>, RoleServer<RoleBroadcast>, NameVoter>),
Reject(MeshedChannels<Recv<N, End>, RoleServer<RoleEnd>, NameVoter>),
}
enum Branching1fromVtoS<N: marker::Send> {
Yes(MeshedChannels<Recv<N, End>, RoleVoter<RoleEnd>, NameServer>),
No(MeshedChannels<Recv<N, End>, RoleVoter<RoleEnd>, NameServer>),
}
type Choice1fromStoV<N> = Recv<Branching1fromVtoS<N>, End>;
type ChoiceVoter<N> =
MeshedChannels<Recv<N, Choose1fromVtoS<N>>, RoleServer<RoleBroadcast>, NameVoter>;
type EndpointVoter<N> = MeshedChannels<
Send<N, Recv<Branching0fromStoV<N>, End>>,
RoleServer<RoleServer<RoleEnd>>,
NameVoter,
>;
type ChoiceServer<N> = MeshedChannels<Choice1fromStoV<N>, RoleVoter<RoleEnd>, NameServer>;
type EndpointServer<N> =
MeshedChannels<Recv<N, Choose0fromStoV<N>>, RoleVoter<RoleBroadcast>, NameServer>;
fn endpoint_voter(s: EndpointVoter<i32>) -> Result<(), Box<dyn Error>> {
let auth: i32 = thread_rng().gen_range(1..=2);
let s = send_mpst_voter_to_server(auth, s);
offer_mpst!(s, recv_mpst_voter_to_server, {
Branching0fromStoV::Reject(s) => {
let (_, s) = recv_mpst_voter_to_server(s)?;
close_mpst_multi(s)
},
Branching0fromStoV::Auth(s) => {
choice_voter(s)
},
})
}
fn choice_voter(s: ChoiceVoter<i32>) -> Result<(), Box<dyn Error>> {
let (ok, s) = recv_mpst_voter_to_server(s)?;
let expected: i32 = thread_rng().gen_range(1..=2);
if ok == expected {
let s = choose_mpst_multi_to_all!(
s,
Branching1fromVtoS::<i32>::Yes, =>
NameVoter,
MeshedChannels,
2
);
let s = send_mpst_voter_to_server(1, s);
close_mpst_multi(s)
} else {
let s = choose_mpst_multi_to_all!(
s,
Branching1fromVtoS::<i32>::No, =>
NameVoter,
MeshedChannels,
2
);
let s = send_mpst_voter_to_server(0, s);
close_mpst_multi(s)
}
}
fn endpoint_server(s: EndpointServer<i32>) -> Result<(), Box<dyn Error>> {
let choice: i32 = thread_rng().gen_range(1..=2);
let (auth, s) = recv_mpst_server_to_voter(s)?;
if choice == auth {
let s = choose_mpst_multi_to_all!(
s,
Branching0fromStoV::<i32>::Reject, =>
NameServer,
MeshedChannels,
2
);
let s = send_mpst_server_to_voter(0, s);
close_mpst_multi(s)
} else {
let s = choose_mpst_multi_to_all!(
s,
Branching0fromStoV::<i32>::Auth, =>
NameServer,
MeshedChannels,
2
);
let s = send_mpst_server_to_voter(1, s);
choice_server(s)
}
}
fn choice_server(s: ChoiceServer<i32>) -> Result<(), Box<dyn Error>> {
offer_mpst!(s, recv_mpst_server_to_voter, {
Branching1fromVtoS::<i32>::Yes(s) => {
let (answer, s) = recv_mpst_server_to_voter(s)?;
assert_eq!(answer, 1);
close_mpst_multi(s)
},
Branching1fromVtoS::<i32>::No(s) => {
let (answer, s) = recv_mpst_server_to_voter(s)?;
assert_eq!(answer, 0);
close_mpst_multi(s)
},
})
}
fn aux() {
let (thread_server, thread_voter) =
fork_mpst(black_box(endpoint_server), black_box(endpoint_voter));
thread_voter.join().unwrap();
thread_server.join().unwrap();
}
pub fn simple_voting(c: &mut Criterion) {
c.bench_function("Simple voting basic", |b| b.iter(aux));
}
criterion_group! {
name = bench;
config = Criterion::default().significance_level(0.05).without_plots().sample_size(100000);
targets = simple_voting,
}
criterion_main! {
bench
}