{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":793350618,"defaultBranch":"main","name":"summerset","ownerLogin":"WiscADSL","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-04-29T03:56:05.000Z","ownerAvatar":"https://github.com/avatars/u/64399413?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714362971.5757031","currentOid":""},"activityList":{"items":[{"before":"0ce946be845afa493e9ad6d71ce4b93e53c8efd1","after":"855dc5a89833c55832818cd0cb99457c78c6a3c4","ref":"refs/heads/main","pushedAt":"2024-09-03T07:31:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"josehu07","name":"Guanzhou Hu","path":"/josehu07","primaryAvatarUrl":"https://github.com/avatars/u/35757009?s=80&v=4"},"commit":{"message":"Minor code quality improvements & script fixes (#22)","shortMessageHtmlLink":"Minor code quality improvements &amp; script fixes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2488275033\" data-permission-text=\"Title is private\" data-url=\"https://github.com/josehu07/summerset/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/josehu07/summerset/pull/22/hovercard\" href=\"https://github.com/josehu07/summerset/pull/22\">josehu07#22</a>)"}},{"before":"051619426e1f246f0409f3585982e6ea96bf943a","after":"0ce946be845afa493e9ad6d71ce4b93e53c8efd1","ref":"refs/heads/main","pushedAt":"2024-07-16T07:00:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"josehu07","name":"Guanzhou Hu","path":"/josehu07","primaryAvatarUrl":"https://github.com/avatars/u/35757009?s=80&v=4"},"commit":{"message":"Non-technical code quality improvements & fixes (#21)\n\n* staging progress on prob calculation\r\n\r\n* kinda finish distribution model calculation\r\n\r\n* make unnessary asserts debug_asserts\r\n\r\n* improving Raft's async performance\r\n\r\n* add next_slot decrement bypassing\r\n\r\n* add next_slot decrement bypassing\r\n\r\n* relocate workflow_test.py\r\n\r\n* update prob modeling script\r\n\r\n* update constraint boundary figure script\r\n\r\n* add pin CPU cores feature to scripts\r\n\r\n* staging progress on eval scripts\r\n\r\n* staging progress on automating bench scripts\r\n\r\n* staging progress on automating bench scripts\r\n\r\n* fixed automated bench script issues\r\n\r\n* minor updates to prob calculation script\r\n\r\n* update modeling script\r\n\r\n* update modeling script\r\n\r\n* update modeling script\r\n\r\n* staging progress on modeling scripts\r\n\r\n* update modeling scripts\r\n\r\n* update benchmarking scripts structure\r\n\r\n* add mess client for evaluation purposes\r\n\r\n* change prob calculation pareto usage\r\n\r\n* fixing issues during benchmarking\r\n\r\n* fix gossip storm by introducing implicit Gossiped status\r\n\r\n* fixing issues during benchmarking\r\n\r\n* fixing issues during benchmarking\r\n\r\n* fixing issues during benchmarking\r\n\r\n* fixing issues during benchmarking\r\n\r\n* fix Raft duplicate reply bug and benmarking issues\r\n\r\n* fix workflow_test.py local_clients command\r\n\r\n* better pause resume support in mess client\r\n\r\n* add promptly redirection upon pause\r\n\r\n* update modeling scripts\r\n\r\n* fixed several deep bugs during benchmarking\r\n\r\n* fixing deep bugs during benchmarking\r\n\r\n* basically finished failover benchmark\r\n\r\n* add netns & veth topology setup\r\n\r\n* better env setup & finished failover benchmark\r\n\r\n* finish leader failover experiment\r\n\r\n* finish leader failover experiment\r\n\r\n* skip unalive peers during gossiping selection\r\n\r\n* update workflot_test.py\r\n\r\n* staging progress on adaptability\r\n\r\n* staging progress on adaptability\r\n\r\n* staging progress on adaptability\r\n\r\n* staging progress on adaptability\r\n\r\n* staging progress on adaptability\r\n\r\n* staging progress on adaptability\r\n\r\n* staging progress on adaptability\r\n\r\n* finished assignment policies management\r\n\r\n* fix Raft variants heartbeat slot bug\r\n\r\n* minor updates to plotting\r\n\r\n* finish leader failover experiment fixing\r\n\r\n* refactoring protocol impls into submodules\r\n\r\n* decouple num shards from cluster size\r\n\r\n* minor updates\r\n\r\n* implemented adaptability with linreg\r\n\r\n* finish adaptability implementation\r\n\r\n* add support for value sizes over time to bench\r\n\r\n* staging progress on bench adaptive\r\n\r\n* staging progress on adaptability exper\r\n\r\n* staging progress on adaptability exper\r\n\r\n* staging progress on adaptability exper\r\n\r\n* using ifb; finish unbalanced experiment\r\n\r\n* finish runtime adaptability exper\r\n\r\n* staging progress on perf breakdown\r\n\r\n* staging progress on perf breakdown\r\n\r\n* finish breakdown & space exper\r\n\r\n* staging progress on rs coding eval\r\n\r\n* finish rs coding overhead exper\r\n\r\n* minor updates to plotting scripts\r\n\r\n* update perf over time figures\r\n\r\n* big update to adaptability figure\r\n\r\n* minor updates to setup scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* add pdf cropper helper script\r\n\r\n* add pdf cropper helper script\r\n\r\n* update pdf cropping script\r\n\r\n* minor updates to plotting scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* staging progress on critical path expers\r\n\r\n* minor updates to plotting scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* staging progress on critical path expers\r\n\r\n* remove unnecessary FillHoles & Commit messages\r\n\r\n* almost finished critical path expers\r\n\r\n* finished critical path expers & plotting\r\n\r\n* finished critical path expers & plotting\r\n\r\n* minor updates to TLA+ spec\r\n\r\n* minor updates to plotting scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* fixed sim read lease bug\r\n\r\n* minor updates to plotting scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* add distributed machines helper scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* make toml dependency optional for workflow\r\n\r\n* staging progress on physical net expers\r\n\r\n* add tidb workload profile results\r\n\r\n* staging progress on changed bench parameters\r\n\r\n* update gitignore\r\n\r\n* minor updates to tla+ formatting\r\n\r\n* minor updates to plotting scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* minor updates to plotting scripts\r\n\r\n* add open_tcp_ports.sh script\r\n\r\n* add auto iperf & ping script\r\n\r\n* staging progress on physical net expers\r\n\r\n* staging progress on physical net expers\r\n\r\n* staging progress on physical net expers\r\n\r\n* finished physical network exper =)\r\n\r\n* finished physical network exper =)\r\n\r\n* update motivation profiling plots\r\n\r\n* add banal formal dump script\r\n\r\n* minor updates to plotting scripts\r\n\r\n* add WAN delays modeling calculation\r\n\r\n* minor updates to WAN perf modeling script\r\n\r\n* reorganize scripts into paper-specific folders\r\n\r\n* reorganize scripts into paper-specific folders\r\n\r\n* mv artifact memos to separate file\r\n\r\n* adding SMR-style TLA+ spec\r\n\r\n* adding command line TLC helper scripts\r\n\r\n* optimizing SMR-style TLA+ spec & linearizability constraint\r\n\r\n* completing SMR-style TLA+ spec\r\n\r\n* completing SMR-style TLA+ spec\r\n\r\n* complete SMR-style MultiPaxos TLA+ spec\r\n\r\n* add README to MultiPaxos spec folder\r\n\r\n* add SMR-style MultiPaxos spec blog\r\n\r\n* minor updates to MultiPaxos spec README\r\n\r\n* update SMR-style MultiPaxos spec and TLC script\r\n\r\n* add node failure injection to MultiPaxos spec\r\n\r\n* update Crossword TLA+ spec\r\n\r\n* update Crossword TLA+ spec\r\n\r\n* update Crossword TLA+ spec .gitignore\r\n\r\n* extending SMR-style MultiPaxos spec\r\n\r\n* extending SMR-style MultiPaxos spec\r\n\r\n* finish extended SMR-style MultiPaxos spec\r\n\r\n* staging progress on Bodega TLA+ spec\r\n\r\n* staging progress on Bodega TLA+ spec\r\n\r\n* finish Bodega TLA+ spec\r\n\r\n* finish Bodega TLA+ spec\r\n\r\n* finish Bodega TLA+ spec\r\n\r\n* finish Bodega TLA+ spec\r\n\r\n* test change\r\n\r\n* scanning through the codebase\r\n\r\n* scanning through the codebase\r\n\r\n* add back committed condition check in Bodega spec\r\n\r\n* cleaning up bench client\r\n\r\n* add comments on port usage mess\r\n\r\n* remove useless perf sim parameters\r\n\r\n* minor updates to README\r\n\r\n* add server module sync APIs\r\n\r\n* fix wal_offset interference bug\r\n\r\n* refactor MultiPaxos code to fix Prepare phase bug\r\n\r\n* comment out the snapshotting test\r\n\r\n* fixing the Prepare phase for RSPaxos\r\n\r\n* fixing the Prepare phase for RSPaxos\r\n\r\n* fixed the Prepare phase for RSPaxos\r\n\r\n* fixed the Prepare phase for Crossword\r\n\r\n* fix formatting issues\r\n\r\n* updating CloudLab experiments support\r\n\r\n* updating CloudLab experiments support\r\n\r\n* updating CloudLab experiments support\r\n\r\n* updating CloudLab experiments support\r\n\r\n* updating CloudLab experiments support\r\n\r\n* updating CloudLab experiments support\r\n\r\n* updating CloudLab experiments support\r\n\r\n* updating CloudLab experiments support\r\n\r\n* updating CloudLab experiments support\r\n\r\n* add remote_hosts.toml grouping\r\n\r\n* restructured scripts utils library\r\n\r\n* making better benchmarking scripts\r\n\r\n* making better benchmarking scripts\r\n\r\n* making better benchmarking scripts\r\n\r\n* making better benchmarking scripts\r\n\r\n* making better benchmarking scripts\r\n\r\n* making better benchmarking scripts\r\n\r\n* making better benchmarking scripts\r\n\r\n* finish follower read stalenss exper\r\n\r\n* enable keyspace partitioning run mode\r\n\r\n* enable keyspace partitioning for ChainPaxos\r\n\r\n* enable keyspace partitioning for ChainPaxos\r\n\r\n* enable keyspace partitioning for ChainPaxos\r\n\r\n* enable keyspace partitioning for ChainPaxos\r\n\r\n* minor updates to artifact readme\r\n\r\n* working on improved YCSB exper\r\n\r\n* working on improved YCSB exper\r\n\r\n* finished improved YCSB trace exper\r\n\r\n* finished improved YCSB trace exper\r\n\r\n* update Crossword publish crop scripts\r\n\r\n* wrapping up the improved evaluation\r\n\r\n* update results archiving script\r\n\r\n* add wan quorums model plotting for Bodega\r\n\r\n* use k reqs unit for ycsb plot\r\n\r\n* staging progress on chain replication impl\r\n\r\n* staging progress on chain rep impl\r\n\r\n* finished chain replication implementation\r\n\r\n* finished chain replication implementation\r\n\r\n* finished chain replication implementation\r\n\r\n* fixing CI workflow issues\r\n\r\n* fixing CI workflow issues\r\n\r\n* minor update to README\r\n\r\n* finishing final plotting updates for Crossword\r\n\r\n* finishing final plotting updates for Crossword\r\n\r\n* minor updates to bench script comments\r\n\r\n* use clone_from() according to clippy\r\n\r\n* update Bodega TLA+ model\r\n\r\n* minor updates to cargo metadata\r\n\r\n* modifications for code quality improvement\r\n\r\n* modifications for code quality improvement\r\n\r\n* use static OnceLock for logging identifier\r\n\r\n* let formatter reorder imports automatically\r\n\r\n* minor updates to README\r\n\r\n* minor fix for logging & script ports\r\n\r\n* minor updates to README\r\n\r\n* minor updates to README\r\n\r\n* adding public repo publish script\r\n\r\n* adding public repo publish script\r\n\r\n* adding public repo publish script\r\n\r\n* adding public repo publish script\r\n\r\n* adding public repo publish script\r\n\r\n* adding public repo publish script\r\n\r\n* trimming for public repo","shortMessageHtmlLink":"Non-technical code quality improvements &amp; fixes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2410355582\" data-permission-text=\"Title is private\" data-url=\"https://github.com/josehu07/summerset/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/josehu07/summerset/pull/21/hovercard\" href=\"https://github.com/josehu07/summerset/pull/21\">josehu07#21</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEq0MgdAA","startCursor":null,"endCursor":null}},"title":"Activity · WiscADSL/summerset"}