New issue 2076: Pyrlang float datatype dead in virtualiazble array when 
switched out with bridge
https://bitbucket.org/pypy/pypy/issue/2076/pyrlang-float-datatype-dead-in

Ruochen Huang:

Hi all, 
The float type in Pyrlang is simply a wrapper class of RPython float type.
My test Erlang script tried to do something like 
sum(list(3.1415926,3.1415926,3.1415926...)), so the JIT generated a trace that 
extract one element from the list, and add it into the sum result, and then the 
next element...
On the other hand, there is a yield counter in dispatch loop, around the 
bytecode IS_NONEMPLY_LIST (or any other if-statement-like bytecode 
instruction), when the counter reduced to 0, the process (dispatch loop) will 
be switched out.
I also annotated the X_Register as virtualiazble to improve the accessing 
performance.

My situation is that, when I execute the test Erlang script with large scale, 
the switched-out-path will be recorded as a bridge, which ended with a 
finish(Constr(ptr35) ...), and the computing result will be wrong. (say 
computing a 1000000 length list, the result should be 3141592.65359 but I only 
got 18.849556).

I also tried Erlang Integer for the same function, it worked well.
Tried executing without scheduler, worked well.
Tried less scale so the switched-out-path will not be recorded as bridge, 
worked well.
Tried removing the virtualiable in X Register, worked well.

You can reproduce the bug by:
1. clone or pull my repository from 
https://hrc...@bitbucket.org/hrc706/pyrlang.git.
2. rpython -Ojit targettest.py
3. ./targettest-c test_beam/test_pi.beam test_s 1000000 (will output 18.849556)
    ./targettest-c test_beam/test_pi.beam test_s 100000 (will output 
314159.265359, as expected)
    ./targettest-c test_beam/test_pi.beam test_si 100000 (executing the test 
function with integers, always output the correct result)

You can also check the Erlang script source at test_beam/test_pi.erl if you 
like :-).



_______________________________________________
pypy-issue mailing list
pypy-issue@python.org
https://mail.python.org/mailman/listinfo/pypy-issue

Reply via email to