2013-12-03 22:47:47 +04:00
|
|
|
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*-
|
|
|
|
* vim: set ts=8 sts=4 et sw=4 tw=99:
|
|
|
|
* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
|
|
|
|
#ifndef js_SliceBudget_h
|
|
|
|
#define js_SliceBudget_h
|
|
|
|
|
2016-10-07 02:44:58 +03:00
|
|
|
#include "mozilla/Atomics.h"
|
|
|
|
|
2013-12-04 03:53:40 +04:00
|
|
|
#include <stdint.h>
|
|
|
|
|
2013-12-03 22:47:47 +04:00
|
|
|
namespace js {
|
|
|
|
|
2014-10-22 16:13:00 +04:00
|
|
|
struct JS_PUBLIC_API(TimeBudget)
|
|
|
|
{
|
|
|
|
int64_t budget;
|
|
|
|
|
|
|
|
explicit TimeBudget(int64_t milliseconds) { budget = milliseconds; }
|
|
|
|
};
|
|
|
|
|
|
|
|
struct JS_PUBLIC_API(WorkBudget)
|
|
|
|
{
|
|
|
|
int64_t budget;
|
|
|
|
|
|
|
|
explicit WorkBudget(int64_t work) { budget = work; }
|
|
|
|
};
|
|
|
|
|
2013-12-03 22:47:47 +04:00
|
|
|
/*
|
2014-10-22 16:13:00 +04:00
|
|
|
* This class records how much work has been done in a given collection slice,
|
|
|
|
* so that we can return before pausing for too long. Some slices are allowed
|
|
|
|
* to run for unlimited time, and others are bounded. To reduce the number of
|
|
|
|
* gettimeofday calls, we only check the time every 1000 operations.
|
2013-12-03 22:47:47 +04:00
|
|
|
*/
|
2015-08-11 18:42:24 +03:00
|
|
|
class JS_PUBLIC_API(SliceBudget)
|
2013-12-04 03:53:40 +04:00
|
|
|
{
|
2015-08-11 18:42:24 +03:00
|
|
|
static const int64_t unlimitedDeadline = INT64_MAX;
|
|
|
|
static const intptr_t unlimitedStartCounter = INTPTR_MAX;
|
|
|
|
|
2016-10-07 02:44:58 +03:00
|
|
|
bool checkOverBudget(JSContext* maybeCx);
|
2015-08-11 18:42:24 +03:00
|
|
|
|
|
|
|
SliceBudget();
|
|
|
|
|
|
|
|
public:
|
2015-04-10 23:58:06 +03:00
|
|
|
// Memory of the originally requested budget. If isUnlimited, neither of
|
|
|
|
// these are in use. If deadline==0, then workBudget is valid. Otherwise
|
|
|
|
// timeBudget is valid.
|
|
|
|
TimeBudget timeBudget;
|
|
|
|
WorkBudget workBudget;
|
|
|
|
|
2013-12-03 22:47:47 +04:00
|
|
|
int64_t deadline; /* in microseconds */
|
2016-10-07 02:44:58 +03:00
|
|
|
mozilla::Atomic<intptr_t, mozilla::Relaxed> counter;
|
2013-12-03 22:47:47 +04:00
|
|
|
|
|
|
|
static const intptr_t CounterReset = 1000;
|
|
|
|
|
2015-08-11 18:42:23 +03:00
|
|
|
static const int64_t UnlimitedTimeBudget = -1;
|
|
|
|
static const int64_t UnlimitedWorkBudget = -1;
|
2013-12-03 22:47:47 +04:00
|
|
|
|
2014-10-22 16:13:00 +04:00
|
|
|
/* Use to create an unlimited budget. */
|
2015-08-11 18:42:24 +03:00
|
|
|
static SliceBudget unlimited() { return SliceBudget(); }
|
2013-12-03 22:47:47 +04:00
|
|
|
|
2014-10-22 16:13:00 +04:00
|
|
|
/* Instantiate as SliceBudget(TimeBudget(n)). */
|
|
|
|
explicit SliceBudget(TimeBudget time);
|
|
|
|
|
|
|
|
/* Instantiate as SliceBudget(WorkBudget(n)). */
|
|
|
|
explicit SliceBudget(WorkBudget work);
|
2013-12-03 22:47:47 +04:00
|
|
|
|
2016-10-07 02:44:58 +03:00
|
|
|
// Need an explicit copy constructor because Atomic fails to provide one.
|
|
|
|
SliceBudget(const SliceBudget& other)
|
|
|
|
: timeBudget(other.timeBudget),
|
|
|
|
workBudget(other.workBudget),
|
|
|
|
deadline(other.deadline),
|
|
|
|
counter(other.counter)
|
|
|
|
{}
|
|
|
|
|
|
|
|
// Need an explicit operator= because Atomic fails to provide one.
|
|
|
|
SliceBudget& operator=(const SliceBudget& other) {
|
|
|
|
timeBudget = other.timeBudget;
|
|
|
|
workBudget = other.workBudget;
|
|
|
|
deadline = other.deadline;
|
|
|
|
counter = intptr_t(other.counter);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
2014-11-04 09:35:00 +03:00
|
|
|
void makeUnlimited() {
|
2014-05-14 20:45:49 +04:00
|
|
|
deadline = unlimitedDeadline;
|
|
|
|
counter = unlimitedStartCounter;
|
2013-12-03 22:47:47 +04:00
|
|
|
}
|
|
|
|
|
2016-10-07 02:44:58 +03:00
|
|
|
// Request that checkOverBudget be called the next time isOverBudget is
|
|
|
|
// called.
|
|
|
|
void requestFullCheck() {
|
|
|
|
counter = 0;
|
|
|
|
}
|
|
|
|
|
2013-12-03 22:47:47 +04:00
|
|
|
void step(intptr_t amt = 1) {
|
|
|
|
counter -= amt;
|
|
|
|
}
|
|
|
|
|
2016-10-07 02:44:58 +03:00
|
|
|
// Only need to pass maybeCx if the GC interrupt callback should be checked
|
|
|
|
// (and possibly invoked).
|
|
|
|
bool isOverBudget(JSContext* maybeCx = nullptr) {
|
2014-11-04 09:34:00 +03:00
|
|
|
if (counter > 0)
|
2013-12-03 22:47:47 +04:00
|
|
|
return false;
|
2016-10-07 02:44:58 +03:00
|
|
|
return checkOverBudget(maybeCx);
|
2013-12-03 22:47:47 +04:00
|
|
|
}
|
2014-05-14 20:45:49 +04:00
|
|
|
|
2015-06-04 19:30:44 +03:00
|
|
|
bool isWorkBudget() const { return deadline == 0; }
|
|
|
|
bool isTimeBudget() const { return deadline > 0 && !isUnlimited(); }
|
|
|
|
bool isUnlimited() const { return deadline == unlimitedDeadline; }
|
2014-05-14 20:45:49 +04:00
|
|
|
|
2015-04-10 23:58:06 +03:00
|
|
|
int describe(char* buffer, size_t maxlen) const;
|
2013-12-03 22:47:47 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
} // namespace js
|
|
|
|
|
|
|
|
#endif /* js_SliceBudget_h */
|