You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
AST construction is not thread safe, and the first full visitation / elaboration is not either (since AST nodes are constructed lazily). Once the full AST has been visited and every single node touched, it should be safe to visit the AST again concurrently since it should be effectively immutable thereafter.
Add a test that visits a large AST via multiple threads multiple times over and tries to weed out any cases where we are not actually immutable after construction. ThreadSanitizer may be helpful here.
The text was updated successfully, but these errors were encountered:
AST construction is not thread safe, and the first full visitation / elaboration is not either (since AST nodes are constructed lazily). Once the full AST has been visited and every single node touched, it should be safe to visit the AST again concurrently since it should be effectively immutable thereafter.
Add a test that visits a large AST via multiple threads multiple times over and tries to weed out any cases where we are not actually immutable after construction. ThreadSanitizer may be helpful here.
The text was updated successfully, but these errors were encountered: