Final_tag

[Guillaume Châtelet <guillaume.chatelet@rd.francetelecom.com>]

Hello,

I have some problems by moving location from a runtime to another.

I have three locations :
-two locations in background (which are just host for my third location)
-one migrant location.


The migrant location just print a character in loop by calling the asynchronous
channel 'print' spawned in the location. we also can migrate the
location by calling the synchronous channel go.

I have three tests :

-one with a recursive call to the channel print which works well.

-one with a recursive function called in the channel
and the runtime give me :

    Final tag
    OK, a channel ...
    Size 2


-The test_3 could maybe help you to locate the bug.

I give you my code. I hope you can explain me what happens

Best Regards.

-- 
*************************************************
 Guillaume Châtelet       tel : (0)2 96 05 36 02
                                (0)6 82 41 64 00
 Doctorant à France Télécom R&D DTL/MSV/MFL           
 Email : guillaume.chatelet@rd.francetelecom.com
*************************************************

location.ml

test_1.ml

test_2.ml

test_3.ml