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

Ordering Storage #94

Merged
merged 4 commits into from
Jan 5, 2024
Merged

Ordering Storage #94

merged 4 commits into from
Jan 5, 2024

Conversation

mariari
Copy link
Member

@mariari mariari commented Dec 21, 2023

This module consists of two parts:

  1. An ordering map which tells of the latest order in the
    qualification map
  2. A qualification map which maps from a qualified key to the stored
    value

Further we provide types for everything so the code can be somewhat
grocked by looking at the types

@mariari mariari force-pushed the mariari/ordering-storage branch 2 times, most recently from 11ccf90 to a2d6f75 Compare December 21, 2023 10:00
@mariari mariari force-pushed the mariari/ordering-storage branch from a2d6f75 to ccf80b9 Compare December 31, 2023 07:43
We remove all known warnings, this makes it nice as `mix test` and
other commands will not spit any wanrings anymore
This ensures that the db is initialized before we run any tests. This
matters in a lot of topics that require the DB to be online
This module consists of two parts:
1. An ordering map which tells of the latest order in the
   qualification map
2. A qualification map which maps from a qualified key to the stored
   value

Further we provide types for everything so the code can be somewhat
grocked by looking at the types
We test:

1. reads
2. blocking_reads
3. puts
4. blocking_reads with data not in yet
@mariari mariari force-pushed the mariari/ordering-storage branch from ccf80b9 to af75dce Compare January 1, 2024 10:00
@juped juped merged commit 7df0cb9 into base Jan 5, 2024
2 checks passed
@mariari mariari deleted the mariari/ordering-storage branch July 20, 2024 03:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants