Re: [Caml-list] Ephemerons: is this behavior correct ?

[Bertrand Jeannet <Bertrand.Jeannet@inria.fr>]

Le 10/10/2016 15:38, François Bobot a écrit :
> Hi Bertrand,
>
> On 10/10/2016 15:14, Bertrand Jeannet wrote:
>> The following piece of code raises an assert false exception (in rare
>> cases) with official version 4.03.0:
>>
>> match Ephemeron.K1.get_data c with
>> | Some _ ->
>>    match Ephemeron.K1.get_key c with
>>    | Some _ -> (* ... *)
>>    | None -> assert false (* reachable *)
>  >
>> The documentation of the Ephemeron module says:
>> "When one of the keys is not considered alive anymore by the GC, the
>> data is emptied from the ephemeron"
>>
>> I was expecting this to happen atomically from the programmer point of
>> view,
> Yes, atomicity is the intent.
>
>> but here apparently the key was emptied but the data kept (at
>> least temporarily).
>
> I don't deduce that from the example. The cleaning can be done
> atomically between the return of get_data and the return of get_key
> (indeed get_key does an allocation).

Hi Francois,

Thank you for the explanation. I missed the point that a reachable data 
value does not prevent the key and the data fields to be emptied (it is 
explicitly mentioned in the documentation).

Best regards
Bertrand