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

Support atomic exchange primitives #266

Merged

Conversation

danielsn
Copy link
Contributor

@danielsn danielsn commented Jun 25, 2021

Description of changes:

Adds support for the atomic exchange primitives. We currently do not handle the different memory access modes as RMC only runs in sequential mode.

Resolved issues:

Resolves #158
Remaining issue for try tracked in #267

Call-outs:

We currently do not handle the different memory access modes as RMC only runs in sequential mode.

Testing:

  • How is this change tested? New regression tests

  • Is this a refactor change? No

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@danielsn danielsn changed the title Support atomic compare/exhange primitives Support atomic exchange primitives Jun 25, 2021
@adpaco-aws adpaco-aws merged commit 7c73a70 into model-checking:main-153-2021-06-23 Jun 29, 2021
adpaco-aws pushed a commit that referenced this pull request Jul 2, 2021
* Support atomic exchange primitives

* PR comments
adpaco-aws pushed a commit that referenced this pull request Jul 9, 2021
* Support atomic exchange primitives

* PR comments
adpaco-aws pushed a commit that referenced this pull request Jul 15, 2021
* Support atomic exchange primitives

* PR comments
adpaco-aws pushed a commit that referenced this pull request Jul 26, 2021
* Support atomic exchange primitives

* PR comments
adpaco-aws pushed a commit that referenced this pull request Aug 2, 2021
* Support atomic exchange primitives

* PR comments
@zhassan-aws zhassan-aws mentioned this pull request Aug 6, 2021
4 tasks
adpaco-aws pushed a commit that referenced this pull request Aug 6, 2021
* Support atomic exchange primitives

* PR comments
adpaco-aws pushed a commit that referenced this pull request Aug 17, 2021
* Support atomic exchange primitives

* PR comments
adpaco-aws pushed a commit that referenced this pull request Aug 24, 2021
* Support atomic exchange primitives

* PR comments
tedinski pushed a commit to tedinski/rmc that referenced this pull request Apr 22, 2022
* Support atomic exchange primitives

* PR comments
tedinski pushed a commit to tedinski/rmc that referenced this pull request Apr 25, 2022
* Support atomic exchange primitives

* PR comments
tedinski pushed a commit to tedinski/rmc that referenced this pull request Apr 26, 2022
* Support atomic exchange primitives

* PR comments
tedinski pushed a commit that referenced this pull request Apr 27, 2022
* Support atomic exchange primitives

* PR comments
@danielsn danielsn deleted the atomic-compare branch May 11, 2022 18:31
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

Successfully merging this pull request may close these issues.

Unimplemented intrinsics required to codegen Firecracker vmm
3 participants