• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1  /*
2   * Copyright (C) 2011 The Android Open Source Project
3   *
4   * Licensed under the Apache License, Version 2.0 (the "License");
5   * you may not use this file except in compliance with the License.
6   * You may obtain a copy of the License at
7   *
8   *      http://www.apache.org/licenses/LICENSE-2.0
9   *
10   * Unless required by applicable law or agreed to in writing, software
11   * distributed under the License is distributed on an "AS IS" BASIS,
12   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13   * See the License for the specific language governing permissions and
14   * limitations under the License.
15   */
16  
17  #include "art_method-inl.h"
18  #include "check_reference_map_visitor.h"
19  #include "jni.h"
20  
21  namespace art {
22  
23  #define CHECK_REGS_CONTAIN_REFS(dex_pc, abort_if_not_found, ...) do {                         \
24    int t[] = {__VA_ARGS__};                                                                    \
25    int t_size = sizeof(t) / sizeof(*t);                                                        \
26    const OatQuickMethodHeader* method_header = GetCurrentOatQuickMethodHeader();               \
27    uintptr_t native_quick_pc = method_header->ToNativeQuickPc(GetMethod(),                     \
28                                                               dex_pc,                          \
29                                                               abort_if_not_found);             \
30    if (native_quick_pc != UINTPTR_MAX) {                                                       \
31      CheckReferences(t,                                                                        \
32                      t_size,                                                                   \
33                      dex_pc,                                                                   \
34                      method_header->NativeQuickPcOffset(native_quick_pc),                      \
35                      /* search_for_valid_stack_map= */ true);                                  \
36    }                                                                                           \
37  } while (false);
38  
39  struct ReferenceMap2Visitor : public CheckReferenceMapVisitor {
REQUIRES_SHAREDart::ReferenceMap2Visitor40    explicit ReferenceMap2Visitor(Thread* thread) REQUIRES_SHARED(Locks::mutator_lock_)
41        : CheckReferenceMapVisitor(thread) {}
42  
VisitFrameart::ReferenceMap2Visitor43    bool VisitFrame() override REQUIRES_SHARED(Locks::mutator_lock_) {
44      if (CheckReferenceMapVisitor::VisitFrame()) {
45        return true;
46      }
47      ArtMethod* m = GetMethod();
48      std::string m_name(m->GetName());
49  
50      // Given the method name and the number of times the method has been called,
51      // we know the Dex registers with live reference values. Assert that what we
52      // find is what is expected.
53      if (m_name.compare("f") == 0) {
54        CHECK_REGS_CONTAIN_REFS(0x06U, true, 8, 1);  // v8: this, v1: x
55        CHECK_REGS_CONTAIN_REFS(0x0cU, true, 8, 3, 1);  // v8: this, v3: y, v1: x
56        CHECK_REGS_CONTAIN_REFS(0x10U, true, 8, 3, 1);  // v8: this, v3: y, v1: x
57        // v2 is added because of the instruction at DexPC 0024. Object merges with 0 is Object. See:
58        //   0024: move-object v3, v2
59        //   0025: goto 0013
60        // Detailed dex instructions for ReferenceMap.java are at the end of this function.
61        // CHECK_REGS_CONTAIN_REFS(8, 3, 2, 1);  // v8: this, v3: y, v2: y, v1: x
62        // We eliminate the non-live registers at a return, so only v3 is live.
63        // Note that it is OK for a compiler to not have a dex map at this dex PC because
64        // a return is not necessarily a safepoint.
65        CHECK_REGS_CONTAIN_REFS(0x13U, false, 3);  // v3: y
66        // Note that v0: ex can be eliminated because it's a dead merge of two different exceptions.
67        CHECK_REGS_CONTAIN_REFS(0x18U, true, 8, 2, 1);  // v8: this, v2: y, v1: x (dead v0: ex)
68        CHECK_REGS_CONTAIN_REFS(0x21U, true, 8, 2, 1);  // v8: this, v2: y, v1: x (dead v0: ex)
69  
70        if (!GetCurrentOatQuickMethodHeader()->IsOptimized()) {
71          CHECK_REGS_CONTAIN_REFS(0x27U, true, 8, 4, 2, 1);  // v8: this, v4: ex, v2: y, v1: x
72        }
73        CHECK_REGS_CONTAIN_REFS(0x29U, true, 8, 4, 2, 1);  // v8: this, v4: ex, v2: y, v1: x
74        CHECK_REGS_CONTAIN_REFS(0x2cU, true, 8, 4, 2, 1);  // v8: this, v4: ex, v2: y, v1: x
75        // Note that it is OK for a compiler to not have a dex map at these two dex PCs because
76        // a goto is not necessarily a safepoint.
77        CHECK_REGS_CONTAIN_REFS(0x2fU, false, 8, 4, 3, 2, 1);  // v8: this, v4: ex, v3: y, v2: y, v1: x
78        CHECK_REGS_CONTAIN_REFS(0x32U, false, 8, 3, 2, 1, 0);  // v8: this, v3: y, v2: y, v1: x, v0: ex
79      }
80  
81      return true;
82    }
83  };
84  
85  // Dex instructions for the function 'f' in ReferenceMap.java
86  // Virtual methods   -
87  //    #0              : (in LReferenceMap;)
88  //      name          : 'f'
89  //      type          : '()Ljava/lang/Object;'
90  //      access        : 0x0000 ()
91  //      code          -
92  //      registers     : 9
93  //      ins           : 1
94  //      outs          : 2
95  //      insns size    : 51 16-bit code units
96  //      |[0001e8] ReferenceMap.f:()Ljava/lang/Object;
97  //      |0000: const/4 v4, #int 2 // #2
98  //      |0001: const/4 v7, #int 0 // #0
99  //      |0002: const/4 v6, #int 1 // #1
100  //
101  // 0:[Unknown],1:[Unknown],2:[Unknown],3:[Unknown],4:[32-bit Constant: 2],5:[Unknown],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
102  //      |0003: new-array v1, v4, [Ljava/lang/Object;  // type@0007
103  //      |0005: const/4 v2, #int 0 // #0
104  
105  // 0:[Unknown],1:[Reference: java.lang.Object[]],2:[Zero],3:[Unknown],4:[32-bit Constant: 2],5:[Unknown],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
106  //      |0006: new-instance v3, Ljava/lang/Object;  // type@0003
107  
108  // [Unknown],1:[Reference: java.lang.Object[]],2:[Zero],3:[Uninitialized Reference: java.lang.Object],4:[32-bit Constant: 2],5:[Unknown],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
109  //      |0008: +invoke-object-init/range {}, Ljava/lang/Object;.<init>:()V // method@0005
110  //      |000b: const/4 v4, #int 2 // #2
111  
112  // 0:[Unknown],1:[Reference: java.lang.Object[]],2:[Zero],3:[Reference: java.lang.Object],4:[32-bit Constant: 2],5:[Unknown],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
113  //      |000c: aput-object v3, v1, v4
114  
115  // 0:[Unknown],1:[Reference: java.lang.Object[]],2:[Zero],3:[Reference: java.lang.Object],4:[32-bit Constant: 2],5:[Unknown],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
116  //      |000e: aput-object v3, v1, v6
117  
118  // 0:[Unknown],1:[Reference: java.lang.Object[]],2:[Zero],3:[Reference: java.lang.Object],4:[32-bit Constant: 2],5:[Unknown],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
119  //      |0010: +invoke-virtual-quick {v8, v7}, [000c] // vtable #000c
120  
121  // 0:[Conflict],1:[Conflict],2:[Conflict],3:[Reference: java.lang.Object],4:[Conflict],5:[Conflict],6:[Conflict],7:[Conflict],8:[Conflict],
122  //      |0013: return-object v3
123  //      |0014: move-exception v0
124  
125  // 0:[Reference: java.lang.Exception],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Conflict],4:[32-bit Constant: 2],5:[Unknown],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
126  //      |0015: if-nez v2, 001f // +000a
127  //      |0017: const/4 v4, #int 1 // #1
128  
129  // 0:[Reference: java.lang.Exception],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Conflict],4:[32-bit Constant: 1],5:[Unknown],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
130  //      |0018: new-instance v5, Ljava/lang/Object;  // type@0003
131  
132  // 0:[Reference: java.lang.Exception],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Conflict],4:[32-bit Constant: 1],5:[Uninitialized Reference: java.lang.Object],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
133  //      |001a: +invoke-object-init/range {}, Ljava/lang/Object;.<init>:()V // method@0005
134  
135  // 0:[Reference: java.lang.Exception],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Conflict],4:[32-bit Constant: 1],5:[Reference: java.lang.Object],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
136  //      |001d: aput-object v5, v1, v4
137  
138  // 0:[Reference: java.lang.Exception],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Conflict],4:[32-bit Constant: 2],5:[Conflict],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
139  //      |001f: aput-object v2, v1, v6
140  
141  // 0:[Reference: java.lang.Exception],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Conflict],4:[32-bit Constant: 2],5:[Conflict],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
142  //      |0021: +invoke-virtual-quick {v8, v7}, [000c] // vtable #000c
143  //      |0024: move-object v3, v2
144  
145  // 0:[Reference: java.lang.Exception],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Reference: java.lang.Object],4:[32-bit Constant: 2],5:[Conflict],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
146  //      |0025: goto 0013 // -0012
147  //      |0026: move-exception v4
148  
149  // 0:[Conflict],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Conflict],4:[Reference: java.lang.Throwable],5:[Conflict],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
150  //      |0027: aput-object v2, v1, v6
151  
152  // 0:[Conflict],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Conflict],4:[Reference: java.lang.Throwable],5:[Conflict],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
153  //      |0029: +invoke-virtual-quick {v8, v7}, [000c] // vtable #000c
154  
155  // 0:[Conflict],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Conflict],4:[Reference: java.lang.Throwable],5:[Conflict],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
156  //      |002c: throw v4
157  //      |002d: move-exception v4
158  //      |002e: move-object v2, v3
159  
160  // 0:[Unknown],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Reference: java.lang.Object],4:[Reference: java.lang.Throwable],5:[Unknown],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
161  //      |002f: goto 0027 // -0008
162  //      |0030: move-exception v0
163  //      |0031: move-object v2, v3
164  
165  // 0:[Reference: java.lang.Exception],1:[Reference: java.lang.Object[]],2:[Reference: java.lang.Object],3:[Reference: java.lang.Object],4:[32-bit Constant: 2],5:[Unknown],6:[32-bit Constant: 1],7:[Zero],8:[Reference: ReferenceMap],
166  //      |0032: goto 0015 // -001d
167  //      catches       : 3
168  //        0x0006 - 0x000b
169  //          Ljava/lang/Exception; -> 0x0014
170  //          <any> -> 0x0026
171  //        0x000c - 0x000e
172  //          Ljava/lang/Exception; -> 0x0030
173  //          <any> -> 0x002d
174  //        0x0018 - 0x001f
175  //          <any> -> 0x0026
176  //      positions     :
177  //        0x0003 line=8
178  //        0x0005 line=9
179  //        0x0006 line=11
180  //        0x000b line=12
181  //        0x000e line=18
182  //        0x0010 line=19
183  //        0x0013 line=21
184  //        0x0014 line=13
185  //        0x0015 line=14
186  //        0x0017 line=15
187  //        0x001f line=18
188  //        0x0021 line=19
189  //        0x0025 line=20
190  //        0x0026 line=18
191  //        0x0029 line=19
192  //        0x002d line=18
193  //        0x0030 line=13
194  //      locals        :
195  //        0x0006 - 0x000b reg=2 y Ljava/lang/Object;
196  //        0x000b - 0x0013 reg=3 y Ljava/lang/Object;
197  //        0x0014 - 0x0015 reg=2 y Ljava/lang/Object;
198  //        0x0015 - 0x0026 reg=0 ex Ljava/lang/Exception;
199  //        0x002d - 0x0032 reg=3 y Ljava/lang/Object;
200  //        0x0005 - 0x0033 reg=1 x [Ljava/lang/Object;
201  //        0x0032 - 0x0033 reg=2 y Ljava/lang/Object;
202  //        0x0000 - 0x0033 reg=8 this LReferenceMap;
203  
Java_Main_refmap(JNIEnv *,jobject,jint count)204  extern "C" JNIEXPORT jint JNICALL Java_Main_refmap(JNIEnv*, jobject, jint count) {
205    // Visitor
206    ScopedObjectAccess soa(Thread::Current());
207    ReferenceMap2Visitor mapper(soa.Self());
208    mapper.WalkStack();
209  
210    return count + 1;
211  }
212  
213  }  // namespace art
214