Mendeley TY _ JOUR ID - 139307281137442756 TI - Prediction of Deadlocks in Concurrent Programs Using Neural Network JO - Journal of Information Systems and Telecommunication (JIST) JA - ES LA - en SN - 2322-1437 AU - Hasanzad Elmira AU - babamir babamir AD - Kashan AD - Y1 - 2013 PY - 2013 VL - 1 IS - SP - 1 EP - 10 KW - Detecting Potential Deadlocks KW - Time Series Prediction KW - Multithread Programs KW - Behavior Extraction DO - N2 - The dependability of concurrent programs is usually limited by concurrency errors like deadlocks and data races in allocation of resources. Deadlocks are difficult to find during the program testing because they happen under very specific thread or process scheduling and environmental conditions. In this study, we extended our previous approach for online potential deadlock detection in resources allocated by multithread programs. Our approach is based on reasoning about deadlock possibility using the prediction of future behavior of threads. Due to the nondeterministic nature, future behavior of multithread programs, in most of cases, cannot be easily specified. Before the prediction, the behavior of threads should be translated into a predictable format. Time series is our choice to this conversion because many Statistical and Artificial Intelligence techniques can be developed to predict the future members of the time series. Among all the prediction techniques, artificial neural networks showed applicable performance and flexibility in predicting complex behavioral patterns which are the most usual cases in real world applications. Our model focuses on the multithread programs which use locks to allocate resources. The proposed model was used to deadlock prediction in resources allocated by multithread Java programs and the results were evaluated. UR - rimag.ir/en/Article/14805 L1 - rimag.ir/en/Article/Download/14805 ER -