barach@Solbourne.COM (David Barach) (03/01/91)
Has anyone in netland heard of or built a tool which can analyze C or C++ programs, then suggest / verify a suitable locking scheme/lock-ordering? I'm primarily interested in working with large programs on a shared-memory multiprocessor.