Implementation of classical mutual exclusion algorithms in Ada

Implementation of classical mutual exclusion algorithms in Ada

This paper presents a scheme for defining a simulation environment for n-process mutual exclusion algorithms based on an Ada virtual machine. Several algorithms have been implemented and tested in this simulation environment.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ACM SIGAda Ada Letters 1992-01, Vol.XII (1), p.73-84
Hauptverfasser: Saeed, Faisel, George, K. M., Samadzadeh, M. H.
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper presents a scheme for defining a simulation environment for n-process mutual exclusion algorithms based on an Ada virtual machine. Several algorithms have been implemented and tested in this simulation environment.
ISSN:1094-3641
DOI:10.1145/141454.141465