\textit{file lease}\footnote{questa è una nuova funzionalità, specifica di
Linux, e presente solo a partire dai kernel della serie 2.4.x, in cui il
processo che detiene un \textit{lease} su un file riceve una notifica
\textit{file lease}\footnote{questa è una nuova funzionalità, specifica di
Linux, e presente solo a partire dai kernel della serie 2.4.x, in cui il
processo che detiene un \textit{lease} su un file riceve una notifica