In this paper we present a protocol for file locking and deadlock detection in a multi-user Ada environment. It ensures integrity of files concurrently accessed by several tasks belonging either to the same or to distinct Ada programs. In the event of a deadlock, the task responsible for the deadlock can be detected and aborted. When a task within the same program attempts to communicate with the aborted task, an exception is raised in the calling task. In this way, the programmer can define different recovery strategies by providing appropriate exception handlers.

A protocol for resource locking and deadlock detection in a multi-user environment

DOMENICI, ANDREA;LAZZERINI, BEATRICE;PRETE, COSIMO ANTONIO
1989-01-01

Abstract

In this paper we present a protocol for file locking and deadlock detection in a multi-user Ada environment. It ensures integrity of files concurrently accessed by several tasks belonging either to the same or to distinct Ada programs. In the event of a deadlock, the task responsible for the deadlock can be detected and aborted. When a task within the same program attempts to communicate with the aborted task, an exception is raised in the calling task. In this way, the programmer can define different recovery strategies by providing appropriate exception handlers.
1989
Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/7686
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact