使用hs_init对共享cabal库进行概要分析时出现GHC RTS运行时错误

时间:2015-10-29 14:13:46

标签: haskell ghc ffi

我有一个大型C项目,必须使用gcc编译。所以我将主可执行文件链接到这样的文件:

#include <HsFFI.h>

static void my_enter(void) __attribute__((constructor));
static void my_enter(void) {
  static char *argv[] = { "Pointer.exe", 0 };
  //static char *argv[] = { "Pointer.exe", "+RTS", "-N", "-p", "-s", "-h", "-i0.1", "-RTS", 0 };
  static char **argv_ = argv;
  static int argc = 1; // 8 for profiling
  hs_init(&argc, &argv_);
  //hs_init_with_rtsopts(&argc, &argv_);
}

static void my_exit(void) __attribute__((destructor));
static void my_exit(void) { hs_exit(); }

按预期工作 - GHC运行时系统初始化,我可以使用FFI从C调用Haskell代码。

然后,我尝试使用上面注释掉的行上的Debug.Trace标志启用性能分析(主要用于具有"+RTS", "-N", "-p", "-s", "-h", "-i0.1", "-RTS"的堆栈跟踪)和代码覆盖率(HPC)。但是我在初始化期间收到有关线程和分析的错误消息:

Pointer.exe: the flag -N requires the program to be built with -threaded
Pointer.exe: the flag -p requires the program to be built with -prof
Pointer.exe: Most RTS options are disabled. Use hs_init_with_rtsopts() to enable them.
Pointer.exe: newBoundTask: RTS is not initialised; call hs_init() first

我配置了cabal包:

"--enable-library-profiling"
"--enable-executable-profiling"
"--enable-shared"
"--enable-tests"
"--enable-coverage"

在运行作为cabal项目的一部分编译的可执行文件时,它正确地给了我堆栈跟踪和代码覆盖率。

如果我尝试按照错误消息的建议使用hs_init_with_rtsopts,我会在GHC rts初始化期间得到一个SIGSEGV:

Using host libthread_db library "/usr/lib/libthread_db.so.1".

Program received signal SIGSEGV, Segmentation fault.
0x00007ffff6a2d0ca in strlen () from /usr/lib/libc.so.6
(gdb) bt
#0  0x00007ffff6a2d0ca in strlen () from /usr/lib/libc.so.6
#1  0x00007ffff798c5f6 in copyArg (
    arg=0x657372615062696c <error: Cannot access memory at address 0x657372615062696c>) at rts/RtsFlags.c:1684
#2  0x00007ffff798c679 in copyArgv (argc=8, argv=0x555555554cee) at rts/RtsFlags.c:1696
#3  0x00007ffff798dbe2 in setFullProgArgv (argc=<optimized out>, argv=<optimized out>) at rts/RtsFlags.c:1780
#4  0x00007ffff798e773 in hs_init_ghc (argc=0x555555756090 <argc>, argv=0x5555557560a0 <argv>, rts_config=...)
    at rts/RtsStartup.c:162
#5  0x00007ffff798e7cc in hs_init_with_rtsopts (argc=<optimized out>, argv=<optimized out>)
    at rts/RtsStartup.c:121
#6  0x0000555555554c7d in __libc_csu_init ()
#7  0x00007ffff69cc59f in __libc_start_main () from /usr/lib/libc.so.6
#8  0x0000555555554b29 in _start ()

那么如何从使用gcc编译的程序中启用运行时分析?

1 个答案:

答案 0 :(得分:1)

因此,段错误是由于一个拼写错误而未包含在问题中。偷偷摸摸!

要启用线程和分析等,您必须将最终的程序与适当的RTS风格相关联。这是GHC的-prof标志的一种效果,以及其-threaded标志和-debug等各种其他标志的唯一影响。

RTS风格位于不同的库中,其名称为

libHSrts.a           libHSrts-ghc7.8.4.so        (vanilla)
libHSrts_debug.a     libHSrts_debug-ghc7.8.4.so  (debug)
libHSrts_thr.a       libHSrts_thr-ghc7.8.4.so    (threaded)
libHSrts_p.a         -                           (profiling)
libHSrts_thr_p.a     -                           (threaded+profiling)
libHSrts_l.a         libHSrts_l-ghc7.8.4.so      (eventlog)
...

左边是静态库;右侧是动态库,其库名称包含GHC版本,以便在运行多个版本的GHC时,运行时动态加载程序更容易找到正确的版本。您可以在&#34; RTS方式&#34;下看到GHC安装的完整列表。在ghc --info

默认情况下没有安装动态分析库,但我认为使用它们没有根本问题,您可以配置GHC构建系统来构建它们。 (它们现在不是特别有用,因为ghci不支持分析,但希望很快就会改变。)