Skip to content

Make Symbol Serialisation Thread Safe#2388

Open
philip-paul-mueller wants to merge 6 commits into
spcl:mainfrom
philip-paul-mueller:make_symbol_serialization_thread_safe
Open

Make Symbol Serialisation Thread Safe#2388
philip-paul-mueller wants to merge 6 commits into
spcl:mainfrom
philip-paul-mueller:make_symbol_serialization_thread_safe

Conversation

@philip-paul-mueller

Copy link
Copy Markdown
Collaborator

PR#2366 introduced a new global that was used during serialization. However, this fails when multiple threads are active, which is not the default mode of operation (except in GT4Py and the DaCe tests themselves).
This PR made the serialization thread safe.

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

This PR addresses a concurrency issue introduced in PR #2366 by replacing a process-global “authoritative symbol dtype” map used during symbolic serialization with a thread-local, stack-based context, making serialization safe when multiple Python threads serialize concurrently (e.g., in GT4Py and DaCe’s own multi-threaded tests).

Changes:

  • Replace the global _SERIALIZATION_SYMBOL_DTYPES dict with a threading.local-backed context object that maintains a per-thread stack of authoritative dtype mappings.
  • Update serialization_symbol_dtypes(...) to push/pop the per-thread authority instead of overwriting a global.
  • Update symbol printing to consult the current thread’s active authority via _SERIALIZATION_SYMBOL_DTYPES.get().

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread dace/symbolic.py
Comment thread dace/symbolic.py
Comment thread dace/symbolic.py Outdated
Comment thread dace/symbolic.py
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

@ThrudPrimrose ThrudPrimrose left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM

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.

3 participants