[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Leslie Lamport <tlapl...@xxxxxxxxx>*Date*: Fri, 18 Jan 2019 10:52:43 -0800 (PST)*References*: <6341faa3-5fd8-4270-988b-16249d508afc@googlegroups.com>

You seem to have stated the following conditions:

1a. A is always enabled.

1a. A is always enabled.

b. B is enabled only after an A step.

c. C is enabled only after a B step.

d. D is enabled only after a C step.

2. A D step eventually occurs after every A step.

What you don't make clear is whether

3a. Only a finite number of A,B,C, and D steps may occur.

c. C is enabled only after a B step.

d. D is enabled only after a C step.

2. A D step eventually occurs after every A step.

What you don't make clear is whether

3a. Only a finite number of A,B,C, and D steps may occur.

b. A finite or infinite number of those steps may occur.

c. An infinite number of those steps must occur.

Conditions 1a-d are safety conditions and should be a consequence

c. An infinite number of those steps must occur.

Conditions 1a-d are safety conditions and should be a consequence

of the definition of the next-state action.

Conditions 1a-d imply that Condition 2 is equivalent to strong

Conditions 1a-d imply that Condition 2 is equivalent to strong

fairness of the B, C, and D actions.

That's all you need for 3b. For 3c, you just need to add weak

That's all you need for 3b. For 3c, you just need to add weak

fairness of A. For 3a, you need to modify 1a to allow D to disable A,

and have strong fairness on such a D action that does disable A.

All of this assumes that in 3, zero is a finite number. You'll have

and have strong fairness on such a D action that does disable A.

All of this assumes that in 3, zero is a finite number. You'll have

to modify the solutions for 3a and 3b if you want to ensure that at

least one A step occurs.

Leslie

least one A step occurs.

Leslie

**Follow-Ups**:**Re: Fairness for interruptable process***From:*Ron Pressler

**Re: Fairness for interruptable process***From:*Jack Vanlightly

**References**:**Fairness for interruptable process***From:*Jack Vanlightly

- Prev by Date:
**Re: Fairness for interruptable process** - Next by Date:
**Re: Fairness for interruptable process** - Previous by thread:
**Re: Fairness for interruptable process** - Next by thread:
**Re: Fairness for interruptable process** - Index(es):