[ruby-dev:18405] Re: pstore.rb can make a broken store

In article <[e-mail]>,
  Takahiro Kambe <[e-mail]> writes:

> 古くはINNか何かのメーリングリストだったと思いましたが、NetBSD(に限らな
> いと思いますが)のfcntl(2)にありました。
> 
>      This interface follows the completely stupid semantics of AT&T System V
>      UNIX and IEEE Std 1003.1-1988 (``POSIX'') that require that all locks as-
>      sociated with a file for a given process are removed when any file de-
>      scriptor for that file is closed by that process.  This semantic means
>      that applications must be aware of any files that a subroutine library
>      may access.  For example if an application for updating the password file
>      ...
>      database.  Another minor semantic problem with this interface is that
>      locks are not inherited by a child process created using the fork(2)
>      function.  The flock(2) interface has much more rational last close se-
>      mantics and allows locks to be inherited by child processes.  Calling
>      flock(2) is recommended for applications that want to ensure the integri-
>      ty of their locks when using library routines or wish to pass locks to
>      their children.  Note that flock(2) and fcntl(2) locks may be safely used
>      concurrently.

おぉ。fcntl を発行した以外の file descriptor でも同じファイルにつながっ
てるのを close すると unlock されるというのは確かに奇妙ですね。これが
変だというのは納得できます。

> flock(2)の方には、
> 
> NOTES
>      Locks are on files, not file descriptors.  That is, file descriptors du-
>      plicated through dup(2) or fork(2) do not result in multiple instances of
>      a lock, but rather multiple references to a single lock.  If a process
>      holding a lock on a file forks and the child explicitly unlocks the file,
>      the parent will lose its lock.
> 
> といった記述もあります。ファイルをunlink(2)する場合は、最後にオープン
> されていたファイル記述子がcloseされた時点で実体が消えることと対比する
> と、極めて不自然に思えます。
> 
> > 思うに、lock は fork しても受け継げないので、3つのテーブルのうち file
> flock(2)は受け継げます。

私は file descriptor につく(close-on-exec のような)性質だと思い込んで
いたので fork では受け継げないと思っていたのですが、受け継げるんです
ねぇ。まさに上記の NOTE の冒頭で述べられてる話で、読み方が足りなかった
です。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)