Articles liés à May-Happen-In-Parallel Analysis of Parallel JAVA Programs:...
May-Happen-In-Parallel Analysis of Parallel JAVA Programs: An approach to detect potential interference segments in parallel java programs - Couverture souple
Synopsis
The widespread use of concurrent software in modern day computing systems necessitates the development of effective debugging methodologies for multi-threaded software. Concurrent programs, however, are behaviourally complex involving subtle interactions between threads which make them hard to analyse manually. This motivates the use of automated formal methods to reason about such systems. In this project we have defined a methodology to detect interference freedom and to identify write-write and write-read conflicts by using an existing May-Happen-In-Parallel algorithm. The purpose of May-Happen-in-Parallel (MHP) analysis is to statically determine if it is possible for execution instances of two given statements (or the same statement) to execute in parallel. MHP analysis serves as a key foundation for concurrent static and dynamic debugging tools including tools for data race detection. The main objective is to provide guidelines to a programmer to identify May-Happen-in-Parallel points in a program and to reduce the concurrency bugs as much as possible.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
The widespread use of concurrent software in modern day computing systems necessitates the development of effective debugging methodologies for multi-threaded software. Concurrent programs, however, are behaviourally complex involving subtle interactions between threads which make them hard to analyse manually. This motivates the use of automated formal methods to reason about such systems. In this project we have defined a methodology to detect interference freedom and to identify write-write and write-read conflicts by using an existing May-Happen-In-Parallel algorithm. The purpose of May-Happen-in-Parallel (MHP) analysis is to statically determine if it is possible for execution instances of two given statements (or the same statement) to execute in parallel. MHP analysis serves as a key foundation for concurrent static and dynamic debugging tools including tools for data race detection. The main objective is to provide guidelines to a programmer to identify May-Happen-in-Parallel points in a program and to reduce the concurrency bugs as much as possible.
Biographie de l'auteur
T.S. Deepthi Project Student, Tata Institute of Fundamental Research,Mumbai. Education: M.Tech in Computer Science at Manipal University. Publication “Performance Analysis of Parallel Processing Systems,” International journal of Emerging Technology and Advanced Engineering.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurLAP LAMBERT Academic Publishing
- Date d'édition2012
- ISBN 10 3659294721
- ISBN 13 9783659294723
- ReliureBroché
- Langueanglais
- Nombre de pages76
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 41,67
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour May-Happen-In-Parallel Analysis of Parallel JAVA Programs:...
Image fournie par le vendeur
May-Happen-In-Parallel Analysis of Parallel JAVA Programs
Edité par
LAP LAMBERT Academic Publishing, 2012
ISBN 10 : 3659294721
ISBN 13 : 9783659294723
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5146401
Quantité disponible : Plus de 20 disponibles