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

2 visualizzazioni (ultimi 30 giorni)
Konrad Mayer
Konrad Mayer il 12 Set 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.

Accedi per rispondere a questa domanda.

Risposte (0)

Categorie

Scopri di più su Bug Finder Analysis in Help Center e File Exchange

Tag

Prodotti

Community Treasure Hunt

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

Start Hunting!

Translated by