Как Racerx сравнивается с другими инструментами тестирования параллелизма для приложений MVVMcross

Racerx

** Racerx-это чувствительный к потоку инструмент статического анализа, предназначенный для обнаружения вопросов параллелизма, таких как расы и тупики. Он выделяется, требуя минимальной аннотации исходного кода, обычно требуя лишь небольшую таблицу, указывающую API, используемые для получения и выпуска блокировок. Это уменьшает бремя аннотирования крупных систем, что делает его более эффективным для разработчиков, работающих со сложными приложениями. Racerx создает график потока управления (CFG) из исходного кода, который включает в себя информацию о вызовах функций, общей памяти и использование указателя. Затем он использует этот график для определения потенциальных проблем параллелистики, анализируя, как блокировки используются в кодовой базе [1].

Сравнение с шахматами

** Шахматы, еще один инструмент тестирования параллелизма, разработанный Microsoft Research, использует комбинацию проверки модели и динамического анализа. В отличие от Racerx, Chess систематически исследует графики потоков, чтобы обнаружить ошибки параллелизма, такие как условия гонки, тупики и повреждение данных. Шахматы обеспечивают полностью повторяемую среду выполнения, которая полезна для отладки. Тем не менее, шахматы полагаются на утверждения программиста для проверки состояния и не обрабатывают синхронизацию посредством блокированных операций, что может ограничить его применимость в определенных сценариях [1].

Сравнение с другими инструментами

В контексте приложений MVVMcross, которые в основном являются кроссплатформенными и используют шаблон MVVM, на выбор инструментов тестирования параллелизации может влиять конкретные потребности приложения. Например, если приложение включает в себя сложные потоки или одновременные операции, такие инструменты, как Chess или Racerx, могут быть полезными. Тем не менее, сам MVVMcross по своей сути не предоставляет инструменты для тестирования параллелизма; Он фокусируется на предоставлении структуры для кроссплатформенного развития с использованием шаблона MVVM [9] [10].

Соображения для приложений MVVMcross

При разработке приложений MVVMcross основное внимание часто уделяется делиться поведением и бизнес -логикой на всех платформах. В то время как MVVMcross предоставляет такие функции, как инъекция зависимостей и плагины, он не обращается напрямую для тестирования параллелизма. Следовательно, разработчикам может потребоваться интегрировать внешние инструменты, такие как Racerx или шахматы в свой рабочий процесс тестирования, чтобы обеспечить правильную проверку одновременных операций в их приложениях.

Таким образом, Racerx является мощным инструментом для выявления проблем параллелистики с минимальной кодовой аннотацией, что делает его подходящим для крупных и сложных систем. Тем не менее, его применимость к приложениям MVVMcross будет зависеть от конкретных требований к параллелизму приложения, и его, возможно, потребуется использовать вместе с другими структурами тестирования, которые более непосредственно интегрированы с экосистемой MVVMcross.