Prediction of Deadlocks in Concurrent Programs Using Neural Network
Journal Title: Journal of Information Systems and Telecommunication - Year 2013, Vol 1, Issue 1
Abstract
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.
Authors and Affiliations
Elmira Hasanzad, Seyed Morteza Babamir
Keywords
Related Articles
- EP ID EP190121
- DOI 10.7508/jist.2013.01.005
- Views 154
- Downloads 0
Referral Traffic Analysis: A Case Study of the Iranian Students' News Agency (ISNA)
Web traffic analysis is a well-known e-marketing activity. Today most of the news agencies have entered the web providing a variety of online services to their customers. The number of online news consumers is also incre...
A New Calibration Method for SAR Analog-to-Digital Converters Based on All Digital Dithering
In this paper a new digital background calibration method for successive approximation register analog to digital converters is presented. For developing, a perturbation signal is added and also digital offset is injecte...
Cover Selection Steganography Via Run Length Matrix and Human Visual System
A novel approach for steganography cover selection is proposed, based on image texture features and human visual system. Our proposed algorithm employs run length matrix to select a set of appropriate images from an imag...
A Robust Statistical Color Edge Detection for Noisy Images
Edge detection is a fundamental tool that plays a significant role in image processing, and performance of high-level tasks such as image segmentation and object recognition depends on its efficiency. Therefore, edge det...
Joint Source and Channel Analysis for Scalable Video Coding Using Vector Quantization over OFDM System
Conventional wireless video encoders employ variable-length entropy encoding and predictive coding to achieve high compression ratio but these techniques render the extremely sensitive encoded bit-stream to channel error...