f6e97c90fb
The thread local key for assert scopes can be lazily initialized and should be independent of the Isolate initialization. Also cleanup the assert-scope.{cc,h} implementation while I was at it. R=dcarney@chromium.org Review URL: https://codereview.chromium.org/609253002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24275 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
185 lines
5.4 KiB
C++
185 lines
5.4 KiB
C++
// Copyright 2013 the V8 project authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
// found in the LICENSE file.
|
|
|
|
#ifndef V8_ASSERT_SCOPE_H_
|
|
#define V8_ASSERT_SCOPE_H_
|
|
|
|
#include "include/v8stdint.h"
|
|
#include "src/base/macros.h"
|
|
|
|
namespace v8 {
|
|
namespace internal {
|
|
|
|
// Forward declarations.
|
|
class Isolate;
|
|
class PerThreadAssertData;
|
|
|
|
|
|
enum PerThreadAssertType {
|
|
HEAP_ALLOCATION_ASSERT,
|
|
HANDLE_ALLOCATION_ASSERT,
|
|
HANDLE_DEREFERENCE_ASSERT,
|
|
DEFERRED_HANDLE_DEREFERENCE_ASSERT,
|
|
CODE_DEPENDENCY_CHANGE_ASSERT,
|
|
LAST_PER_THREAD_ASSERT_TYPE
|
|
};
|
|
|
|
|
|
enum PerIsolateAssertType {
|
|
JAVASCRIPT_EXECUTION_ASSERT,
|
|
JAVASCRIPT_EXECUTION_THROWS,
|
|
ALLOCATION_FAILURE_ASSERT,
|
|
DEOPTIMIZATION_ASSERT,
|
|
COMPILATION_ASSERT
|
|
};
|
|
|
|
|
|
template <PerThreadAssertType kType, bool kAllow>
|
|
class PerThreadAssertScope {
|
|
public:
|
|
PerThreadAssertScope();
|
|
~PerThreadAssertScope();
|
|
|
|
static bool IsAllowed();
|
|
|
|
private:
|
|
PerThreadAssertData* data_;
|
|
bool old_state_;
|
|
|
|
DISALLOW_COPY_AND_ASSIGN(PerThreadAssertScope);
|
|
};
|
|
|
|
|
|
template <PerIsolateAssertType type, bool allow>
|
|
class PerIsolateAssertScope {
|
|
public:
|
|
explicit PerIsolateAssertScope(Isolate* isolate);
|
|
~PerIsolateAssertScope();
|
|
|
|
static bool IsAllowed(Isolate* isolate);
|
|
|
|
private:
|
|
class DataBit;
|
|
|
|
Isolate* isolate_;
|
|
uint32_t old_data_;
|
|
|
|
DISALLOW_COPY_AND_ASSIGN(PerIsolateAssertScope);
|
|
};
|
|
|
|
|
|
template <PerThreadAssertType type, bool allow>
|
|
#ifdef DEBUG
|
|
class PerThreadAssertScopeDebugOnly : public
|
|
PerThreadAssertScope<type, allow> {
|
|
#else
|
|
class PerThreadAssertScopeDebugOnly {
|
|
public:
|
|
PerThreadAssertScopeDebugOnly() { }
|
|
#endif
|
|
};
|
|
|
|
|
|
template <PerIsolateAssertType type, bool allow>
|
|
#ifdef DEBUG
|
|
class PerIsolateAssertScopeDebugOnly : public
|
|
PerIsolateAssertScope<type, allow> {
|
|
public:
|
|
explicit PerIsolateAssertScopeDebugOnly(Isolate* isolate)
|
|
: PerIsolateAssertScope<type, allow>(isolate) { }
|
|
#else
|
|
class PerIsolateAssertScopeDebugOnly {
|
|
public:
|
|
explicit PerIsolateAssertScopeDebugOnly(Isolate* isolate) { }
|
|
#endif
|
|
};
|
|
|
|
// Per-thread assert scopes.
|
|
|
|
// Scope to document where we do not expect handles to be created.
|
|
typedef PerThreadAssertScopeDebugOnly<HANDLE_ALLOCATION_ASSERT, false>
|
|
DisallowHandleAllocation;
|
|
|
|
// Scope to introduce an exception to DisallowHandleAllocation.
|
|
typedef PerThreadAssertScopeDebugOnly<HANDLE_ALLOCATION_ASSERT, true>
|
|
AllowHandleAllocation;
|
|
|
|
// Scope to document where we do not expect any allocation and GC.
|
|
typedef PerThreadAssertScopeDebugOnly<HEAP_ALLOCATION_ASSERT, false>
|
|
DisallowHeapAllocation;
|
|
|
|
// Scope to introduce an exception to DisallowHeapAllocation.
|
|
typedef PerThreadAssertScopeDebugOnly<HEAP_ALLOCATION_ASSERT, true>
|
|
AllowHeapAllocation;
|
|
|
|
// Scope to document where we do not expect any handle dereferences.
|
|
typedef PerThreadAssertScopeDebugOnly<HANDLE_DEREFERENCE_ASSERT, false>
|
|
DisallowHandleDereference;
|
|
|
|
// Scope to introduce an exception to DisallowHandleDereference.
|
|
typedef PerThreadAssertScopeDebugOnly<HANDLE_DEREFERENCE_ASSERT, true>
|
|
AllowHandleDereference;
|
|
|
|
// Scope to document where we do not expect deferred handles to be dereferenced.
|
|
typedef PerThreadAssertScopeDebugOnly<DEFERRED_HANDLE_DEREFERENCE_ASSERT, false>
|
|
DisallowDeferredHandleDereference;
|
|
|
|
// Scope to introduce an exception to DisallowDeferredHandleDereference.
|
|
typedef PerThreadAssertScopeDebugOnly<DEFERRED_HANDLE_DEREFERENCE_ASSERT, true>
|
|
AllowDeferredHandleDereference;
|
|
|
|
// Scope to document where we do not expect deferred handles to be dereferenced.
|
|
typedef PerThreadAssertScopeDebugOnly<CODE_DEPENDENCY_CHANGE_ASSERT, false>
|
|
DisallowCodeDependencyChange;
|
|
|
|
// Scope to introduce an exception to DisallowDeferredHandleDereference.
|
|
typedef PerThreadAssertScopeDebugOnly<CODE_DEPENDENCY_CHANGE_ASSERT, true>
|
|
AllowCodeDependencyChange;
|
|
|
|
|
|
// Per-isolate assert scopes.
|
|
|
|
// Scope to document where we do not expect javascript execution.
|
|
typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_ASSERT, false>
|
|
DisallowJavascriptExecution;
|
|
|
|
// Scope to introduce an exception to DisallowJavascriptExecution.
|
|
typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_ASSERT, true>
|
|
AllowJavascriptExecution;
|
|
|
|
// Scope in which javascript execution leads to exception being thrown.
|
|
typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_THROWS, false>
|
|
ThrowOnJavascriptExecution;
|
|
|
|
// Scope to introduce an exception to ThrowOnJavascriptExecution.
|
|
typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_THROWS, true>
|
|
NoThrowOnJavascriptExecution;
|
|
|
|
// Scope to document where we do not expect an allocation failure.
|
|
typedef PerIsolateAssertScopeDebugOnly<ALLOCATION_FAILURE_ASSERT, false>
|
|
DisallowAllocationFailure;
|
|
|
|
// Scope to introduce an exception to DisallowAllocationFailure.
|
|
typedef PerIsolateAssertScopeDebugOnly<ALLOCATION_FAILURE_ASSERT, true>
|
|
AllowAllocationFailure;
|
|
|
|
// Scope to document where we do not expect deoptimization.
|
|
typedef PerIsolateAssertScopeDebugOnly<DEOPTIMIZATION_ASSERT, false>
|
|
DisallowDeoptimization;
|
|
|
|
// Scope to introduce an exception to DisallowDeoptimization.
|
|
typedef PerIsolateAssertScopeDebugOnly<DEOPTIMIZATION_ASSERT, true>
|
|
AllowDeoptimization;
|
|
|
|
// Scope to document where we do not expect deoptimization.
|
|
typedef PerIsolateAssertScopeDebugOnly<COMPILATION_ASSERT, false>
|
|
DisallowCompilation;
|
|
|
|
// Scope to introduce an exception to DisallowDeoptimization.
|
|
typedef PerIsolateAssertScopeDebugOnly<COMPILATION_ASSERT, true>
|
|
AllowCompilation;
|
|
} } // namespace v8::internal
|
|
|
|
#endif // V8_ASSERT_SCOPE_H_
|