On Fri, 20 Apr 2012 19:12:12 +0400
SerP wrote:
> Hi!
> We have developped a daemon on ocaml using the lwt lib(libev). It processes
> about 800 requests per second, but it increases to 2 Gb in memory for a
> hour of work. We have studied the problem for a long time, using mtrace,
> mallinfo and ot
>
> If that is the case then maybe it would help to try and allocate memory in
> the OCaml's runtime by using mmap() directly.
>
Yes, i need to try this.
>
> Is your application completely single-threaded (since you're using lwt),
> or do you also use multiple threads?
> I think that glibc caches
Greetings,
For those interested in OCaml in mobile environments, I wanted to
mention (or brag, maybe) that a second software house has released an
OCaml iOS app in the App Store:
http://itunes.apple.com/us/app/seaiq-usa/id517425381?mt=8
SEAiq USA is an iPad app for navigating in the waters o
On 04/20/2012 06:12 PM, SerP wrote:
> Hi!
> We have developped a daemon on ocaml using the lwt lib(libev). It processes
> about 800 requests per second, but it increases to 2 Gb in memory for a hour
> of work. We have studied the problem for a long
> time, using mtrace, mallinfo and other tools,
Ocaml 3.12.0., Lwt 2.3.1
On Apr 20, 2012 7:12 PM, "SerP" wrote:
> Hi!
> We have developped a daemon on ocaml using the lwt lib(libev). It
> processes about 800 requests per second, but it increases to 2 Gb in memory
> for a hour of work. We have studied the problem for a long time, using
> mtrace
Hi!
We have developped a daemon on ocaml using the lwt lib(libev). It processes
about 800 requests per second, but it increases to 2 Gb in memory for a
hour of work. We have studied the problem for a long time, using mtrace,
mallinfo and other tools, and we tried to change GC params. We found out
t
(2012/04/19 23:09), Daniel Bünzli wrote:
Do you have any experience to proof a theorem against event combination term
by using above axiom and event combinators semantics? I'm interested in this
kind of reasoning.
In this post I use the semantics and equational reasoning to understand why
some
