System Support for Concurrent Software Reliability