Speedy transactions in multicore in-memory databases

S Tu, W Zheng, E Kohler, B Liskov… - Proceedings of the Twenty …, 2013 - dl.acm.org
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 …

Designing new operating primitives to improve fuzzing performance

W Xu, S Kashyap, C Min, T Kim - Proceedings of the 2017 ACM SIGSAC …, 2017 - dl.acm.org
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 …

The scalable commutativity rule: Designing scalable software for multicore processors

AT Clements, MF Kaashoek, N Zeldovich… - ACM Transactions on …, 2015 - dl.acm.org
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 …

Understanding manycore scalability of file systems

C Min, S Kashyap, S Maass, T Kim - 2016 USENIX Annual Technical …, 2016 - usenix.org
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 …

Consistent, durable, and safe memory management for byte-addressable non volatile main memory

I Moraru, DG Andersen, M Kaminsky, N Tolia… - Proceedings of the First …, 2013 - dl.acm.org
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 …

Mitosis: Transparently self-replicating page-tables for large-memory machines

R Achermann, A Panwar, A Bhattacharjee… - Proceedings of the …, 2020 - dl.acm.org
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 …

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 …

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 …

Virtual-memory assisted buffer management

V Leis, A Alhomssi, T Ziegler, Y Loeck… - Proceedings of the ACM …, 2023 - dl.acm.org
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 …

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 …