Table Of Content

Dynamic Partial Order Reduction under the Release-Acquire Semantics Parosh Aziz Abdulla Mohamed Faouzi Atig Bengt Jonsson Tuan Phong Ngo Dynamic Partial Order Reduction under the Release-Acquire Semantics Parosh Aziz Abdulla Mohamed Faouzi Atig Bengt Jonsson Tuan Phong Ngo OOPSLA’2018 Outline • SC (Sequential Consistency) Semantics • Runs and Traces • Dynamic Partial-Order Reduction (DPOR) • Release-Acquire Semantics • Experiments • Conclusions Concurrent Programs (under SC) Initially x = 0 th th 1 2 x := 1 x := 2 a := x b := x • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 x := 1 x := 2 a := x b := x • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 e x := 1 1 x := 1 x := 2 a := x b := x • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 e x := 1 1 x := 1 x := 2 e a := 1 2 a := x b := x • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 e x := 1 1 x := 1 x := 2 e a := 1 2 a := x b := x e x := 2 3 • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 e x := 1 1 x := 1 x := 2 e a := 1 2 a := x b := x e x := 2 3 e b := 2 4 • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 e x := 1 1 x := 1 x := 2 e a := 1 2 a := x events b := x e x := 2 3 e b := 2 4 • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics

Description:
SC (Sequential Consistency) Semantics. • Runs and Traces. • Dynamic Partial-Order Reduction (DPOR). • Release-Acquire Semantics. • Experiments.
ebook img

Dynamic Partial Order Reduction under the Release-Acquire Semantics Parosh Aziz Abdulla PDF

205 Pages·2017·17.05 MB·English
by  
Save to my drive
Quick download
Download
Upgrade Premium
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview Dynamic Partial Order Reduction under the Release-Acquire Semantics Parosh Aziz Abdulla

Dynamic Partial Order Reduction under the Release-Acquire Semantics Parosh Aziz Abdulla Mohamed Faouzi Atig Bengt Jonsson Tuan Phong Ngo Dynamic Partial Order Reduction under the Release-Acquire Semantics Parosh Aziz Abdulla Mohamed Faouzi Atig Bengt Jonsson Tuan Phong Ngo OOPSLA’2018 Outline • SC (Sequential Consistency) Semantics • Runs and Traces • Dynamic Partial-Order Reduction (DPOR) • Release-Acquire Semantics • Experiments • Conclusions Concurrent Programs (under SC) Initially x = 0 th th 1 2 x := 1 x := 2 a := x b := x • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 x := 1 x := 2 a := x b := x • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 e x := 1 1 x := 1 x := 2 a := x b := x • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 e x := 1 1 x := 1 x := 2 e a := 1 2 a := x b := x • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 e x := 1 1 x := 1 x := 2 e a := 1 2 a := x b := x e x := 2 3 • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 e x := 1 1 x := 1 x := 2 e a := 1 2 a := x b := x e x := 2 3 e b := 2 4 • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics Concurrent Programs (under SC) ⇡ : run Initially x = 0 th th 1 2 e x := 1 1 x := 1 x := 2 e a := 1 2 a := x events b := x e x := 2 3 e b := 2 4 • Threads • Concurrent • Loop-Free • Deterministic • Shared Variables: x,y • Local Variables: a,b,c,d • Interleaving Semantics

Description:
SC (Sequential Consistency) Semantics. • Runs and Traces. • Dynamic Partial-Order Reduction (DPOR). • Release-Acquire Semantics. • Experiments.
See more

The list of books you might like

Upgrade Premium
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
DMCA & Copyright: Dear all, most of the website is community built, users are uploading hundred of books everyday, which makes really hard for us to identify copyrighted material, please contact us if you want any material removed.
Copyright @ PDFdrive.to, 2022 | We love our users