Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
enter_blocking_section() and string modifications
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-04-02 (04:02)
From: Jacques Garrigue <garrigue@m...>
Subject: Re: [Caml-list] enter_blocking_section() and string modifications
From: Reed Wilson <>

> I'm currently writing a multi-threaded program, and part of the program 
> is low-level string manipulation. I found that (with the code I'm using) 
> making a tight C loop is quite a bit faster than using OCaml, so I'm 
> using an external function for that.
> My question is: can I use enter_blocking_section() for character 
> replacement on an OCaml string? I know I can't use it for allocating 
> anything on the heap due to the possibility of the GC doing funny things 
> with it, but would straight replacement of existing string data be OK?

In general, you can't. The GC may move strings around.
However, if you disable compaction, and if your string is on the old
heap (i.e. it is not young), and you make sure it cannot be
deallocated (the usual CAMLparam macros should be enough for that),
then it should be ok.
Of course there is no point in going through this pain if you're
not sure that concurrency is going to improve performance.

Here is a snippet from ml_gpointer.c, in lablgtk, which copies an
abstract block to the old heap when it is young. Such a block is then
stable as long as there is no compaction.

CAMLprim value ml_stable_copy (value v)
    if (Is_block(v) && (char*)(v) < young_end && (char*)(v) > young_start)
        mlsize_t i, wosize = Wosize_val(v);
        int tag = Tag_val(v);
        value ret;
        if (tag < No_scan_tag) invalid_argument("ml_stable_copy");
        ret = alloc_shr (wosize, tag);
        for (i=0; i < wosize; i++) Field(ret,i) = Field(v,i);
    return v;

Jacques Garrigue