mirror of
https://github.com/ankitects/anki.git
synced 2025-09-21 15:32:23 -04:00
312393e825
The previous implementation had some slightly questionable memory safety properties (older versions of PyO3 didn't uphold the Rust aliasing rules and would thus create multiple &mut references to #[pyclass] objects). This explains why Backend has internal Mutex<T>s even though all of its methods took &mut self. The solution is to simply make all methods take &self, which luckily doesn't pose too make issues -- most of the code inside Backend already has sufficient locking. The only two things which needed to be explicitly handled where: 1. "self.runtime" which was fairly easy to handle. All usages of the Runtime only require an immutable reference to create a new Handle, so we could switch to OnceCell which provides lazy-initialisation semantics without needing a more heavy-handed Mutex<tokio::runtime::Handle>. 2. "self.sync_abort" was simply wrapped in a Mutex<>, though some of the odd semantics of sync_abort (not being able to handle multiple processes synchronising at the same time) become pretty obvious with this change (for now we just log a warning in that case). In addition, switch to an RAII-style guard to make sure we don't forget to clear the abort_handle. As a result, we now no longer break Rust's aliasing rules and we can build with newer versions of PyO3 which have runtime checks for these things (and build on stable Rust). Signed-off-by: Aleksa Sarai <cyphar@cyphar.com> |
||
|---|---|---|
| .. | ||
| backend | ||
| deckconf | ||
| decks | ||
| i18n | ||
| media | ||
| notetype | ||
| sched | ||
| search | ||
| stats | ||
| storage | ||
| sync | ||
| card.rs | ||
| cloze.rs | ||
| collection.rs | ||
| config.rs | ||
| dbcheck.rs | ||
| err.rs | ||
| filtered.rs | ||
| findreplace.rs | ||
| latex.rs | ||
| lib.rs | ||
| log.rs | ||
| notes.rs | ||
| preferences.rs | ||
| prelude.rs | ||
| revlog.rs | ||
| serde.rs | ||
| tags.rs | ||
| template.rs | ||
| template_filters.rs | ||
| text.rs | ||
| timestamp.rs | ||
| types.rs | ||
| undo.rs | ||
| version.rs | ||