On Thu Mar 14 09:40:00 2024 +0000, Rémi Bernon wrote:
Although another thing to consider with removing the mappings after the destruction is that this becomes racy if the host handle being destroyed is reused for a different object created in another thread before the destroying thread had a chance to remove its mapping. Not very likely but still.
Yes, but that should be easy to fix. When adding a new mapping, we may remove the existing one. We'd also need to check if we're still a valid handle when removing it.