Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Application-Informed Kernel Synchronization Primitives
 
conference paper

Application-Informed Kernel Synchronization Primitives

Park, Sujin
•
Zhou, Diyu  
•
Qian, Yuchen  
Show more
January 1, 2022
Proceedings Of The 16Th Usenix Symposium On Operating Systems Design And Implementation, Osdi 2022
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI)

Kernel synchronization primitives are the backbone of any OS design. Kernel locks, for instance, are crucial for both application performance and correctness. However, unlike application locks, kernel locks are far from the reach of application developers, who have minimal interpolation of the kernel's behavior and cannot control or influence the policies that govern kernel synchronization behavior. This disconnect between the kernel and applications can lead to pathological scenarios in which optimizing the kernel synchronization primitives under one context, such as high contention, leads to adversarial effects under a context with no lock contention. In addition, rapid-evolving heterogeneous hardware makes kernel lock development too slow for modern applications with stringent performance requirements and frequent deployment timelines.|This paper addresses the above issues with application-informed kernel synchronization primitives. We allow application developers to deploy workload-specific and hardware-aware kernel lock policies to boost application performance, resolve pathological usage of kernel locks, and even enable dynamic profiling of locks of interest. To showcase this idea, we design SYNCORD, a framework to modify kernel locks without recompiling or rebooting the kernel. SYNCORD abstracts key behaviors of kernel locks and exposes them as APIs for designing user-defined kernel locks. SYNCORD provides the mechanisms to customize kernel locks safely and correctly from the user space. We design five lock policies specialized for new heterogeneous hardware and specific software requirements. Our evaluation shows that SYNCORD incurs minimal runtime overhead and generates kernel locks with performance comparable to that of the state-of-the-art locks.

  • Details
  • Metrics
Type
conference paper
Web of Science ID

WOS:001066452200038

Author(s)
Park, Sujin
Zhou, Diyu  
Qian, Yuchen  
Calciu, Irina
Kim, Taesoo
Kashyap, Sanidhya  
Corporate authors
USENIX Association
Date Issued

2022-01-01

Publisher

Usenix Assoc

Publisher place

Berkeley

Published in
Proceedings Of The 16Th Usenix Symposium On Operating Systems Design And Implementation, Osdi 2022
ISBN of the book

978-1-939133-28-1

Start page

667

End page

682

Subjects

Technology

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
RS3LAB  
Event nameEvent placeEvent date
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI)

Carlsbad, CA

JUL 11-13, 2022

FunderGrant Number

Huawei

Available on Infoscience
February 16, 2024
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/203811
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés