polyspace 2012b critical section

In Polyspace R2012b what is the use of critical section ? How PS verifies it in the code?

If the critical section is called inside a wrapper will it be effective ?

Answer 1

[Alexandre De Barros]

Hi !

You will find information on the critical section in R2012b by following this link:

https://www.mathworks.com/help/releases/R2012b/polyspace_c/c_ug/preparing-multitasking-code.html#br09so8-86

Since you want to use wrappers, you can use the wrapper functions as parameters of the critical section options.

Best regards,

Alexandre