how to verify C/C++ multi-thread project (pthread library) using polyspace

7 vues (au cours des 30 derniers jours)

tiandong Wang le 30 Oct 2015

0
Lien

Utiliser le lien direct vers cette question

https://fr.mathworks.com/matlabcentral/answers/251821-how-to-verify-c-c-multi-thread-project-pthread-library-using-polyspace

Modifié(e) : tiandong Wang le 30 Oct 2015

Hi all,

Could someone tell me how to verify C/C++ multi-thread project (pthread library) using polyspace, please? The polyspace compiler always reports like "identifier 'pthread_mutex_init' is undefined, identifier 'pthread_create' is undefined". The project platform is ARM cortex A7/ARM linux.

Thanks!

BR,

Tiandong Wang