Eraser: A Dynamic Data Race Detector for Multithreaded Programs - PowerPoint PPT Presentation

Jan 01, 2023 •198 likes •275 views

Eraser: A Dynamic Data Race Detector for Multithreaded Programs Review Introduce tool to help eliminate data races Threads must use mutex locks Finds bugs during dynamic executions Checks shared variables on heap or global vars

Eraser: A Dynamic Data Race Detector for Multithreaded Programs
Review  Introduce tool to help eliminate data races  Threads must use mutex locks  Finds bugs during dynamic executions  Checks shared variables on heap or global vars  Locks at “right” granularity  Assumption?  Correct program holds a specific lock when accessing shared data
How?  Lockset algorithm:  Determines association of locks and data  Tracks lock set C(v) that could be associated with shared variable  If lock set becomes empty, sync error reported
Example #1 Code: lock(A) x = x + 1 unlock(A) lock(B) x = x + 1 unlock(B)
Example #2 Thread 1: Thread 2: lock(A) x = 10 if x > 5: z = x + 1 else: z = 0 unlock(A)
Alternative Methods  Monitors  Object-oriented  Methods perform locks on instance variables  Static Analysis  Advantages?  Disadvantages?

Recommend

Detecting Data Races in Multi-Threaded Programs Eraser A Dynamic Data-Race Detector for

Detecting Data Races in Multi-Threaded Programs Eraser A Dynamic Data-Race Detector for Multi-Threaded Programs MultiRace An Efficient On-the-Fly Data-Race Detection Tool for Multi-Threaded C++ Programs John C. Linford Slide 1 / 31 Key

606 views • 31 slides

Looking Inside a Race Detector kavya @kavya719 data race detection data races when two+

Looking Inside a Race Detector kavya @kavya719 data race detection data races when two+ threads concurrently access a shared memory location, at least one access is a write. data race // Shared variable R R R var count = 0 W R

695 views • 57 slides

ThreadSanitizer APIs for External Libraries Kuba Mracek, Apple ThreadSanitizer

ThreadSanitizer APIs for External Libraries Kuba Mracek, Apple ThreadSanitizer ThreadSanitizer Data race detector ThreadSanitizer Data race detector LLVM IR instrumentation: ThreadSanitizer Data race detector LLVM

706 views • 47 slides

The Q Quantum E Eraser: de demonstrating t the effect o of pa path k knowledg dge o on o

The Q Quantum E Eraser: de demonstrating t the effect o of pa path k knowledg dge o on o opt ptical int inter erfer ferenc ence The Quantum Eraser demonstra0on that we recreated illustrates

288 views • 10 slides

The Algebraic Eraser: a linear asymmetric protocol for low-resource environments Derek Atkins,

The Algebraic Eraser: a linear asymmetric protocol for low-resource environments Derek Atkins, Paul E. Gunnells SecureRF Corporation IETF92 (3/25/15) Algebraic Eraser I. Anshel, M. Anshel, D. Goldfeld, and S. Lemieux, Key agreement, the

532 views • 9 slides

DCSO: Dynamic Combination of Detector Scores for Outlier Ensembles Yue Zhao Maciej K.

DCSO: Dynamic Combination of Detector Scores for Outlier Ensembles Yue Zhao Maciej K. Hryniewicki Department of Computer Science Data Assurance & Analytics University of Toronto PricewaterhouseCoopers Outlier Ensembles Intro Proposal

213 views • 17 slides

Race Conditions A common cause of security bugs Usually involve multiprogramming or

Race Conditions A common cause of security bugs Usually involve multiprogramming or multithreaded programs Caused by different threads of control operating in unpredictable fashion When programmer thought theyd work in a

649 views • 21 slides

A True Positives Theorem for a Static Race Detector Presentation by Julia Belyakova and Artem

A True Positives Theorem for a Static Race Detector Presentation by Julia Belyakova and Artem Pelenitsyn For CS 7580 (instructor: Jan Vitek), 10/30/2019 A subset of slides is taken from Ilya Sergeys web page Static Analyses for Program

1.11k views • 75 slides

A True Positives Theorem for a Static Race Detector Nikos Gorogiannis Peter OHearn Ilya

A True Positives Theorem for a Static Race Detector Nikos Gorogiannis Peter OHearn Ilya Sergey Key Messages Unsound (and incomplete) static analyses can be principled , satisfying meaningful theorems that help to understand their

688 views • 44 slides

Data Race-Free and Speculative Models Zach Pomper Maxwell Johnson DeNovo: Data Race-Free Model

Data Race-Free and Speculative Models Zach Pomper Maxwell Johnson DeNovo: Data Race-Free Model Modern consistency provides the programmer too much freedom Wild shared memory behaviors Requires sophisticated, complicated,

184 views • 15 slides

SE350: Operating Systems Lecture 5: Multithreaded Kernels Outline Use cases for multithreaded

SE350: Operating Systems Lecture 5: Multithreaded Kernels Outline Use cases for multithreaded programs Kernel vs. user-mode threads Concurrencys problems Recall: Why Processes & Threads? Go Goals ls: Mu Multiprogramming

549 views • 39 slides

Race and Ethnicity Covariates Race and ethnicity are a good illustratjon of the trade-ofgs

Race and Ethnicity Covariates Race and ethnicity are a good illustratjon of the trade-ofgs between clinical and research data Race and ethnicity data in prospectjvely collected research datasets are usually reliable and valid Questjon:

203 views • 6 slides

CS184c: Computer Architecture [Parallel and Multithreaded] Day 11: May10, 2001 Data Parallel

CS184c: Computer Architecture [Parallel and Multithreaded] Day 11: May10, 2001 Data Parallel (SIMD, SPMD, Vector) CALTECH cs184c Spring2001 -- DeHon Today Data Parallel Model Application Resources Architectures

233 views • 22 slides

Race Race In D&D, race refers to any intelligent humanoid species Dwarf Elf

Race Race In D&D, race refers to any intelligent humanoid species Dwarf Elf Halfling Human Gnome Half-Elf Half-Orc Tiefling Race Select a race now and record it near the top Rock gnome of your character sheet

713 views • 43 slides

So You Want to Race to Bermuda Marion Bermuda Race Starts June 19, 2015 So You Want to Race to

So You Want to Race to Bermuda Marion Bermuda Race Starts June 19, 2015 So You Want to Race to Bermuda Why You Should Go The History The Race Preparing for The Race The Boat The Crew Post Race Where to begin 2

881 views • 66 slides

Provenance in Dynamic Linked Data Marcin Wylot Linking Everything: Dynamic Graphs

Provenance in Dynamic Linked Data Marcin Wylot Linking Everything: Dynamic Graphs Integrated and summarized uncertain graph data Dynamic physical and logical network of things Necessity to established transparency 2 Data

850 views • 17 slides

INTRODUCTION THE WORLD CUP OF AIR RACING P 1 AIR RACE 1 WORLD CUP AIR RACE 1 WORLD CUP THE

INTRODUCTION THE WORLD CUP OF AIR RACING P 1 AIR RACE 1 WORLD CUP AIR RACE 1 WORLD CUP THE FUTURE OF FAST 127 1.35 Billion Cumulative Audience Reach Countries TV cover The Air Race 1 World Cup Air Race 1 is the fastest motorsport in the

364 views • 10 slides

Race 1 Peer Teaching What role do you think race plays in international relations? 2 Race

Race 1 Peer Teaching What role do you think race plays in international relations? 2 Race in IR In 1925, W.E.B. DuBois argued that WWI traced its origins to competition between (white) Europeans for (black) African labor. Tension

446 views • 13 slides

Marion to Bermuda Race 2021 Race Starts: June 18, 2021 So You Want to Race to Bermuda Why

Marion to Bermuda Race 2021 Race Starts: June 18, 2021 So You Want to Race to Bermuda Why You Should Go The History The Race Preparing for The Race The Boat The Crew Post Race Where to begin 2 Why Marion to

1.14k views • 71 slides

Multithreaded Algorithms Architecture Evolution Weve come a long way since we blamed Von

Multithreaded Algorithms Architecture Evolution Weve come a long way since we blamed Von Neumann for putting that bottleneck in our computers Memory contains data and programs Computer fetches the instructions sequentially from memory and

500 views • 17 slides

Data-Race Exceptions Have Benefits Beyond the Memory Model Benjamin P . Wood , Luis Ceze, Dan

Data-Race Exceptions Have Benefits Beyond the Memory Model Benjamin P . Wood , Luis Ceze, Dan Grossman University of Washington 1 Why data-race exceptions? [Elmas et al., PLDI 2007; Adve and Boehm, CACM Aug. 2010; Marino et al., PLDI 2010;

1.16k views • 72 slides

Bedford Basin Yacht Club 2017 RACE PROGRAM Your 2017 Race Management Team Race Officers Emma

Bedford Basin Yacht Club 2017 RACE PROGRAM Your 2017 Race Management Team Race Officers Emma MacCulloch and Danielle Muise Encore!!! Ian Dawson Rear Commodore Travis Race Equipment Support Coordinator Warren Nethercote

492 views • 13 slides

Data-Race Detection for Interrupt-Driven Data-Races and Happens- Kernels Before Analyzing

Overview Problem Definition Interrupt- Driven Programs Data-Race Detection for Interrupt-Driven Data-Races and Happens- Kernels Before Analyzing FreeRTOS Kernel Library Nikita Chopra, Deepak DSouza and Rekha Pai Conclusion Indian

512 views • 21 slides

Marion to Bermuda Race 2017 Front Row Seat to the Americas Cup Race Starts: June 9, 2017 So

Marion to Bermuda Race 2017 Front Row Seat to the Americas Cup Race Starts: June 9, 2017 So You Want to Race to Bermuda Why You Should Go The History The Race Preparing for The Race The Boat The Crew Post Race

835 views • 64 slides