Fix race condition on info.thread_id in OpenMP scheduler (#399)
authorSimone Pellegrini <37897514+simpel01@users.noreply.github.com>
Thu, 29 Mar 2018 09:59:28 +0000 (11:59 +0200)
committerAnthony Barbier <Anthony.barbier@arm.com>
Thu, 29 Mar 2018 09:59:28 +0000 (10:59 +0100)
commitbc0bbac5859707be771b5e2ea7295c893fc2d0ff
tree40d621c03829297f43843de9874e7e4c5bf2ccee
parent3dd034f2356319ee1cff6bcad5c58ed8611ae26e
Fix race condition on info.thread_id in OpenMP scheduler (#399)

Additionally refactor improper use of OpenMP's worksharing
construct (for).
src/runtime/OMP/OMPScheduler.cpp