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

Support for blocking operations #2

Open
susliko opened this issue May 2, 2020 · 0 comments
Open

Support for blocking operations #2

susliko opened this issue May 2, 2020 · 0 comments
Milestone
v0.3.0

Comments

@susliko
Copy link
Owner

susliko commented May 2, 2020

Some data structures might have methods with blocking semantics, e.g. take on an empty queue.
And since a search of linearized history works in a single process, current checker is not suitable for such data structures.

The goal is:

  1. redesign the checker in a way to support semantically blocking operations.
  2. design a DSL extension for describing semantically blocking operations
@susliko susliko added this to the v0.3.0 milestone May 9, 2020
@susliko susliko modified the milestones: v0.3.0, v0.2.0 May 16, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v0.3.0
Development

No branches or pull requests
1 participant
@susliko