Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat(swingset-tools): Expand replay tool for anachrophobia diagnosis #6723

Merged
merged 27 commits into from
Jan 12, 2023
Merged

feat(swingset-tools): Expand replay tool for anachrophobia diagnosis #6723

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
4fecf42
types(swingset): explicit types in transcript logic
mhofman Dec 16, 2022
7ad1855
types(Swingset): fix VatManager type
mhofman Dec 19, 2022
bd82be2
fix(swingset-tools): [replay] sync-up snapStore interface
mhofman Nov 22, 2022
f7917b9
fix(swingset-tools): [replay] cannot load snapshot without xs-worker
mhofman Jan 12, 2023
4cdf676
types(swingset-tools): type check replay-transcript
mhofman Dec 16, 2022
1321fed
feat(swingset-tools): extract vat bundles
mhofman Nov 22, 2022
3deb589
fix(swingset-tools): correct transcriptNum when extracting from slog
mhofman Jan 12, 2023
552ce27
fix(swingset-tools): [replay] add xsnap debug option
mhofman Dec 8, 2022
2570d0a
feat(swingset-tools): [replay] use transcriptNum
mhofman Nov 22, 2022
22842cd
feat(swingset-tools): [replay] write activity log
mhofman Nov 22, 2022
dcf677a
feat(swingset-tools): [replay] force snapshot making on interval
mhofman Nov 22, 2022
9a93cb4
feat(swingset-tools): [replay] force load snapshots
mhofman Nov 22, 2022
f0dd77c
chore(swingset-tools): [replay] tweaks
mhofman Nov 22, 2022
176b8aa
feat(swingset-tools): [replay] implement custom compareSyscalls
mhofman Dec 8, 2022
1345156
feat(swingset-tools): [replay] handle various transcript logic versions
mhofman Dec 20, 2022
2b68418
feat(swingset-tools): [replay] spawn multiple workers
mhofman Dec 8, 2022
ca821f7
feat(swingset-tools): [replay] add some worker stats
mhofman Dec 8, 2022
3f7ac94
feat(swingset-tools): [replay] improve multi worker logic
mhofman Dec 9, 2022
6dc6abd
fix(swingset-tools): [replay] fix load parallelism
mhofman Dec 9, 2022
c1774cc
feat(swingset-tools): [replay] better snapshot messages
mhofman Dec 12, 2022
c7ffd09
feat(swingset-tools): [replay] keep divergent and explicitly loaded w…
mhofman Dec 13, 2022
7f7f1eb
refactor(swingset-tools): [replay] track delivery time on worker data
mhofman Dec 16, 2022
4c2d134
refactor(swingset-tools): [replay] workers sync infra
mhofman Dec 20, 2022
95c1db6
feat(swingset-tools): [replay] add syscall divergence analysis
mhofman Dec 16, 2022
2af1bfe
fix(swingset-tools): [replay] clean up on replay error
mhofman Dec 17, 2022
703b421
feat(swingset-tools): [replay] convert options to command line parsed
mhofman Dec 26, 2022
9a9ea0b
feat(swingset-tools): [replay] Option to load snapshots through config
mhofman Dec 27, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions packages/SwingSet/misc-tools/extract-transcript-from-kerneldb.js
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,6 +54,9 @@ if (!vatName) {
)} ${len.padStart(10)} deliveries`,
);
}
} else if (/(supervisor|lockdown)(B|-b)undle/.test(vatName)) {
const bundle = kvStore.get(vatName.replace('-bundle', 'Bundle'));
fs.writeFileSync(vatName.replace('Bundle', '-bundle'), bundle);
} else {
let vatID = vatName;
if (allVatNames.indexOf(vatName) !== -1) {
Expand Down
4 changes: 1 addition & 3 deletions packages/SwingSet/misc-tools/extract-transcript-from-slogfile.js
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,6 @@ async function run() {
vatParameters,
vatSourceBundle,
};
transcriptNum += 1;
// first line of transcript is the source bundle
fs.writeSync(fd, JSON.stringify(t));
fs.writeSync(fd, '\n');
Expand All @@ -72,8 +71,8 @@ async function run() {
}
case 'deliver-result': {
console.log(` -- deliver-result`);
const entry = { transcriptNum, d: delivery, syscalls };
transcriptNum += 1;
const entry = { transcriptNum, d: delivery, syscalls };
fs.writeSync(fd, JSON.stringify(entry));
fs.writeSync(fd, '\n');
break;
Expand All @@ -82,7 +81,6 @@ async function run() {
console.log(' -- heap-snapshot-save');
const { type, snapshotID } = e;
const t = { transcriptNum, type, vatID, snapshotID };
transcriptNum += 1;
fs.writeSync(fd, JSON.stringify(t));
fs.writeSync(fd, '\n');
break;
Expand Down
Loading