summaryrefslogtreecommitdiff
path: root/rts/include/rts/FileLock.h
blob: 3d8056d7a095d901db064d50a970f43d46ab3a2e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
/* -----------------------------------------------------------------------------
 *
 * (c) The GHC Team, 2007-2009
 *
 * File locking support as required by Haskell
 *
 * Do not #include this file directly: #include "Rts.h" instead.
 *
 * To understand the structure of the RTS headers, see the wiki:
 *   https://gitlab.haskell.org/ghc/ghc/wikis/commentary/source-tree/includes
 *
 * ---------------------------------------------------------------------------*/

/* Note [RTS File locking]
 * ~~~~~~~~~~~~~~~~~~~~~~~
 *
 * The Haskell report dictates certain file locking behaviour.
 * This is specified in the Haskell98 report under: 21.2.3  File locking
 *
 * GHC does not rely on the platform it's on to implement this.
 * Instead we keep track of locked files in a data structure in
 * the RTS. This file provides the interface to this data structure.
 *
 * In the base libraries we then use this interface to "lock" files.
 * This means it's very much still possible for users outside of the
 * rts/base library to open the files in question even if they are
 * locked.
 * */

#pragma once

#include "Stg.h"

/* No valid FD would be negative, so use a word instead of int so the value
   is compatible with a Windows handle.  */
int  lockFile(StgWord64 id, StgWord64 dev, StgWord64 ino, int for_writing);
int  unlockFile(StgWord64 id);