The ThreadSafetyCheck command analyzes the given procedure or module and warns about specific thread-safety issues.

Currently warnings are limited to the use of global variables and the use of lexically scoped local variables that are seen in assignment statements.

The return value consists of a sequence of two integers counting the number of procedures flagged with thread-safety issues, followed by the total number of procedures analyzed.

$\mathrm{with}\left(\mathrm{CodeTools}\right)\:$

p := proc(a) global x; x*a; end;

$p≔\mathbf{proc}\left(a\right)\mathbf{global}x\;x\*a\mathbf{end\; proc}$

$\left[\mathrm{ThreadSafetyCheck}\left(p\right)\right]$

$\left[1\,1\right]$

m := module() export p1, p2; local a; p1 := proc(n) a := n; end; p2 := proc(n) a^n; end; end module;

$m≔\mathbf{module}\left(\right)\mathbf{local}a\;\mathbf{export}\mathrm{p1}\,\mathrm{p2}\;\mathbf{end\; module}$

$\left[\mathrm{ThreadSafetyCheck}\left(m\right)\right]$

$\left[2\,2\right]$

The CodeTools[ThreadSafetyCheck] command was introduced in Maple 2016.

For more information on Maple 2016 changes, see Updates in Maple 2016.