Re: [Ocaml-reins-devel] Fedora - Several questions

[Richard W.M. J. <rj...@re...>]

On Wed, Sep 03, 2008 at 04:45:31PM -0400, Michael Furr wrote:
> > (c) Includes C code, which is really necessary for getting the kind of
> >   speed we require from searches.
> 
> I do have a rather strong preference to not include any C code in the 
> library.  Out of curiousity, how much faster is your C version than the 
> corresponding OCaml version? (I'm guessing memmem could be a rather large 
> win?)

I'll try to answer the rest tomorrow, but this caught my eye.  The
answer is that the C call to memmem made the difference between this
being practical and unusable.  I don't recall the precise numbers but
it was something like 45+ second search time down to a second.

Hopefully the search function can be functorized too which means it
won't need to appear in the Reins code.  (Although myself I have no
objection to including little bits of C in things providing that it
doesn't affect portability.)

Rich.

-- 
Richard Jones, Emerging Technologies, Red Hat  http://et.redhat.com/~rjones
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine.  Supports Linux and Windows.
http://et.redhat.com/~rjones/virt-df/