[Unison-hackers] unison and inotify principle

Benjamin Pierce bcpierce at cis.upenn.edu
Sat Jun 7 22:03:59 EDT 2008


Hi Sylvain,

> If the external program work well and is written using OCaml, is there
> anyway that the program gets included in unison itself after a certain
> amount of time (6 months working without problems)?

Yes.  If it is written in OCaml in a portable way, then the simplest  
may be simply to make it be part of Unison (to maintain the current  
single-executable distribution model).  But I am also open to other  
models where the notification program is written in another language  
and not necessarily in a portable way.  At this point, we need to  
experiment to see what's going to work best.

     - Benjamin


On Jun 7, 2008, at 5:48 PM, Sylvain Le Gall wrote:
> On 07-06-2008, Benjamin Pierce <bcpierce at cis.upenn.edu> wrote:
>> No, FSEvents is probably better.  (I think I wrote that description
>> of Unison's prototype functionality a while ago, before FSEvents was
>> available.)
>
> I did some researche yesterday, about what to use for what platform:
> - linux: inotify
>   http://svn.metaprl.org/viewvc/mojave/libmojave/cutil/ 
> fam_inotify.c?revision=9798&view=markup
> - BSD: kqueue
>   http://svn.metaprl.org/viewvc/mojave/libmojave/cutil/fam_kqueue.c? 
> revision=10381&view=markup
> - Win32: ReadDirectoryChangesW
>   http://svn.metaprl.org/viewvc/mojave/libmojave/cutil/fam_win32.c? 
> revision=12714&view=markup
> - Mac OS X: FSEvents
>
> For UNIX, you also have gamin and fam.
>
> Link above is extracted from libmojave, which is an OCaml library. I
> know that there is also ocaml-inotify.
> http://tab.snarc.org/projects/ocaml_inotify/
>
> But of course, this is for writing the notifier program using  
> OCaml ;-)
>
> If the external program work well and is written using OCaml, is there
> anyway that the program gets included in unison itself after a certain
> amount of time (6 months working without problems)?
>
> Regards,
> Sylvain Le Gall
>
> _______________________________________________
> Unison-hackers mailing list
> Unison-hackers at lists.seas.upenn.edu
> http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers



More information about the Unison-hackers mailing list