diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-31 16:05:35 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-31 16:05:35 +0000 |
commit | 06d3d7355d1b0ec05e61d2e7fe67f8d7153c1ff9 (patch) | |
tree | 424a162babe37ef113f8f908715e095f180d001f /src/globals.hh | |
parent | 177a7782aee4c4789ad5377b5993bfa0b692282e (diff) |
* Enclose most operations that update the database in transactions.
* Open all database tables (Db objects) at initialisation time, not
every time they are used. This is necessary because tables have to
outlive all transactions that refer to them.
Diffstat (limited to 'src/globals.hh')
-rw-r--r-- | src/globals.hh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/globals.hh b/src/globals.hh index 9df827622..2c4d33920 100644 --- a/src/globals.hh +++ b/src/globals.hh @@ -17,13 +17,13 @@ extern Database nixDB; Each pair (p, id) records that path $p$ contains an expansion of $id$. */ -extern string dbPath2Id; +extern TableId dbPath2Id; /* dbId2Paths :: FSId -> [Path] A mapping from ids to lists of paths. */ -extern string dbId2Paths; +extern TableId dbId2Paths; /* dbSuccessors :: FSId -> FSId @@ -35,7 +35,7 @@ extern string dbId2Paths; Note that a term $y$ is successor of $x$ iff there exists a sequence of rewrite steps that rewrites $x$ into $y$. */ -extern string dbSuccessors; +extern TableId dbSuccessors; /* dbSubstitutes :: FSId -> [FSId] @@ -51,7 +51,7 @@ extern string dbSuccessors; this case might be an fstate expression that fetches the Nix archive. */ -extern string dbSubstitutes; +extern TableId dbSubstitutes; /* Path names. */ |