Speedy transactions in multicore in-memory databases
Silo is a new in-memory database that achieves excellent performance and scalability on
modern multicore machines. Silo was designed from the ground up to use system memory …
modern multicore machines. Silo was designed from the ground up to use system memory …
Designing new operating primitives to improve fuzzing performance
Fuzzing is a software testing technique that finds bugs by repeatedly injecting mutated
inputs to a target program. Known to be a highly practical approach, fuzzing is gaining more …
inputs to a target program. Known to be a highly practical approach, fuzzing is gaining more …
The scalable commutativity rule: Designing scalable software for multicore processors
What opportunities for multicore scalability are latent in software interfaces, such as system
call APIs? Can scalability challenges and opportunities be identified even before any …
call APIs? Can scalability challenges and opportunities be identified even before any …
Understanding manycore scalability of file systems
We analyze the manycore scalability of five widelydeployed file systems, namely, ext4, XFS,
btrfs, F2FS, and tmpfs, by using our open source benchmark suite, FXMARK. FXMARK …
btrfs, F2FS, and tmpfs, by using our open source benchmark suite, FXMARK. FXMARK …
Consistent, durable, and safe memory management for byte-addressable non volatile main memory
This paper presents three building blocks for enabling the efficient and safe design of
persistent data stores for emerging non-volatile memory technologies. Taking the fullest …
persistent data stores for emerging non-volatile memory technologies. Taking the fullest …
Mitosis: Transparently self-replicating page-tables for large-memory machines
Multi-socket machines with 1-100 TBs of physical memory are becoming prevalent.
Applications running on such multi-socket machines suffer non-uniform bandwidth and …
Applications running on such multi-socket machines suffer non-uniform bandwidth and …
Optimizing the {TLB} shootdown algorithm with page access tracking
N Amit - 2017 USENIX Annual Technical Conference (USENIX …, 2017 - usenix.org
The operating system is tasked with maintaining the coherency of per-core TLBs,
necessitating costly synchronization operations, notably to invalidate stale mappings. As …
necessitating costly synchronization operations, notably to invalidate stale mappings. As …
An analysis of concurrency control protocols for in-memory databases with ccbench
T Tanabe, T Hoshino, H Kawashima… - Proceedings of the VLDB …, 2020 - dl.acm.org
This paper presents yet another concurrency control analysis platform, CCBench. CCBench
supports seven protocols (Silo, TicToc, MOCC, Cicada, SI, SI with latch-free SSN, 2PL) and …
supports seven protocols (Silo, TicToc, MOCC, Cicada, SI, SI with latch-free SSN, 2PL) and …
Virtual-memory assisted buffer management
Most database management systems cache pages from storage in a main memory buffer
pool. To do this, they either rely on a hash table that translates page identifiers into pointers …
pool. To do this, they either rely on a hash table that translates page identifiers into pointers …
A survey of operating system support for persistent memory
M Cai, H Huang - Frontiers of Computer Science, 2021 - Springer
Emerging persistent memory technologies, like PCM and 3D XPoint, offer numerous
advantages, such as higher density, larger capacity, and better energy efficiency, compared …
advantages, such as higher density, larger capacity, and better energy efficiency, compared …