Race Condition and Deadlock Detection for Large-Scale Applications

Do-Mai, Anh-Tu; Diep, Thanh-Dang; Thoai, Nam

doi:10.1109/ispdc.2016.53

Cited by 6 publications

(5 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A framework in payment channel allow user to execute small transfers without committing the transaction to the blockchain. They can update the balance of deposit by using smart contracts that ensure the agreement of both users on re-distribution of payment [5]. The capacity of channel is limited in each direction.…”

Section: Fulgor Algorithmmentioning

confidence: 99%

See 1 more Smart Citation

Comparative Analysis of Deadlock Detection Algorithm based on Blockchain

2023

IJCCN

View full text Add to dashboard Cite

The aim of the study is to compare the deadlock detection algorithms in distributed systems with respective Blockchain technology presented in this paper. Today, detecting deadlocks in distributed systems is a very important challenge. Without the proper deadlock detection mechanism, the system can get stuck in a reject state. The goal of this work is to figure out which algorithm is more suitable for deadlock detection in Blockchain technology based on these factors i-e Security, Time, Performance, Communication, and Correctness. Under the positivism paradigm. The descriptive research design and distributed technique are used to minimize the occurrence of deadlock and to identify the deadlock in parallel collective operation verified up to maximum threads. The algorithms for deadlock detection that are compared in this study are Scalable deadlock detection, Push-relabel algorithm, Knapp’s, Fulgor, and Consensus based on Blockchain technology. Blockchain technology provides a secure environment and helps to build trust. According to this paper, the Fulgor algorithm is more effective at removing deadlocks and maintaining communication security between distributed systems. Both controlled and uncontrolled environments are tested with different algorithms and are compared to define efficiency side-by-side. Deadlock detection requires identifying some properties and message delays in the global state of the distributed system. The number of common parameters has been identified in the selected algorithms to detect deadlocks in a distributed system

show abstract

Section: Fulgor Algorithmmentioning

confidence: 99%

“…In the last step two parallel conditions must be execute before the consensus algorithm to propose step [9]. Finally, the node is to commits the block by the network so it can broadcast to other peers in blockchain [5]. The node must wait at least 2/3 commits of the current executing node block.…”

Section: Knapp's Algorithmmentioning

confidence: 99%

Comparative Analysis of Deadlock Detection Algorithm based on Blockchain

2023

IJCCN

View full text Add to dashboard Cite

show abstract

“…In addition, the testing tools that have been used for detecting mismatching and deadlocks include Umpire [16], GEM [17], and MPI-CHECK [18]. For race condition and deadlocks, MPI detections MAD [19], [20], and PDT [21] have been used. MPIRace-Check [22] has been used to detect race conditions in MPI.…”

Section: Related Workmentioning

confidence: 99%

ACC_TEST: Hybrid Testing Techniques for MPI-Based Programs

et al. 2020

View full text Add to dashboard Cite

Recently, MPI has become widely used in many scientific applications, including different non-computer science fields, for parallelizing their applications. An MPI programming model is used for supporting parallelism in several programming languages, including C, C++, and Fortran. MPI also supports integration with some programming models and has several implementations from different vendors, including open-source and commercial implementations. However, testing parallel programs is a difficult task, especially when using programming models with different behaviours and types of error based on the programming model type. In addition, the increased use of these programming models by non-computer science specialists can cause several errors due to lack of experience in programming, which needs to be considered when using any testing tools. We noticed that dynamic testing techniques have been used for testing the majority of MPI programs. The dynamic testing techniques detect errors by analyzing the source code during runtime, which will cause overheads, and this will affect the program's performance, especially when targeting massive parallel applications generating thousands or millions of threads. In this paper, we enhance ACC_TEST to have the ability to test MPI-based programs and detect runtime errors occurring with different types of MPI communications. We decided to use hybrid-testing techniques by combining both static and dynamic testing techniques to gain the benefit of each and reduce the cost. INDEX TERMS MPI, MPI testing tool, hybrid testing techniques, parallel programming, ACC_TEST.

show abstract

“…For detecting deadlocks and mismatching, MPI-CHECK [24], GEM [25], and Umpire [26] were used. The tools PDT [27], MAD [28], and [29] were used for detecting MPI deadlocks and race conditions. For deadlocks, MOPPER [30] and ISP [31] were used.…”

Section: Dynamic Testing Techniquesmentioning

confidence: 99%

Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs

et al. 2020

View full text Add to dashboard Cite

The importance of high-performance computing is increasing, and Exascale systems will be feasible in a few years. These systems can be achieved by enhancing the hardware’s ability as well as the parallelism in the application by integrating more than one programming model. One of the dual-programming model combinations is Message Passing Interface (MPI) + OpenACC, which has several features including increased system parallelism, support for different platforms with more performance, better productivity, and less programming effort. Several testing tools target parallel applications built by using programming models, but more effort is needed, especially for high-level Graphics Processing Unit (GPU)-related programming models. Owing to the integration of different programming models, errors will be more frequent and unpredictable. Testing techniques are required to detect these errors, especially runtime errors resulting from the integration of MPI and OpenACC; studying their behavior is also important, especially some OpenACC runtime errors that cannot be detected by any compiler. In this paper, we enhance the capabilities of ACC_TEST to test the programs built by using the dual-programming models MPI + OpenACC and detect their related errors. Our tool integrated both static and dynamic testing techniques to create ACC_TEST and allowed us to benefit from the advantages of both techniques reducing overheads, enhancing system execution time, and covering a wide range of errors. Finally, ACC_TEST is a parallel testing tool that creates testing threads based on the number of application threads for detecting runtime errors.

show abstract

Race Condition and Deadlock Detection for Large-Scale Applications

Cited by 6 publications

References 13 publications

Comparative Analysis of Deadlock Detection Algorithm based on Blockchain

Comparative Analysis of Deadlock Detection Algorithm based on Blockchain

ACC_TEST: Hybrid Testing Techniques for MPI-Based Programs

Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs

Contact Info

Product

Resources

About