Since barrier synchronization is a simple means to guarantee the order of data producing and data consuming, it is often used in parallel programs. However, barrier synchronization causes the processors' idle time to increase. To reduce the overhead of barrier synchronization, we have proposed an algorithm which eliminates barrier synchronizations and evaluated its validity experimentally. In this paper, we model the behavior of parallel programs and stochastically analyze our algorithm. Using the behavioral model, we evaluated the execution time before eliminating barrier synchronizations as well as after eliminating barrier synchronizations. As a result, we confirmed the observation, which we have found experimentally, that is, the ratio of improvement increases as the number of processors increases.