barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-18 19:11:37 +03:00
Code Issues Projects Releases Wiki Activity

Avoid a needless pessimism in dependent'

Browse Source
This commit is contained in:
Michael Walker 2017-10-30 19:04:48 +00:00
parent 18cd9d69ab
commit e0719a11ee
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dejafu/Test/DejaFu/SCT/Internal.hs
View File

@ -629,8 +629,8 @@ dependent' memtype ds t1 a1 t2 l2 = case (a1, l2) of
-- normal termination of a thread: it doesn't make a difference.
(ThrowTo t, WillStop) | t == t2 -> False
(Stop, WillThrowTo t) | t == t1 -> False
(ThrowTo t, _) -> t == t2 && canInterruptL ds t2 l2
(_, WillThrowTo t) -> t == t1 && canInterrupt ds t1 a1
(ThrowTo t, _) | t == t2 -> canInterruptL ds t2 l2
(_, WillThrowTo t) | t == t1 -> canInterrupt ds t1 a1
-- Another worst-case: assume all STM is dependent.
(STM _ _, WillSTM) -> True