Case

State

Postponed action/Message/event being waited for

1

queasy

processing STLreq, REGreq

BVend

2

any

send backup

previous backup acknowledged

3

T2

send victimLink

outstanding IAack, XYack

4

any

send backup

openTends empty

5

em

send GOTok

corresponding Tend

6

several

abort

a few seconds

7

em

several recorded actions (see Table 1)

emergency mode left

8

R2

send TOreq

all GOTok, linkTasks (plus cases 1, 3)

9

C1

send IAreq

RSTack

10

V1 - V4

send STLreq or REGreq

all BTack

11

timeout BTack

send BVend

TOack

12

pool empty

trySteal

Tend