taegyunkim

=== RUN   TestCount2B
Test (2B): RPC counts aren't too high ...
[0] RequestVote [1]
[0] RequestVote [2]
[0] Heartbeat [2]
[0] Heartbeat [1]
[0] Heartbeat [2]
[0] Heartbeat [1]
[0] Heartbeat [2]
[0] Heartbeat [1]

taegyunkim

Keybase proof

I hereby claim:

• I am taegyunkim on github.
• I am taegyunkim (https://keybase.io/taegyunkim) on keybase.
• I have a public key ASBcUBqUqdrXAnDXag0CL5kjxLie4gjv3xBUPh4hv3TLBQo

To claim this, I am signing this object:

taegyunkim

rpm -e --allmatches --nodeps libibverbs1 librdmacm1 libibumad3 perftest infiniband-diags libibverbs1 libibnetdisc5 libibumad3 libibmad5 librdmacm1 libosmcomp3 libopensm5                                                                                                                                                     
rpm: RPM should not be used directly install RPM packages, use Alien instead!                                                                                  
rpm: However assuming you know what you are doing...                                                                                                           
error: package libibverbs1 is not installed                                                                                                                    
error: package librdmacm1 is not installed                                                                                                                     
error: package libibumad3 is not installed                       

taegyunkim

// This is an autogenerated sketch file corresponding to
// the router's data path and is used to solve the Chipmunk compilation problem.
// program_file = example_specs/times_two.sk num_pipeline_stages = 3
// num_alus_per_stage = 3
// num_phv_containers = 3

int times_two_if_else_raw_stateless_alu_3_3_stateful_alu_1_0_Opt_2_global = 1;
int times_two_if_else_raw_stateless_alu_3_3_stateless_alu_0_0_opcode = 1;
int times_two_if_else_raw_stateless_alu_3_3_stateful_alu_2_0_Opt_1_global = 1;
int times_two_if_else_raw_stateless_alu_3_3_stateless_alu_1_2_mux3_ctrl = 1;

taegyunkim

| StateAndPacket | program(| StateAndPacket | state_and_packet) {
  if (state_and_packet.pkt_0 * 2 == state_and_packet.pkt_1) {
    state_and_packet.state_group_0_state_0 = 1;
  } else {
    state_and_packet.state_group_0_state_0 = 0;
  }
  return state_and_packet;
}

taegyunkim

// This is an autogenerated sketch file corresponding to
// the router's data path and is used to solve the Chipmunk compilation problem.
// program_file = /Users/taegyunkim/Workspace/chipmunk/tests/../example_specs/blue_decrease.sk num_pipeline_stages = 4
// num_alus_per_stage = 3
// num_phv_containers = 3

int blue_decrease_sub_stateless_alu_4_3_stateful_alu_1_0_Opt_0_global = 0;
int blue_decrease_sub_stateless_alu_4_3_stateful_alu_3_1_arith_op_1_global = 1;
int blue_decrease_sub_stateless_alu_4_3_output_mux_phv_3_1_ctrl = 3;
int blue_decrease_sub_stateless_alu_4_3_stateless_alu_3_2_mux2_ctrl = 0;

taegyunkim

// This is an autogenerated sketch file corresponding to
// the router's data path and is used to solve the Chipmunk compilation problem.
// program_file = /home/taegyunk/Workspace/chipmunk/tests/../example_specs/blue_decrease.sk num_pipeline_stages = 4
// num_alus_per_stage = 3
// num_phv_containers = 3

int blue_decrease_sub_stateless_alu_4_3_output_mux_phv_1_1_ctrl = 3;
int blue_decrease_sub_stateless_alu_4_3_salu_config_2_0 = 0;
int blue_decrease_sub_stateless_alu_4_3_stateful_alu_0_1_Mux3_2_global = 2;
int blue_decrease_sub_stateless_alu_4_3_stateful_alu_3_1_const_1_global = 1;

taegyunkim

// This is an autogenerated sketch file corresponding to
// the router's data path and is used to solve the Chipmunk compilation problem.
// program_file = /Users/taegyunkim/Workspace/chipmunk/tests/../example_specs/blue_decrease.sk num_pipeline_stages = 4
// num_alus_per_stage = 3
// num_phv_containers = 3

int blue_decrease_sub_stateless_alu_4_3_stateful_alu_2_1_arith_op_1_global = 1;
int blue_decrease_sub_stateless_alu_4_3_stateful_alu_0_1_Mux3_3_global = 2;
int blue_decrease_sub_stateless_alu_4_3_stateful_alu_3_0_Mux3_2_global = 2;
int blue_decrease_sub_stateless_alu_4_3_stateless_alu_3_1_opcode = 2;

taegyunkim

SKETCH version 1.7.5
Benchmark = flowlets_pred_raw_stateless_alu_5_4_codegen_iteration_2.sk
    [1557948961.7150 - DEBUG] Running stage 'parse' -- Parse the program from a file
    [1557948962.1240 - DEBUG] Running stage 'preproc' -- Preprocessing (used for all further transformations)
    [1557948962.4090 - DEBUG] Running stage SpmdLowLevelCStage
    [1557948962.4130 - DEBUG]    Running visitor FlattenStmtBlocks2
    [1557948962.4190 - DEBUG]    Running visitor SplitAssignFromVarDef
    [1557948962.4240 - DEBUG]    Running visitor EliminateComplexForLoops
    [1557948962.4300 - DEBUG] Running stage 'lowering' -- Lower for SKETCH backend
    [1557948962.4710 - DEBUG] Running stage 'sten' -- Stencil transformations

taegyunkim

(assert (forall ((pkt_0_2_2_0  Int  )(state_group_0_state_0_3_3_0  Int  )) (let ((_n0 state_group_0_state_0_3_3_0 ))
(let ((_n1 true ))
(let ((_n2 2 ))
(let ((_n3 (ite (=  _n0  (- 8))  _n2   (ite  _n1  1 0)  ) ))
(let ((_n4 false ))
(let ((_n5 (ite (=  _n0  13)  (ite  _n4  1 0)   _n3  ) ))
(let ((_n6 16 ))
(let ((_n7 (+   _n0   _n6 ) ))
(let ((_n8 (=   _n7   (ite  _n4  1 0) ) ))
(let ((_n9 (not  _n8 ) ))