2019-01-21 14:03:30 -05:00
|
|
|
// Copyright 2018-2019 the Deno authors. All rights reserved. MIT license.
|
2018-07-06 11:20:35 -04:00
|
|
|
import { assert } from "./util";
|
2019-03-30 14:45:36 -04:00
|
|
|
import * as msg from "gen/cli/msg_generated";
|
2018-10-17 13:04:28 -04:00
|
|
|
import * as flatbuffers from "./flatbuffers";
|
2019-03-10 15:37:05 -04:00
|
|
|
import { sendAsync, sendSync } from "./dispatch";
|
2019-06-11 03:50:36 -04:00
|
|
|
import { window } from "./window";
|
2018-07-06 11:20:35 -04:00
|
|
|
|
|
|
|
interface Timer {
|
|
|
|
id: number;
|
2018-10-02 20:47:40 -04:00
|
|
|
callback: () => void;
|
|
|
|
delay: number;
|
|
|
|
due: number;
|
|
|
|
repeat: boolean;
|
|
|
|
scheduled: boolean;
|
|
|
|
}
|
|
|
|
|
|
|
|
// We'll subtract EPOCH every time we retrieve the time with Date.now(). This
|
|
|
|
// ensures that absolute time values stay below UINT32_MAX - 2, which is the
|
|
|
|
// maximum object key that EcmaScript considers "numerical". After running for
|
|
|
|
// about a month, this is no longer true, and Deno explodes.
|
|
|
|
// TODO(piscisaureus): fix that ^.
|
|
|
|
const EPOCH = Date.now();
|
2018-10-24 11:54:34 -04:00
|
|
|
const APOCALYPSE = 2 ** 32 - 2;
|
2018-10-02 20:47:40 -04:00
|
|
|
|
2019-01-26 16:10:38 -05:00
|
|
|
// Timeout values > TIMEOUT_MAX are set to 1.
|
|
|
|
const TIMEOUT_MAX = 2 ** 31 - 1;
|
|
|
|
|
2018-10-02 20:47:40 -04:00
|
|
|
let globalTimeoutDue: number | null = null;
|
|
|
|
|
|
|
|
let nextTimerId = 1;
|
|
|
|
const idMap = new Map<number, Timer>();
|
|
|
|
const dueMap: { [due: number]: Timer[] } = Object.create(null);
|
|
|
|
|
2019-03-09 12:30:38 -05:00
|
|
|
function getTime(): number {
|
2018-10-02 20:47:40 -04:00
|
|
|
// TODO: use a monotonic clock.
|
|
|
|
const now = Date.now() - EPOCH;
|
2018-10-24 11:54:34 -04:00
|
|
|
assert(now >= 0 && now < APOCALYPSE);
|
2018-10-02 20:47:40 -04:00
|
|
|
return now;
|
2018-07-06 11:20:35 -04:00
|
|
|
}
|
|
|
|
|
2019-03-10 15:37:05 -04:00
|
|
|
function clearGlobalTimeout(): void {
|
|
|
|
const builder = flatbuffers.createBuilder();
|
2019-04-07 20:51:43 -04:00
|
|
|
const inner = msg.GlobalTimerStop.createGlobalTimerStop(builder);
|
2019-03-10 15:37:05 -04:00
|
|
|
globalTimeoutDue = null;
|
|
|
|
let res = sendSync(builder, msg.Any.GlobalTimerStop, inner);
|
|
|
|
assert(res == null);
|
|
|
|
}
|
|
|
|
|
|
|
|
async function setGlobalTimeout(due: number, now: number): Promise<void> {
|
2018-10-02 20:47:40 -04:00
|
|
|
// Since JS and Rust don't use the same clock, pass the time to rust as a
|
|
|
|
// relative time value. On the Rust side we'll turn that into an absolute
|
|
|
|
// value again.
|
2019-03-10 15:37:05 -04:00
|
|
|
let timeout = due - now;
|
|
|
|
assert(timeout >= 0);
|
2019-01-26 16:10:38 -05:00
|
|
|
|
2018-10-02 20:47:40 -04:00
|
|
|
// Send message to the backend.
|
2018-10-17 13:04:28 -04:00
|
|
|
const builder = flatbuffers.createBuilder();
|
2019-03-10 15:37:05 -04:00
|
|
|
msg.GlobalTimer.startGlobalTimer(builder);
|
|
|
|
msg.GlobalTimer.addTimeout(builder, timeout);
|
|
|
|
const inner = msg.GlobalTimer.endGlobalTimer(builder);
|
2018-10-02 20:47:40 -04:00
|
|
|
globalTimeoutDue = due;
|
2019-03-10 15:37:05 -04:00
|
|
|
await sendAsync(builder, msg.Any.GlobalTimer, inner);
|
|
|
|
// eslint-disable-next-line @typescript-eslint/no-use-before-define
|
|
|
|
fireTimers();
|
|
|
|
}
|
|
|
|
|
|
|
|
function setOrClearGlobalTimeout(due: number | null, now: number): void {
|
|
|
|
if (due == null) {
|
|
|
|
clearGlobalTimeout();
|
|
|
|
} else {
|
|
|
|
setGlobalTimeout(due, now);
|
|
|
|
}
|
2018-09-24 22:46:36 -04:00
|
|
|
}
|
|
|
|
|
2019-03-09 12:30:38 -05:00
|
|
|
function schedule(timer: Timer, now: number): void {
|
2018-10-02 20:47:40 -04:00
|
|
|
assert(!timer.scheduled);
|
|
|
|
assert(now <= timer.due);
|
|
|
|
// Find or create the list of timers that will fire at point-in-time `due`.
|
|
|
|
let list = dueMap[timer.due];
|
|
|
|
if (list === undefined) {
|
|
|
|
list = dueMap[timer.due] = [];
|
|
|
|
}
|
|
|
|
// Append the newly scheduled timer to the list and mark it as scheduled.
|
|
|
|
list.push(timer);
|
|
|
|
timer.scheduled = true;
|
|
|
|
// If the new timer is scheduled to fire before any timer that existed before,
|
|
|
|
// update the global timeout to reflect this.
|
|
|
|
if (globalTimeoutDue === null || globalTimeoutDue > timer.due) {
|
2019-03-10 15:37:05 -04:00
|
|
|
setOrClearGlobalTimeout(timer.due, now);
|
2018-10-02 20:47:40 -04:00
|
|
|
}
|
|
|
|
}
|
2018-09-05 22:13:36 -04:00
|
|
|
|
2019-03-09 12:30:38 -05:00
|
|
|
function unschedule(timer: Timer): void {
|
2018-10-02 20:47:40 -04:00
|
|
|
if (!timer.scheduled) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
// Find the list of timers that will fire at point-in-time `due`.
|
|
|
|
const list = dueMap[timer.due];
|
|
|
|
if (list.length === 1) {
|
|
|
|
// Time timer is the only one in the list. Remove the entire list.
|
|
|
|
assert(list[0] === timer);
|
|
|
|
delete dueMap[timer.due];
|
|
|
|
// If the unscheduled timer was 'next up', find when the next timer that
|
|
|
|
// still exists is due, and update the global alarm accordingly.
|
|
|
|
if (timer.due === globalTimeoutDue) {
|
|
|
|
let nextTimerDue: number | null = null;
|
|
|
|
for (const key in dueMap) {
|
|
|
|
nextTimerDue = Number(key);
|
|
|
|
break;
|
2018-09-05 22:13:36 -04:00
|
|
|
}
|
2019-03-10 15:37:05 -04:00
|
|
|
setOrClearGlobalTimeout(nextTimerDue, getTime());
|
2018-09-05 22:13:36 -04:00
|
|
|
}
|
2018-10-02 20:47:40 -04:00
|
|
|
} else {
|
|
|
|
// Multiple timers that are due at the same point in time.
|
|
|
|
// Remove this timer from the list.
|
|
|
|
const index = list.indexOf(timer);
|
2018-10-08 03:46:49 -04:00
|
|
|
assert(index > -1);
|
2018-10-02 20:47:40 -04:00
|
|
|
list.splice(index, 1);
|
|
|
|
}
|
2018-07-06 11:20:35 -04:00
|
|
|
}
|
|
|
|
|
2019-03-09 12:30:38 -05:00
|
|
|
function fire(timer: Timer): void {
|
2018-10-02 20:47:40 -04:00
|
|
|
// If the timer isn't found in the ID map, that means it has been cancelled
|
|
|
|
// between the timer firing and the promise callback (this function).
|
|
|
|
if (!idMap.has(timer.id)) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
// Reschedule the timer if it is a repeating one, otherwise drop it.
|
|
|
|
if (!timer.repeat) {
|
|
|
|
// One-shot timer: remove the timer from this id-to-timer map.
|
|
|
|
idMap.delete(timer.id);
|
|
|
|
} else {
|
|
|
|
// Interval timer: compute when timer was supposed to fire next.
|
|
|
|
// However make sure to never schedule the next interval in the past.
|
|
|
|
const now = getTime();
|
|
|
|
timer.due = Math.max(now, timer.due + timer.delay);
|
|
|
|
schedule(timer, now);
|
|
|
|
}
|
|
|
|
// Call the user callback. Intermediate assignment is to avoid leaking `this`
|
|
|
|
// to it, while also keeping the stack trace neat when it shows up in there.
|
|
|
|
const callback = timer.callback;
|
|
|
|
callback();
|
|
|
|
}
|
|
|
|
|
2019-03-09 12:30:38 -05:00
|
|
|
function fireTimers(): void {
|
2018-10-02 20:47:40 -04:00
|
|
|
const now = getTime();
|
|
|
|
// Bail out if we're not expecting the global timer to fire (yet).
|
|
|
|
if (globalTimeoutDue === null || now < globalTimeoutDue) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
// After firing the timers that are due now, this will hold the due time of
|
|
|
|
// the first timer that hasn't fired yet.
|
|
|
|
let nextTimerDue: number | null = null;
|
|
|
|
// Walk over the keys of the 'due' map. Since dueMap is actually a regular
|
|
|
|
// object and its keys are numerical and smaller than UINT32_MAX - 2,
|
|
|
|
// keys are iterated in ascending order.
|
|
|
|
for (const key in dueMap) {
|
|
|
|
// Convert the object key (a string) to a number.
|
|
|
|
const due = Number(key);
|
|
|
|
// Break out of the loop if the next timer isn't due to fire yet.
|
|
|
|
if (Number(due) > now) {
|
|
|
|
nextTimerDue = due;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
// Get the list of timers that have this due time, then drop it.
|
|
|
|
const list = dueMap[key];
|
|
|
|
delete dueMap[key];
|
|
|
|
// Fire all the timers in the list.
|
|
|
|
for (const timer of list) {
|
|
|
|
// With the list dropped, the timer is no longer scheduled.
|
|
|
|
timer.scheduled = false;
|
|
|
|
// Place the callback on the microtask queue.
|
|
|
|
Promise.resolve(timer).then(fire);
|
|
|
|
}
|
|
|
|
}
|
2019-03-10 15:37:05 -04:00
|
|
|
|
2018-10-02 20:47:40 -04:00
|
|
|
// Update the global alarm to go off when the first-up timer that hasn't fired
|
|
|
|
// yet is due.
|
2019-03-10 15:37:05 -04:00
|
|
|
setOrClearGlobalTimeout(nextTimerDue, now);
|
2018-10-02 20:47:40 -04:00
|
|
|
}
|
|
|
|
|
2019-03-09 12:30:38 -05:00
|
|
|
export type Args = unknown[];
|
2018-11-29 22:25:07 -05:00
|
|
|
|
2019-06-13 11:08:27 -04:00
|
|
|
function checkThis(thisArg: unknown): void {
|
|
|
|
if (thisArg !== null && thisArg !== undefined && thisArg !== window) {
|
|
|
|
throw new TypeError("Illegal invocation");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-11-29 22:25:07 -05:00
|
|
|
function setTimer(
|
2018-10-02 20:47:40 -04:00
|
|
|
cb: (...args: Args) => void,
|
2018-07-06 11:20:35 -04:00
|
|
|
delay: number,
|
2018-10-02 20:47:40 -04:00
|
|
|
args: Args,
|
|
|
|
repeat: boolean
|
2018-07-06 11:20:35 -04:00
|
|
|
): number {
|
2019-06-11 03:50:36 -04:00
|
|
|
// Bind `args` to the callback and bind `this` to window(global).
|
|
|
|
const callback: () => void = cb.bind(window, ...args);
|
2018-10-24 11:54:34 -04:00
|
|
|
// In the browser, the delay value must be coercible to an integer between 0
|
2018-10-02 20:47:40 -04:00
|
|
|
// and INT32_MAX. Any other value will cause the timer to fire immediately.
|
|
|
|
// We emulate this behavior.
|
|
|
|
const now = getTime();
|
2019-01-26 16:10:38 -05:00
|
|
|
if (delay > TIMEOUT_MAX) {
|
|
|
|
console.warn(
|
|
|
|
`${delay} does not fit into` +
|
|
|
|
" a 32-bit signed integer." +
|
|
|
|
"\nTimeout duration was set to 1."
|
|
|
|
);
|
|
|
|
delay = 1;
|
|
|
|
}
|
2018-10-02 20:47:40 -04:00
|
|
|
delay = Math.max(0, delay | 0);
|
2019-01-26 16:10:38 -05:00
|
|
|
|
2018-10-02 20:47:40 -04:00
|
|
|
// Create a new, unscheduled timer object.
|
|
|
|
const timer = {
|
|
|
|
id: nextTimerId++,
|
|
|
|
callback,
|
|
|
|
args,
|
|
|
|
delay,
|
|
|
|
due: now + delay,
|
|
|
|
repeat,
|
|
|
|
scheduled: false
|
|
|
|
};
|
|
|
|
// Register the timer's existence in the id-to-timer map.
|
|
|
|
idMap.set(timer.id, timer);
|
|
|
|
// Schedule the timer in the due table.
|
|
|
|
schedule(timer, now);
|
|
|
|
return timer.id;
|
2018-07-06 11:20:35 -04:00
|
|
|
}
|
|
|
|
|
2018-10-14 16:29:50 -04:00
|
|
|
/** Sets a timer which executes a function once after the timer expires. */
|
2018-11-29 22:25:07 -05:00
|
|
|
export function setTimeout(
|
2018-10-02 20:47:40 -04:00
|
|
|
cb: (...args: Args) => void,
|
2019-07-18 06:09:32 -04:00
|
|
|
delay: number = 0,
|
2018-10-02 20:47:40 -04:00
|
|
|
...args: Args
|
2018-07-06 11:20:35 -04:00
|
|
|
): number {
|
2019-06-13 11:08:27 -04:00
|
|
|
// @ts-ignore
|
|
|
|
checkThis(this);
|
2018-10-02 20:47:40 -04:00
|
|
|
return setTimer(cb, delay, args, false);
|
2018-07-06 11:20:35 -04:00
|
|
|
}
|
|
|
|
|
2018-10-14 16:29:50 -04:00
|
|
|
/** Repeatedly calls a function , with a fixed time delay between each call. */
|
2018-11-29 22:25:07 -05:00
|
|
|
export function setInterval(
|
2018-10-02 20:47:40 -04:00
|
|
|
cb: (...args: Args) => void,
|
2019-07-18 06:09:32 -04:00
|
|
|
delay: number = 0,
|
2018-10-02 20:47:40 -04:00
|
|
|
...args: Args
|
|
|
|
): number {
|
2019-06-13 11:08:27 -04:00
|
|
|
// @ts-ignore
|
|
|
|
checkThis(this);
|
2018-10-02 20:47:40 -04:00
|
|
|
return setTimer(cb, delay, args, true);
|
|
|
|
}
|
|
|
|
|
2019-03-10 15:37:05 -04:00
|
|
|
/** Clears a previously set timer by id. AKA clearTimeout and clearInterval. */
|
2019-06-18 09:24:20 -04:00
|
|
|
function clearTimer(id: number): void {
|
2019-06-17 13:42:20 -04:00
|
|
|
id = Number(id);
|
2018-10-02 20:47:40 -04:00
|
|
|
const timer = idMap.get(id);
|
|
|
|
if (timer === undefined) {
|
|
|
|
// Timer doesn't exist any more or never existed. This is not an error.
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
// Unschedule the timer if it is currently scheduled, and forget about it.
|
|
|
|
unschedule(timer);
|
|
|
|
idMap.delete(timer.id);
|
2018-07-06 11:20:35 -04:00
|
|
|
}
|
2019-06-18 09:24:20 -04:00
|
|
|
|
2019-07-18 06:09:32 -04:00
|
|
|
export function clearTimeout(id: number = 0): void {
|
|
|
|
if (id === 0) {
|
|
|
|
return;
|
|
|
|
}
|
2019-06-18 09:24:20 -04:00
|
|
|
clearTimer(id);
|
|
|
|
}
|
|
|
|
|
2019-07-18 06:09:32 -04:00
|
|
|
export function clearInterval(id: number = 0): void {
|
|
|
|
if (id === 0) {
|
|
|
|
return;
|
|
|
|
}
|
2019-06-18 09:24:20 -04:00
|
|
|
clearTimer(id);
|
|
|
|
}
|