(task, ms)
| 3250 | } |
| 3251 | } |
| 3252 | function markTaskRun(task, ms) { |
| 3253 | { |
| 3254 | runIdCounter++; |
| 3255 | profilingState[PRIORITY] = task.priorityLevel; |
| 3256 | profilingState[CURRENT_TASK_ID] = task.id; |
| 3257 | profilingState[CURRENT_RUN_ID] = runIdCounter; |
| 3258 | |
| 3259 | if (eventLog !== null) { |
| 3260 | logEvent([TaskRunEvent, ms * 1000, task.id, runIdCounter]); |
| 3261 | } |
| 3262 | } |
| 3263 | } |
| 3264 | function markTaskYield(task, ms) { |
| 3265 | { |
| 3266 | profilingState[PRIORITY] = NoPriority; |