Re: [Caml-list] How to write a CUDA kernel in ocaml?

2009-12-16 Thread Mattias Engdegård
And trampolines to eliminate tail calls that cannot be eliminated using goto. However, trampolines are ~10x slower than TCO in the code gen. With some care, gcc's sibcall mechanism can be exploited. For example, by having one standard signature for all generated C functions, and taking care not

Re: [Caml-list] Cache algorithms: implementation or library available?

2009-09-23 Thread Mattias Engdegård
The Weak module is never the right tool for implementing a cache. I'm not disputing this, but I would like you hear your thoughts on this topic. Why? Weak references go away at the whim of the GC, not when it would be useful to flush the cache. A longer explanation and more about weak

Re: [Caml-list] Re: arm backend

2009-05-01 Thread Mattias Engdegård
It's all very confusing to me because I thought Apple's assembler *was* gas. Sort of - if I understand it correctly, it is set of separately maintained patches (for Mach-O) to an old version of gas. It is most conveniently thought of as a different assembler. Not that it matters, as the syntax

Re: [Caml-list] ocamlnet and kernel poll

2008-09-11 Thread Mattias Engdegård
Suppose I want to build a server that runs on top of ocamlnet and handles 10k+ connections. ocamlnet seems to use select exclusively. Any suggestions on how to add kernel poll? Is this possible even? There is an ocaml wrapper for libevent: http://www.xs4all.nl/~mmzeeman/ocaml/ With that many

Re: [Caml-list] thousands of CPU cores

2008-07-11 Thread Mattias Engdegård
[...] There are good reasons to think that the illusion of shared memory cannot be maintained in the presence of hundreds of computing elements, even using cc-NUMA techniques (i.e. hardware emulation of shared memory on top of high-speed point-to-point links). I'm not arguing any of your points