Answers are grounded in this paper and cite their sources.
Knowing which functions may execute concurrently is key to finding concurrency-related bugs. Existing tools infer the possibility of concurrency using dynamic analysis or by pairing functions that use the same locks. Code that relies on more relaxed concurrency controls is, by and large, out of the reach of existing concurrency-related bug-tracking tools.
No takes yet. Share an insight, caveat, or question.
Lepers et al. (2023) studied this question.