I have read that julia only checks for IO and signals etc at certain points in the code. How was I able to interrupt this execution with ctrl-c? Where can I read the details? julia> function f() while true end end f (generic function with 1 method) julia> @code_llvm f()…

The story is different outside the REPL matt@pig:~$ cat /tmp/t.jl while true end matt@pig:~$ julia /tmp/t.jl ^C signal (2): Interrupt in expression starting at /tmp/t.jl:1 pthread_cond_wait at /lib/x86_64-linux-gnu/libpthread.so.0 (unknown line) uv_cond_wait at /workspace/srcdir/libuv/src/unix/thre…

It also interrupts outside the repl for me. % echo 'function f() while true end end; f()' > 1.jl % julia 1.jl ^C signal (2): Interrupt in expression starting at /tmp/tmp.rWqqM4iP2I/1.jl:1 f at /tmp/tmp.rWqqM4iP2I/1.jl:1 unknown function (ip: 0x7feb171e68ec) _jl_invoke at /buildworker/worker/packa…

Hmm, if I leave it to run, it is uninterruptible until I give it a ^Z matt@pig:~/bin$ julia /tmp/t.jl ^C^C^C^C^C^C^C^C^C^Z And this behaviour is different, it is uninterruptible … unless I press multiple ^C in quick succession matt@pig:~/bin$ julia -e "while true end" ^C^C^C^C^C^C^C^C^C^C^CWARNIN…

There are new tickets about Julia 1.7.0 ignoring signals [image] Julia 1.7.0 ignores SIGTERMs (Signal 15) Internals & Design Oh I see… Should I open an issue on the repo? Or probably it will be fixed anyway, if it is in the latest commit, right?

Interrupting execution

General Usage

lawless-m December 2, 2021, 11:07am 5

There are new tickets about Julia 1.7.0 ignoring signals

Topic		Replies	Views
How to interrupt (not kill) julia from the REPL (again)? General Usage interruptexception	6	887	June 5, 2023
How to interrupt (not kill) julia from the REPL? General Usage interruptexception	25	17433	February 14, 2023
Interrupt with Ctrl+c not working General Usage	8	4545	November 29, 2017
Code intermittently not being interruptible General Usage	5	352	April 18, 2023
JunoLab: Cannot Interrupt/Kill Julia Process Midway Juno	10	3432	October 26, 2020

Interrupting execution

Related topics