diff options
author | Skyler Hawthorne | 2022-04-10 15:05:47 +0000 |
---|---|---|
committer | Skyler Hawthorne | 2022-10-19 02:31:38 +0000 |
commit | d706194597d462fbaeb1ef55e2e8fb6eae38d2f3 (patch) | |
tree | c8ca7b1a43e8dd755418d5a154a8e409fc3d9b72 /runtime/queries/markdown.inline/injections.scm | |
parent | faf0c521d15c314f411cc6178024c5d3310212da (diff) |
chore(write): serialize write operations within a Document
The way that document writes are handled are by submitting them to the
async job pool, which are all executed opportunistically out of order. It
was discovered that this can lead to write inconsistencies when there
are multiple writes to the same file in quick succession.
This seeks to fix this problem by removing document writes from the
general pool of jobs and into its own specialized event. Now when a
user submits a write with one of the write commands, a request is simply
queued up in a new mpsc channel that each Document makes to handle its own
writes. This way, if multiple writes are submitted on the same document,
they are executed in order, while still allowing concurrent writes for
different documents.
Diffstat (limited to 'runtime/queries/markdown.inline/injections.scm')
0 files changed, 0 insertions, 0 deletions