6.033 Critique: Eraser
نویسنده
چکیده
Eraser is a tool for dynamic detection of race conditions in multithreaded programs. It ensures the presence of a consistent locking discipline by checking that shared-memory references are correctly protected by locks. While the system is augmented for certain scenarios, at a high level Eraser maintains a state of whether each variable is accessed by a single thread, multiple read-only threads, or multiple threads where at least one is read-write. When a variable is accessed, Eraser uses a variation of the Lockset algorithm, depending on the variable’s state, to update the set of protecting locks to only contain those that were both previously in the protecting set and currently held on access. This data is stored by assigning each variable a shadow address which contains an index into a table that holds the sorted set of locks. If this set is empty, and the address has been accessed by multiple threads including a write, Eraser reports a potential race (2.2). Eraser, as a system, is algorithmically simple but di cult to utilize, e cient in terms of space but not time, and a reliable source of information regarding potential races. However, it has significant scalability and failure handling concerns. Security is not a relevant major design goal because Eraser runs on an isolated machine.
منابع مشابه
Time and the quantum: erasing the past and impacting the future.
The quantum eraser effect of Scully and Drühl dramatically underscores the difference between our classical conceptions of time and how quantum processes can unfold in time. Such eyebrow-raising features of time in quantum mechanics have been labeled "the fallacy of delayed choice and quantum eraser" on the one hand and described "as one of the most intriguing effects in quantum mechanics" on t...
متن کاملAn Operational Analysis of Quantum Eraser and Delayed Choice
In the present paper we expand upon ideas published some time ago in connection with which path detectors based on the micromaser . Frequently questions arise concerning the time ordering of detection and eraser events. We here show , by a detailed and careful analysis of a quantum eraser experimental setup, that the experimenter can choose to ascertain particle-like which path information or w...
متن کاملErasing the Past and Impacting the Future with Kaons at a Phi-Factory
The well known quantum eraser concepts are applied to entangled kaons. Due to different measurement procedures, a specific feature of neutral kaons not shared by other quantum systems, we show that novel options for the quantum eraser phenomena open. Moreover, the proposed kaonic erasers may in future be experimentally demonstrated with the upgraded KLOE detector at the φ –factory.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2018