use std::net::SocketAddr;
use chrono::prelude::*;
use dfir_rs::dfir_syntax;
use dfir_rs::util::bind_udp_bytes;
use lattices::map_union::MapUnionSingletonMap;
use lattices::{Max, Merge};
use crate::Opts;
use crate::helpers::print_graph;
use crate::protocol::{EchoMsg, VecClock};
pub(crate) async fn run_server(opts: Opts) {
let server_address = opts.address;
println!("Starting server on {:?}", server_address);
let (outbound, inbound, actual_server_addr) = bind_udp_bytes(server_address).await;
println!("Server is live! Listening on {:?}", actual_server_addr);
let mut flow = dfir_syntax! {
inbound_chan = source_stream_serde(inbound) -> map(Result::unwrap) -> tee();
inbound_chan[print]
-> for_each(|(msg, addr): (EchoMsg, SocketAddr)| println!("{}: Got {:?} from {:?}", Utc::now(), msg, addr));
inbound_chan[merge] -> map(|(msg, _addr): (EchoMsg, SocketAddr)| msg.vc) -> mergevc;
mergevc = fold::<'static> (VecClock::default, |old: &mut VecClock, vc| {
let my_addr = format!("{:?}", server_address);
let bump = MapUnionSingletonMap::new_from((my_addr.clone(), Max::new(old.as_reveal_mut().entry(my_addr).or_insert(Max::new(0)).into_reveal() + 1)));
old.merge(bump);
old.merge(vc);
}
);
inbound_chan[1] -> map(|(EchoMsg {payload, ..}, addr)| (payload, addr) )
-> [0]stamped_output;
mergevc -> [1]stamped_output;
stamped_output = cross_join::<'tick, 'tick>() -> map(|((payload, addr), vc)| (EchoMsg { payload, vc }, addr))
-> dest_sink_serde(outbound);
};
if let Some(graph) = opts.graph {
print_graph(&flow, graph, opts.write_config);
}
flow.run().await;
}