From: Louis Gesbert <louis.gesbert@ocamlpro.com>
To: caml-list@inria.fr, Romain Bardou <romain.bardou@inria.fr>
Cc: Arnaud Spiwack <aspiwack@lix.polytechnique.fr>
Subject: Re: [Caml-list] [ANN] Procord 0.1.0: Delegate tasks to other processes
Date: Thu, 10 Oct 2013 16:59:21 +0200 [thread overview]
Message-ID: <17063385.vVJpguqPzc@ocp-dell> (raw)
In-Reply-To: <52569C69.1050408@inria.fr>
You may find the bindings for Terminate_process in ocaml-top useful [1].
I also had to handle sending a SIGINT to the ocaml toplevel, which wasn't very fun,
[1] https://github.com/OCamlPro/ocaml-top/blob/master/src/sigint_win.c
Louis Gesbert -- OCamlPro
On Thursday 10 October 2013 14:24:09 Romain Bardou wrote:
> Indeed. In fact I made a feature request about this:
>
> http://caml.inria.fr/mantis/view.php?id=6146
>
> So, just waiting for OCaml 4.02 will solve the issue.
>
> If waiting is not an option I can of course add this in Procord. I
> should at least provide a way to get the PID / Process Handle so that
> one can call TerminateProcess using his own binding.
>
> While we are discussing the differences between Windows and Linux, there
> is actually another one: the Windows server does not fork and, thus,
> only accepts one task at a time. This could be solved by having the
> server execute himself to run the tasks. But before actually
> implementing this I prefer to wait and see whether there is a real need
> (Windows servers are less common).
>
> Cheers,
>
> > I see you are using Unix.kill to kill processes. But I was under the
> > impression that it didn't work properly on Windows. Am I mistaken?
> >
> >
> > On 9 October 2013 11:09, Romain Bardou <romain.bardou@inria.fr
> > <mailto:romain.bardou@inria.fr>> wrote:
> >
> > I am happy to announce the first release of Procord, a portable library
> > to delegate tasks to other processes.
> >
> > Obtain it with opam:
> >
> > opam install procord
> >
> > Or, download the tarball:
> >
> > https://github.com/cryptosense/procord/archive/v0.1.0.tar.gz
> >
> > View a minimal, commented example:
> >
> > https://github.com/cryptosense/procord/blob/master/examples/minimal.ml
> >
> > You can browse the API at:
> >
> > http://cryptosense.github.io/procord/api/index.html
> >
> > Procord can spawn local worker processes or communicate using sockets to
> > a remote worker server. Workers will receive an input, execute a
> > function on this input, and send back the result. Meanwhile, the main
> > program can continue to run while waiting for the results.
> >
> > Not relying on threads, Procord is robust - a segmentation fault in the
> > worker will not kill the main program. Not relying on fork, Procord is
> > portable - it has been tested on Linux and Windows.
> >
> > Procord provides an easy way to have the same executable act as a worker
> > - local or remote - or as the main program. The actual behavior can be
> > specified on the command-line. The default is to run as the main
> > program, which delegates tasks by running itself.
> >
> > I will present Procord at the OUPS meeting of this evening.
> >
> > --
> > Romain Bardou
> >
> > --
> > Caml-list mailing list. Subscription management and archives:
> > https://sympa.inria.fr/sympa/arc/caml-list
> > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> > Bug reports: http://caml.inria.fr/bin/caml-bugs
> >
> >
>
>
>
next prev parent reply other threads:[~2013-10-10 14:59 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-10-09 9:09 Romain Bardou
2013-10-10 12:06 ` Arnaud Spiwack
2013-10-10 12:24 ` Romain Bardou
2013-10-10 14:59 ` Louis Gesbert [this message]
2013-10-10 15:59 ` Jacques Garrigue
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=17063385.vVJpguqPzc@ocp-dell \
--to=louis.gesbert@ocamlpro.com \
--cc=aspiwack@lix.polytechnique.fr \
--cc=caml-list@inria.fr \
--cc=romain.bardou@inria.fr \
/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