2014-03-03 09:12:17 +04:00
|
|
|
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
|
|
/* vim: set ts=8 sts=2 et sw=2 tw=80: */
|
|
|
|
/* 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 mozilla_ChaosMode_h
|
|
|
|
#define mozilla_ChaosMode_h
|
|
|
|
|
2015-06-04 20:44:55 +03:00
|
|
|
#include "mozilla/Atomics.h"
|
2014-11-14 21:12:51 +03:00
|
|
|
#include "mozilla/EnumSet.h"
|
|
|
|
|
2014-03-03 09:12:17 +04:00
|
|
|
#include <stdint.h>
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
|
|
|
namespace mozilla {
|
|
|
|
|
2015-07-15 00:29:23 +03:00
|
|
|
enum ChaosFeature {
|
|
|
|
None = 0x0,
|
|
|
|
// Altering thread scheduling.
|
|
|
|
ThreadScheduling = 0x1,
|
|
|
|
// Altering network request scheduling.
|
|
|
|
NetworkScheduling = 0x2,
|
|
|
|
// Altering timer scheduling.
|
|
|
|
TimerScheduling = 0x4,
|
|
|
|
// Read and write less-than-requested amounts.
|
|
|
|
IOAmounts = 0x8,
|
|
|
|
// Iterate over hash tables in random order.
|
|
|
|
HashTableIteration = 0x10,
|
2016-04-02 21:53:12 +03:00
|
|
|
// Randomly refuse to use cached version of image (when allowed by spec).
|
|
|
|
ImageCache = 0x20,
|
2018-09-19 19:02:09 +03:00
|
|
|
// Delay dispatching threads to encourage dispatched tasks to run.
|
|
|
|
TaskDispatching = 0x40,
|
|
|
|
// Delay task running to encourage sending threads to run.
|
|
|
|
TaskRunning = 0x80,
|
2015-07-15 00:29:23 +03:00
|
|
|
Any = 0xffffffff,
|
|
|
|
};
|
|
|
|
|
2015-06-04 20:44:55 +03:00
|
|
|
namespace detail {
|
2018-07-21 17:25:36 +03:00
|
|
|
extern MFBT_DATA Atomic<uint32_t, SequentiallyConsistent,
|
|
|
|
recordreplay::Behavior::DontPreserve>
|
|
|
|
gChaosModeCounter;
|
2015-07-15 00:29:23 +03:00
|
|
|
extern MFBT_DATA ChaosFeature gChaosFeatures;
|
2015-07-13 18:25:42 +03:00
|
|
|
} // namespace detail
|
2015-06-04 20:44:55 +03:00
|
|
|
|
2014-03-03 09:12:17 +04:00
|
|
|
/**
|
|
|
|
* When "chaos mode" is activated, code that makes implicitly nondeterministic
|
|
|
|
* choices is encouraged to make random and extreme choices, to test more
|
|
|
|
* code paths and uncover bugs.
|
|
|
|
*/
|
|
|
|
class ChaosMode {
|
2014-05-30 09:40:33 +04:00
|
|
|
public:
|
2015-07-15 00:29:23 +03:00
|
|
|
static void SetChaosFeature(ChaosFeature aChaosFeature) {
|
|
|
|
detail::gChaosFeatures = aChaosFeature;
|
|
|
|
}
|
2014-11-14 21:12:51 +03:00
|
|
|
|
|
|
|
static bool isActive(ChaosFeature aFeature) {
|
2015-06-04 20:44:55 +03:00
|
|
|
if (detail::gChaosModeCounter > 0) {
|
|
|
|
return true;
|
|
|
|
}
|
2015-07-15 00:29:23 +03:00
|
|
|
return detail::gChaosFeatures & aFeature;
|
2014-05-30 09:40:33 +04:00
|
|
|
}
|
2014-03-03 09:12:17 +04:00
|
|
|
|
2015-06-04 20:44:55 +03:00
|
|
|
/**
|
|
|
|
* Increase the chaos mode activation level. An equivalent number of
|
|
|
|
* calls to leaveChaosMode must be made in order to restore the original
|
|
|
|
* chaos mode state. If the activation level is nonzero all chaos mode
|
|
|
|
* features are activated.
|
|
|
|
*/
|
|
|
|
static void enterChaosMode() { detail::gChaosModeCounter++; }
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Decrease the chaos mode activation level. See enterChaosMode().
|
|
|
|
*/
|
|
|
|
static void leaveChaosMode() {
|
|
|
|
MOZ_ASSERT(detail::gChaosModeCounter > 0);
|
|
|
|
detail::gChaosModeCounter--;
|
|
|
|
}
|
|
|
|
|
2014-05-30 09:40:33 +04:00
|
|
|
/**
|
|
|
|
* Returns a somewhat (but not uniformly) random uint32_t < aBound.
|
|
|
|
* Not to be used for anything except ChaosMode, since it's not very random.
|
|
|
|
*/
|
|
|
|
static uint32_t randomUint32LessThan(uint32_t aBound) {
|
2015-06-12 04:23:26 +03:00
|
|
|
MOZ_ASSERT(aBound != 0);
|
2014-05-30 09:40:33 +04:00
|
|
|
return uint32_t(rand()) % aBound;
|
|
|
|
}
|
2014-03-03 09:12:17 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
} /* namespace mozilla */
|
|
|
|
|
|
|
|
#endif /* mozilla_ChaosMode_h */
|