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

2 visualizaciones (últimos 30 días)
Konrad Mayer
Konrad Mayer el 12 de Sept. de 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.

Iniciar sesión para responder a esta pregunta.

Respuestas (0)

Categorías

Más información sobre Bug Finder Analysis en Help Center y File Exchange.

Etiquetas

Productos

Community Treasure Hunt

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

Start Hunting!

Translated by