PartiallySynchronisedCommit | Test.DejaFu.Common |
PartiallySynchronisedModify | Test.DejaFu.Common |
PartiallySynchronisedWrite | Test.DejaFu.Common |
PartialStoreOrder | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
PopCatching | Test.DejaFu.Common, Test.DejaFu.Conc |
Predicate | Test.DejaFu |
preEmpCount | Test.DejaFu.Common |
PreemptionBound | |
1 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
2 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
propagate | Test.DejaFu.Conc.Internal.Threading |
putIntoMVar | Test.DejaFu.Conc.Internal.Memory |
PutMVar | Test.DejaFu.Common, Test.DejaFu.Conc |