(task, ms)
| 2452 | } |
| 2453 | } |
| 2454 | function markTaskRun(task, ms) { |
| 2455 | { |
| 2456 | runIdCounter++; |
| 2457 | profilingState[PRIORITY] = task.priorityLevel; |
| 2458 | profilingState[CURRENT_TASK_ID] = task.id; |
| 2459 | profilingState[CURRENT_RUN_ID] = runIdCounter; |
| 2460 | |
| 2461 | if (eventLog !== null) { |
| 2462 | logEvent([TaskRunEvent, ms * 1000, task.id, runIdCounter]); |
| 2463 | } |
| 2464 | } |
| 2465 | } |
| 2466 | function markTaskYield(task, ms) { |
| 2467 | { |
| 2468 | profilingState[PRIORITY] = NoPriority; |