monitor
section is an advanced effect designed to manage resources that are used across multiple processes.assert
checks could fail: both processes will run simultaneously and could modify/read the atomic variable in any order.{var} = 5
because the value 5
will change.