Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • C coq-au-vim
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 4
    • Issues 4
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Manu Beffara
  • coq-au-vim
  • Issues
  • #4

Closed
Open
Created May 13, 2019 by Paul Sonkoly@phaul

plugin kills gvim after a few seconds of idle time

Hi all,

if I open a cock file, everything seems to work as expected, I can send code to coq and I get back the green/red highlight in short I think my setup is functional.

Except if I idle for a few seconds, gvim either freezes or aborts. This only happens if :CoqStart has been invoked and reproducible 100 %, although the freeze/abort varies, with freeze being more frequent.

I'm not sure how to debug this or gather more information but I tried running gvim from strace and the last bunch of lines before the freeze are as follows:

mmap(NULL, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7fc6d16ee000
rt_sigprocmask(SIG_UNBLOCK, [ABRT], NULL, 8) = 0
rt_sigprocmask(SIG_BLOCK, ~[RTMIN RT_1], [], 8) = 0
getpid()                                = 1169
gettid()                                = 1169
tgkill(1169, 1169, SIGABRT)             = 0
rt_sigprocmask(SIG_SETMASK, [], NULL, 8) = 0
--- SIGABRT {si_signo=SIGABRT, si_code=SI_TKILL, si_pid=1169, si_uid=1000} ---
rt_sigaction(SIGHUP, {sa_handler=SIG_IGN, sa_mask=[HUP], sa_flags=SA_RESTORER|SA_RESTART, sa_restorer=0x7fc6cfebb8b0}, {sa_handler=SIG_IGN, sa_mask=[], sa_flags=SA_RESTORER, sa_restorer=0x7fc6cfebb8b0}, 8) = 0
write(1, "Vim: Caught deadly signal ABRT\r\n", 32Vim: Caught deadly signal ABRT
) = 32
close(11)                               = 0
unlink("/home/phaul/.cache/vim/swap//%home%phaul%lf%Basics.v.swp") = 0
lstat("/tmp/vP8yiTR", {st_mode=S_IFDIR|0700, st_size=80, ...}) = 0
--- SIGSEGV {si_signo=SIGSEGV, si_code=SEGV_MAPERR, si_addr=0x28} ---
write(1, "Vim: Double signal, exiting\r\n", 29Vim: Double signal, exiting
) = 29
openat(AT_FDCWD, "/home/phaul/.viminfo", O_RDONLY) = 10
stat("/home/phaul/.viminfo", {st_mode=S_IFREG|0600, st_size=41371, ...}) = 0
getuid()                                = 1000
getuid()                                = 1000
stat("/home/phaul/.viminfo.tmp", {st_mode=S_IFREG|0600, st_size=25616, ...}) = 0
stat("/home/phaul/.viminfz.tmp", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0
stat("/home/phaul/.viminfy.tmp", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0
stat("/home/phaul/.viminfx.tmp", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0
stat("/home/phaul/.viminfw.tmp", {st_mode=S_IFREG|0600, st_size=32787, ...}) = 0
stat("/home/phaul/.viminfv.tmp", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0
stat("/home/phaul/.viminfu.tmp", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0
stat("/home/phaul/.viminft.tmp", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0
stat("/home/phaul/.viminfs.tmp", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0
stat("/home/phaul/.viminfr.tmp", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0
stat("/home/phaul/.viminfq.tmp", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0
stat("/home/phaul/.viminfp.tmp", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0
stat("/home/phaul/.viminfo.tmp", {st_mode=S_IFREG|0600, st_size=25616, ...}) = 0
stat("/home/phaul/.viminfn.tmp", 0x7ffe8327cc50) = -1 ENOENT (No such file or directory)
umask(000)                              = 022
openat(AT_FDCWD, "/home/phaul/.viminfn.tmp", O_WRONLY|O_CREAT|O_EXCL|O_NOFOLLOW, 0600) = 11
umask(022)                              = 000
fcntl(11, F_GETFL)                      = 0x28001 (flags O_WRONLY|O_LARGEFILE|O_NOFOLLOW)
stat("/home/phaul/.viminfn.tmp", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0
futex(0x7fc6d0043aa0, FUTEX_WAIT_PRIVATE, 2, NULL

note the SIGSEGV / SIGABRT received.

versions:

:version
VIM - Vi IMproved 8.1 (2018 May 18, compiled Apr 26 2019 21:55:55)
Included patches: 1-1186
Compiled by Arch Linux
Huge version with GTK3 GUI.  Features included (+) or not (-):
+acl               +cmdline_info      -farsi             +libcall           -mouse_sysmouse    +python3/dyn       +termguicolors     +vreplace
+arabic            +comments          +file_in_path      +linebreak         +mouse_urxvt       +quickfix          +terminal          +wildignore
+autocmd           +conceal           +find_in_path      +lispindent        +mouse_xterm       +reltime           +terminfo          +wildmenu
+autochdir         +cryptv            +float             +listcmds          +multi_byte        +rightleft         +termresponse      +windows
-autoservername    +cscope            +folding           +localmap          +multi_lang        +ruby/dyn          +textobjects       +writebackup
+balloon_eval      +cursorbind        -footer            +lua/dyn           -mzscheme          +scrollbind        +textprop          +X11
+balloon_eval_term +cursorshape       +fork()            +menu              +netbeans_intg     +signs             +timers            -xfontset
+browse            +dialog_con_gui    +gettext           +mksession         +num64             +smartindent       +title             +xim
++builtin_terms    +diff              -hangul_input      +modify_fname      +packages          +startuptime       +toolbar           -xpm
+byte_offset       +digraphs          +iconv             +mouse             +path_extra        +statusline        +user_commands     +xsmp_interact
+channel           +dnd               +insert_expand     +mouseshape        +perl/dyn          -sun_workshop      +vartabs           +xterm_clipboard
+cindent           -ebcdic            +job               +mouse_dec         +persistent_undo   +syntax            +vertsplit         -xterm_save
+clientserver      +emacs_tags        +jumplist          +mouse_gpm         +postscript        +tag_binary        +virtualedit
+clipboard         +eval              +keymap            -mouse_jsbterm     +printer           -tag_old_static    +visual
+cmdline_compl     +ex_extra          +lambda            +mouse_netterm     +profile           -tag_any_white     +visualextra
+cmdline_hist      +extra_search      +langmap           +mouse_sgr         +python/dyn        +tcl/dyn           +viminfo
   system vimrc file: "/etc/vimrc"
     user vimrc file: "$HOME/.vimrc"
 2nd user vimrc file: "~/.vim/vimrc"
      user exrc file: "$HOME/.exrc"
  system gvimrc file: "/etc/gvimrc"
    user gvimrc file: "$HOME/.gvimrc"
2nd user gvimrc file: "~/.vim/gvimrc"
       defaults file: "$VIMRUNTIME/defaults.vim"
    system menu file: "$VIMRUNTIME/menu.vim"
  fall-back for $VIM: "/usr/share/vim"
Compilation: gcc -c -I. -Iproto -DHAVE_CONFIG_H -DFEAT_GUI_GTK  -I/usr/include/gtk-3.0 -I/usr/include/pango-1.0 -I/usr/include/glib-2.0 -I/usr/lib/glib-2.0/inc
lude -I/usr/lib/libffi-3.2.1/include -I/usr/include/fribidi -I/usr/include/harfbuzz -I/usr/include/freetype2 -I/usr/include/libpng16 -I/usr/include/uuid -I/usr
/include/cairo -I/usr/include/pixman-1 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/gio-unix-2.0 -I/usr/include/li
bdrm -I/usr/include/atk-1.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib/dbus-1.0/include -pthread  -D_FORTIFY_S
OURCE=2  -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=1
Linking: gcc   -L. -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -fstack-protector-strong -rdynamic -Wl,-export-dynamic -Wl,-E -Wl,-rpath,/usr/lib/perl5/5.
28/core_perl/CORE  -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -L/usr/local/lib -Wl,--as-needed -o vim   -lgtk-3 -lgdk-3 -lpangocairo-1.0 -lpango-1.0 -la
tk-1.0 -lcairo-gobject -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lgobject-2.0 -lglib-2.0  -lSM -lICE -lXt -lX11 -lXdmcp -lSM -lICE  -lm -ltinfo -lelf -lnsl    -lacl
-lattr -lgpm -ldl   -Wl,-E -Wl,-rpath,/usr/lib/perl5/5.28/core_perl/CORE -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -fstack-protector-strong -L/usr/loca
l/lib  -L/usr/lib/perl5/5.28/core_perl/CORE -lperl -lpthread -ldl -lm -lcrypt -lutil -lc   -L/usr/lib -ltclstub8.6 -ldl -lz -lpthread -lm  

coq

λ › coqtop --version                                                                                                                             ~ master
The Coq Proof Assistant, version 8.9.0 (January 2019)
compiled on Jan 23 2019 20:02:39 with OCaml 4.07.1
Assignee
Assign to
Time tracking