diff options
Diffstat (limited to 'locks')
-rw-r--r-- | locks/db-logs.lock | 7 | ||||
-rw-r--r-- | locks/db.lock | 10 |
2 files changed, 17 insertions, 0 deletions
diff --git a/locks/db-logs.lock b/locks/db-logs.lock new file mode 100644 index 0000000..f6956f7 --- /dev/null +++ b/locks/db-logs.lock @@ -0,0 +1,7 @@ +DB logs lock file, representing locks on the versioned filesystem logs. + +All log manipulators of the repository's +Berkeley DB environment take out exclusive locks on this file +to ensure that only one accessor manupulates the logs at the time. + +You should never have to edit or remove this file. diff --git a/locks/db.lock b/locks/db.lock new file mode 100644 index 0000000..6269d7e --- /dev/null +++ b/locks/db.lock @@ -0,0 +1,10 @@ +DB lock file, representing locks on the versioned filesystem. + +All accessors -- both readers and writers -- of the repository's +Berkeley DB environment take out shared locks on this file, and +each accessor removes its lock when done. If and when the DB +recovery procedure is run, the recovery code takes out an +exclusive lock on this file, so we can be sure no one else is +using the DB during the recovery. + +You should never have to edit or remove this file. |