FAIRNESS AND PRIORITY

Article type: Research Article

Authors: Degano, Pierpaolo | Raffoni, Leonarda

Affiliations: Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 1-56125 Pisa, Italy [email protected]

Abstract: The random-assignment method for ensuring fairness for non-deterministic and/or concurrent languages is revised in order to make it dependent on the different priorities that each process may have. Priorities affect the choice of the scheduler in that a processes with high priority is preferred to others with a lower priority, still ensuring that all and only fair computations are originated. The actual presentation of the method is based on the non-standard model of the natural numbers of [C70].

DOI: 10.3233/FI-1995-2236

Journal: Fundamenta Informaticae, vol. 22, no. 3, pp. 299-306, 1995