Threads and Data-Flow Analysis

I'm looking for information on algorithms for data-flow analysis
in the presence of threads. Such algorithms would have to
model all the possible states each process could be in
as well as race-conditions, etc. I'd appreciate pointers to
any work in this area.


Thanks!


Christian


--
___________________________________________________________________________
Christian Collberg | Email: c_collberg@cs.auckland.ac.nz
Computer Science Dept | Fax: +64-9-373-7453
University of Auckland | Phone: +64-9-373-7599 x 6137
--

Return to the comp.compilers page.
Search the comp.compilers archives again.