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.

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

reify the vat queue for CapTP in rholang #14

Open
dckc opened this issue Oct 17, 2021 · 0 comments
Open

reify the vat queue for CapTP in rholang #14

dckc opened this issue Oct 17, 2021 · 0 comments

Comments

@dckc
Copy link
Contributor

dckc commented Oct 17, 2021

vats are islands of synchrony. translated js functions should grab a lock on the vat queue.

this should help with #10 too.

I wonder if it helps channels match with promises better. (e.g. a promise can have multiple .then functions waiting. A channel can too, but only one of them runs on put)

Each time around the loop, the Vat-thread extracts a pending delivery from the queue, and calls the recipient with the message. This top-level call executes to completion before the next pending delivery is processed. The synchronous computation performed in service of a single pending delivery is a turn. -- The Vat

Hm... vat turns are supposed to be transactional too. No messages can be released until state is committed, lest we suffer hangover inconsistency.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant