Skip to Main Content
 

Global Search Box

 
 
 
 

ETD Abstract Container

Abstract Header

Libra: Detecting Unbalance MPI Collective Calls

Zhang, Wenbin

Abstract Details

2011, Master of Science, Ohio State University, Computer Science and Engineering.

Collective calls in MPI applications allow all processes within the same communicator to collaborate with each other, while missing to call in any process may lead to unexpected behavior such as deadlock. This thesis presents a method to detect unbalance MPI collective calls among all processes. The main idea is to track the possible execution paths in the control flow graph. If two paths on different processes have different calling histories on the MPI collective calls, the corresponding function will be reported to be incorrect.

We have built a tool called Libra on Linux to implement the detection. Libra has been evaluated using three real world applications, with a real world bug and three injected bugs. The experimental results show that Libra can correctly detect the bug cases and pinpoint the root causes without reporting any false positives.

Feng Qin, PhD (Advisor)
Dong Xuan, PhD (Committee Member)
42 p.

Recommended Citations

Citations

  • Zhang, W. (2011). Libra: Detecting Unbalance MPI Collective Calls [Master's thesis, Ohio State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=osu1313160584

    APA Style (7th edition)

  • Zhang, Wenbin. Libra: Detecting Unbalance MPI Collective Calls. 2011. Ohio State University, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=osu1313160584.

    MLA Style (8th edition)

  • Zhang, Wenbin. "Libra: Detecting Unbalance MPI Collective Calls." Master's thesis, Ohio State University, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=osu1313160584

    Chicago Manual of Style (17th edition)