aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJaehwang Jung <tomtomjhj@gmail.com>2024-04-20 02:33:44 +0900
committerChristian Clason <c.clason@uni-graz.at>2024-04-21 10:42:00 +0200
commit2b6c9bbe7f7ac950683e81129b76e35e35839ede (patch)
tree901e6110c7d7c8e8bc0c4e1cade28c7052bda815
parentf42ab1dc4848eceab12c7180c2b9049da29a9ba6 (diff)
downloadrneovim-2b6c9bbe7f7ac950683e81129b76e35e35839ede.tar.gz
rneovim-2b6c9bbe7f7ac950683e81129b76e35e35839ede.tar.bz2
rneovim-2b6c9bbe7f7ac950683e81129b76e35e35839ede.zip
perf(treesitter): incremental foldupdate
Problem: While the fold level computation is incremental, the evaluation of the foldexpr is done on the full buffer. Despite that the foldexpr reads from the cache, it can take tens of milliseconds for moderately big (10K lines) buffers. Solution: Track the range of lines on which the foldexpr should be evaluated.
-rw-r--r--runtime/lua/vim/treesitter/_fold.lua122
-rw-r--r--src/nvim/lua/stdlib.c23
2 files changed, 89 insertions, 56 deletions
diff --git a/runtime/lua/vim/treesitter/_fold.lua b/runtime/lua/vim/treesitter/_fold.lua
index d8b9f4a261..d511bef7a5 100644
--- a/runtime/lua/vim/treesitter/_fold.lua
+++ b/runtime/lua/vim/treesitter/_fold.lua
@@ -4,10 +4,21 @@ local Range = require('vim.treesitter._range')
local api = vim.api
+---Treesitter folding is done in two steps:
+---(1) compute the fold levels with the syntax tree and cache the result (`compute_folds_levels`)
+---(2) evaluate foldexpr for each window, which reads from the cache (`foldupdate`)
---@class TS.FoldInfo
----@field levels string[] the foldexpr result for each line
----@field levels0 integer[] the raw fold levels
----@field edits? {[1]: integer, [2]: integer} line range edited since the last invocation of the callback scheduled in on_bytes. 0-indexed, end-exclusive.
+---
+---@field levels string[] the cached foldexpr result for each line
+---@field levels0 integer[] the cached raw fold levels
+---
+---The range edited since the last invocation of the callback scheduled in on_bytes.
+---Should compute fold levels in this range.
+---@field on_bytes_range? Range2
+---
+---The range on which to evaluate foldexpr.
+---When in insert mode, the evaluation is deferred to InsertLeave.
+---@field foldupdate_range? Range2
local FoldInfo = {}
FoldInfo.__index = FoldInfo
@@ -80,31 +91,16 @@ function FoldInfo:add_range(srow, erow)
list_insert(self.levels0, srow + 1, erow, -1)
end
----@package
+---@param range Range2
---@param srow integer
---@param erow_old integer
---@param erow_new integer 0-indexed, exclusive
-function FoldInfo:edit_range(srow, erow_old, erow_new)
- if self.edits then
- self.edits[1] = math.min(srow, self.edits[1])
- if erow_old <= self.edits[2] then
- self.edits[2] = self.edits[2] + (erow_new - erow_old)
- end
- self.edits[2] = math.max(self.edits[2], erow_new)
- else
- self.edits = { srow, erow_new }
- end
-end
-
----@package
----@return integer? srow
----@return integer? erow 0-indexed, exclusive
-function FoldInfo:flush_edit()
- if self.edits then
- local srow, erow = self.edits[1], self.edits[2]
- self.edits = nil
- return srow, erow
+local function edit_range(range, srow, erow_old, erow_new)
+ range[1] = math.min(srow, range[1])
+ if erow_old <= range[2] then
+ range[2] = range[2] + (erow_new - erow_old)
end
+ range[2] = math.max(range[2], erow_new)
end
--- If a parser doesn't have any ranges explicitly set, treesitter will
@@ -128,7 +124,7 @@ end
---@param srow integer?
---@param erow integer? 0-indexed, exclusive
---@param parse_injections? boolean
-local function get_folds_levels(bufnr, info, srow, erow, parse_injections)
+local function compute_folds_levels(bufnr, info, srow, erow, parse_injections)
srow = srow or 0
erow = normalise_erow(bufnr, erow)
@@ -231,7 +227,7 @@ local function get_folds_levels(bufnr, info, srow, erow, parse_injections)
clamped = nestmax
end
- -- Record the "real" level, so that it can be used as "base" of later get_folds_levels().
+ -- Record the "real" level, so that it can be used as "base" of later compute_folds_levels().
info.levels0[lnum] = adjusted
info.levels[lnum] = prefix .. tostring(clamped)
@@ -252,15 +248,14 @@ local group = api.nvim_create_augroup('treesitter/fold', {})
---
--- Nvim usually automatically updates folds when text changes, but it doesn't work here because
--- FoldInfo update is scheduled. So we do it manually.
-local function foldupdate(bufnr)
- local function do_update()
- for _, win in ipairs(vim.fn.win_findbuf(bufnr)) do
- api.nvim_win_call(win, function()
- if vim.wo.foldmethod == 'expr' then
- vim._foldupdate()
- end
- end)
- end
+---@package
+---@param srow integer
+---@param erow integer 0-indexed, exclusive
+function FoldInfo:foldupdate(bufnr, srow, erow)
+ if self.foldupdate_range then
+ edit_range(self.foldupdate_range, srow, erow, erow)
+ else
+ self.foldupdate_range = { srow, erow }
end
if api.nvim_get_mode().mode == 'i' then
@@ -275,12 +270,25 @@ local function foldupdate(bufnr)
group = group,
buffer = bufnr,
once = true,
- callback = do_update,
+ callback = function()
+ self:do_foldupdate(bufnr)
+ end,
})
return
end
- do_update()
+ self:do_foldupdate(bufnr)
+end
+
+---@package
+function FoldInfo:do_foldupdate(bufnr)
+ local srow, erow = self.foldupdate_range[1], self.foldupdate_range[2]
+ self.foldupdate_range = nil
+ for _, win in ipairs(vim.fn.win_findbuf(bufnr)) do
+ if vim.wo[win].foldmethod == 'expr' then
+ vim._foldupdate(win, srow, erow)
+ end
+ end
end
--- Schedule a function only if bufnr is loaded.
@@ -288,7 +296,7 @@ end
--- * queries seem to use the old buffer state in on_bytes for some unknown reason;
--- * to avoid textlock;
--- * to avoid infinite recursion:
---- get_folds_levels → parse → _do_callback → on_changedtree → get_folds_levels.
+--- compute_folds_levels → parse → _do_callback → on_changedtree → compute_folds_levels.
---@param bufnr integer
---@param fn function
local function schedule_if_loaded(bufnr, fn)
@@ -305,16 +313,20 @@ end
---@param tree_changes Range4[]
local function on_changedtree(bufnr, foldinfo, tree_changes)
schedule_if_loaded(bufnr, function()
+ local srow_upd, erow_upd ---@type integer?, integer?
for _, change in ipairs(tree_changes) do
local srow, _, erow, ecol = Range.unpack4(change)
if ecol > 0 then
erow = erow + 1
end
-- Start from `srow - foldminlines`, because this edit may have shrunken the fold below limit.
- get_folds_levels(bufnr, foldinfo, math.max(srow - vim.wo.foldminlines, 0), erow)
+ srow = math.max(srow - vim.wo.foldminlines, 0)
+ compute_folds_levels(bufnr, foldinfo, srow, erow)
+ srow_upd = srow_upd and math.min(srow_upd, srow) or srow
+ erow_upd = erow_upd and math.max(erow_upd, erow) or erow
end
if #tree_changes > 0 then
- foldupdate(bufnr)
+ foldinfo:foldupdate(bufnr, srow_upd, erow_upd)
end
end)
end
@@ -351,19 +363,29 @@ local function on_bytes(bufnr, foldinfo, start_row, start_col, old_row, old_col,
foldinfo:add_range(end_row_old, end_row_new)
end
end
- foldinfo:edit_range(start_row, end_row_old, end_row_new)
+
+ if foldinfo.on_bytes_range then
+ edit_range(foldinfo.on_bytes_range, start_row, end_row_old, end_row_new)
+ else
+ foldinfo.on_bytes_range = { start_row, end_row_new }
+ end
+ if foldinfo.foldupdate_range then
+ edit_range(foldinfo.foldupdate_range, start_row, end_row_old, end_row_new)
+ end
-- This callback must not use on_bytes arguments, because they can be outdated when the callback
-- is invoked. For example, `J` with non-zero count triggers multiple on_bytes before executing
- -- the scheduled callback. So we should collect the edits.
+ -- the scheduled callback. So we accumulate the edited ranges in `on_bytes_range`.
schedule_if_loaded(bufnr, function()
- local srow, erow = foldinfo:flush_edit()
- if not srow then
+ if not foldinfo.on_bytes_range then
return
end
+ local srow, erow = foldinfo.on_bytes_range[1], foldinfo.on_bytes_range[2]
+ foldinfo.on_bytes_range = nil
-- Start from `srow - foldminlines`, because this edit may have shrunken the fold below limit.
- get_folds_levels(bufnr, foldinfo, math.max(srow - vim.wo.foldminlines, 0), erow)
- foldupdate(bufnr)
+ srow = math.max(srow - vim.wo.foldminlines, 0)
+ compute_folds_levels(bufnr, foldinfo, srow, erow)
+ foldinfo:foldupdate(bufnr, srow, erow)
end)
end
end
@@ -382,7 +404,7 @@ function M.foldexpr(lnum)
if not foldinfos[bufnr] then
foldinfos[bufnr] = FoldInfo.new()
- get_folds_levels(bufnr, foldinfos[bufnr])
+ compute_folds_levels(bufnr, foldinfos[bufnr])
parser:register_cbs({
on_changedtree = function(tree_changes)
@@ -406,10 +428,10 @@ api.nvim_create_autocmd('OptionSet', {
pattern = { 'foldminlines', 'foldnestmax' },
desc = 'Refresh treesitter folds',
callback = function()
- for _, bufnr in ipairs(vim.tbl_keys(foldinfos)) do
+ for bufnr, _ in pairs(foldinfos) do
foldinfos[bufnr] = FoldInfo.new()
- get_folds_levels(bufnr, foldinfos[bufnr])
- foldupdate(bufnr)
+ compute_folds_levels(bufnr, foldinfos[bufnr])
+ foldinfos[bufnr]:foldupdate(bufnr, 0, api.nvim_buf_line_count(bufnr))
end
end,
})
diff --git a/src/nvim/lua/stdlib.c b/src/nvim/lua/stdlib.c
index 788185f2b4..032cb246bf 100644
--- a/src/nvim/lua/stdlib.c
+++ b/src/nvim/lua/stdlib.c
@@ -543,14 +543,25 @@ static int nlua_iconv(lua_State *lstate)
return 1;
}
-// Update foldlevels (e.g., by evaluating 'foldexpr') for all lines in the current window without
-// invoking other side effects. Unlike `zx`, it does not close manually opened folds and does not
-// open folds under the cursor.
+// Update foldlevels (e.g., by evaluating 'foldexpr') for the given line range in the given window,
+// without invoking other side effects. Unlike `zx`, it does not close manually opened folds and
+// does not open folds under the cursor.
static int nlua_foldupdate(lua_State *lstate)
{
- curwin->w_foldinvalid = true; // recompute folds
- foldUpdate(curwin, 1, (linenr_T)MAXLNUM);
- curwin->w_foldinvalid = false;
+ handle_T window = (handle_T)luaL_checkinteger(lstate, 1);
+ Error err = ERROR_INIT;
+ win_T *win = find_window_by_handle(window, &err);
+ if (ERROR_SET(&err)) {
+ nlua_push_errstr(lstate, err.msg);
+ api_clear_error(&err);
+ lua_error(lstate);
+ return 0;
+ }
+
+ linenr_T start = (linenr_T)luaL_checkinteger(lstate, 2);
+ linenr_T end = (linenr_T)luaL_checkinteger(lstate, 3);
+
+ foldUpdate(win, start + 1, end);
return 0;
}