flock(): removing locked file without race condition?

by

Sorry if I reply to a dead question:

After locking the file, open another copy of it, fstat both copies and check the inode number, like this:

lockfile = "/tmp/some_name.lock";

    while(1) {
        fd = open(lockfile, O_CREAT);
        flock(fd, LOCK_EX);

        fstat(fd, &st0);
        stat(lockfile, &st1);
        if(st0.st_ino == st1.st_ino) break;

        close(fd);
    }

    do_something();

    unlink(lockfile);
    flock(fd, LOCK_UN);

This prevents the race condition, because if a program holds a lock on a file that is still on the file system, every other program that has a leftover file will have a wrong inode number.

I actually proved it in the state-machine model, using the following properties:

If P_i has a descriptor locked on the filesystem then no other process is in the critical section.

If P_i is after the stat with the right inode or in the critical section it has the descriptor locked on the filesystem.

More Related Contents:

  1. multiple threads able to get flock at the same time
  2. What does 1024LL mean in C [duplicate]
  3. Anonymous Struct Pointer [closed]
  4. Pthreads in C. Simple example doesn’t work [closed]
  5. Debugging a linked-list
  6. Arrow operator (->) usage in C
  7. How to work with complex numbers in C?
  8. Using malloc for allocation of multi-dimensional arrays with different row lengths
  9. Execution time of C program
  10. Stack allocation, padding, and alignment
  11. What are the valid characters for macro names?
  12. Objective-C sample code for HMAC-SHA1 [closed]
  13. Where are constant variables stored in C?
  14. How to get the return value of a program ran via calling a member of the exec family of functions?
  15. How to make an HTTP get request in C without libcurl?
  16. How Can I debug a C program on Linux?
  17. Pipe buffer size is 4k or 64k?
  18. How to access mmaped /dev/mem without crashing the Linux kernel?
  19. Strange warning in a C function const multidimensional-array argument
  20. How to combine two 32-bit integers into one 64-bit integer?
  21. Convert Little Endian to Big Endian
  22. int c = getchar()?
  23. Resizing an array with C
  24. Algorithm to generate bit mask
  25. Android read text file from asset folder using C (ndk)
  26. make: Nothing to be done for `all’
  27. Does C have a “foreach” loop construct?
  28. How to tell GCC to generate 16-bit code for real mode
  29. Use of exit() function
  30. C Memory Management

Leave a Comment