threads / patch / 9021

patchlockfile.c: schedule remove_lock_file only once.

Subject: [PATCH] lockfile.c: schedule remove_lock_file only once.

## tl;dr

3 messages between Jul 13, 2007 and Jul 15, 2007. Diffs are folded; open one to read it.

replies: 2people: 2as markdown or json

Sven Verdoolaege· Jul 13, 2007, 14:14 UTC · lore

Removing a lockfile once should be enough.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
...unless we're running on VMS.

Anyway, it's not clear to me why we can't remove lk from lock_file_list (and then free it) after we unlink it in unlock_ref.

skimo

 lockfile.c |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)

Show changes to lockfile.c +4 −4

diff --git a/lockfile.c b/lockfile.c
index 5ad2858..fb8f13b 100644
--- a/lockfile.c
+++ b/lockfile.c
@@ -31,16 +31,16 @@ static int lock_file(struct lock_file *lk, const char *path)
 	sprintf(lk->filename, "%s.lock", path);
 	fd = open(lk->filename, O_RDWR | O_CREAT | O_EXCL, 0666);
 	if (0 <= fd) {
+		if (!lock_file_list) {
+			signal(SIGINT, remove_lock_file_on_signal);
+			atexit(remove_lock_file);
+		}
 		lk->owner = getpid();
 		if (!lk->on_list) {
 			lk->next = lock_file_list;
 			lock_file_list = lk;
 			lk->on_list = 1;
 		}
-		if (lock_file_list) {
-			signal(SIGINT, remove_lock_file_on_signal);
-			atexit(remove_lock_file);
-		}
 		if (adjust_shared_perm(lk->filename))
 			return error("cannot fix permission bits on %s",
 				     lk->filename);

-- 
1.5.3.rc1.10.gae1ae

Junio C Hamano· Jul 13, 2007, 18:23 UTC · re: Sven Verdoolaege · lore

Re: [PATCH] lockfile.c: schedule remove_lock_file only once.

Sven Verdoolaege <skimo@kotnet.org> writes:

> Removing a lockfile once should be enough.

Yeah. I wonder what we were smoking. 415e96c8 which introduces the atexit to index.c does:

    int hold_index_file_for_update(struct cache_file *cf, const char *path)
    {
           sprintf(cf->lockfile, "%s.lock", path);
           cf->next = cache_file_list;
           cache_file_list = cf;
           if (!cf->next) {
                   signal(SIGINT, remove_lock_file_on_signal);
                   atexit(remove_lock_file);
           }
           return open(cf->lockfile, O_RDWR | O_CREAT | O_EXCL, 0600);
    }

whose intent is exactly "do this once, only for the first one".

The reason we do not use lk->next but instead check lk->on_list, and the reason why we do not remove the lock from the list, are described in 1084b845.

But your "fire atexit() once" fix is needed.  Thanks.

Sven Verdoolaege· Jul 15, 2007, 08:35 UTC · re: Junio C Hamano · lore

Re: [PATCH] lockfile.c: schedule remove_lock_file only once.

On Fri, Jul 13, 2007 at 11:23:07AM -0700, Junio C Hamano wrote:

> The reason we do not use lk->next but instead check lk->on_list,
> and the reason why we do not remove the lock from the list, are
> described in 1084b845.

I'm afraid I'm still missing something:

1084b845 commit message:
    We cannot remove the list element in commit_lock_file(); if we
    are interrupted in the middle of list manipulation, the call to
    remove_lock_file_on_signal() will happen with a broken list
    structure pointed by lock_file_list, which would cause the cruft
    to remain, so not removing the list element is the right thing
    to do.  Instead we should be reusing the element already on the
    list.

We have a list

list--->A--->B--->C

and we overwrite one next pointer to remove an element, say B

list--->A-------->C

At what point is the list structure broken?

If you are worried that the interrupt could happen in the middle of writing the pointer (could it?), then shouldn't you worry about adding elements too?

skimo