How to configure 64 bit atomic access for a sparc processor for Polyspace Bug Finder analysis to get the right data race conditions

2 vues (au cours des 30 derniers jours)
Konrad Mayer
Konrad Mayer le 12 Sep 2017
How to configure 64 bit atomic access for a sparc processor for Polyspace Bug Finder analysis to get the right data race conditions. We use SPARC V8 hardware which supports memory read/write atomic access for double word (so 64 bits). Polyspace reports data race conditions as it supposes non atomic access. How can I configure Polyspace so that it processes our data access correctly.

Connectez-vous pour répondre à cette question.

Réponses (0)

Catégories

En savoir plus sur Bug Finder Analysis dans Help Center et File Exchange

Tags

Produits

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by