EDBT 2026 Demo / reviewers in the wild / expert
Hillel Avni
dblp:23/5898
· DBLP profile ↗
11ranked-venue papers
5as first author
0since 2021 · last 2020
0000-0002-2062-3024ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Databases, data management, data science and information retrieval · 3 · 1 first-authorSystems, architecture and hardware · 2 · 1 first-authorSoftware engineering, systems software and programming languages · 1Theory of computation · 1 · 1 first-author
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
3 papers |
Memory systems · 37% Storage systems · 30% Cloud and datacenter computing · 23% | |
| Databases, data mining, and information retrieval
5 papers |
Transaction processing and concurrency control · 48% Indexing and storage engines · 29% Database system architecture and tuning · 23% |
Topics — the 17 heaviest of 17, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Memory systems
non-volatile memory |
0.8 | 3 | 2020 | Fine-Grain Checkpointing with In-Cache-Line Logging · ASPLOS 2019 PHyTM: Persistent Hybrid Transactional Memory · Proc. VLDB Endow. 2016 A system design for elastically scaling transaction processing engines in virtualized servers · Proc. VLDB Endow. 2020 |
Database system architecture and tuning › main-memory database
in-memory OLTP |
0.4 | 1 | 2020 | A system design for elastically scaling transaction processing engines in virtualized servers · Proc. VLDB Endow. 2020 |
Transaction processing and concurrency control
OLTP |
0.4 | 1 | 2020 | Industrial Strength OLTP Using Main Memory and Many Cores · Proc. VLDB Endow. 2020 |
Indexing and storage engines › storage management
storage engine |
0.4 | 1 | 2020 | Industrial Strength OLTP Using Main Memory and Many Cores · Proc. VLDB Endow. 2020 |
Cloud and datacenter computing › resource management › cloud resource management
elastic resource management |
0.4 | 1 | 2020 | A system design for elastically scaling transaction processing engines in virtualized servers · Proc. VLDB Endow. 2020 |
Cloud and datacenter computing
virtualization |
0.4 | 1 | 2020 | A system design for elastically scaling transaction processing engines in virtualized servers · Proc. VLDB Endow. 2020 |
Distributed systems › fault tolerance
checkpointing |
0.4 | 1 | 2019 | Fine-Grain Checkpointing with In-Cache-Line Logging · ASPLOS 2019 |
Storage systems
crash consistency |
0.4 | 1 | 2019 | Fine-Grain Checkpointing with In-Cache-Line Logging · ASPLOS 2019 |
Storage systems
logging |
0.4 | 1 | 2019 | Fine-Grain Checkpointing with In-Cache-Line Logging · ASPLOS 2019 |
Memory systems › non-volatile memory
persistent memory |
0.4 | 1 | 2019 | Fine-Grain Checkpointing with In-Cache-Line Logging · ASPLOS 2019 |
Storage systems › logging
undo logging |
0.4 | 1 | 2019 | Fine-Grain Checkpointing with In-Cache-Line Logging · ASPLOS 2019 |
Transaction processing and concurrency control
transactional memory |
0.2 | 1 | 2016 | PHyTM: Persistent Hybrid Transactional Memory · Proc. VLDB Endow. 2016 |
Memory systems › non-volatile memory › persistent memory
persistent memory transactions |
0.2 | 1 | 2016 | PHyTM: Persistent Hybrid Transactional Memory · Proc. VLDB Endow. 2016 |
Transaction processing and concurrency control
concurrent data structures |
0.2 | 1 | 2013 | Leaplist: lessons learned in designing tm-supported range queries · PODC 2013 |
Indexing and storage engines
persistent data structure |
0.1 | 1 | 2019 | Fine-Grain Checkpointing with In-Cache-Line Logging · ASPLOS 2019 |
Transaction processing and concurrency control › transactional memory
hardware transactional memory |
0.1 | 1 | 2016 | PHyTM: Persistent Hybrid Transactional Memory · Proc. VLDB Endow. 2016 |
Concurrent programming
transactional memory |
0.0 | 1 | 2013 | Leaplist: lessons learned in designing tm-supported range queries · PODC 2013 |
Methods — techniques the papers use, named apart from their topics
hypervisor-VM communication · 0.9NUMA-aware resource allocation · 0.9in-cache-line logging · 0.8fine-grained checkpointing · 0.8hybrid TM algorithm · 0.5hardware assisted ACID transactions · 0.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | A system design for elastically scaling transaction processing engines in virtualized serversabstractOnline Transaction Processing (OLTP) deployments are migrating from on-premise to cloud settings in order to exploit the elasticity of cloud infrastructure which allows them to adapt to workload variations. However, cloud adaptation comes at the cost of redesigning the engine, which has led to the introduction of several, new, cloud-based transaction processing systems mainly focusing on: (i) the transaction coordination protocol, (ii) the data partitioning strategy, and, (iii) the resource isolation across multiple tenants. As a result, standalone OLTP engines cannot be easily deployed with an elastic setting in the cloud and they need to migrate to another, specialized deployment. In this paper, we focus on workload variations that can be addressed by modern multi-socket, multi-core servers and we present a system design for providing fine-grained elasticity to multi-tenant, scale-up OLTP deployments. We introduce novel components to the virtualization software stack that enable on-demand addition and removal of computing and memory resources. We provide a bi-directional, low-overhead communication stack between the virtual machine and the hypervisor, which allows the former to adapt to variations coming both from the workload and the resource availability. We show that our system achieves NUMA-aware, millisecond-level, stateful and fine-grained elasticity, while it is not intrusive to the design of state-of-the-art, in-memory OLTP engines. We evaluate our system through novel use cases demonstrating that scale-up elasticity increases resource utilization, while allowing tenants to pay for actual use of resources and not just their reservation. Angelos-Christos G. Anadiotis, Raja Appuswamy, Anastasia Ailamaki, Ilan Bronshtein, Hillel Avni, David Dominguez-Sal, Shay Goikhman, Eliezer Levy |
Proc. VLDB Endow. | 5 |
| 2020 | Industrial Strength OLTP Using Main Memory and Many CoresabstractGaussDB, and its open source version named openGauss, are Huawei's relational database management systems (RDBMS), featuring a primary disk-based storage engine. This paper presents a new storage engine for GaussDB that is optimized for main memory and many cores. We started from a research prototype which exploits the power of the hardware but is not useful for customers. This paper describes the details of turning this prototype to an industrial storage engine, including integration with GaussDB. Standard benchmarks show that the new engine provides more than 2.5x performance improvement to GaussDB for full TPC-C on Intel's x86 many-cores servers, as well as on Huawei TaiShan servers powered by ARM64-based Kunpeng CPUs. Hillel Avni, Alisher Aliev, Oren Amor, Aharon Avitzur, Ilan Bronshtein, Eli Ginot, Shay Goikhman, Eliezer Levy, Idan Levy, Fuyang Lu, Liran Mishali, Yeqin Mo, Nir Pachter, Dima Sivov, Vinoth Veeraraghavan, Vladi Vexler |
Proc. VLDB Endow. | 1 |
| 2019 | Fine-Grain Checkpointing with In-Cache-Line LoggingabstractNon-Volatile Memory offers the possibility of implementing high-performance, durable data structures. However, achieving performance comparable to well-designed data structures in non-persistent (transient) memory is difficult, primarily because of the cost of ensuring the order in which memory writes reach NVM.\@ Often, this requires flushing data to NVM and waiting a full memory round-trip time. In this paper, we introduce two new techniques: Fine-Grained Checkpointing, which ensures a consistent, quickly recoverable data structure in NVM after a system failure, and In-Cache-Line Logging, an undo-logging technique that enables recovery of earlier state without requiring cache-line flushes in the normal case. We implemented these techniques in the Masstree data structure, making it persistent and demonstrating the ease of applying them to a highly optimized system and their low (5.9-15.4%) runtime overhead cost. Nachshon Cohen, David T. Aksun, Hillel Avni, James R. Larus |
ASPLOS | 3 |
| 2016 | PHyTM: Persistent Hybrid Transactional MemoryabstractProcessors with hardware support for transactional memory (HTM) are rapidly becoming commonplace, and processor manufacturers are currently working on implementing support for upcoming non-volatile memory (NVM) technologies. The combination of HTM and NVM promises to be a natural choice for in-memory database synchronization. However, limitations on the size of hardware transactions and the lack of progress guarantees by modern HTM implementations prevent some applications from obtaining the full benefit of hardware transactional memory. In this paper, we propose a persistent hybrid TM algorithm called PHyTM for systems that support NVM and HTM. PHyTM allows hardware assisted ACID transactions to execute concurrently with pure software transactions, which allows applications to gain the benefit of persistent HTM while simultaneously accommodating unbounded transactions (with a high degree of concurrency). Experimental simulations demonstrate that PHyTM is fast and scalable for realistic workloads. Trevor Brown 0001, Hillel Avni |
Proc. VLDB Endow. | 2 |
| 2015 | Hardware Transactions in Nonvolatile Memory
Hillel Avni, Eliezer Levy, Avi Mendelson |
DISC | 1 |
| 2014 | COP Composition Using Transaction Suspension in the Compiler
Hillel Avni, Adi Suissa |
DISC | 1 |
| 2013 | Leaplist: lessons learned in designing tm-supported range queriesabstractWe introduce Leaplist, a concurrent data-structure that is tailored to provide linearizable range queries. A lookup in Leaplist takes O (log n) and is comparable to a balanced binary search tree or to a Skiplist. However, in Leaplist, each node holds up-to K immutable key-value pairs, so collecting a linearizable range is K times faster than the same operation performed non-linearizably on a Skiplist. Hillel Avni, Nir Shavit, Adi Suissa |
PODC | 1 |
| 2012 | Range Queries in Non-blocking k-ary Search Trees
Trevor Brown 0001, Hillel Avni |
OPODIS | 2 |
| 2011 | Towards Consistency Oblivious Programming
Yehuda Afek, Hillel Avni, Nir Shavit |
OPODIS | 2 |
| 2010 | Efficient Lock Free Privatization
Yehuda Afek, Hillel Avni, David Dice, Nir Shavit |
OPODIS | 2 |
| 2008 | Maintaining Consistent Transactional States without a Global Clock
Hillel Avni, Nir Shavit |
SIROCCO | 1 |