Statistic analysis for time sequence analysis of multi-thread programs

To cope with the problem of the difficulty of analyzing and detecting the data race problems in multithread programs, a method based on statistic model is presented for the analysis of time sequences in multithread programs. The random variable uncertainty is used to depict the mutual influence in different multithread in time sequences, and the probability distribution for random variable uncertainty is analyzed as the outcome of multithread programs on the condition of data race. It is proved by experiment that the model can reflect the time sequence of the multithread programs, which can be used to instruct the detecting process of multithread programs should and must provide normalized electronic documents in order for readers to search and read papers conveniently.