pmacs/builtin/runtime/async.lua

596 lines
21 KiB
Lua

-- builtin/runtime/async.lua --- T M3.3 Lua-side async runtime.
--
-- The Rust runtime (`pmacs._async.*`) gives us seven primitives:
--
-- _dispatch_sleep(ms) -> JobId
-- _dispatch_sum(n) -> JobId
-- _cancel(id)
-- _is_complete(id) -> boolean
-- _is_cancelled(id) -> boolean
-- _take_result(id) -> status, value
-- _tick() -> { ids... }
--
-- This file builds the friendly surface on top of them:
--
-- pmacs.async(fn) -- spawn a coroutine
-- pmacs.workers.dispatch(name, args) -- name-based dispatcher
-- pmacs.workers.sleep(ms) -- builtin sleep handler
-- pmacs.workers.compute_sum(n) -- builtin sum handler
-- handle:await() -- yield until handle settles
-- handle:cancel() -- cooperatively cancel
-- handle:on_complete(fn) -- non-coroutine callback
-- handle:id() -- runtime-assigned id
-- handle:is_complete() -- has the runtime observed a result?
--
-- R45: cancelled awaits raise `error({ tag = "cancelled", id = id })`.
-- R46: package code uses `:await()` rather than `coroutine.yield`. The
-- yield call below is *runtime* code, exempt from R46 by definition.
local async_mod = pmacs._async
assert(async_mod, "pmacs._async must be installed before the async builtin loads")
-- ---------------------------------------------------------------------------
-- Internal pending tables.
-- ---------------------------------------------------------------------------
-- handle id -> coroutine waiting on it.
local parked_coroutines = {}
-- handle id -> array of on_complete callbacks.
local on_complete_callbacks = {}
-- coroutines waiting for the next async tick without dispatching a worker job.
local next_tick_coroutines = {}
-- coroutine -> the handle the coroutine yielded with last (so we can
-- detect a coroutine that yields a non-handle and surface it).
local coroutine_waiting_on = setmetatable({}, { __mode = "k" })
-- ---------------------------------------------------------------------------
-- Handle class.
-- ---------------------------------------------------------------------------
local Handle = {}
Handle.__index = Handle
Handle._is_pmacs_handle = true
local function new_handle(id)
return setmetatable({ _id = id }, Handle)
end
function Handle:id()
return self._id
end
function Handle:is_complete()
return async_mod._is_complete(self._id)
end
function Handle:cancel()
async_mod._cancel(self._id)
end
function Handle:_take()
-- Single-shot: removes the entry from the runtime and returns
-- (status, value). Subsequent calls return ("pending", nil).
return async_mod._take_result(self._id)
end
-- :await() is the canonical user-facing yield point. It MUST run
-- inside a coroutine spawned by pmacs.async --- a bare call from main
-- thread will raise on the first yield.
function Handle:await()
-- Journey Stage 1a (Q#JR14b): `pmacs.window.commit_to` scopes the
-- acting frontend for the dynamic extent of its callback, using an
-- RAII guard on the Rust stack. Yielding out of that extent would
-- restore the scope while this coroutine is still parked, so the rest
-- of the commit would resume ambient -- silently reintroducing the
-- misrouting the scope exists to prevent. Do the awaiting BEFORE
-- entering the commit, which is what dired does with its listing.
if async_mod._in_commit_scope() then
error("await: cannot await inside pmacs.window.commit_to; " ..
"await first, then commit")
end
if not async_mod._is_complete(self._id) then
-- Yield self so pmacs.async's step() can park us. R46 carve-out:
-- this `coroutine.yield` is runtime code; package code uses
-- :await(), never raw yield.
coroutine.yield(self)
end
local status, value = self:_take()
if status == "ok" then
return value
elseif status == "cancelled" then
-- R45: structured error with tag = "cancelled".
error({ tag = "cancelled", id = self._id })
elseif status == "failed" then
error({ tag = "failed", id = self._id, message = value })
else
-- "pending" --- runtime told us we were complete but the entry
-- vanished, or the coroutine was resumed without the runtime's
-- bookkeeping. Either is a bug; raise loudly.
error({
tag = "internal",
message = "await: unexpected status '" .. tostring(status) ..
"' on handle " .. tostring(self._id),
})
end
end
function Handle:on_complete(fn)
if type(fn) ~= "function" then
error("Handle:on_complete expects a function, got " .. type(fn))
end
if self:is_complete() then
-- Already settled --- fire immediately. Take the result so the
-- callback sees the same shape an awaited handle would.
local status, value = self:_take()
fn(status, value)
return
end
local list = on_complete_callbacks[self._id]
if list == nil then
list = {}
on_complete_callbacks[self._id] = list
end
table.insert(list, fn)
end
-- ---------------------------------------------------------------------------
-- Stream Handle (T M3.5).
-- ---------------------------------------------------------------------------
--
-- A streaming handle is a Handle that delivers batches via
-- `:on_batch(fn)` rather than a single result via `:await()`.
-- `:on_close(fn)` fires once with the terminal outcome (status,
-- value) when the stream settles. `:cancel()` requests cooperative
-- cancellation.
--
-- Stream handles are created by handlers that opt into streaming
-- (e.g. `pmacs.workers.emit_n`); request/reply handlers
-- (`compute_sum`, `sleep`) stay non-stream. Mixing `:await` on a
-- stream handle is a programming error: streams settle via
-- `:on_close`, not as a single value.
local stream_batch_callbacks = {} -- stream id -> array of fn(items)
local stream_close_callbacks = {} -- stream id -> array of fn(status, value)
local Stream = {}
Stream.__index = Stream
Stream._is_pmacs_handle = true
Stream._is_pmacs_stream = true
local function new_stream(id)
return setmetatable({ _id = id }, Stream)
end
function Stream:id() return self._id end
function Stream:is_complete() return async_mod._is_complete(self._id) end
function Stream:cancel() async_mod._cancel(self._id) end
function Stream:on_batch(fn)
if type(fn) ~= "function" then
error("Stream:on_batch expects a function, got " .. type(fn))
end
local list = stream_batch_callbacks[self._id]
if list == nil then
list = {}
stream_batch_callbacks[self._id] = list
end
table.insert(list, fn)
end
function Stream:on_close(fn)
if type(fn) ~= "function" then
error("Stream:on_close expects a function, got " .. type(fn))
end
local list = stream_close_callbacks[self._id]
if list == nil then
list = {}
stream_close_callbacks[self._id] = list
end
table.insert(list, fn)
end
-- ---------------------------------------------------------------------------
-- pmacs.async --- coroutine spawn.
-- ---------------------------------------------------------------------------
local function step(co)
local ok, yielded = coroutine.resume(co)
if not ok then
-- An uncaught error inside the coroutine. Surface via pmacs.error
-- if available; fall back to a plain error otherwise.
if pmacs.error then
pmacs.error("pmacs.async: coroutine raised: " .. tostring(yielded))
else
error("pmacs.async: coroutine raised: " .. tostring(yielded))
end
return
end
if coroutine.status(co) == "dead" then
return -- normal completion
end
-- Coroutine yielded; expect a Handle.
if type(yielded) == "table" and yielded._is_pmacs_handle then
parked_coroutines[yielded._id] = co
coroutine_waiting_on[co] = yielded._id
elseif type(yielded) == "table" and yielded._is_pmacs_next_tick then
next_tick_coroutines[#next_tick_coroutines + 1] = co
else
if pmacs.error then
pmacs.error("pmacs.async: coroutine yielded a non-Handle value (" ..
type(yielded) .. "); use Handle:await() per R46")
else
error("pmacs.async: coroutine yielded a non-Handle value")
end
end
end
local function spawn_async(fn)
if type(fn) ~= "function" then
error("pmacs.async expects a function, got " .. type(fn))
end
local co = coroutine.create(fn)
step(co)
end
local async_public = {}
setmetatable(async_public, {
__call = function(_, fn)
return spawn_async(fn)
end,
})
function async_public.yield_to_next_tick()
coroutine.yield({ _is_pmacs_next_tick = true })
end
pmacs.async = async_public
-- ---------------------------------------------------------------------------
-- pmacs.workers --- name-based dispatch surface.
-- ---------------------------------------------------------------------------
pmacs.workers = pmacs.workers or {}
-- T M3.4: every dispatch surface accepts an optional `opts` table.
-- The single recognised key is `supersede = "<name>"`: a new dispatch
-- under the same supersede name cancels any in-flight predecessor
-- before the new job starts (per spec §6.3 cancellation /
-- "supersede semantics").
local function supersede_key(opts)
if opts == nil then return nil end
if type(opts) ~= "table" then
error("dispatch opts must be a table, got " .. type(opts))
end
local k = opts.supersede
if k == nil then return nil end
if type(k) ~= "string" then
error("opts.supersede must be a string, got " .. type(k))
end
return k
end
local function dispatch_sleep(ms, opts)
if type(ms) ~= "number" then
error("pmacs.workers.sleep: ms must be a number, got " .. type(ms))
end
return new_handle(async_mod._dispatch_sleep(math.floor(ms), supersede_key(opts)))
end
local function dispatch_sum(n, opts)
if type(n) ~= "number" or n < 0 then
error("pmacs.workers.compute_sum: n must be a non-negative number")
end
return new_handle(async_mod._dispatch_sum(math.floor(n), supersede_key(opts)))
end
local function dispatch_emit_n(count, opts)
if type(count) ~= "number" or count < 0 then
error("pmacs.workers.emit_n: count must be a non-negative number")
end
local max_batch
if type(opts) == "table" and opts.max_batch ~= nil then
if type(opts.max_batch) ~= "number" or opts.max_batch < 1 then
error("opts.max_batch must be a positive number")
end
max_batch = math.floor(opts.max_batch)
end
return new_stream(async_mod._dispatch_emit_n(
math.floor(count), supersede_key(opts), max_batch))
end
-- T M3.6: parallel directory grep.
-- pmacs.workers.grep({ root = "/path", pattern = "needle",
-- case_sensitive = true,
-- max_file_bytes = 16 * 1024 * 1024,
-- max_match_text = 4096,
-- max_results = 0,
-- fanout = 8 }, opts) -> Stream
--
-- Each batch handed to :on_batch is an array of match tables:
-- { file = "rel/path", line = 12, match_start = 4, match_end = 9, text = "..." }
local function dispatch_grep(spec, opts)
if type(spec) ~= "table" then
error("pmacs.workers.grep: spec must be a table")
end
if type(spec.root) ~= "string" or spec.root == "" then
error("pmacs.workers.grep: spec.root must be a non-empty string")
end
if type(spec.pattern) ~= "string" then
error("pmacs.workers.grep: spec.pattern must be a string")
end
local max_batch
if type(opts) == "table" and opts.max_batch ~= nil then
if type(opts.max_batch) ~= "number" or opts.max_batch < 1 then
error("opts.max_batch must be a positive number")
end
max_batch = math.floor(opts.max_batch)
end
return new_stream(async_mod._dispatch_grep(spec, supersede_key(opts), max_batch))
end
pmacs.workers.sleep = dispatch_sleep
pmacs.workers.compute_sum = dispatch_sum
pmacs.workers.emit_n = dispatch_emit_n
pmacs.workers.grep = dispatch_grep
-- Runtime-internal: expose the Handle / Stream factories so other
-- builtin runtime files (pmacs.fs in M8.1, future siblings) can
-- construct handles for ids dispatched through their own raw
-- _dispatch_* primitives without re-implementing the class. The
-- underscore prefix marks these as not part of the documented
-- package-author surface; package code uses :await() / :cancel() /
-- :on_complete() on the returned handles, never these factories.
pmacs.workers._new_handle = new_handle
pmacs.workers._new_stream = new_stream
-- Name-based dispatch matching the spec example:
-- pmacs.workers.dispatch("grep", { ... }, { supersede = "grep" }):await()
-- v0.1 ships with the two stub handlers above; M4 adds tree-sitter,
-- LSP, project indexing, etc. via the same surface.
local handlers = {
["sleep"] = function(args, opts)
return dispatch_sleep((type(args) == "table" and args.ms) or args or 0, opts)
end,
["compute_sum"] = function(args, opts)
return dispatch_sum((type(args) == "table" and args.n) or args or 0, opts)
end,
["emit_n"] = function(args, opts)
return dispatch_emit_n((type(args) == "table" and args.count) or args or 0, opts)
end,
["grep"] = function(args, opts)
if type(args) ~= "table" then
error("pmacs.workers.dispatch('grep', ...): args must be a spec table")
end
return dispatch_grep(args, opts)
end,
}
function pmacs.workers.dispatch(name, args, opts)
local handler = handlers[name]
if handler == nil then
error("pmacs.workers.dispatch: unknown handler '" .. tostring(name) .. "'")
end
return handler(args, opts)
end
function pmacs.workers.register(name, handler)
-- Allows future Rust-side modules (or test harnesses) to register
-- additional dispatchable names. v0.1 has no plugin loader but the
-- shape is here so M4 builders use it consistently.
if type(name) ~= "string" then
error("pmacs.workers.register: name must be a string")
end
if type(handler) ~= "function" then
error("pmacs.workers.register: handler must be a function")
end
handlers[name] = handler
end
-- ---------------------------------------------------------------------------
-- Tick: drain the bus, resume parked coroutines, fire on_complete callbacks.
-- ---------------------------------------------------------------------------
function pmacs._async.tick()
local ready_next_tick = next_tick_coroutines
next_tick_coroutines = {}
for _, co in ipairs(ready_next_tick) do
step(co)
end
local settled = async_mod._tick()
for _, id in ipairs(settled) do
-- Fire on_complete callbacks before resuming the parked coroutine.
-- Both can run on the same id if the user installed an
-- on_complete *and* awaited the handle elsewhere; but await
-- removes the entry on resume, so order matters: callbacks first.
local callbacks = on_complete_callbacks[id]
if callbacks ~= nil then
on_complete_callbacks[id] = nil
for _, cb in ipairs(callbacks) do
local status, value = async_mod._take_result(id)
local ok, err = pcall(cb, status, value)
if not ok and pmacs.error then
pmacs.error("on_complete callback failed: " .. tostring(err))
end
end
end
local co = parked_coroutines[id]
if co ~= nil then
parked_coroutines[id] = nil
coroutine_waiting_on[co] = nil
step(co)
end
end
-- T M3.5: drain stream batches. One callback invocation per
-- (stream, frame), regardless of how many items the worker
-- emitted in between. The Rust runtime caps each batch at the
-- stream's `max_batch`; if there are more items pending, they
-- come in the next batch on the next tick.
local batches = async_mod._take_stream_batches()
for _, batch in ipairs(batches) do
local id = batch.id
local items = batch.items
if #items > 0 then
local list = stream_batch_callbacks[id]
if list ~= nil then
for _, cb in ipairs(list) do
local ok, err = pcall(cb, items)
if not ok and pmacs.error then
pmacs.error("on_batch callback failed: " .. tostring(err))
end
end
end
end
if batch.closed then
-- One last fan-out to on_close subscribers, then GC the entry.
local closers = stream_close_callbacks[id]
if closers ~= nil then
for _, cb in ipairs(closers) do
local ok, err = pcall(cb, batch.status, batch.value)
if not ok and pmacs.error then
pmacs.error("on_close callback failed: " .. tostring(err))
end
end
end
stream_batch_callbacks[id] = nil
stream_close_callbacks[id] = nil
end
end
end
-- ---------------------------------------------------------------------------
-- Tunable knobs (T M3.5).
-- ---------------------------------------------------------------------------
pmacs.async_config = {}
function pmacs.async_config.frame_target_ms(ms)
if ms == nil then
return async_mod._frame_target_ms()
end
if type(ms) ~= "number" or ms < 1 then
error("frame_target_ms must be a positive number")
end
async_mod._set_frame_target_ms(math.floor(ms))
end
function pmacs.async_config.default_max_batch(n)
if n == nil then
return async_mod._default_max_batch()
end
if type(n) ~= "number" or n < 1 then
error("default_max_batch must be a positive number")
end
async_mod._set_default_max_batch(math.floor(n))
end
-- ---------------------------------------------------------------------------
-- T M3.7: *workers* observability buffer.
-- ---------------------------------------------------------------------------
--
-- pmacs.workers.snapshot() -> { active = {...}, completed = {...} }
-- pmacs.workers.show() -> BufferIdLua -- create/refresh and bind
-- pmacs.workers.hide() -- stop auto-refresh
-- pmacs.workers.cancel_at_point() -- bound to C-c C-k
-- pmacs.workers.is_visible()
--
-- The buffer auto-refreshes once per frame while visible, satisfying
-- the spec's 100ms acceptance bound (default frame target is 16ms).
local workers_buffer_id = nil
local workers_buffer_visible = false
function pmacs.workers.snapshot()
return async_mod._workers_snapshot()
end
function pmacs.workers.is_visible()
return workers_buffer_visible
end
function pmacs.workers.show()
if async_mod._show_workers_buffer == nil then
error("pmacs.workers.show: no buffer registry was wired into the async runtime")
end
local id = async_mod._show_workers_buffer()
workers_buffer_visible = true
-- Bind the buffer-local cancel binding once per buffer
-- incarnation: the runtime keeps the same id while the
-- buffer lives, so a subsequent show() is a no-op for the
-- keymap path. If the buffer was killed and recreated under
-- the same name, the id changes and we rebind.
if workers_buffer_id ~= id then
-- best-effort unbind in case a stale buffer-local binding
-- exists; ignore failures.
pcall(function()
pmacs.keymap.unbind { scope = "buffer", buffer = id, sequence = "C-c C-k" }
end)
pmacs.keymap.bind {
scope = "buffer",
buffer = id,
sequence = "C-c C-k",
command = "workers.cancel-at-point",
}
workers_buffer_id = id
end
return id
end
function pmacs.workers.hide()
workers_buffer_visible = false
end
-- Resolve the job id at the cursor in the *workers* buffer (or any
-- buffer whose contents follow the same `#<digits>` per-row format).
-- Returns the cancelled id, or nil if the cursor isn't on a job row.
function pmacs.workers.cancel_at_point()
if pmacs.window == nil or pmacs.editor == nil then
return nil
end
local buf = pmacs.window.buffer()
local pos = pmacs.editor.cursor()
if buf == nil or pos == nil then return nil end
local id = async_mod._job_id_at_byte(buf, pos)
if id ~= nil then async_mod._cancel(id) end
return id
end
-- Register the cancel-at-point command. Defining it here (rather than
-- in the user's init.lua) means a fresh editor always has the binding
-- available --- the user's only step is `pmacs.workers.show()`.
if pmacs.command and pmacs.command.define then
pmacs.command.define {
name = "workers.cancel-at-point",
description = "Cancel the worker job named on the current line of *workers*.",
fn = pmacs.workers.cancel_at_point,
}
end
-- Hook the auto-refresh into the existing tick. We wrap the original
-- _async.tick (which fires every frame from the editor's run loop)
-- so the *workers* buffer re-renders after every drain.
local original_tick = pmacs._async.tick
function pmacs._async.tick()
original_tick()
if workers_buffer_visible and async_mod._show_workers_buffer ~= nil then
-- A failed render (e.g. registry wasn't wired) becomes silent ---
-- not worth raising every frame.
pcall(async_mod._show_workers_buffer)
end
end
-- Diagnostic / test helpers: number of parked coroutines, number of
-- pending Rust-side jobs. Used by Rust integration tests to drive the
-- runtime to quiescence.
function pmacs._async.parked_count()
local n = 0
for _ in pairs(parked_coroutines) do n = n + 1 end
return n
end
function pmacs._async.pending_count()
return async_mod._pending_len()
end