From: Ville-Pertti Keinonen <will@exomi.com>
To: Alex Baretta <alex@baretta.com>
Cc: Shawn Wagner <shawnw@speakeasy.org>,
caml-list@inria.fr, ranjan.bagchi@frotz.com
Subject: Re: [Caml-list] Best way to synchronize OS processes?
Date: Wed, 12 May 2004 14:46:12 +0300 [thread overview]
Message-ID: <F7936C6B-A409-11D8-A5D1-000393863F70@exomi.com> (raw)
In-Reply-To: <40A20A0F.2070809@baretta.com>
On May 12, 2004, at 2:27 PM, Alex Baretta wrote:
> I disagree. I faced the same problem and found that it cannot be
> easily solved with lockf. Unix.lockf locks specific regions in a file,
> whereas Ranjan seems to need the equivalent of a mutex, which should
> be implemented as a lock over the entire file. This is done by the
> flock primitive in Posix systems. Unluckily, flock has not been
> included in the Unix module.
Actually flock is non-POSIX (it's BSD) and is missing from some
reasonably modern systems.
It's entirely possible to lock the entire file using the fcntl used by
Unix.lockf, making it equivalent to flock. The problem is that the
OCaml Unix module doesn't allow the l_whence parameter to be set, which
is a serious omission.
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2004-05-12 11:46 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-05-11 18:05 Ranjan Bagchi
2004-05-11 18:09 ` Shawn Wagner
2004-05-11 18:24 ` Ranjan Bagchi
2004-05-12 7:01 ` Jean-Christophe Filliatre
2004-05-12 16:35 ` Ranjan Bagchi
2004-05-12 11:27 ` Alex Baretta
2004-05-12 11:46 ` Ville-Pertti Keinonen [this message]
2004-05-12 13:16 ` Olivier Andrieu
2004-05-12 12:53 ` Gerd Stolpmann
2004-05-11 18:10 ` Richard Jones
2004-05-12 16:52 ` Shawn Wagner
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=F7936C6B-A409-11D8-A5D1-000393863F70@exomi.com \
--to=will@exomi.com \
--cc=alex@baretta.com \
--cc=caml-list@inria.fr \
--cc=ranjan.bagchi@frotz.com \
--cc=shawnw@speakeasy.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox