[Caml-list] help with ocaml makefiles

2010-11-18 Thread rixed
Each time I need more debug information for the ocaml runtime itself (which hopefully is not often) I recompile Ocaml adding various -g and -O0 here and there in some makefiles. But I've noticed there are some special targets and rules, specifically in byterun/Makefile, that seams to be there for

Re: [Caml-list] Native toplevel?

2010-11-18 Thread Wojciech Daniel Meyer
Alain Frisch al...@frisch.fr writes: On 11/16/2010 03:52 PM, Benedikt Meurer wrote: A further step to improve this native toplevel is to avoid the call to the external assembler and linker. To do that, one basically needs to replace the assembly code emitters (emit.mlp/emit_nt.mlp) with

Re: [Caml-list] SMP multithreading

2010-11-18 Thread Eray Ozkural
Yes, actually. :P On Wed, Nov 17, 2010 at 11:15 PM, Jon Harrop jonathandeanhar...@googlemail.com wrote: Can you cite any papers from this century? ;-) Cheers, Jon. *From:* Eray Ozkural [mailto:examach...@gmail.com] *Sent:* 17 November 2010 13:41 *To:* Eray Ozkural; Jon Harrop;

RE: [Caml-list] SMP multithreading

2010-11-18 Thread David Allsopp
Edgar Friendly wrote: It looks like high-performance computing of the near future will be built out of many machines (message passing), each with many cores (SMP). One could use message passing for all communication in such a system, but a hybrid approach might be best for this architecture,

Re: [Caml-list] SMP multithreading

2010-11-18 Thread Christophe Raffalli
Hello, And OCaml on GPU ? We just tested a recent GPU card with 480 processors at 900Mhz ... this is qui impressive ... and supported by matlab via cuda-lapack (http://www.culatools.com/) ... I imagine we could at least use cuda-lapack from OCaml ? Cheers, Christophe signature.asc

RE: [Caml-list] SMP multithreading

2010-11-18 Thread Jon Harrop
Can you cite any papers from this century? ;-) Cheers, Jon. From: Eray Ozkural [mailto:examach...@gmail.com] Sent: 17 November 2010 13:41 To: Eray Ozkural; Jon Harrop; caml-list@yquem.inria.fr Subject: Re: [Caml-list] SMP multithreading On Wed, Nov 17, 2010 at 8:50 AM, Gabriel

Re: [Caml-list] SMP multithreading

2010-11-18 Thread Eray Ozkural
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1650134 This is one of the more recent papers a quick search turns up, but you have to keep in mind that thread extraction is only one problem among many for a parallelizing compiler. I think the keyword you are looking for is thread

[Caml-list] a syntax error that I don't get

2010-11-18 Thread Philippe Strauss
Hello caml'ers This one is short, I'm writting a signal handler: 205: let sig_exit () = 206:Unix.kill !chpid Sys.sigterm ; 207:match (Unix.waitpid [] !chpid) with 208:| pid, Unix.WSIGNALED (Sys.sigterm) - log `LOG_NOTICE child terminated by parent 209:| pid, pstat - log

[Caml-list] ocamlbuild and packs

2010-11-18 Thread Thomas Gazagnaire
Hi all, I've got a source tree with the following patterns : A/a.ml (defines 'let x = 1') B/a.ml (use A.x and defines 'let y = 2') B/b.ml B/b.mlpack (contains 'A B') C/a.ml (use A.x) C/b.ml (use B.A.y) C/c.mlpack (contains 'A B') Is there any way with ocamlbuild to build that tree (if

[Caml-list] ocamlbuild and packs

2010-11-18 Thread Thomas Gazagnaire
Hi all, I've got a source tree with the following patterns : A/a.ml (defines 'let x = 1') B/a.ml (use A.x and defines 'let y = 2') B/b.ml B/b.mlpack (contains 'A B') C/a.ml (use A.x) C/b.ml (use B.A.y) C/c.mlpack (contains 'A B') Is there any way with ocamlbuild to build that tree (if

[Caml-list] Optimizing garbage collection

2010-11-18 Thread Eray Ozkural
A program I wrote constructs a lot of small lists, and strings and discards them. It's a search algorithm. I profiled this code and saw that garbage collection takes significant time. In C++, we can write custom allocators to optimize the data structures that cause such slowdowns. Any recommended

Re: [Caml-list] Native toplevel? (was: OCamlJit 2.0)

2010-11-18 Thread Ashish Agarwal
On Wed, Nov 17, 2010 at 3:44 AM, Alain Frisch al...@frisch.fr wrote: Does performance really matter that much for rapid prototyping/development? Rapid prototyping for me often involves a couple of lines of code that read in a very large file and do something with it. I have to keep compiling

[Caml-list] Looking for stubs for sendmsg/recvmsg

2010-11-18 Thread Goswin von Brederlow
Hi, I'm looking for stubs for ssize_t sendmsg(int sockfd, const struct msghdr *msg, int flags); ssize_t recvmsg(int sockfd, struct msghdr *msg, int flags); Specifically I need those to send (among normal messages) an Unix.file_descr over a Unix Domain Socket. Does anyone know of

[Caml-list] Re: Native toplevel? (was: OCamlJit 2.0)

2010-11-18 Thread Benedikt Meurer
On Nov 17, 2010, at 09:44 , Alain Frisch wrote: There is actually already a native top-level in the distribution, even though it is undocumented and unmaintained. You can build it with the make ocamlnat target. The implementation is based on the same approach as native dynlink. The