Skip to content

Instantly share code, notes, and snippets.

Avatar

Taegyun Kim taegyunkim

View GitHub Profile
View gist:7fc1e4e7a31be9c1d1709aa812e351c1
=== 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]
View keybase.md

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:

View gist:b9b7fcd8ed439153a8e9747c9d2a6d67
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
View times_two_if_else_raw_stateless_alu_3_3_verify_iter_1.sk
// 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;
View times_two.sk
| 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;
}
View blue_decrease_sub_stateless_alu_4_3_sol_verify_iteration_2.sk
// 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;
View blue_decrease_sub_stateless_alu_4_3_sol_verify_iteration_1.sk
// 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;
View blue_decrease_sub_stateless_alu_4_3_sol_verify_iteration_1.sk
// 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;
View flowlets_pred_raw_stateless_alu_5_4_codegen_iteration_2_output.txt
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
View cexgen.smt2
(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 ) ))