]) computers. On single-processor systems, threads typically run uninterrupted for reasonably large time quanta, and there is no truly simultaneous execution, which dramatically constrains the set of likely behaviors. In practice, concurrent programs that run perfectly well on single-processor systems often manifest previously latent defects when run on multiprocessor systems. An effective solution for locating concurrency issues before the program is executed is GrammaTech CodeSonar static analysis.Finding Concurrency Errors with GrammaTech Static Analysis
Staff, GrammaTech — August 11, 2011
Full Text: Loading... 
Concurrent programs and their problems have been with us for much longer than multiprocessor machines. However, concurrency defects of all kinds are much more likely to manifest on multiprocessor (including multicore[]) computers. On single-processor systems, threads typically run uninterrupted for reasonably large time quanta, and there is no truly simultaneous execution, which dramatically constrains the set of likely behaviors. In practice, concurrent programs that run perfectly well on single-processor systems often manifest previously latent defects when run on multiprocessor systems. An effective solution for locating concurrency issues before the program is executed is GrammaTech CodeSonar static analysis.
]) computers. On single-processor systems, threads typically run uninterrupted for reasonably large time quanta, and there is no truly simultaneous execution, which dramatically constrains the set of likely behaviors. In practice, concurrent programs that run perfectly well on single-processor systems often manifest previously latent defects when run on multiprocessor systems. An effective solution for locating concurrency issues before the program is executed is GrammaTech CodeSonar static analysis.