Skip to content

Conversation

vulder
Copy link
Member

@vulder vulder commented May 12, 2024

Co-authored-by: JC van Winkel [email protected]
Co-authored-by: Bogusław Cyganek [email protected]
Co-authored-by: Jari Ronkainen [email protected]

Co-authored-by: JC van Winkel <[email protected]>
Co-authored-by: Bogusław Cyganek <[email protected]>
Co-authored-by: Jari Ronkainen <[email protected]>
@vulder vulder added the Tentatively ready Ready for a final review in SG20 label May 12, 2024
@vulder vulder requested a review from jcvw May 12, 2024 11:23
Copy link
Collaborator

@jcvw jcvw left a comment

Choose a reason for hiding this comment

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

LGTM

@vulder vulder added SG20-reviewed Reviewed by a SG20 meeting, ready to be merged after comment resolution. and removed Tentatively ready Ready for a final review in SG20 labels Apr 14, 2025

#### Caveats

* Beware when using iterators in a multi-threaded environment as both the iterator and the data structure need to be correctly synchronized (see [XYZ](https://)).
Copy link
Member Author

Choose a reason for hiding this comment

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

@VictorEijkhout do you know a reference that I could add here for XYZ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
SG20-reviewed Reviewed by a SG20 meeting, ready to be merged after comment resolution.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants