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

Extract early changes from PR 4136 #4190

Merged
merged 1 commit into from
Dec 23, 2021
Merged

Conversation

erights
Copy link
Member

@erights erights commented Dec 19, 2021

Most of the marshal and store level changes from #4136 seem ready to merge into master, and would help with other things I want to do. In particular, it gives us the basic pattern language, as well as the basic in-memory ephemeral stores. The kernel mods from #4136 are omitted, and therefore also the new support for virtual or durable stores.

Also omitted are the draft documentation pages even for marshal and store levels, as these have not yet been updated to explain the current semantics accurately.

All omitted elements from #4136 are expected to arrive in later PRs, unless stated otherwise.

@erights erights requested a review from FUDCo December 19, 2021 18:18
@erights erights self-assigned this Dec 19, 2021
@erights
Copy link
Member Author

erights commented Dec 21, 2021

This PR is rather similar to #3852 , which was extracted from #3795 . PR #3795 grew into @FUDCo 's #4136. Just as #3852 was extracted from #3795 as the parts that could be merged early, this PR extracts similar choices from #4136 as the parts that could be merged early.

@FUDCo
Copy link
Contributor

FUDCo commented Dec 22, 2021

Modulo the rank upper bound inclusive vs. exclusive thing we discussed yesterday, this all looks reasonable.

Copy link
Contributor

@FUDCo FUDCo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@erights erights added the automerge:squash Automatically squash merge label Dec 23, 2021
@mergify mergify bot merged commit fea822e into master Dec 23, 2021
@mergify mergify bot deleted the markm-4136-extract-early branch December 23, 2021 01:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge:squash Automatically squash merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants