Comment Racerx se compare-t-il à d'autres outils de test de concurrence pour les applications MVVMCross

Racerx

** Racerx est un outil d'analyse statique sensible à l'écoulement conçu pour détecter des problèmes de concurrence tels que les races et les impasses. Il se démarque en nécessitant une annotation minimale du code source, ne nécessitant généralement qu'un petit tableau spécifiant les API utilisées pour acquérir et libérer des verrous. Cela réduit le fardeau de l'annoting de grands systèmes, ce qui le rend plus efficace pour les développeurs travaillant avec des applications complexes. Racerx construit un graphique de flux de contrôle (CFG) à partir du code source, qui comprend des informations sur les appels de fonction, la mémoire partagée et l'utilisation du pointeur. Il utilise ensuite ce graphique pour identifier les problèmes de concurrence potentiels en analysant comment les verrous sont utilisés dans la base de code [1].

Comparaison avec les échecs

** Les échecs, un autre outil de test de concurrence développé par Microsoft Research, utilise une combinaison de vérification de modèles et d'analyse dynamique. Contrairement à Racerx, les échecs explorent systématiquement les planifications de threads pour détecter les erreurs de concurrence telles que les conditions de course, les blocs de non-blocs et la corruption des données. Les échecs fournissent un environnement d'exécution entièrement reproductible, ce qui est bénéfique à des fins de débogage. Cependant, les échecs s'appuient sur les affirmations du programmeur pour la vérification de l'état et ne gère pas la synchronisation via des opérations verrouillées, ce qui pourrait limiter son applicabilité dans certains scénarios [1].

Comparaison avec d'autres outils

Dans le contexte des applications MVVMCross, qui sont principalement des plates-formes et utilisent le modèle MVVM, le choix des outils de test de concurrence pourrait être influencé par les besoins spécifiques de l'application. Par exemple, si l'application implique un filetage complexe ou des opérations simultanées, des outils comme les échecs ou Racerx pourraient être bénéfiques. Cependant, MVVMCross lui-même ne fournit pas intrinsèquement des outils de test de concurrence; Il se concentre sur la fourniture d'un cadre pour le développement de plate-forme multiples à l'aide du modèle MVVM [9] [10].

Considérations pour les applications MVVMCross

Lors du développement des applications MVVMCross, l'accent est souvent mis sur le partage du comportement et de la logique métier sur toutes les plateformes. Bien que MVVMCross fournit des fonctionnalités telles que l'injection de dépendance et les cadres de plugin, il ne traite pas directement de tests de concurrence. Par conséquent, les développeurs pourraient avoir besoin d'intégrer des outils externes comme Racerx ou les échecs dans leur flux de travail de test pour s'assurer que les opérations simultanées dans leurs applications sont correctement validées.

En résumé, Racerx est un outil puissant pour détecter les problèmes de concurrence avec une annotation de code minimale, ce qui le rend adapté à des systèmes grands et complexes. Cependant, son applicabilité aux applications MVVMCross dépendrait des exigences de concurrence spécifiques de l'application, et il pourrait devoir être utilisé aux côtés d'autres cadres de test qui sont plus directement intégrés à l'écosystème MVVMCross.