fourthTier: WatchpointSet should make racy uses easier to reason about
[WebKit-https.git] / Source / JavaScriptCore / bytecode / Watchpoint.cpp
1 /*
2  * Copyright (C) 2012, 2013 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #include "config.h"
27 #include "Watchpoint.h"
28
29 #include "LinkBuffer.h"
30 #include <wtf/PassRefPtr.h>
31
32 namespace JSC {
33
34 Watchpoint::~Watchpoint()
35 {
36     if (isOnList())
37         remove();
38 }
39
40 WatchpointSet::WatchpointSet(InitialWatchpointSetMode mode)
41     : m_isWatched(mode == InitializedWatching)
42     , m_isInvalidated(false)
43 {
44 }
45
46 WatchpointSet::~WatchpointSet()
47 {
48     // Fire all watchpoints. This is necessary because it is possible, say with
49     // structure watchpoints, for the watchpoint set owner to die while the
50     // watchpoint owners are still live.
51     fireAllWatchpoints();
52 }
53
54 void WatchpointSet::add(Watchpoint* watchpoint)
55 {
56     if (!watchpoint)
57         return;
58     m_set.push(watchpoint);
59     m_isWatched = true;
60 }
61
62 void WatchpointSet::notifyWriteSlow()
63 {
64     ASSERT(m_isWatched);
65     
66     fireAllWatchpoints();
67     m_isWatched = false;
68     m_isInvalidated = true;
69     WTF::storeStoreFence();
70 }
71
72 void WatchpointSet::fireAllWatchpoints()
73 {
74     while (!m_set.isEmpty())
75         m_set.begin()->fire();
76 }
77
78 void InlineWatchpointSet::add(Watchpoint* watchpoint)
79 {
80     inflate()->add(watchpoint);
81 }
82
83 WatchpointSet* InlineWatchpointSet::inflateSlow()
84 {
85     ASSERT(isThin());
86     WatchpointSet* fat = adoptRef(new WatchpointSet(InitializedBlind)).leakRef();
87     if (m_data & IsInvalidatedFlag)
88         fat->m_isInvalidated = true;
89     if (m_data & IsWatchedFlag)
90         fat->m_isWatched = true;
91     WTF::storeStoreFence();
92     m_data = bitwise_cast<uintptr_t>(fat);
93     return fat;
94 }
95
96 void InlineWatchpointSet::freeFat()
97 {
98     ASSERT(isFat());
99     fat()->deref();
100 }
101
102 } // namespace JSC
103