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

adding and removing keys should be logged in order to the journal #384

Open
noha opened this issue Jun 24, 2023 · 5 comments
Open

adding and removing keys should be logged in order to the journal #384

noha opened this issue Jun 24, 2023 · 5 comments
Assignees

Comments

@noha
Copy link
Contributor

noha commented Jun 24, 2023

No description provided.

@noha noha moved this to In Progress in Soil project board Jun 26, 2023
@noha
Copy link
Contributor Author

noha commented Jun 27, 2023

I thought this would be fixed by using an OrderedDictionary in the skip list dictionary but that is already the case.

@MarcusDenker
Copy link
Contributor

"in order" means which order? The OrderedDictionary is sorted by when the key was added, not in the order that they are later in the index (see #415 )

@MarcusDenker
Copy link
Contributor

with remove and add being in two different dictionaries, there is no order between them: we log first all adds, then all removes. This can lead to the order between add and remove passible being wrong ("add, remove, add remove" is logged as "add add remove remove")

@MarcusDenker
Copy link
Contributor

Now SoilIndexedDictionary uses newValues removedValues just for creating the journal.

To have the Journal in correct oder, we need to instead have one OrdredCollection that stores both add and removes.

But this list need to be condensed to not log multiple adds/remove for the same key

@MarcusDenker
Copy link
Contributor

Note from discussion:

  • We should not fix this now on the level of the SoilIndexDictionary, but do this later on the level of the page when it manages newValues/removedValues

@noha noha removed the status in Soil project board Feb 28, 2024
@noha noha moved this to Todo in Soil project board Jan 8, 2025
@noha noha self-assigned this Jan 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Development

No branches or pull requests

2 participants