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

2 views (last 30 days)
Konrad Mayer
Konrad Mayer on 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.

Sign in to answer this question.

Answers (0)

Categories

Find more on Bug Finder Analysis in Help Center and File Exchange

Tags

Products

Community Treasure Hunt

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

Start Hunting!