Hello.
I localized the error finally. Whew!
Yes, it is *only* on 32-in-64 and it is reproducible with 100% on
FreeBSD and CentOS.
I prepared simple code for reproduce the error.
It is FFI callback.
> cat callback.c
void foo ( int n, void (*fn) (int) ) {
int i = 1;
while (n--) {
(*fn)(i++);
}
return;
}
> cat cb-poly.sml
open Foreign
val mylib = loadLibrary "callback.so"
val foo = buildCall2 ((getSymbol mylib "foo"), (cInt, cFunction), cVoid)
val cb = buildClosure1 ((fn v => print ((Int.toString v) ^ "\n")), cInt, cVoid)
val _ = foo(3, cb)
> cc -shared -o callback.so callback.c
> env LD_LIBRARY_PATH=. poly --script cb-poly.sml
вт, 22 янв. 2019 г. в 17:51, David Matthews <david.matth...@prolingua.co.uk>:
>
> Thanks for the report. Did you see anything similar with the native
> code version? It could be a code-generator problem which would affect
> other versions or it could be something specific to 32-in-64.
> Unfortunately the stack trace doesn't tell me much other than that it
> looks as though it failed in ML code. Anything you can do to narrow
> down the problem and make it reproducible would be helpful.
>
> Regards,
> David
>
> On 22/01/2019 09:32, Kostirya wrote:
> > Hello.
> > I got one error with compact32bit on 64bit:
> >
> > (gdb) bt
> > #0 0x00000000821f5400 in ?? ()
> > #1 0x00000000ff9ab2b0 in ?? ()
> > #2 0x00000000ff9ab2b2 in ?? ()
> > #3 0x0000000d021fff10 in ?? ()
> > #4 0x0000000d821f9e1c in ?? ()
> > #5 0x0000000d821f9f00 in ?? ()
> > #6 0x0000000d021fff38 in ?? ()
> > #7 0x00000000fffc3c10 in ?? ()
> > #8 0x00000000fffc3c14 in ?? ()
> > #9 0x00000000fffc3c26 in ?? ()
> > #10 0x0000000d821f9a25 in ?? ()
> > #11 0x0000000d021fff98 in ?? ()
> > #12 0x00000000fffc3c2e in ?? ()
> > #13 0x00000000fffc04b2 in ?? ()
> > #14 0x00000000fffbf892 in ?? ()
> > #15 0x0000000d821ea5b2 in ?? ()
> > #16 0x00000000fffc3c58 in ?? ()
> > #17 0x00000000fffc04b2 in ?? ()
> > #18 0x00000000fffbf928 in ?? ()
> > #19 0x00000000fffbf916 in ?? ()
> > #20 0x0000000d821e9646 in ?? ()
> > #21 0x0000000d821e29c8 in ?? ()
> > #22 0x0000000d821e29d7 in ?? ()
> > #23 0x0000000d021fffc0 in ?? ()
> > #24 0x00000000fffbf4a0 in ?? ()
> > #25 0x00000000fffbf4aa in ?? ()
> > #26 0x0000000d821e21ac in ?? ()
> > #27 0x0000000d821e21b6 in ?? ()
> > #28 0x0000000d021fffd8 in ?? ()
> > #29 0x0000000d821e203a in ?? ()
> > #30 0x0000000d821e204a in ?? ()
> > #31 0x0000000d021ffff0 in ?? ()
> > #32 0x00000008008acab5 in X86AsmRaiseException () from
> > /home/nick/polyml_compact32bit_debug/lib/libpolyml.so.9
> > #33 0x00000008008acab5 in X86AsmRaiseException () from
> > /home/nick/polyml_compact32bit_debug/lib/libpolyml.so.9
> > #34 0x0000000000000001 in ?? ()
> > Backtrace stopped: Cannot access memory at address 0xd02200000
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
