RE: [ITA] ocaml 4.14.0

[William Hu <purplearmadillo77@proton.me>]

Hi David,

> I think this down to neglect - the PIC/shared versions of the runtime were contributed for a specific purpose and aren't properly maintained/tested AFAICT.
>
> I'm not sure that libcamlrun_shared can ever have worked on Cygwin, at least certainly not since OCaml 3.11 (which is a loooong time ago). The patch builds cygcamlrun_shared.dll as a plugin DLL - so the symbols will have been stripped and moved into symtbl (hence the huge number of missing symbols when linking against it when it gets passed to a normal linker).
>
> What normally happens with flexlink is that either an executable or a "main program DLL" (compiled with flexlink -maindll) would receive that symtbl from a DLL it flexdll_dlopen's and the DLL receives static_symtbl from the executable. That then means that the DLL can relocate any symbols it expected from the main executable and any other flexdll_dlopen'd DLLs. However, that's all meant to happen at runtime - I don't think flexlink has ever supported compiling an executable itself which must flexdll_dlopen DLLs before its main function.
>
> I think it's quite feasible to add that to flexlink, but it's not a small piece of work - in the meantime I'd suggest instead deleting the BYTECODE_SHARED_LIBRARIES += and NATIVE_SHARED_LIBRARIES += lines in runtime/Makefile instead of patching them.

Duly noted. Thanks for the explanation!

>
> Would you be able to send the entire config.log file (off-list is fine!). I'm not seeing this at all in Cygwin32 here!
>
> All best,
>
>
> David

Config.log sent :) On another note, on x86_64, 16 of the testsuite tests are failing:
    tests/lib-scanf-2/'tscanf2_master.ml' with 1.1.1.1.1.1 (run)
    tests/lib-unix/common/'cloexec.ml' with 1.1.1.1.1.1.1 (run)
    tests/lib-systhreads/'testfork.ml' with 1.1.1.1 (bytecode)
    tests/tool-debugger/basic/'debuggee.ml' with 1.1.1.1.1.1.1 (check-program-output)
    tests/lib-unix/common/'process_pid.ml' with 1.1 (bytecode)
    tests/tool-debugger/dynlink/'host.ml' with 1.1.1.1.1.1.1.2.1 (check-program-output)
    tests/lib-unix/common/'pipe_eof.ml' with 1.1 (bytecode)
    tests/lib-unix/common/'wait_nohang.ml' with 1.1.1.1.1.1 (run)
    tests/tool-debugger/find-artifacts/'debuggee.ml' with 1.1.1.1.1.1.1.1.1.1 (check-program-output)
    tests/c-api/'alloc_async.ml' with 1 (native)
    tests/c-api/'alloc_async.ml' with 2 (bytecode)
    tests/lib-unix/common/'test_unix_cmdline.ml' with 1.1.1.1.1.1 (run)
    tests/lib-unix/common/'redirections.ml' with 1.1.1.1.1.1 (run)
    tests/tool-debugger/module_named_main/'main.ml' with 1.1.1.1.1.1.1 (check-program-output)
    tests/tool-debugger/no_debug_event/'noev.ml' with 1.1.1.1.1.1.1.1.1.1 (check-program-output)
    tests/tool-debugger/printer/'debuggee.ml' with 1.1.1.2.1.1.1 (check-program-output)

Two are innocuous "unused variable" warnings, but the others are of this form:

> Loading program...       0 [main] ocamlrun 40657 child_info_fork::abort: address space needed by 'dllunix.so' (0x400000) is already occupied
> Unix error: 'fork' failed: Resource temporarily unavailable

Github issues (e.g., https://github.com/ocaml/opam/issues/3785) have encountered
this error before, but the issue seems to imply it's been resolved. Are these test
failures expected/known (to be fair, 16 is a small number compared to 3000)? I can
send the test log too if that helps.

Thanks,
William