Marina Sadini

Title: Marina Sadini: Innovator in Synchronization Primitives

Introduction

Marina Sadini is a prominent inventor based in Cupertino, California. She has made significant contributions to the field of computer science, particularly in the area of synchronization primitives. With a total of two patents to her name, Sadini's work focuses on enhancing the efficiency and functionality of operating systems.

Latest Patents

Marina Sadini's latest patents include the "Turnstile API for runtime priority boosting." This invention introduces a turnstile OS primitive that supports owner tracking and waiting. The turnstile primitive provides a common framework that can be utilized across various types of synchronization primitives, enabling priority boosting and wait queuing. Additionally, the turnstile can block on another turnstile, facilitating multi-hop priority boosting within a chain of multiple blocking turnstiles. Another embodiment of her patent outlines a computer-implemented method for instantiating a synchronization primitive to control access to a resource, which includes acquiring the synchronization primitive at a first thread and managing priority levels between multiple threads.

Career Highlights

Marina Sadini is currently employed at Apple Inc., where she continues to innovate and develop new technologies. Her work at Apple has positioned her as a key player in advancing the company's operating system capabilities. With her expertise in synchronization primitives, she contributes to the development of more efficient computing processes.

Collaborations

Throughout her