| commit | de3a5e9294bd29cbcf824b8433fd0048e2037119 | [log] [tgz] |
|---|---|---|
| author | Nicolas Geoffray <ngeoffray@google.com> | Wed Jun 07 21:09:38 2017 +0100 |
| committer | Nicolas Geoffray <ngeoffray@google.com> | Wed Jun 07 21:11:22 2017 +0100 |
| tree | 359c14ad6f4f6707b3a189d603e7778b4e0c0c81 | |
| parent | 3050956ebb512002dfb56d4267a457d32133435d [diff] |
Use sleep instead of yield. Be less at the mercy of the kernel scheduler and thread priorities (JIT thread is lower priority). Test: test.py --jit Change-Id: I20ccd7ece6ea605ce42f8a16ec23bb377b92e653