Zulip Chat Archive

Stream: general

Topic: nvim freezing


Matthew Ballard (May 10 2023 at 13:52):

I've been having to kill my nvim processes due to freezing about half a dozen times a day. Two questions:

  • are other people having this issue?
  • what is the best means of diagnosing the cause?

Thanks.

Julian Berman (May 10 2023 at 18:53):

(I'm pretty sure we haven't changed anything in the extension recently, I've been super busy and haven't touched it at all)

Julian Berman (May 10 2023 at 18:53):

What OS are you on? And when things freeze can you see what process is freezing? Is it nvim itself or Lean?

Matthew Ballard (May 10 2023 at 18:56):

MacOS. nvim becomes unresponsive itself. What would Lean freezing look like?

Julian Berman (May 10 2023 at 19:06):

Seeing lean processes spike in CPU basically what was I was asking.

Julian Berman (May 10 2023 at 19:06):

What version of nvim are you on too?

Matthew Ballard (May 10 2023 at 19:13):

No spikes. 0.9.0 but it has been an issue for a few months now

Matthew Ballard (May 10 2023 at 19:14):

Anecdotally, it seems to happen when there is more load on the language server. Ie I navigate to a new line with a complicated error

Matthew Ballard (May 10 2023 at 19:24):

nvim process usage spikes and lean is 0

Matthew Ballard (May 10 2023 at 19:30):

I probably should triage my config file.

Julian Berman (May 10 2023 at 19:39):

You can possibly try dtrussing nvim if/when it happens next

Julian Berman (May 10 2023 at 19:40):

Beyond that I'm afraid I'm not a ton of help at the minute, but if you nag me slightly (and if I can manage to reproduce) I'm happy to try to diagnose when I get some spare cycles

Matthew Ballard (May 10 2023 at 19:43):

No problems. Thanks for the help.

Julian Berman (May 10 2023 at 19:58):

The other thing to try by the way is :lua vim.lsp.set_log_level("DEBUG") and then share or look at the output from the LSP log file (the path is vim.lsp.get_log_path() -- but this you obviously have to do "in advance" of getting nvim to freeze, and it can get large, so ideally have a way to reproduce-ish first. And yeah np.


Last updated: Dec 20 2023 at 11:08 UTC