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

What is the precise meaning of relaxed behaviors and orderings? #385

Closed

Shynar88 opened this issue Oct 13, 2019 · 1 comment

Shynar88 commented Oct 13, 2019

What is the precise meaning of relaxed behaviors and relaxed orderings?

Member

jeehoonkang commented Oct 13, 2019

relaxed behaviors: see slide's p30
(relaxed) ordering: it's constraining the relaxed behaviors by enforcing orders among instructions. In particular, the "relaxed" ordering imposes no orders; the "acquire" ordering imposes order between an acquire load and later instructions; and the "release" ordering imposes order between earlier instructions and a release store.

jeehoonkang closed this as completed

kyeongmincho transferred this issue from kaist-cp/helpdesk

kyeongmincho mentioned this issue

[Question] About promising semantics.. #524

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment