Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Minhao Lin

dblp:227/8714 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2018
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Concurrent programming · 54% Program analysis · 46%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Concurrent programming
concurrency bugs
0.312018
Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation · IEEE Trans. Parallel Distributed Syst. 2018
Concurrent programming › concurrency bug detection
data race detection
0.312018
Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation · IEEE Trans. Parallel Distributed Syst. 2018
Program analysis
dynamic analysis
0.312018
Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation · IEEE Trans. Parallel Distributed Syst. 2018
Program analysis › dynamic analysis
happens-before analysis
0.312018
Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation · IEEE Trans. Parallel Distributed Syst. 2018
Concurrent programming
synchronization
0.112018
Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation · IEEE Trans. Parallel Distributed Syst. 2018

Methods — techniques the papers use, named apart from their topics

sampling · 0.3pending-period representation · 0.3
YearPublicationVenuePosition
2018 Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation
abstract
Most of dynamic data race detection essentially relies on the underlying happens-before orders to yield the precise reports. They are notoriously prone to a prohibitively basic overhead. Although there exist a wealth of research advances that succeed in significantly reducing the analysis overhead on memory accesses, there remains an open problem in handling a great deal of fundamentally unscalable synchronization overhead, which can be particularly serious for the large, lock-intensive programs with a long running time and a large number of threads. In this paper, we revisit the synchronization problem of off-the-shelf race detection with a comprehensive study. The key insight of this work is that a full collection of partial orders for synchronization operations in prior work is not necessarily tracked and analyzed from a new perspective of “global clock” representation. We therefore develop this insight into a novel pending-period based approach, aiming at reducing the overhead of monitoring and analysis on unnecessary synchronization operations. Further, we also enable a significant improvement for enhancing the efficiency of existing sampling techniques, in which synchronization operations are often conservatively identified. Our experimental results on a wide variety of programs show that our approach outperforms state-of-the-art by 5.85x (versus FastTrack), 3.51x (versus ThreadSanitizer) and 1.34x (versus IFRit) program execution slowdown improvement on average, which can be more significant as the number of threads is increasing. Particularly for the lock-intensive programs (e.g., barnes), our approach can be 26.04x faster than FastTrack. Further, our pending period extended sampling is more efficient than Pacer (with up to 31.28 percent improvement in the case of 10 percent sampling rate).
Xiaofei Liao, Minhao Lin, Long Zheng 0003, Hai Jin 0001, Zhiyuan Shao
IEEE Trans. Parallel Distributed Syst.2