julia - 如何在 julia 中捕获 linux 信号

Question

我正在寻找一种在 Linux 主机上的 julia 脚本中捕获 SIGINT 的方法，但我无法理解如何管理信号。

在 REPL 中:

julia > try
    sleep(1000)
catch e
    @info "interrupt captured!"
end
Ctrl-C
[ Info: interrupt captured!

相反，执行 demo.jl:

try
    sleep(1000)
catch e
    @info "interrupt captured!"
end

给出:

terminal> julia demo.jl
Ctrl-C

signal (2): Interrupt
in expression starting at /tmp/demo.jl:3
epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
uv__io_poll at /workspace/srcdir/libuv/src/unix/linux-core.c:270
uv_run at /workspace/srcdir/libuv/src/unix/core.c:359
jl_task_get_next at /buildworker/worker/package_linux64/build/src/partr.c:473
poptask at ./task.jl:704
wait at ./task.jl:712 [inlined]
...

在这种情况下如何管理中断？

Answer 1

如所述here当您执行 julia demo.jl 时，Ctrl-C 不会抛出 InterruptException。改用:

Base.exit_on_sigint(false)

try
   while true
      sleep(1)
      @info "."
   end
catch e
   @info "interrupt captured!"
end

而且我认为 sleep(1000) 在这种情况下没有帮助。