Re: [Caml-list] plain sigsegv on osx 10.8 / opam 1.0.0 / ocaml 4.01.0

[Felipe Gonzalez <catseye.chandra@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 12097 bytes --]

crap, rebuilding using this patch, which is PR6038 with 2 rejected hunks
applied by hands on a total of 3 rejects.

native compiler works, but with the same segfault.

gcc on osx 10.8 is now clang :

philou@air:~/src/ML$ gcc -v

Configured with: --prefix=/Applications/Xcode.app/Contents/Developer/usr
--with-gxx-include-dir=/usr/include/c++/4.2.1
Apple LLVM version 5.0 (clang-500.2.79) (based on LLVM 3.3svn)
Target: x86_64-apple-darwin12.5.0
Thread model: posix

I use gnu gcc-4.8.2 of macports for building some other and custom
bindings, could it be the culprit, mixing both?

still the same stack trace ending on caml_alloc_shr :

Code Type:       X86-64 (Native)
Parent Process:  sh [83369]
User ID:         501

Date/Time:       2013-11-25 19:55:31.700 +0100
OS Version:      Mac OS X 10.8.5 (12F45)
Report Version:  10

Crashed Thread:  0  Dispatch queue: com.apple.main-thread

Exception Type:  EXC_BAD_ACCESS (SIGSEGV)
Exception Codes: EXC_I386_GPFLT

Thread 0 Crashed:: Dispatch queue: com.apple.main-thread
0   straightliner.opt              0x000000010604eeb2 caml_alloc_shr + 434
1   straightliner.opt              0x000000010604f27b caml_alloc + 203
2   straightliner.opt              0x0000000106053b1a caml_make_vect + 218
3   straightliner.opt              0x0000000105f95617 .L402 + 19
4   ???                            0x0000000107fca9c0 0 + 4428966336

Thread 1:
0   libsystem_kernel.dylib         0x00007fff972dc6d6 __workq_kernreturn +
10
1   libsystem_c.dylib              0x00007fff931b0f1c _pthread_workq_return
+ 25
2   libsystem_c.dylib              0x00007fff931b0ce3 _pthread_wqthread +
412
3   libsystem_c.dylib              0x00007fff9319b191 start_wqthread + 13

The list of modules used by this project :

gnuplot sndfile bigarray lacaml fftw3 lablgtk2 lablgtk2.auto-init
cairo.lablgtk2 plplot plcairo react bolt batteries


The configure of ocaml-4.01.1 patched, seems fine.
I guess I need your help ! :

  % Total    % Received % Xferd  Average Speed   Time    Time     Time
 Current
                                 Dload  Upload   Total   Spent    Left
 Speed
^M  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--
    0^M  1 4294k    1 46085    0     0   304k      0  0:00:14 --:--:--
 0:00:14  308k^M 17 4294k   17  733k    0     0   638k      0  0:00:06
 0:00:01  0:00:05  639k^M 32 4294k   32 1395k    0     0   649k      0
 0:00:06  0:00:02  0:00:04  649k^M 47 4294k   47 2057k    0     0   653k
   0  0:00:06  0:00:03  0:00:03  653k^M 63 4294k   63 2720k    0     0
655k      0  0:00:06  0:00:04  0:00:02  655k^M 78 4294k   78 3382k    0
0   656k      0  0:00:06  0:00:05  0:00:01  667k^M 94 4294k   94 4043k    0
    0   657k      0  0:00:06  0:00:06 --:--:--  662k^M100 4294k  100 4294k
   0     0   656k      0  0:00:06  0:00:06 --:--:--  660k
200  % Total    % Received % Xferd  Average Speed   Time    Time     Time
 Current
                                 Dload  Upload   Total   Spent    Left
 Speed
^M  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--
    0^M100 36686  100 36686    0     0   145k      0 --:--:-- --:--:--
--:--:--  286k
200patching file Makefile
patching file Makefile.nt
patching file asmcomp/i386/arch.ml
patching file asmrun/backtrace.c
patching file asmrun/fail.c
patching file asmrun/i386.S
patching file asmrun/signals_asm.c
patching file asmrun/stack.h
patching file byterun/alloc.c
patching file byterun/config.h
patching file byterun/fail.c
patching file byterun/floats.c
patching file byterun/ints.c
patching file byterun/memory.c
patching file byterun/misc.h
patching file byterun/terminfo.c
patching file configure
patching file otherlibs/graph/open.c
patching file otherlibs/graph/subwindow.c
patching file otherlibs/num/nat_stubs.c
patching file otherlibs/systhreads/st_posix.h
patching file otherlibs/systhreads/st_win32.h
patching file otherlibs/threads/scheduler.c
patching file otherlibs/win32unix/createprocess.c
patching file testsuite/tests/basic-manyargs/manyargsprim.c
patching file testsuite/tests/callback/callbackprim.c
patching file testsuite/tests/gc-roots/globrootsprim.c
patching file testsuite/tests/lib-bigarray-2/bigarrfstub.c
patching file testsuite/tests/lib-dynlink-bytecode/stub1.c
patching file testsuite/tests/lib-dynlink-bytecode/stub2.c
patching file testsuite/tests/lib-dynlink-native/factorial.c
patching file testsuite/tests/lib-marshal/intextaux.c
patching file utils/config.mli
patching file utils/config.mlp
Configuring for a x86_64-apple-darwin12.5.0 ...
gcc found
The C compiler is ANSI-compliant.
Checking the sizes of integers and pointers...
Wow! A 64 bit architecture!
This is a little-endian architecture.
Doubles can be word-aligned.
64-bit integers can be word-aligned.
Native division and modulus have round-towards-zero semantics,
will use them.
ranlib found
#! appears to work in shell scripts
POSIX signal handling found.
expm1(), log1p(), hypot(), copysign() found.
getrusage() found.times() found.
termcap functions found (with libraries '-lcurses')
You have BSD sockets.
socklen_t is defined in <sys/socket.h>
inet_aton() found.
IPv6 is supported.
unistd.h found.
off_t is defined in <sys/types.h>
dirent.h found.
rewinddir() found.
lockf() found.
mkfifo() found.
getcwd() found.
getwd() found.
getpriority() found.
utime() found.
utimes() found.
dup2() found.
fchmod() found.
truncate() found.
sys/select.h found.
select() found.
symlink() found.
waitpid() found.
wait4() found.
getgroups() found.
setgroups() found.
initgroups() found.
POSIX termios found.
Asynchronous I/O are supported.
setitimer() found.
gethostname() found.
uname() found.
gettimeofday() found.
mktime() found.
setsid() found.
putenv() found.
setlocale() and <locale.h> found.
dlopen() found.
Dynamic loading of shared libraries is supported.
mmap() found.
pwrite() found
Replay debugger supported.
System stack overflow can be detected.
POSIX threads library supported.
Options for linking with POSIX threads: -lpthread
sigwait() found
Bytecode threads library supported.
X11 works
Options for compiling for X11: -I/opt/local/include
Options for linking with X11: -L/opt/local/lib -lX11
Configuring LablTk...
tcl.h and tk.h version 8.6 found with "".
Tcl library not found.
Configuration failed, LablTk will not be built.
BFD library not found, 'objinfo' will be unable to display info on .cmxs
files
Assembler supports CFI

** Configuration summary **

Directories where OCaml will be installed:
        binaries.................. /Users/philou/.opam/4.01.0/bin
        standard library.......... /Users/philou/.opam/4.01.0/lib/ocaml
        manual pages.............. /Users/philou/.opam/4.01.0/man (with
extension .1)
Configuration for the bytecode compiler:
        C compiler used........... gcc
        options for compiling.....  -fno-defer-pop -Wall
-D_FILE_OFFSET_BITS=64 -D_REENTRANT
        options for linking.......     -lcurses -lpthread
        shared libraries are supported
        options for compiling.....   -fno-defer-pop -Wall
-D_FILE_OFFSET_BITS=64 -D_REENTRANT
        command for building...... gcc -bundle -flat_namespace -undefined
suppress -Wl,-no_compact_unwind -o lib.so /a/path objs
Configuration for the native-code compiler:
        hardware architecture..... amd64
        OS variant................ macosx
        C compiler used........... gcc
        options for compiling.....  -D_FILE_OFFSET_BITS=64 -D_REENTRANT
        options for linking.......
        assembler ................ clang -arch x86_64 -c
        preprocessed assembler ... clang -arch x86_64 -c
        assembler supports CFI ... yes
        with frame pointers....... no
        native dynlink ........... true
        profiling with gprof ..... supported
Source-level replay debugger: supported
Debug runtime will be compiled and installed
Additional libraries supported:
        unix str num dynlink bigarray systhreads threads graph
Configuration for the "num" library:
        target architecture ...... amd64 (asm level 1)
Configuration for the "graph" library:
        options for compiling .... -I/opt/local/include
        options for linking ...... -L/opt/local/lib -lX11
The "labltk" library: not supported

** OCaml configuration completed successfully **

Building, I'm getting tons of : clang: warning: argument unused during
compilation: '-fno-defer-pop'

gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64
-D_REENTRANT    -c -o interp.o interp.c
clang: warning: argument unused during compilation: '-fno-defer-pop'
gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64
-D_REENTRANT    -c -o misc.o misc.c
clang: warning: argument unused during compilation: '-fno-defer-pop'
gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64
-D_REENTRANT    -c -o stacks.o stacks.c
clang: warning: argument unused during compilation: '-fno-defer-pop'
gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64
-D_REENTRANT    -c -o fix_code.o fix_code.c
clang: warning: argument unused during compilation: '-fno-defer-pop'
echo "#define OCAML_VERSION \"`sed -e 1q ../VERSION`\"" > version.h
gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64
-D_REENTRANT    -c -o startup.o startup.c
clang: warning: argument unused during compilation: '-fno-defer-pop'

...

Regards.


On Mon, Nov 25, 2013 at 11:44 AM, Felipe Gonzalez <catseye.chandra@gmail.com
> wrote:

> Process:         straightliner.opt [95277]
> Path:            /Users/USER/*/straightliner.opt
> Identifier:      straightliner.opt
> Version:         0
> Code Type:       X86-64 (Native)
> Parent Process:  bash [88978]
> User ID:         501
>
> Date/Time:       2013-11-24 21:17:55.779 +0100
> OS Version:      Mac OS X 10.8.5 (12F45)
> Report Version:  10
>
> Crashed Thread:  0  Dispatch queue: com.apple.main-thread
>
> Exception Type:  EXC_BAD_ACCESS (SIGSEGV)
> Exception Codes: EXC_I386_GPFLT
>
> Thread 0 Crashed:: Dispatch queue: com.apple.main-thread
> 0   straightliner.opt             0x00000001026a510c caml_alloc_shr + 524
> 1   straightliner.opt             0x00000001026a5424 caml_alloc + 228
> 2   straightliner.opt             0x00000001026aa66b caml_make_vect + 235
> 3   straightliner.opt             0x00000001025e5547 .L402 + 19
> 4   ???                           0x00000001045e4f48 0 + 4368256840
>
> Thread 1:
> 0   libsystem_kernel.dylib         0x00007fff94ed36d6 __workq_kernreturn
> + 10
> 1   libsystem_c.dylib             0x00007fff8f398f1c
> _pthread_workq_return + 25
> 2   libsystem_c.dylib             0x00007fff8f398ce3 _pthread_wqthread +
> 412
> 3   libsystem_c.dylib             0x00007fff8f383191 start_wqthread + 13
>
> Thread 2:: Dispatch queue: com.apple.libdispatch-manager
> 0   libsystem_kernel.dylib         0x00007fff94ed3d16 kevent + 10
> 1   libdispatch.dylib             0x00007fff93ecedea _dispatch_mgr_invoke
> + 883
> 2   libdispatch.dylib             0x00007fff93ece9ee _dispatch_mgr_thread
> + 54
>
> Thread 3:
> 0   libsystem_kernel.dylib         0x00007fff94ed36d6 __workq_kernreturn
> + 10
> 1   libsystem_c.dylib             0x00007fff8f398f1c
> _pthread_workq_return + 25
> 2   libsystem_c.dylib             0x00007fff8f398ce3 _pthread_wqthread +
> 412
> 3   libsystem_c.dylib             0x00007fff8f383191 start_wqthread + 13
>
> Thread 0 crashed with X86 Thread State (64-bit):
>   rax: 0x0000000007e6b3fe  rbx: 0x00000000000000fe  rcx:
> 0x0000000007e6b000  rdx: 0x00000001056dfb50
>   rdi: 0x00000000000fcd68  rsi: 0xbef24186d0048200  rbp:
> 0x00007fff5d7e8e00  rsp: 0x00007fff5d7e8dd0
>    r8: 0x017de4830dafd66c   r9: 0x002fbc9061b5facd  r10:
> 0x00007fff5d7e8c98  r11: 0x00000001028ba668
>   r12: 0x00000001025e5547  r13: 0x000000010446af98  r14:
> 0x000000000001f9ac  r15: 0x017de484131dcf98
>   rip: 0x00000001026a510c  rfl: 0x0000000000010206  cr2: 0x00000001028afeb8
> Logical CPU: 0
>
>
> seems men alloc related, I do not compile with -unsafe or -noassert
> been a while I haven't used ocaml on mac, before was on os x 10.6.8 and
> godi.
> does it remind something to someone ?
> tried using -thread, no change.
>
> regards.
>

[-- Attachment #2: Type: text/html, Size: 18457 bytes --]