[Unison-hackers] unison and inotify principle

[Benjamin Pierce]

>>> First of all, I have to tell that I don't understand the language
>>> used to develop unison (OCaml ?). So I will not be able to help is
>>> this way. But for an external tool, why not ...
>>>
>>> Concerning Sylvain's design, I fully agree. Using a pipe to send
>>> external notifications to unison should be very efficient (under
>>> Linux and Windows, at least).
>>
>> What happens if the pipe fills up?
>>
>
> Read/Write on pipe are blocking. If the pipe contains too much  
> data, it
> just freeze the process trying to write on it, until the other end  
> read
> it...

Right.  And doesn't this mean that, if Unison is not listening  
(because it's working on a long transfer, e.g.), the notification  
process is in danger of blocking and then losing some updates?  At  
least, I think this can happen on OSX.

     - Benjamin