Skip to content

use mutexed maps for concurrent read/write#95

Merged
iljarotar merged 9 commits intomainfrom
fix-concurrent-map-rw
Jan 26, 2026
Merged

use mutexed maps for concurrent read/write#95
iljarotar merged 9 commits intomainfrom
fix-concurrent-map-rw

Conversation

@iljarotar
Copy link
Copy Markdown
Owner

closes #93

@iljarotar iljarotar merged commit bd320de into main Jan 26, 2026
1 check passed
@iljarotar iljarotar deleted the fix-concurrent-map-rw branch January 26, 2026 20:49
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

Successfully merging this pull request may close these issues.

BUG: concurrent map write and read when updating synth modules

1 participant