atspi-common: register_tree panics (then aborts) when adapters become active out of order: push_adapter doesn't keep the list sorted for adapter_index's binary search
Les mainteneurs répondent en général sous 1 jour
Une pull request liée a déjà été fusionnée.
- #821 par @DataTriny — fusionnée
Évaluation
- Difficulté
- 2/5
- Temps estimé
- 1-3 heures
- Accessibilité débutants
- 72/100
- Type d'issue
- Bug
- Clarté
- Clairement spécifiée
- Activité
- Active
- Stack technique
- linux, rust
- Domaine
- operating-systems
Piste de recherche
Le bogue se trouve dans adapters/atspi-common/src/context.rs : push_adapter ajoute les éléments sans garder la liste triée, si bien que la recherche dichotomique de adapter_index manque des entrées. Commence par lire adapter_index et push_adapter, puis le unwrap dans register_tree dans adapter.rs. C'est terminé lorsque les adaptateurs ajoutés dans l'ordre 1, 2, 0 sont tous trouvés, en utilisant l'insertion triée suggérée, et que remove_adapter peut toujours trouver l'entrée.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
What happens
AppContext in accesskit_atspi_common finds adapters with a binary search, but push_adapter appends to the end, so the list is only sorted if adapters are added in order of id:
// adapters/atspi-common/src/context.rs
pub(crate) fn adapter_index(&self, id: usize) -> Result<usize, usize> {
self.adapters.binary_search_by(|adapter| adapter.0.cmp(&id))
}
pub(crate) fn push_adapter(&mut self, id: usize, context: &Arc<Context>) {
self.adapters.push((id, Arc::clone(context)));
}
With accesskit_unix, an adapter is pushed when it goes from Pending to Active, which happens in the application's next update_if_active for that window after AT-SPI is enabled. With several windows, that is whatever order the application updates them in, not the order they were created, so the list can end up out of order (for example ids [1, 2, 0]). A binary search then misses an adapter that is in the list, and register_tree panics on
let adapter_index = app_context.adapter_index(self.id).unwrap();
while holding the app context's write lock. Unwinding drops the adapter, whose Drop calls write_app_context() on the now poisoned lock and panics again, so the process aborts:
panicked at accesskit_atspi_common-0.18.1/src/adapter.rs:461
panicked at accesskit_atspi_common-0.18.1/src/context.rs:85
panic in a destructor during cleanup
thread caused non-unwinding panic. aborting.
remove_adapter has the same problem in a quieter form: on an unsorted list it can fail to find the adapter and leave it in the list.
What should happen
Adapters can become active in any order without the lookup failing.
How to reproduce
We hit it in an application with several windows, each with an accesskit_winit adapter, on Ubuntu 26.04 (GNOME 50, Wayland and XWayland) with AT-SPI enabled, when the windows were updated in a different order than they were created. It depends on that order, so we don't have a small program that hits it every time; the lookup itself shows it. With the adapters pushed in the order 1, 2, 0:
let adapters: Vec<(usize, ())> = vec![(1, ()), (2, ()), (0, ())];
let found = adapters.binary_search_by(|adapter| adapter.0.cmp(&0));
println!("{found:?}"); // Err(0): adapter 0 is in the list but isn't found
Suggested fix
Keep the list sorted when adding:
pub(crate) fn push_adapter(&mut self, id: usize, context: &Arc<Context>) {
match self.adapter_index(id) {
Ok(index) => self.adapters[index] = (id, Arc::clone(context)),
Err(index) => self.adapters.insert(index, (id, Arc::clone(context))),
}
}
We're running with exactly this change (on 0.18.1, which egui 0.36 uses) and haven't seen the crash since. The code is the same on main (context.rs lines 109–115, adapter.rs line 463).
Versions: accesskit_atspi_common 0.18.1 through accesskit_unix 0.21.1 and accesskit_winit; also present in 0.21.0 and on main.
- Langage dominant
- Rust
- Étoiles
- 1.5k
- Forks
- 127
- Merge moyen
- 16 h 44 min
- PR mergées (30 j)
- 12
Préparer son environnement
- Aucun Dockerfile ni fichier Docker Compose
- Aucun modèle de pull request
- Lire le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de AccessKit/accesskit
-
Document sub-treesOuverte
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
Les mainteneurs répondent en général sous 1 jour
-
Document `Role::ColorWell`Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 3/5 1-2 jours Accessibilité débutants 76/100
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 4/5 3-5 jours Accessibilité débutants 50/100
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 4/5 1-2 jours Accessibilité débutants 32/100
Les mainteneurs répondent en général sous 1 jour
Toutes les issues de AccessKit/accesskit
Issues similaires
-
bug easy good first issue
Difficulté 2/5 1-3 heures Accessibilité débutants 85/100
lacs-project/sysknife#659 ·
Les mainteneurs répondent en général sous 2 jours
-
E_FIT_INPUT_MISSING (mixture overrides): the message says ferx-r bundles lack mixture_overridesOuverteP3
Difficulté 1/5 Moins d'une heure Accessibilité débutants 83/100
Les mainteneurs répondent en général sous 1 jour
-
Document multi-value claims with rowBoundaries operator:in (and their per-record application)Ouvertedocumentation
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
registrystack/registry-stack#2431 ·
Les mainteneurs répondent en général sous 1 jour
-
contribution
Difficulté 2/5 1-3 heures Accessibilité débutants 85/100
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 85/100
farion1231/cc-switch#8863 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour