v8/test/cctest/test-object-observe.cc
adamk 2f9c68cfb1 Pass --harmony-object-observe in tests that depend on it
This is in preparation for turning the flag off by default.

BUG=chromium:552100
LOG=n

Review URL: https://codereview.chromium.org/1511293002

Cr-Commit-Position: refs/heads/master@{#32729}
2015-12-09 20:34:16 +00:00

1078 lines
37 KiB
C++

// Copyright 2012 the V8 project authors. All rights reserved.
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
// * Redistributions of source code must retain the above copyright
// notice, this list of conditions and the following disclaimer.
// * Redistributions in binary form must reproduce the above
// copyright notice, this list of conditions and the following
// disclaimer in the documentation and/or other materials provided
// with the distribution.
// * Neither the name of Google Inc. nor the names of its
// contributors may be used to endorse or promote products derived
// from this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
#include "src/v8.h"
#include "test/cctest/cctest.h"
using namespace v8;
namespace i = v8::internal;
inline int32_t ToInt32(v8::Local<v8::Value> value) {
return value->Int32Value(v8::Isolate::GetCurrent()->GetCurrentContext())
.FromJust();
}
TEST(PerIsolateState) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
LocalContext context1(CcTest::isolate());
Local<Value> foo = v8_str("foo");
context1->SetSecurityToken(foo);
CompileRun(
"var count = 0;"
"var calls = 0;"
"var observer = function(records) { count = records.length; calls++ };"
"var obj = {};"
"Object.observe(obj, observer);");
Local<Value> observer = CompileRun("observer");
Local<Value> obj = CompileRun("obj");
Local<Value> notify_fun1 = CompileRun("(function() { obj.foo = 'bar'; })");
Local<Value> notify_fun2;
{
LocalContext context2(CcTest::isolate());
context2->SetSecurityToken(foo);
context2->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
obj)
.FromJust();
notify_fun2 = CompileRun(
"(function() { obj.foo = 'baz'; })");
}
Local<Value> notify_fun3;
{
LocalContext context3(CcTest::isolate());
context3->SetSecurityToken(foo);
context3->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
obj)
.FromJust();
notify_fun3 = CompileRun("(function() { obj.foo = 'bat'; })");
}
{
LocalContext context4(CcTest::isolate());
context4->SetSecurityToken(foo);
context4->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(),
v8_str("observer"), observer)
.FromJust();
context4->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("fun1"),
notify_fun1)
.FromJust();
context4->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("fun2"),
notify_fun2)
.FromJust();
context4->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("fun3"),
notify_fun3)
.FromJust();
CompileRun("fun1(); fun2(); fun3(); Object.deliverChangeRecords(observer)");
}
CHECK_EQ(1, ToInt32(CompileRun("calls")));
CHECK_EQ(3, ToInt32(CompileRun("count")));
}
TEST(EndOfMicrotaskDelivery) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
LocalContext context(CcTest::isolate());
CompileRun(
"var obj = {};"
"var count = 0;"
"var observer = function(records) { count = records.length };"
"Object.observe(obj, observer);"
"obj.foo = 'bar';");
CHECK_EQ(1, ToInt32(CompileRun("count")));
}
TEST(DeliveryOrdering) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
LocalContext context(CcTest::isolate());
CompileRun(
"var obj1 = {};"
"var obj2 = {};"
"var ordering = [];"
"function observer2() { ordering.push(2); };"
"function observer1() { ordering.push(1); };"
"function observer3() { ordering.push(3); };"
"Object.observe(obj1, observer1);"
"Object.observe(obj1, observer2);"
"Object.observe(obj1, observer3);"
"obj1.foo = 'bar';");
CHECK_EQ(3, ToInt32(CompileRun("ordering.length")));
CHECK_EQ(1, ToInt32(CompileRun("ordering[0]")));
CHECK_EQ(2, ToInt32(CompileRun("ordering[1]")));
CHECK_EQ(3, ToInt32(CompileRun("ordering[2]")));
CompileRun(
"ordering = [];"
"Object.observe(obj2, observer3);"
"Object.observe(obj2, observer2);"
"Object.observe(obj2, observer1);"
"obj2.foo = 'baz'");
CHECK_EQ(3, ToInt32(CompileRun("ordering.length")));
CHECK_EQ(1, ToInt32(CompileRun("ordering[0]")));
CHECK_EQ(2, ToInt32(CompileRun("ordering[1]")));
CHECK_EQ(3, ToInt32(CompileRun("ordering[2]")));
}
TEST(DeliveryCallbackThrows) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
LocalContext context(CcTest::isolate());
CompileRun(
"var obj = {};"
"var ordering = [];"
"function observer1() { ordering.push(1); };"
"function observer2() { ordering.push(2); };"
"function observer_throws() {"
" ordering.push(0);"
" throw new Error();"
" ordering.push(-1);"
"};"
"Object.observe(obj, observer_throws.bind());"
"Object.observe(obj, observer1);"
"Object.observe(obj, observer_throws.bind());"
"Object.observe(obj, observer2);"
"Object.observe(obj, observer_throws.bind());"
"obj.foo = 'bar';");
CHECK_EQ(5, ToInt32(CompileRun("ordering.length")));
CHECK_EQ(0, ToInt32(CompileRun("ordering[0]")));
CHECK_EQ(1, ToInt32(CompileRun("ordering[1]")));
CHECK_EQ(0, ToInt32(CompileRun("ordering[2]")));
CHECK_EQ(2, ToInt32(CompileRun("ordering[3]")));
CHECK_EQ(0, ToInt32(CompileRun("ordering[4]")));
}
TEST(DeliveryChangesMutationInCallback) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
LocalContext context(CcTest::isolate());
CompileRun(
"var obj = {};"
"var ordering = [];"
"function observer1(records) {"
" ordering.push(100 + records.length);"
" records.push(11);"
" records.push(22);"
"};"
"function observer2(records) {"
" ordering.push(200 + records.length);"
" records.push(33);"
" records.push(44);"
"};"
"Object.observe(obj, observer1);"
"Object.observe(obj, observer2);"
"obj.foo = 'bar';");
CHECK_EQ(2, ToInt32(CompileRun("ordering.length")));
CHECK_EQ(101, ToInt32(CompileRun("ordering[0]")));
CHECK_EQ(201, ToInt32(CompileRun("ordering[1]")));
}
TEST(DeliveryOrderingReentrant) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
LocalContext context(CcTest::isolate());
CompileRun(
"var obj = {};"
"var reentered = false;"
"var ordering = [];"
"function observer1() { ordering.push(1); };"
"function observer2() {"
" if (!reentered) {"
" obj.foo = 'baz';"
" reentered = true;"
" }"
" ordering.push(2);"
"};"
"function observer3() { ordering.push(3); };"
"Object.observe(obj, observer1);"
"Object.observe(obj, observer2);"
"Object.observe(obj, observer3);"
"obj.foo = 'bar';");
CHECK_EQ(5, ToInt32(CompileRun("ordering.length")));
CHECK_EQ(1, ToInt32(CompileRun("ordering[0]")));
CHECK_EQ(2, ToInt32(CompileRun("ordering[1]")));
CHECK_EQ(3, ToInt32(CompileRun("ordering[2]")));
// Note that we re-deliver to observers 1 and 2, while observer3
// already received the second record during the first round.
CHECK_EQ(1, ToInt32(CompileRun("ordering[3]")));
CHECK_EQ(2, ToInt32(CompileRun("ordering[1]")));
}
TEST(DeliveryOrderingDeliverChangeRecords) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
LocalContext context(CcTest::isolate());
CompileRun(
"var obj = {};"
"var ordering = [];"
"function observer1() { ordering.push(1); if (!obj.b) obj.b = true };"
"function observer2() { ordering.push(2); };"
"Object.observe(obj, observer1);"
"Object.observe(obj, observer2);"
"obj.a = 1;"
"Object.deliverChangeRecords(observer2);");
CHECK_EQ(4, ToInt32(CompileRun("ordering.length")));
// First, observer2 is called due to deliverChangeRecords
CHECK_EQ(2, ToInt32(CompileRun("ordering[0]")));
// Then, observer1 is called when the stack unwinds
CHECK_EQ(1, ToInt32(CompileRun("ordering[1]")));
// observer1's mutation causes both 1 and 2 to be reactivated,
// with 1 having priority.
CHECK_EQ(1, ToInt32(CompileRun("ordering[2]")));
CHECK_EQ(2, ToInt32(CompileRun("ordering[3]")));
}
TEST(ObjectHashTableGrowth) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
// Initializing this context sets up initial hash tables.
LocalContext context(CcTest::isolate());
Local<Value> obj = CompileRun("obj = {};");
Local<Value> observer = CompileRun(
"var ran = false;"
"(function() { ran = true })");
{
// As does initializing this context.
LocalContext context2(CcTest::isolate());
context2->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
obj)
.FromJust();
context2->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(),
v8_str("observer"), observer)
.FromJust();
CompileRun(
"var objArr = [];"
// 100 objects should be enough to make the hash table grow
// (and thus relocate).
"for (var i = 0; i < 100; ++i) {"
" objArr.push({});"
" Object.observe(objArr[objArr.length-1], function(){});"
"}"
"Object.observe(obj, observer);");
}
// obj is now marked "is_observed", but our map has moved.
CompileRun("obj.foo = 'bar'");
CHECK(CompileRun("ran")
->BooleanValue(v8::Isolate::GetCurrent()->GetCurrentContext())
.FromJust());
}
struct RecordExpectation {
Local<Value> object;
const char* type;
const char* name;
Local<Value> old_value;
};
// TODO(adamk): Use this helper elsewhere in this file.
static void ExpectRecords(v8::Isolate* isolate, Local<Value> records,
const RecordExpectation expectations[], int num) {
CHECK(records->IsArray());
Local<Array> recordArray = records.As<Array>();
CHECK_EQ(num, static_cast<int>(recordArray->Length()));
for (int i = 0; i < num; ++i) {
Local<Value> record =
recordArray->Get(v8::Isolate::GetCurrent()->GetCurrentContext(), i)
.ToLocalChecked();
CHECK(record->IsObject());
Local<Object> recordObj = record.As<Object>();
Local<Value> value =
recordObj->Get(v8::Isolate::GetCurrent()->GetCurrentContext(),
v8_str("object"))
.ToLocalChecked();
CHECK(expectations[i].object->StrictEquals(value));
value = recordObj->Get(v8::Isolate::GetCurrent()->GetCurrentContext(),
v8_str("type"))
.ToLocalChecked();
CHECK(v8_str(expectations[i].type)
->Equals(v8::Isolate::GetCurrent()->GetCurrentContext(), value)
.FromJust());
if (strcmp("splice", expectations[i].type) != 0) {
Local<Value> name =
recordObj->Get(v8::Isolate::GetCurrent()->GetCurrentContext(),
v8_str("name"))
.ToLocalChecked();
CHECK(v8_str(expectations[i].name)
->Equals(v8::Isolate::GetCurrent()->GetCurrentContext(), name)
.FromJust());
if (!expectations[i].old_value.IsEmpty()) {
Local<Value> old_value =
recordObj->Get(v8::Isolate::GetCurrent()->GetCurrentContext(),
v8_str("oldValue"))
.ToLocalChecked();
CHECK(expectations[i]
.old_value->Equals(
v8::Isolate::GetCurrent()->GetCurrentContext(),
old_value)
.FromJust());
}
}
}
}
#define EXPECT_RECORDS(records, expectations) \
ExpectRecords(CcTest::isolate(), records, expectations, \
arraysize(expectations))
TEST(APITestBasicMutation) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* v8_isolate = CcTest::isolate();
HandleScope scope(v8_isolate);
LocalContext context(v8_isolate);
Local<Object> obj = Local<Object>::Cast(
CompileRun("var records = [];"
"var obj = {};"
"function observer(r) { [].push.apply(records, r); };"
"Object.observe(obj, observer);"
"obj"));
obj->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("foo"),
Number::New(v8_isolate, 7))
.FromJust();
obj->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), 1,
Number::New(v8_isolate, 2))
.FromJust();
// CreateDataProperty should work just as well as Set
obj->CreateDataProperty(v8::Isolate::GetCurrent()->GetCurrentContext(),
v8_str("foo"), Number::New(v8_isolate, 3))
.FromJust();
obj->CreateDataProperty(v8::Isolate::GetCurrent()->GetCurrentContext(), 1,
Number::New(v8_isolate, 4))
.FromJust();
// Setting an indexed element via the property setting method
obj->Set(v8::Isolate::GetCurrent()->GetCurrentContext(),
Number::New(v8_isolate, 1), Number::New(v8_isolate, 5))
.FromJust();
// Setting with a non-String, non-uint32 key
obj->Set(v8::Isolate::GetCurrent()->GetCurrentContext(),
Number::New(v8_isolate, 1.1), Number::New(v8_isolate, 6))
.FromJust();
obj->Delete(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("foo"))
.FromJust();
obj->Delete(v8::Isolate::GetCurrent()->GetCurrentContext(), 1).FromJust();
obj->Delete(v8::Isolate::GetCurrent()->GetCurrentContext(),
Number::New(v8_isolate, 1.1))
.FromJust();
// Force delivery
// TODO(adamk): Should the above set methods trigger delivery themselves?
CompileRun("void 0");
CHECK_EQ(9, ToInt32(CompileRun("records.length")));
const RecordExpectation expected_records[] = {
{obj, "add", "foo", Local<Value>()},
{obj, "add", "1", Local<Value>()},
// Note: use 7 not 1 below, as the latter triggers a nifty VS10 compiler
// bug
// where instead of 1.0, a garbage value would be passed into Number::New.
{obj, "update", "foo", Number::New(v8_isolate, 7)},
{obj, "update", "1", Number::New(v8_isolate, 2)},
{obj, "update", "1", Number::New(v8_isolate, 4)},
{obj, "add", "1.1", Local<Value>()},
{obj, "delete", "foo", Number::New(v8_isolate, 3)},
{obj, "delete", "1", Number::New(v8_isolate, 5)},
{obj, "delete", "1.1", Number::New(v8_isolate, 6)}};
EXPECT_RECORDS(CompileRun("records"), expected_records);
}
TEST(HiddenPrototypeObservation) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* v8_isolate = CcTest::isolate();
HandleScope scope(v8_isolate);
LocalContext context(v8_isolate);
Local<FunctionTemplate> tmpl = FunctionTemplate::New(v8_isolate);
tmpl->SetHiddenPrototype(true);
tmpl->InstanceTemplate()->Set(v8_str("foo"), Number::New(v8_isolate, 75));
Local<Function> function =
tmpl->GetFunction(v8::Isolate::GetCurrent()->GetCurrentContext())
.ToLocalChecked();
Local<Object> proto =
function->NewInstance(v8::Isolate::GetCurrent()->GetCurrentContext())
.ToLocalChecked();
Local<Object> obj = Object::New(v8_isolate);
obj->SetPrototype(v8::Isolate::GetCurrent()->GetCurrentContext(), proto)
.FromJust();
context->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"), obj)
.FromJust();
context->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("proto"),
proto)
.FromJust();
CompileRun(
"var records;"
"function observer(r) { records = r; };"
"Object.observe(obj, observer);"
"obj.foo = 41;" // triggers a notification
"proto.foo = 42;"); // does not trigger a notification
const RecordExpectation expected_records[] = {
{ obj, "update", "foo", Number::New(v8_isolate, 75) }
};
EXPECT_RECORDS(CompileRun("records"), expected_records);
obj->SetPrototype(v8::Isolate::GetCurrent()->GetCurrentContext(),
Null(v8_isolate))
.FromJust();
CompileRun("obj.foo = 43");
const RecordExpectation expected_records2[] = {
{obj, "add", "foo", Local<Value>()}};
EXPECT_RECORDS(CompileRun("records"), expected_records2);
obj->SetPrototype(v8::Isolate::GetCurrent()->GetCurrentContext(), proto)
.FromJust();
CompileRun(
"Object.observe(proto, observer);"
"proto.bar = 1;"
"Object.unobserve(obj, observer);"
"obj.foo = 44;");
const RecordExpectation expected_records3[] = {
{proto, "add", "bar", Local<Value>()}
// TODO(adamk): The below record should be emitted since proto is observed
// and has been modified. Not clear if this happens in practice.
// { proto, "update", "foo", Number::New(43) }
};
EXPECT_RECORDS(CompileRun("records"), expected_records3);
}
static int NumberOfElements(i::Handle<i::JSWeakMap> map) {
return i::ObjectHashTable::cast(map->table())->NumberOfElements();
}
TEST(ObservationWeakMap) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
LocalContext context(CcTest::isolate());
CompileRun(
"var obj = {};"
"Object.observe(obj, function(){});"
"Object.getNotifier(obj);"
"obj = null;");
i::Isolate* i_isolate = CcTest::i_isolate();
i::Handle<i::JSObject> observation_state =
i_isolate->factory()->observation_state();
i::Handle<i::JSWeakMap> callbackInfoMap =
i::Handle<i::JSWeakMap>::cast(i::Object::GetProperty(
i_isolate, observation_state, "callbackInfoMap").ToHandleChecked());
i::Handle<i::JSWeakMap> objectInfoMap =
i::Handle<i::JSWeakMap>::cast(i::Object::GetProperty(
i_isolate, observation_state, "objectInfoMap").ToHandleChecked());
i::Handle<i::JSWeakMap> notifierObjectInfoMap =
i::Handle<i::JSWeakMap>::cast(i::Object::GetProperty(
i_isolate, observation_state, "notifierObjectInfoMap")
.ToHandleChecked());
CHECK_EQ(1, NumberOfElements(callbackInfoMap));
CHECK_EQ(1, NumberOfElements(objectInfoMap));
CHECK_EQ(1, NumberOfElements(notifierObjectInfoMap));
i_isolate->heap()->CollectAllGarbage();
CHECK_EQ(0, NumberOfElements(callbackInfoMap));
CHECK_EQ(0, NumberOfElements(objectInfoMap));
CHECK_EQ(0, NumberOfElements(notifierObjectInfoMap));
}
static int TestObserveSecurity(Local<Context> observer_context,
Local<Context> object_context,
Local<Context> mutation_context) {
Context::Scope observer_scope(observer_context);
CompileRun("var records = null;"
"var observer = function(r) { records = r };");
Local<Value> observer = CompileRun("observer");
{
Context::Scope object_scope(object_context);
object_context->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(),
v8_str("observer"), observer)
.FromJust();
CompileRun("var obj = {};"
"obj.length = 0;"
"Object.observe(obj, observer,"
"['add', 'update', 'delete','reconfigure','splice']"
");");
Local<Value> obj = CompileRun("obj");
{
Context::Scope mutation_scope(mutation_context);
mutation_context->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
obj)
.FromJust();
CompileRun("obj.foo = 'bar';"
"obj.foo = 'baz';"
"delete obj.foo;"
"Object.defineProperty(obj, 'bar', {value: 'bot'});"
"Array.prototype.push.call(obj, 1, 2, 3);"
"Array.prototype.splice.call(obj, 1, 2, 2, 4);"
"Array.prototype.pop.call(obj);"
"Array.prototype.shift.call(obj);");
}
}
return ToInt32(CompileRun("records ? records.length : 0"));
}
TEST(ObserverSecurityAAA) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* isolate = CcTest::isolate();
v8::HandleScope scope(isolate);
v8::Local<Context> contextA = Context::New(isolate);
CHECK_EQ(8, TestObserveSecurity(contextA, contextA, contextA));
}
TEST(ObserverSecurityA1A2A3) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* isolate = CcTest::isolate();
v8::HandleScope scope(isolate);
v8::Local<Context> contextA1 = Context::New(isolate);
v8::Local<Context> contextA2 = Context::New(isolate);
v8::Local<Context> contextA3 = Context::New(isolate);
Local<Value> foo = v8_str("foo");
contextA1->SetSecurityToken(foo);
contextA2->SetSecurityToken(foo);
contextA3->SetSecurityToken(foo);
CHECK_EQ(8, TestObserveSecurity(contextA1, contextA2, contextA3));
}
TEST(ObserverSecurityAAB) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* isolate = CcTest::isolate();
v8::HandleScope scope(isolate);
v8::Local<Context> contextA = Context::New(isolate);
v8::Local<Context> contextB = Context::New(isolate);
CHECK_EQ(0, TestObserveSecurity(contextA, contextA, contextB));
}
TEST(ObserverSecurityA1A2B) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* isolate = CcTest::isolate();
v8::HandleScope scope(isolate);
v8::Local<Context> contextA1 = Context::New(isolate);
v8::Local<Context> contextA2 = Context::New(isolate);
v8::Local<Context> contextB = Context::New(isolate);
Local<Value> foo = v8_str("foo");
contextA1->SetSecurityToken(foo);
contextA2->SetSecurityToken(foo);
CHECK_EQ(0, TestObserveSecurity(contextA1, contextA2, contextB));
}
TEST(ObserverSecurityABA) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* isolate = CcTest::isolate();
v8::HandleScope scope(isolate);
v8::Local<Context> contextA = Context::New(isolate);
v8::Local<Context> contextB = Context::New(isolate);
CHECK_EQ(0, TestObserveSecurity(contextA, contextB, contextA));
}
TEST(ObserverSecurityA1BA2) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* isolate = CcTest::isolate();
v8::HandleScope scope(isolate);
v8::Local<Context> contextA1 = Context::New(isolate);
v8::Local<Context> contextA2 = Context::New(isolate);
v8::Local<Context> contextB = Context::New(isolate);
Local<Value> foo = v8_str("foo");
contextA1->SetSecurityToken(foo);
contextA2->SetSecurityToken(foo);
CHECK_EQ(0, TestObserveSecurity(contextA1, contextB, contextA2));
}
TEST(ObserverSecurityBAA) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* isolate = CcTest::isolate();
v8::HandleScope scope(isolate);
v8::Local<Context> contextA = Context::New(isolate);
v8::Local<Context> contextB = Context::New(isolate);
CHECK_EQ(0, TestObserveSecurity(contextB, contextA, contextA));
}
TEST(ObserverSecurityBA1A2) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* isolate = CcTest::isolate();
v8::HandleScope scope(isolate);
v8::Local<Context> contextA1 = Context::New(isolate);
v8::Local<Context> contextA2 = Context::New(isolate);
v8::Local<Context> contextB = Context::New(isolate);
Local<Value> foo = v8_str("foo");
contextA1->SetSecurityToken(foo);
contextA2->SetSecurityToken(foo);
CHECK_EQ(0, TestObserveSecurity(contextB, contextA1, contextA2));
}
TEST(ObserverSecurityNotify) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* isolate = CcTest::isolate();
v8::HandleScope scope(isolate);
v8::Local<Context> contextA = Context::New(isolate);
v8::Local<Context> contextB = Context::New(isolate);
Context::Scope scopeA(contextA);
CompileRun("var obj = {};"
"var recordsA = null;"
"var observerA = function(r) { recordsA = r };"
"Object.observe(obj, observerA);");
Local<Value> obj = CompileRun("obj");
{
Context::Scope scopeB(contextB);
contextB->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
obj)
.FromJust();
CompileRun("var recordsB = null;"
"var observerB = function(r) { recordsB = r };"
"Object.observe(obj, observerB);");
}
CompileRun("var notifier = Object.getNotifier(obj);"
"notifier.notify({ type: 'update' });");
CHECK_EQ(1, ToInt32(CompileRun("recordsA ? recordsA.length : 0")));
{
Context::Scope scopeB(contextB);
CHECK_EQ(0, ToInt32(CompileRun("recordsB ? recordsB.length : 0")));
}
}
TEST(HiddenPropertiesLeakage) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
LocalContext context(CcTest::isolate());
CompileRun("var obj = {};"
"var records = null;"
"var observer = function(r) { records = r };"
"Object.observe(obj, observer);");
Local<Value> obj =
context->Global()
->Get(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"))
.ToLocalChecked();
Local<Object>::Cast(obj)
->SetPrivate(v8::Isolate::GetCurrent()->GetCurrentContext(),
v8::Private::New(CcTest::isolate(), v8_str("foo")),
Null(CcTest::isolate()))
.FromJust();
CompileRun(""); // trigger delivery
CHECK(CompileRun("records")->IsNull());
}
TEST(GetNotifierFromOtherContext) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
LocalContext context(CcTest::isolate());
CompileRun("var obj = {};");
Local<Value> instance = CompileRun("obj");
{
LocalContext context2(CcTest::isolate());
context2->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
instance)
.FromJust();
CHECK(CompileRun("Object.getNotifier(obj)")->IsNull());
}
}
TEST(GetNotifierFromOtherOrigin) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
Local<Value> foo = v8_str("foo");
Local<Value> bar = v8_str("bar");
LocalContext context(CcTest::isolate());
context->SetSecurityToken(foo);
CompileRun("var obj = {};");
Local<Value> instance = CompileRun("obj");
{
LocalContext context2(CcTest::isolate());
context2->SetSecurityToken(bar);
context2->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
instance)
.FromJust();
CHECK(CompileRun("Object.getNotifier(obj)")->IsNull());
}
}
TEST(GetNotifierFromSameOrigin) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
Local<Value> foo = v8_str("foo");
LocalContext context(CcTest::isolate());
context->SetSecurityToken(foo);
CompileRun("var obj = {};");
Local<Value> instance = CompileRun("obj");
{
LocalContext context2(CcTest::isolate());
context2->SetSecurityToken(foo);
context2->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
instance)
.FromJust();
CHECK(CompileRun("Object.getNotifier(obj)")->IsObject());
}
}
static int GetGlobalObjectsCount() {
int count = 0;
i::HeapIterator it(CcTest::heap());
for (i::HeapObject* object = it.next(); object != NULL; object = it.next())
if (object->IsJSGlobalObject()) {
i::JSGlobalObject* g = i::JSGlobalObject::cast(object);
// Skip dummy global object.
if (i::GlobalDictionary::cast(g->properties())->NumberOfElements() != 0) {
count++;
}
}
// Subtract one to compensate for the code stub context that is always present
return count - 1;
}
static void CheckSurvivingGlobalObjectsCount(int expected) {
// We need to collect all garbage twice to be sure that everything
// has been collected. This is because inline caches are cleared in
// the first garbage collection but some of the maps have already
// been marked at that point. Therefore some of the maps are not
// collected until the second garbage collection.
CcTest::heap()->CollectAllGarbage();
CcTest::heap()->CollectAllGarbage(i::Heap::kMakeHeapIterableMask);
int count = GetGlobalObjectsCount();
#ifdef DEBUG
if (count != expected) CcTest::heap()->TracePathToGlobal();
#endif
CHECK_EQ(expected, count);
}
TEST(DontLeakContextOnObserve) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
Local<Value> foo = v8_str("foo");
LocalContext context(CcTest::isolate());
context->SetSecurityToken(foo);
CompileRun("var obj = {};");
Local<Value> object = CompileRun("obj");
{
HandleScope scope(CcTest::isolate());
LocalContext context2(CcTest::isolate());
context2->SetSecurityToken(foo);
context2->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
object)
.FromJust();
CompileRun("function observer() {};"
"Object.observe(obj, observer, ['foo', 'bar', 'baz']);"
"Object.unobserve(obj, observer);");
}
CcTest::isolate()->ContextDisposedNotification();
CheckSurvivingGlobalObjectsCount(0);
}
TEST(DontLeakContextOnGetNotifier) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
Local<Value> foo = v8_str("foo");
LocalContext context(CcTest::isolate());
context->SetSecurityToken(foo);
CompileRun("var obj = {};");
Local<Value> object = CompileRun("obj");
{
HandleScope scope(CcTest::isolate());
LocalContext context2(CcTest::isolate());
context2->SetSecurityToken(foo);
context2->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
object)
.FromJust();
CompileRun("Object.getNotifier(obj);");
}
CcTest::isolate()->ContextDisposedNotification();
CheckSurvivingGlobalObjectsCount(0);
}
TEST(DontLeakContextOnNotifierPerformChange) {
i::FLAG_harmony_object_observe = true;
HandleScope scope(CcTest::isolate());
Local<Value> foo = v8_str("foo");
LocalContext context(CcTest::isolate());
context->SetSecurityToken(foo);
CompileRun("var obj = {};");
Local<Value> object = CompileRun("obj");
Local<Value> notifier = CompileRun("Object.getNotifier(obj)");
{
HandleScope scope(CcTest::isolate());
LocalContext context2(CcTest::isolate());
context2->SetSecurityToken(foo);
context2->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
object)
.FromJust();
context2->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(),
v8_str("notifier"), notifier)
.FromJust();
CompileRun("var obj2 = {};"
"var notifier2 = Object.getNotifier(obj2);"
"notifier2.performChange.call("
"notifier, 'foo', function(){})");
}
CcTest::isolate()->ContextDisposedNotification();
CheckSurvivingGlobalObjectsCount(0);
}
static void ObserverCallback(const FunctionCallbackInfo<Value>& args) {
*static_cast<int*>(Local<External>::Cast(args.Data())->Value()) =
Local<Array>::Cast(args[0])->Length();
}
TEST(ObjectObserveCallsCppFunction) {
i::FLAG_harmony_object_observe = true;
Isolate* isolate = CcTest::isolate();
HandleScope scope(isolate);
LocalContext context(isolate);
int numRecordsSent = 0;
Local<Function> observer =
Function::New(CcTest::isolate()->GetCurrentContext(), ObserverCallback,
External::New(isolate, &numRecordsSent))
.ToLocalChecked();
context->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("observer"),
observer)
.FromJust();
CompileRun(
"var obj = {};"
"Object.observe(obj, observer);"
"obj.foo = 1;"
"obj.bar = 2;");
CHECK_EQ(2, numRecordsSent);
}
TEST(ObjectObserveCallsFunctionTemplateInstance) {
i::FLAG_harmony_object_observe = true;
Isolate* isolate = CcTest::isolate();
HandleScope scope(isolate);
LocalContext context(isolate);
int numRecordsSent = 0;
Local<FunctionTemplate> tmpl = FunctionTemplate::New(
isolate, ObserverCallback, External::New(isolate, &numRecordsSent));
Local<Function> function =
tmpl->GetFunction(v8::Isolate::GetCurrent()->GetCurrentContext())
.ToLocalChecked();
context->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("observer"),
function)
.FromJust();
CompileRun(
"var obj = {};"
"Object.observe(obj, observer);"
"obj.foo = 1;"
"obj.bar = 2;");
CHECK_EQ(2, numRecordsSent);
}
static void AccessorGetter(Local<Name> property,
const PropertyCallbackInfo<Value>& info) {
info.GetReturnValue().Set(Integer::New(info.GetIsolate(), 42));
}
static void AccessorSetter(Local<Name> property, Local<Value> value,
const PropertyCallbackInfo<void>& info) {
info.GetReturnValue().SetUndefined();
}
TEST(APIAccessorsShouldNotNotify) {
i::FLAG_harmony_object_observe = true;
Isolate* isolate = CcTest::isolate();
HandleScope handle_scope(isolate);
LocalContext context(isolate);
Local<Object> object = Object::New(isolate);
object->SetAccessor(v8::Isolate::GetCurrent()->GetCurrentContext(),
v8_str("accessor"), &AccessorGetter, &AccessorSetter)
.FromJust();
context->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
object)
.FromJust();
CompileRun(
"var records = null;"
"Object.observe(obj, function(r) { records = r });"
"obj.accessor = 43;");
CHECK(CompileRun("records")->IsNull());
CompileRun("Object.defineProperty(obj, 'accessor', { value: 44 });");
CHECK(CompileRun("records")->IsNull());
}
namespace {
int* global_use_counts = NULL;
void MockUseCounterCallback(v8::Isolate* isolate,
v8::Isolate::UseCounterFeature feature) {
++global_use_counts[feature];
}
}
TEST(UseCountObjectObserve) {
i::FLAG_harmony_object_observe = true;
i::Isolate* isolate = CcTest::i_isolate();
i::HandleScope scope(isolate);
LocalContext env;
int use_counts[v8::Isolate::kUseCounterFeatureCount] = {};
global_use_counts = use_counts;
CcTest::isolate()->SetUseCounterCallback(MockUseCounterCallback);
CompileRun(
"var obj = {};"
"Object.observe(obj, function(){})");
CHECK_EQ(1, use_counts[v8::Isolate::kObjectObserve]);
CompileRun(
"var obj2 = {};"
"Object.observe(obj2, function(){})");
// Only counts the first use of observe in a given context.
CHECK_EQ(1, use_counts[v8::Isolate::kObjectObserve]);
{
LocalContext env2;
CompileRun(
"var obj = {};"
"Object.observe(obj, function(){})");
}
// Counts different contexts separately.
CHECK_EQ(2, use_counts[v8::Isolate::kObjectObserve]);
}
TEST(UseCountObjectGetNotifier) {
i::FLAG_harmony_object_observe = true;
i::Isolate* isolate = CcTest::i_isolate();
i::HandleScope scope(isolate);
LocalContext env;
int use_counts[v8::Isolate::kUseCounterFeatureCount] = {};
global_use_counts = use_counts;
CcTest::isolate()->SetUseCounterCallback(MockUseCounterCallback);
CompileRun("var obj = {}");
CompileRun("Object.getNotifier(obj)");
CHECK_EQ(1, use_counts[v8::Isolate::kObjectObserve]);
}
static bool NamedAccessCheckAlwaysAllow(Local<v8::Context> accessing_context,
Local<v8::Object> accessed_object) {
return true;
}
TEST(DisallowObserveAccessCheckedObject) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* isolate = CcTest::isolate();
v8::HandleScope scope(isolate);
LocalContext env;
v8::Local<v8::ObjectTemplate> object_template =
v8::ObjectTemplate::New(isolate);
object_template->SetAccessCheckCallback(NamedAccessCheckAlwaysAllow);
Local<Object> new_instance =
object_template->NewInstance(
v8::Isolate::GetCurrent()->GetCurrentContext())
.ToLocalChecked();
env->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
new_instance)
.FromJust();
v8::TryCatch try_catch(isolate);
CompileRun("Object.observe(obj, function(){})");
CHECK(try_catch.HasCaught());
}
TEST(DisallowGetNotifierAccessCheckedObject) {
i::FLAG_harmony_object_observe = true;
v8::Isolate* isolate = CcTest::isolate();
v8::HandleScope scope(isolate);
LocalContext env;
v8::Local<v8::ObjectTemplate> object_template =
v8::ObjectTemplate::New(isolate);
object_template->SetAccessCheckCallback(NamedAccessCheckAlwaysAllow);
Local<Object> new_instance =
object_template->NewInstance(
v8::Isolate::GetCurrent()->GetCurrentContext())
.ToLocalChecked();
env->Global()
->Set(v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str("obj"),
new_instance)
.FromJust();
v8::TryCatch try_catch(isolate);
CompileRun("Object.getNotifier(obj)");
CHECK(try_catch.HasCaught());
}