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

build basic transcript-based persistence mechanism #155

Closed
warner opened this issue Mar 27, 2019 · 3 comments
Closed

build basic transcript-based persistence mechanism #155

warner opened this issue Mar 27, 2019 · 3 comments
Assignees
@warner
Labels
SwingSet package: SwingSet

Comments

@warner
Copy link
Member

warner commented Mar 27, 2019

I've started with some docs in docs/persistence.md . We don't have engine-level support for checkpointing, but we can plan for it, and in the meantime we "persist" the Vat state by recording a transcript of everything we ask the Vat to do. Since Vats are supposed to be deterministic, replaying the transcript ought to construct an identical state.
@warner warner self-assigned this Mar 27, 2019
warner referenced this issue in Agoric/SwingSet Apr 2, 2019
@warner
Merge branch '16-persistence'
3157866 
Not yet complete, but good enough to merge.

refs #16
@warner
Copy link
Member Author

warner commented Apr 4, 2019

Commit ba89426 gets us a save() command in the shell, which writes the current kernel+vat state into state.json. It also adds code to load that state when we launch a basedir that contains one.

Once I write up some of the other options (and their pros/cons/dependencies), I'll close this ticket. This is far from the last word in persistence strategies, but it should be enough for us to experiment with over the next month.

@warner warner changed the title build persistence mechanism build basic transcript-based persistence mechanism Apr 4, 2019
warner referenced this issue in Agoric/SwingSet Apr 6, 2019
@warner
update persistence docs
b3d5704 
refs #16
@warner
Copy link
Member Author

warner commented Apr 6, 2019

ok, I think that's good enough for now.

@warner warner closed this as completed Apr 6, 2019
@warner
Copy link
Member Author

warner commented Dec 4, 2019

in the old repo. this was SwingSet issue 16

@warner warner transferred this issue from Agoric/SwingSet Dec 4, 2019
@warner warner added the SwingSet package: SwingSet label Dec 4, 2019
dckc pushed a commit to dckc/agoric-sdk that referenced this issue Dec 5, 2019
@Chris-Hibbert
Doc updates (Agoric#155)
fbe760a 
* fix typos in doc and comments

* clarify Device architecture`

* extraneous whitespace

* remove "attenuator", and reduce dupe headers

* corrections in review

* minor cleanups as part of the review
dckc pushed a commit to dckc/agoric-sdk that referenced this issue Dec 5, 2019
@michaelfig @katelynsills
feat(zoe): allow specifying additional endowments for contracts (Agor…
a209c90 
…ic#155)

* feat(zoe): allow specifying additional endowments for contracts

This is also added to the contractHost, so that SwingSet users
can endow a `require` function for bundled contract code in the
`getExport` module format.

* doc(zoe): declare that additionalEndowments should be pure-ish

Same for contractHost.
@JimLarson JimLarson mentioned this issue Jan 17, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@warner warner

Labels
SwingSet package: SwingSet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@warner