Search results

possible deadlock?

Status: Open.

#24 In Theodus/backpressure-model;

· sophiaIC opened on Dec 1, 2020

Send doesn't change the priority or muted cowns

Status: Open.

#23 In Theodus/backpressure-model;

· lukecheeseman opened on Nov 26, 2020

Need necessary conditions for High Priority

Status: Open.

#22 In Theodus/backpressure-model;

· sophiaIC opened on Nov 25, 2020

Send only sets a mutor when first receiver has high priority

Status: Open.

#21 In Theodus/backpressure-model;

· lukecheeseman opened on Nov 20, 2020

A stronger blocker invariant?

Status: Open.

#20 In Theodus/backpressure-model;

· lukecheeseman opened on Nov 16, 2020

new notation for the model

Status: Open.

#19 In Theodus/backpressure-model;

· sophiaIC opened on Nov 2, 2020

proposing that LowPriorityImpliesNotAcquired

Status: Open.

#18 In Theodus/backpressure-model;

· sophiaIC opened on Nov 2, 2020

proposing to amalgamate HighPriotityInUnblockedQueue and HighPriorityHasWork

Status: Open.

#17 In Theodus/backpressure-model;

· sophiaIC opened on Nov 2, 2020

HighPriorityInUnbockedQueue -- what does the name express?

Status: Open.

#16 In Theodus/backpressure-model;

· sophiaIC opened on Nov 2, 2020

Remove "Termination" from the properties to be model-checked

Status: Open.

#13 In Theodus/backpressure-model;

· sophiaIC opened on Nov 2, 2020

summary of meeting on 29.10

Status: Open.

#12 In Theodus/backpressure-model;

· sophiaIC opened on Nov 2, 2020

Q24: Summary of meeting on 20.10.2020

Status: Open.

#11 In Theodus/backpressure-model;

· sophiaIC opened on Oct 20, 2020