Mirrors
/
noscript
mirror of https://github.com/hackademix/noscript.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Timing cap inferenced by call numbers when using low-resolution timers.

This commit is contained in:
hackademix 2019-05-28 01:32:09 +02:00
parent 4d4fa3c6ed
commit cd44c749f4
1 changed files with 13 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/lib/Timing.js
View File

@ -1,11 +1,12 @@
class Timing { class Timing {
constructor(workSlot = 4, longTime = 20000, pauseTime = 20) { constructor(workSlot = 10, longTime = 20000, pauseTime = 20) {
this.workSlot = workSlot; this.workSlot = workSlot;
this.longTime = longTime; this.longTime = longTime;
this.pauseTime = pauseTime; this.pauseTime = pauseTime;
this.interrupted = false; this.interrupted = false;
this.fatalTimeout = false; this.fatalTimeout = false;
this.maxCalls = 1000;
this.reset(); this.reset();
} }
@ -16,12 +17,20 @@ class Timing {
async pause() { async pause() {
if (this.interrupted) throw new TimingException("Interrupted"); if (this.interrupted) throw new TimingException("Interrupted");
let now = Date.now(); let now = Date.now();
this.calls++;
let sinceLastCall = now - this.lastCall;
if (sinceLastCall > this.workSlot && this.calls > 1000) {
// low resolution (100ms) timer? Let's cap approximating by calls number
this.maxCalls = this.calls / sinceLastCall * this.workSlot;
}
this.lastCall = now;
this.elapsed = now - this.timeOrigin; this.elapsed = now - this.timeOrigin;
if (now - this.lastPause > this.workSlot) { if (now - this.lastPause > this.workSlot || this.calls > this.maxCalls) {
this.tooLong = this.elapsed >= this.longTime; this.tooLong = this.elapsed >= this.longTime;
if (this.tooLong && this.fatalTimeout) { if (this.tooLong && this.fatalTimeout) {
throw new TimingException(`Exceeded ${this.longTime}ms timeout`); throw new TimingException(`Exceeded ${this.longTime}ms timeout`);
} }
this.calls = 0;
await Timing.sleep(this.pauseTime); await Timing.sleep(this.pauseTime);
this.lastPause = Date.now(); this.lastPause = Date.now();
return true; return true;
@ -31,7 +40,8 @@ class Timing {
reset() { reset() {
this.elapsed = 0; this.elapsed = 0;
this.timeOrigin = this.lastPause = Date.now(); this.calls = 0;
this.timeOrigin = this.lastPause = this.lastCall = Date.now();
this.tooLong = false; this.tooLong = false;
} }
} }