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

Spec a no-fence variant of LPF core functionality #35

Open
anyzelman opened this issue Nov 21, 2024 · 0 comments
Open

Spec a no-fence variant of LPF core functionality #35

anyzelman opened this issue Nov 21, 2024 · 0 comments
Assignees

Comments

@anyzelman
Copy link
Member

The use case here has that auxiliary methods may be used for synchronisation as well as for the transfer of meta-data such as memory slots. In this case, LPF is not responsible for maintaining points of consistency, and thus the definition of a sync can be relaxed greatly.

For example, with this variant the registration of a memory slot should always follow the local variant, while the put/get should specify the synchronisation requirements on the slots it is using, which the programmer should then guarantee outside of LPF.

It is proposed as an extension to the core LPF.

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

When branches are created from issues, their pull requests are automatically linked.

1 participant