Changeset 28106 in webkit for trunk/JavaScriptCore/kjs/interpreter.cpp

Timestamp:

Nov 28, 2007, 2:08:09 AM (17 years ago)

Author:

[email protected]

Message:

JavaScriptCore:

Reviewed by Darin and Geoff.

• Fixed "Stack overflow crash in JavaScript garbage collector mark pass" ​http://bugs.webkit.org/show_bug.cgi?id=12216

Implement mark stack. This version is not suitable for prime time because it makes a
huge allocation on every collect, and potentially makes marking of detached subtrees
slow. But it is an 0.4% SunSpider speedup even without much tweaking.

The basic approach is to replace mark() methods with
markChildren(MarkStack&) methods. Reachable references are pushed
onto a mark stack (which encapsulates ignoring already-marked
references).

Objects are no longer responsible for actually setting their own
mark bits, the collector does that. This means that for objects on
the number heap we don't have to call markChildren() at all since
we know there aren't any.

The mark phase of collect pushes roots onto the mark stack
and drains it as often as possible.

To make this approach viable requires a constant-size mark stack
and a slow fallback approach for when the stack size is exceeded,
plus optimizations to make the required stack small in common
cases. This should be doable.

• JavaScriptCore.exp: Export new symbols.
• JavaScriptCore.xcodeproj/project.pbxproj: Add new file.
• kjs/collector.cpp: (KJS::Collector::heapAllocate): (KJS::drainMarkStack): Helper for all of the below. (KJS::Collector::markStackObjectsConservatively): Use mark stack. (KJS::Collector::markCurrentThreadConservatively): ditto (KJS::Collector::markOtherThreadConservatively): ditto (KJS::Collector::markProtectedObjects): ditto (KJS::Collector::markMainThreadOnlyObjects): ditto (KJS::Collector::collect): ditto
• kjs/collector.h: (KJS::Collector::cellMayHaveRefs): Helper for MarkStack.

• kjs/MarkStack.h: Added. The actual mark stack implementation. (KJS::MarkStack::push): (KJS::MarkStack::pushAtom): (KJS::MarkStack::pop): (KJS::MarkStack::isEmpty): (KJS::MarkStack::reserveCapacity):

Changed mark() methods to markChildren() methods:

• kjs/ExecState.cpp: (KJS::ExecState::markChildren):
• kjs/ExecState.h:
• kjs/JSWrapperObject.cpp: (KJS::JSWrapperObject::markChildren):
• kjs/JSWrapperObject.h:
• kjs/array_instance.cpp: (KJS::ArrayInstance::markChildren):
• kjs/array_instance.h:
• kjs/bool_object.cpp: (BooleanInstance::markChildren):
• kjs/bool_object.h:
• kjs/error_object.cpp:
• kjs/error_object.h:
• kjs/function.cpp: (KJS::FunctionImp::markChildren): (KJS::Arguments::Arguments): (KJS::Arguments::markChildren): (KJS::ActivationImp::markChildren):
• kjs/function.h:
• kjs/internal.cpp: (KJS::GetterSetterImp::markChildren):
• kjs/interpreter.cpp: (KJS::Interpreter::markRoots):
• kjs/interpreter.h:
• kjs/list.cpp: (KJS::List::markProtectedListsSlowCase):
• kjs/list.h: (KJS::List::markProtectedLists):
• kjs/object.cpp: (KJS::JSObject::markChildren):
• kjs/object.h: (KJS::ScopeChain::markChildren):
• kjs/property_map.cpp: (KJS::PropertyMap::markChildren):
• kjs/property_map.h:
• kjs/scope_chain.h:
• kjs/string_object.cpp: (KJS::StringInstance::markChildren):
• kjs/string_object.h:

JavaScriptGlue:

Reviewed by Darin and Geoff.

Fixups for JavaScriptCore mark stack.

• JSObject.cpp: (JSUserObject::Mark):
• JSObject.h:
• JSValueWrapper.cpp: (JSValueWrapper::JSObjectMark):
• JSValueWrapper.h:
• UserObjectImp.cpp:
• UserObjectImp.h:

WebCore:

Reviewed by Darin and Geoff.

Implement mark stack. This version is not suitable for prime time because it makes a
huge allocation on every collect, and potentially makes marking of detached subtrees
slow. But it is a .2% - .4% speedup even without much tweaking.

I replaced mark() methods with markChildren() as usual. One
optimization that is lost is avoiding walking detached DOM
subtrees more than once to mark them; since marking is not
recursive there's no obvious way to bracket operation on the tree
any more.

• bindings/js/JSDocumentCustom.cpp: (WebCore::JSDocument::markChildren):
• bindings/js/JSNodeCustom.cpp: (WebCore::JSNode::markChildren):
• bindings/js/JSNodeFilterCondition.cpp:
• bindings/js/JSNodeFilterCondition.h:
• bindings/js/JSNodeFilterCustom.cpp: (WebCore::JSNodeFilter::markChildren):
• bindings/js/JSNodeIteratorCustom.cpp: (WebCore::JSNodeIterator::markChildren):
• bindings/js/JSTreeWalkerCustom.cpp: (WebCore::JSTreeWalker::markChildren):
• bindings/js/JSXMLHttpRequest.cpp: (KJS::JSXMLHttpRequest::markChildren):
• bindings/js/JSXMLHttpRequest.h:
• bindings/js/kjs_binding.cpp: (KJS::ScriptInterpreter::markDOMNodesForDocument):
• bindings/js/kjs_binding.h:
• bindings/js/kjs_events.cpp: (WebCore::JSUnprotectedEventListener::markChildren):
• bindings/js/kjs_events.h:
• bindings/js/kjs_window.cpp: (KJS::Window::markChildren):
• bindings/js/kjs_window.h:
• bindings/scripts/CodeGeneratorJS.pm:
• dom/Node.cpp: (WebCore::Node::Node):
• dom/Node.h:
• dom/NodeFilter.h:
• dom/NodeFilterCondition.h:

LayoutTests:

Not reviewed.

• Test cases for "Stack overflow crash in JavaScript garbage collector mark pass" ​http://bugs.webkit.org/show_bug.cgi?id=12216

I have fixed this with the mark stack work.

• fast/js/gc-breadth-2-expected.txt: Added.
• fast/js/gc-breadth-2.html: Added.
• fast/js/gc-breadth-expected.txt: Added.
• fast/js/gc-breadth.html: Added.
• fast/js/gc-depth-expected.txt: Added.
• fast/js/gc-depth.html: Added.
• fast/js/resources/gc-breadth-2.js: Added.
• fast/js/resources/gc-breadth.js: Added.
• fast/js/resources/gc-depth.js: Added.

File:

• trunk/JavaScriptCore/kjs/interpreter.cpp (modified) (1 diff)

trunk/JavaScriptCore/kjs/interpreter.cpp

@@ -545 +545 @@
 }
 
-void Interpreter::mark()
+void Interpreter::markRoots(MarkStack& stack)
 {
     if (m_currentExec)
-        m_currentExec->mark();
-
-    if (m_globalExec.exception() && !m_globalExec.exception()->marked())
-        m_globalExec.exception()->mark();
-
-    if (m_globalObject && !m_globalObject->marked())
-        m_globalObject->mark();
-
-    if (m_Object && !m_Object->marked())
-        m_Object->mark();
-    if (m_Function && !m_Function->marked())
-        m_Function->mark();
-    if (m_Array && !m_Array->marked())
-        m_Array->mark();
-    if (m_Boolean && !m_Boolean->marked())
-        m_Boolean->mark();
-    if (m_String && !m_String->marked())
-        m_String->mark();
-    if (m_Number && !m_Number->marked())
-        m_Number->mark();
-    if (m_Date && !m_Date->marked())
-        m_Date->mark();
-    if (m_RegExp && !m_RegExp->marked())
-        m_RegExp->mark();
-    if (m_Error && !m_Error->marked())
-        m_Error->mark();
-    
-    if (m_ObjectPrototype && !m_ObjectPrototype->marked())
-        m_ObjectPrototype->mark();
-    if (m_FunctionPrototype && !m_FunctionPrototype->marked())
-        m_FunctionPrototype->mark();
-    if (m_ArrayPrototype && !m_ArrayPrototype->marked())
-        m_ArrayPrototype->mark();
-    if (m_BooleanPrototype && !m_BooleanPrototype->marked())
-        m_BooleanPrototype->mark();
-    if (m_StringPrototype && !m_StringPrototype->marked())
-        m_StringPrototype->mark();
-    if (m_NumberPrototype && !m_NumberPrototype->marked())
-        m_NumberPrototype->mark();
-    if (m_DatePrototype && !m_DatePrototype->marked())
-        m_DatePrototype->mark();
-    if (m_RegExpPrototype && !m_RegExpPrototype->marked())
-        m_RegExpPrototype->mark();
-    if (m_ErrorPrototype && !m_ErrorPrototype->marked())
-        m_ErrorPrototype->mark();
-    
-    if (m_EvalError && !m_EvalError->marked())
-        m_EvalError->mark();
-    if (m_RangeError && !m_RangeError->marked())
-        m_RangeError->mark();
-    if (m_ReferenceError && !m_ReferenceError->marked())
-        m_ReferenceError->mark();
-    if (m_SyntaxError && !m_SyntaxError->marked())
-        m_SyntaxError->mark();
-    if (m_TypeError && !m_TypeError->marked())
-        m_TypeError->mark();
-    if (m_UriError && !m_UriError->marked())
-        m_UriError->mark();
-    
-    if (m_EvalErrorPrototype && !m_EvalErrorPrototype->marked())
-        m_EvalErrorPrototype->mark();
-    if (m_RangeErrorPrototype && !m_RangeErrorPrototype->marked())
-        m_RangeErrorPrototype->mark();
-    if (m_ReferenceErrorPrototype && !m_ReferenceErrorPrototype->marked())
-        m_ReferenceErrorPrototype->mark();
-    if (m_SyntaxErrorPrototype && !m_SyntaxErrorPrototype->marked())
-        m_SyntaxErrorPrototype->mark();
-    if (m_TypeErrorPrototype && !m_TypeErrorPrototype->marked())
-        m_TypeErrorPrototype->mark();
-    if (m_UriErrorPrototype && !m_UriErrorPrototype->marked())
-        m_UriErrorPrototype->mark();
+        m_currentExec->markChildren(stack);
+
+    if (m_globalExec.exception())
+        stack.push(m_globalExec.exception());
+
+    if (m_globalObject)
+        stack.push(m_globalObject);
+
+    if (m_Object)
+       stack.push(m_Object);
+    if (m_Function)
+        stack.push(m_Function);
+    if (m_Array)
+        stack.push(m_Array);
+    if (m_Boolean)
+        stack.push(m_Boolean);
+    if (m_String)
+        stack.push(m_String);
+    if (m_Number)
+        stack.push(m_Number);
+    if (m_Date)
+        stack.push(m_Date);
+    if (m_RegExp)
+        stack.push(m_RegExp);
+    if (m_Error)
+        stack.push(m_Error);
+    
+    if (m_ObjectPrototype)
+        stack.push(m_ObjectPrototype);
+    if (m_FunctionPrototype)
+        stack.push(m_FunctionPrototype);
+    if (m_ArrayPrototype)
+        stack.push(m_ArrayPrototype);
+    if (m_BooleanPrototype)
+        stack.push(m_BooleanPrototype);
+    if (m_StringPrototype)
+        stack.push(m_StringPrototype);
+    if (m_NumberPrototype)
+        stack.push(m_NumberPrototype);
+    if (m_DatePrototype)
+        stack.push(m_DatePrototype);
+    if (m_RegExpPrototype)
+        stack.push(m_RegExpPrototype);
+    if (m_ErrorPrototype)
+        stack.push(m_ErrorPrototype);
+    
+    if (m_EvalError)
+        stack.push(m_EvalError);
+    if (m_RangeError)
+        stack.push(m_RangeError);
+    if (m_ReferenceError)
+        stack.push(m_ReferenceError);
+    if (m_SyntaxError)
+        stack.push(m_SyntaxError);
+    if (m_TypeError)
+        stack.push(m_TypeError);
+    if (m_UriError)
+        stack.push(m_UriError);
+    
+    if (m_EvalErrorPrototype)
+        stack.push(m_EvalErrorPrototype);
+    if (m_RangeErrorPrototype)
+        stack.push(m_RangeErrorPrototype);
+    if (m_ReferenceErrorPrototype)
+        stack.push(m_ReferenceErrorPrototype);
+    if (m_SyntaxErrorPrototype)
+        stack.push(m_SyntaxErrorPrototype);
+    if (m_TypeErrorPrototype)
+        stack.push(m_TypeErrorPrototype);
+    if (m_UriErrorPrototype)
+        stack.push(m_UriErrorPrototype);
 }