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

Introduce retwis application in motivating example (since it’ll be discussed in the eval) #8

Open
alevy opened this issue Apr 12, 2024 · 0 comments
Open

Introduce retwis application in motivating example (since it’ll be discussed in the eval) #8

alevy opened this issue Apr 12, 2024 · 0 comments
Assignees
@alevy
Labels
Writing
Milestone
SOSP 2024 Submission

Comments

@alevy
Copy link

alevy commented Apr 12, 2024 •
edited
Loading

Retwis Application description should includes detailed description of how parallelization on linearizability would break application semantics (even if accounting for data and control flow dependencies)
@alevy alevy added the Writing label Apr 12, 2024
@alevy alevy added this to the SOSP 2024 Submission milestone Apr 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alevy alevy

Labels
Writing
Projects
None yet
Milestone
SOSP 2024 Submission
Development

No branches or pull requests
1 participant
@alevy