EDBT 2026 Demo / reviewers in the wild / expert
Krishna Harathi
dblp:33/3904
· DBLP profile ↗
2ranked-venue papers
0as first author
0since 2021 · last 1997
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1Databases, data management, data science and information retrieval · 1Theory of computation · 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.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Parallel and multicore computing · 77% Embedded and real-time systems · 23% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Parallel and multicore computing › synchronization
spin locks |
0.0 | 1 | 1997 | A Prioritized Multiprocessor Spin Lock · IEEE Trans. Parallel Distributed Syst. 1997 |
Parallel and multicore computing
synchronization |
0.0 | 1 | 1997 | A Prioritized Multiprocessor Spin Lock · IEEE Trans. Parallel Distributed Syst. 1997 |
Embedded and real-time systems › real-time scheduling › resource sharing protocols
priority ceiling protocol |
0.0 | 1 | 1997 | A Prioritized Multiprocessor Spin Lock · IEEE Trans. Parallel Distributed Syst. 1997 |
Embedded and real-time systems
real-time scheduling |
0.0 | 1 | 1997 | A Prioritized Multiprocessor Spin Lock · IEEE Trans. Parallel Distributed Syst. 1997 |
Methods — techniques the papers use, named apart from their topics
simulation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1997 | A Prioritized Multiprocessor Spin LockabstractIn this paper, we present the PR lock, a prioritized spin lock mutual exclusion algorithm. The PR lock is a contention-free spin lock, in which blocked processes spin on locally stored or cached variables. In contrast to previous work on prioritized spin locks, our algorithm maintains a pointer to the lock holder. As a result, our spin lock can support operations on the lock holder (e.g., for abort ceiling protocols). Unlike previous algorithms, all work to maintain a priority queue is done while a process acquires a lock when it is blocked anyway. Releasing a lock is a constant time operation. We present simulation results that demonstrate the prioritized acquisition of locks, and compare the performance of the PR lock against that of the best alternative prioritized spin lock. Theodore Johnson, Krishna Harathi |
IEEE Trans. Parallel Distributed Syst. | 2 |
| 1993 | A Simple Correctness Proof of the MCS Contention-Free Lock
Theodore Johnson, Krishna Harathi |
Inf. Process. Lett. | 2 |