Sync.cpp revision 9d420d4ed7b9e5315bc4e4248cef42034ec47530
1f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
2f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Copyright (C) 2008 The Android Open Source Project
3f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
4f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Licensed under the Apache License, Version 2.0 (the "License");
5f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * you may not use this file except in compliance with the License.
6f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * You may obtain a copy of the License at
7f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
8f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *      http://www.apache.org/licenses/LICENSE-2.0
9f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
10f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Unless required by applicable law or agreed to in writing, software
11f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * distributed under the License is distributed on an "AS IS" BASIS,
12f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * See the License for the specific language governing permissions and
14f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * limitations under the License.
15f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
16581bed77d3596b9d7242da10867c8d4cfd382239Andy McFadden
17f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#include "Dalvik.h"
18f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
19f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro#include <fcntl.h>
20f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#include <stdlib.h>
21f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#include <unistd.h>
22f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#include <pthread.h>
23f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#include <time.h>
24f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#include <errno.h>
25f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
26f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
27f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Every Object has a monitor associated with it, but not every Object is
28f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * actually locked.  Even the ones that are locked do not need a
29f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * full-fledged monitor until a) there is actual contention or b) wait()
30f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * is called on the Object.
31f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
32f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * For Dalvik, we have implemented a scheme similar to the one described
33f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * in Bacon et al.'s "Thin locks: featherweight synchronization for Java"
34f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * (ACM 1998).  Things are even easier for us, though, because we have
35f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * a full 32 bits to work with.
36f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
3794338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro * The two states of an Object's lock are referred to as "thin" and
3894338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro * "fat".  A lock may transition from the "thin" state to the "fat"
3994338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro * state and this transition is referred to as inflation.  Once a lock
4094338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro * has been inflated it remains in the "fat" state indefinitely.
41f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
4277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro * The lock value itself is stored in Object.lock.  The LSB of the
4377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro * lock encodes its state.  When cleared, the lock is in the "thin"
4477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro * state and its bits are formatted as follows:
4571938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro *
4694338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro *    [31 ---- 19] [18 ---- 3] [2 ---- 1] [0]
4794338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro *     lock count   thread id  hash state  0
48f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
4977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro * When set, the lock is in the "fat" state and its bits are formatted
5094338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro * as follows:
51f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
5294338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro *    [31 ---- 3] [2 ---- 1] [0]
5394338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro *      pointer   hash state  1
54f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
55f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * For an in-depth description of the mechanics of thin-vs-fat locking,
56f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * read the paper referred to above.
57f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
58f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
59f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
60f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Monitors provide:
61f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *  - mutually exclusive access to resources
62f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *  - a way for multiple threads to wait for notification
63f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
64f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * In effect, they fill the role of both mutexes and condition variables.
65f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
66f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Only one thread can own the monitor at any time.  There may be several
67f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * threads waiting on it (the wait call unlocks it).  One or more waiting
68f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * threads may be getting interrupted or notified at any given time.
69fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro *
70fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro * TODO: the various members of monitor are not SMP-safe.
71f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
72f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstruct Monitor {
73f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    Thread*     owner;          /* which thread currently owns the lock? */
74f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    int         lockCount;      /* owner's recursive lock depth */
75f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    Object*     obj;            /* what object are we part of [debug only] */
76f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
7777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    Thread*     waitSet;	/* threads currently waiting on this monitor */
78f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
79f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    pthread_mutex_t lock;
80f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
81f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    Monitor*    next;
82f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
83fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    /*
84fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro     * Who last acquired this monitor, when lock sampling is enabled.
859d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes     * Even when enabled, ownerMethod may be NULL.
86fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro     */
879d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes    const Method* ownerMethod;
889d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes    u4 ownerPc;
89f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project};
90f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
91f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
92f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
93f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Create and initialize a monitor.
94f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
95f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source ProjectMonitor* dvmCreateMonitor(Object* obj)
96f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
97f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    Monitor* mon;
98f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
99f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    mon = (Monitor*) calloc(1, sizeof(Monitor));
100f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (mon == NULL) {
10160fc806b679a3655c228b4093058c59941a49cfeDan Bornstein        LOGE("Unable to allocate monitor");
102f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        dvmAbort();
103f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
10494338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    if (((u4)mon & 7) != 0) {
10560fc806b679a3655c228b4093058c59941a49cfeDan Bornstein        LOGE("Misaligned monitor: %p", mon);
10694338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro        dvmAbort();
10794338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    }
108f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    mon->obj = obj;
109f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    dvmInitMutex(&mon->lock);
110f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
111f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* replace the head of the list with the new monitor */
112f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    do {
113f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        mon->next = gDvm.monitorList;
1146e10b9aaa72425a4825a25f0043533d0c6fdbba4Andy McFadden    } while (android_atomic_release_cas((int32_t)mon->next, (int32_t)mon,
1156e10b9aaa72425a4825a25f0043533d0c6fdbba4Andy McFadden            (int32_t*)(void*)&gDvm.monitorList) != 0);
116f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
117f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    return mon;
118f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
119f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
120f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
121f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Free the monitor list.  Only used when shutting the VM down.
122f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
1231e1433e78f560a01744e870c19c162ab88df9dc1Carl Shapirovoid dvmFreeMonitorList()
124f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
125f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    Monitor* mon;
126f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    Monitor* nextMon;
127f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
128f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    mon = gDvm.monitorList;
129f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    while (mon != NULL) {
130f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        nextMon = mon->next;
131f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        free(mon);
132f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        mon = nextMon;
133f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
134f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
135f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
136f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
137f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Get the object that a monitor is part of.
138f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
139f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source ProjectObject* dvmGetMonitorObject(Monitor* mon)
140f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
141f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (mon == NULL)
142f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return NULL;
143f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    else
144f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return mon->obj;
145f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
146f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
147f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
14830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro * Returns the thread id of the thread owning the given lock.
14930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro */
15030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapirostatic u4 lockOwner(Object* obj)
15130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro{
15230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    Thread *owner;
15330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    u4 lock;
15430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro
15530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    assert(obj != NULL);
15630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    /*
15730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro     * Since we're reading the lock value multiple times, latch it so
15830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro     * that it doesn't change out from under us if we get preempted.
15930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro     */
16030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    lock = obj->lock;
16130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    if (LW_SHAPE(lock) == LW_SHAPE_THIN) {
16230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        return LW_LOCK_OWNER(lock);
16330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    } else {
16430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        owner = LW_MONITOR(lock)->owner;
16530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        return owner ? owner->threadId : 0;
16630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    }
16730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro}
16830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro
16930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro/*
170fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden * Get the thread that holds the lock on the specified object.  The
171fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden * object may be unlocked, thin-locked, or fat-locked.
172fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden *
173fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden * The caller must lock the thread list before calling here.
174fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden */
175fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFaddenThread* dvmGetObjectLockHolder(Object* obj)
176fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden{
177fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden    u4 threadId = lockOwner(obj);
178fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden
179fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden    if (threadId == 0)
180fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden        return NULL;
181fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden    return dvmGetThreadByThreadId(threadId);
182fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden}
183fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden
184fd54266907c3046339b48748f63afa32ee3ab4e1Andy McFadden/*
185f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Checks whether the given thread holds the given
186f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * objects's lock.
187f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
188f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectbool dvmHoldsLock(Thread* thread, Object* obj)
189f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
190f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (thread == NULL || obj == NULL) {
191f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return false;
192f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
19330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        return thread->threadId == lockOwner(obj);
194f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
195f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
196f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
197f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
198f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Free the monitor associated with an object and make the object's lock
199f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * thin again.  This is called during garbage collection.
200f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
2018bb6104795c7b31abf76ae4325b416d6c1caa17fCarl Shapirostatic void freeMonitor(Monitor *mon)
202f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
2038bb6104795c7b31abf76ae4325b416d6c1caa17fCarl Shapiro    assert(mon != NULL);
2048bb6104795c7b31abf76ae4325b416d6c1caa17fCarl Shapiro    assert(mon->obj != NULL);
2058bb6104795c7b31abf76ae4325b416d6c1caa17fCarl Shapiro    assert(LW_SHAPE(mon->obj->lock) == LW_SHAPE_FAT);
206f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
207f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* This lock is associated with an object
208f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * that's being swept.  The only possible way
209f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * anyone could be holding this lock would be
210f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * if some JNI code locked but didn't unlock
211f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * the object, in which case we've got some bad
212f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * native code somewhere.
213f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
2141ff876da3c8316ebe4a39e29b5db697953421511Carl Shapiro    assert(pthread_mutex_trylock(&mon->lock) == 0);
2151ff876da3c8316ebe4a39e29b5db697953421511Carl Shapiro    assert(pthread_mutex_unlock(&mon->lock) == 0);
216980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro    dvmDestroyMutex(&mon->lock);
2175a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro    free(mon);
218f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
219f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
2205a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro/*
2215a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro * Frees monitor objects belonging to unmarked objects.
2225a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro */
2235a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapirovoid dvmSweepMonitorList(Monitor** mon, int (*isUnmarkedObject)(void*))
2245a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro{
2255a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro    Monitor handle;
2265a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro    Monitor *prev, *curr;
2275a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro    Object *obj;
2285a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro
2295a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro    assert(mon != NULL);
2305a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro    assert(isUnmarkedObject != NULL);
2315a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro    prev = &handle;
2325a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro    prev->next = curr = *mon;
2335a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro    while (curr != NULL) {
2345a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro        obj = curr->obj;
2355a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro        if (obj != NULL && (*isUnmarkedObject)(obj) != 0) {
2368bb6104795c7b31abf76ae4325b416d6c1caa17fCarl Shapiro            prev->next = curr->next;
2378bb6104795c7b31abf76ae4325b416d6c1caa17fCarl Shapiro            freeMonitor(curr);
2388bb6104795c7b31abf76ae4325b416d6c1caa17fCarl Shapiro            curr = prev->next;
2395a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro        } else {
2405a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro            prev = curr;
2415a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro            curr = curr->next;
2425a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro        }
2435a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro    }
2445a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro    *mon = handle.next;
2455a6071b914e7669eaf032256f163f65403bfcf3bCarl Shapiro}
246f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
247f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapirostatic char *logWriteInt(char *dst, int value)
248f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro{
249f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    *dst++ = EVENT_TYPE_INT;
250f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    set4LE((u1 *)dst, value);
251f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    return dst + 4;
252f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro}
253f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
254f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapirostatic char *logWriteString(char *dst, const char *value, size_t len)
255f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro{
256f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    *dst++ = EVENT_TYPE_STRING;
257af69cf8d062a42300852ddee6bcb9f189f5a1b83Carl Shapiro    len = len < 32 ? len : 32;
258f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    set4LE((u1 *)dst, len);
259f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    dst += 4;
260f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    memcpy(dst, value, len);
261f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    return dst + len;
262f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro}
263f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
264af69cf8d062a42300852ddee6bcb9f189f5a1b83Carl Shapiro#define EVENT_LOG_TAG_dvm_lock_sample 20003
265f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
266fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapirostatic void logContentionEvent(Thread *self, u4 waitMs, u4 samplePercent,
267fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro                               const char *ownerFileName, u4 ownerLineNumber)
268f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro{
269f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    const StackSaveArea *saveArea;
270f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    const Method *meth;
271f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    u4 relativePc;
272fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    char eventBuffer[174];
273f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    const char *fileName;
274708f143f318bb2167c810f9506102f4ad656545cElliott Hughes    char procName[33];
275f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    char *cp;
276af69cf8d062a42300852ddee6bcb9f189f5a1b83Carl Shapiro    size_t len;
277af69cf8d062a42300852ddee6bcb9f189f5a1b83Carl Shapiro    int fd;
278f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
27930bc0d46ae730d78c42c39cfa56a59ba3025380bbuzbee    saveArea = SAVEAREA_FROM_FP(self->interpSave.curFrame);
280f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    meth = saveArea->method;
281f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    cp = eventBuffer;
282f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
283f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    /* Emit the event list length, 1 byte. */
284fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    *cp++ = 9;
285f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
286f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    /* Emit the process name, <= 37 bytes. */
287f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    fd = open("/proc/self/cmdline", O_RDONLY);
288af69cf8d062a42300852ddee6bcb9f189f5a1b83Carl Shapiro    memset(procName, 0, sizeof(procName));
289af69cf8d062a42300852ddee6bcb9f189f5a1b83Carl Shapiro    read(fd, procName, sizeof(procName) - 1);
290f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    close(fd);
291af69cf8d062a42300852ddee6bcb9f189f5a1b83Carl Shapiro    len = strlen(procName);
292af69cf8d062a42300852ddee6bcb9f189f5a1b83Carl Shapiro    cp = logWriteString(cp, procName, len);
293f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
2943b55675a442a173eb1337ba3c5866cd30cefb504Brad Fitzpatrick    /* Emit the sensitive thread ("main thread") status, 5 bytes. */
2953b55675a442a173eb1337ba3c5866cd30cefb504Brad Fitzpatrick    bool isSensitive = false;
2963b55675a442a173eb1337ba3c5866cd30cefb504Brad Fitzpatrick    if (gDvm.isSensitiveThreadHook != NULL) {
2973b55675a442a173eb1337ba3c5866cd30cefb504Brad Fitzpatrick        isSensitive = gDvm.isSensitiveThreadHook();
2983b55675a442a173eb1337ba3c5866cd30cefb504Brad Fitzpatrick    }
2993b55675a442a173eb1337ba3c5866cd30cefb504Brad Fitzpatrick    cp = logWriteInt(cp, isSensitive);
300f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
301f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    /* Emit self thread name string, <= 37 bytes. */
302708f143f318bb2167c810f9506102f4ad656545cElliott Hughes    std::string selfName = dvmGetThreadName(self);
303708f143f318bb2167c810f9506102f4ad656545cElliott Hughes    cp = logWriteString(cp, selfName.c_str(), selfName.size());
304f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
305f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    /* Emit the wait time, 5 bytes. */
306f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    cp = logWriteInt(cp, waitMs);
307f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
308f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    /* Emit the source code file name, <= 37 bytes. */
309f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    fileName = dvmGetMethodSourceFile(meth);
310f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    if (fileName == NULL) fileName = "";
311f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    cp = logWriteString(cp, fileName, strlen(fileName));
312f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
313f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    /* Emit the source code line number, 5 bytes. */
314f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    relativePc = saveArea->xtra.currentPc - saveArea->method->insns;
315f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    cp = logWriteInt(cp, dvmLineNumFromPC(meth, relativePc));
316f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
317fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    /* Emit the lock owner source code file name, <= 37 bytes. */
318fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    if (ownerFileName == NULL) {
3193b55675a442a173eb1337ba3c5866cd30cefb504Brad Fitzpatrick        ownerFileName = "";
320fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    } else if (strcmp(fileName, ownerFileName) == 0) {
3213b55675a442a173eb1337ba3c5866cd30cefb504Brad Fitzpatrick        /* Common case, so save on log space. */
3223b55675a442a173eb1337ba3c5866cd30cefb504Brad Fitzpatrick        ownerFileName = "-";
323fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    }
324fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    cp = logWriteString(cp, ownerFileName, strlen(ownerFileName));
325fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro
326fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    /* Emit the source code line number, 5 bytes. */
327fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    cp = logWriteInt(cp, ownerLineNumber);
328fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro
329f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    /* Emit the sample percentage, 5 bytes. */
330f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    cp = logWriteInt(cp, samplePercent);
331f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
332f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    assert((size_t)(cp - eventBuffer) <= sizeof(eventBuffer));
333af69cf8d062a42300852ddee6bcb9f189f5a1b83Carl Shapiro    android_btWriteLog(EVENT_LOG_TAG_dvm_lock_sample,
334f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro                       EVENT_TYPE_LIST,
335f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro                       eventBuffer,
336f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro                       (size_t)(cp - eventBuffer));
337f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro}
338f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro
339f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
340f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Lock a monitor.
341f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
342f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstatic void lockMonitor(Thread* self, Monitor* mon)
343f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
344f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    ThreadStatus oldStatus;
345f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    u4 waitThreshold, samplePercent;
346f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    u8 waitStart, waitEnd, waitMs;
347f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
348f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (mon->owner == self) {
349f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        mon->lockCount++;
350f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        return;
351f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    }
352045fdc99f7c0dfde95002da66cb85ace19aee069Carl Shapiro    if (dvmTryLockMutex(&mon->lock) != 0) {
353f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        oldStatus = dvmChangeStatus(self, THREAD_MONITOR);
354f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        waitThreshold = gDvm.lockProfThreshold;
355f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        if (waitThreshold) {
356f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            waitStart = dvmGetRelativeTimeUsec();
357f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        }
3589d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes
3599d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes        const Method* currentOwnerMethod = mon->ownerMethod;
3609d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes        u4 currentOwnerPc = mon->ownerPc;
361fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro
362f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        dvmLockMutex(&mon->lock);
363f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        if (waitThreshold) {
364f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            waitEnd = dvmGetRelativeTimeUsec();
365f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        }
366f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        dvmChangeStatus(self, oldStatus);
367f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        if (waitThreshold) {
368f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            waitMs = (waitEnd - waitStart) / 1000;
369f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            if (waitMs >= waitThreshold) {
370f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro                samplePercent = 100;
371f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            } else {
372af69cf8d062a42300852ddee6bcb9f189f5a1b83Carl Shapiro                samplePercent = 100 * waitMs / waitThreshold;
373f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            }
374b8fcf57f13b4d37950cfbd72a6af401941d7bdd8Carl Shapiro            if (samplePercent != 0 && ((u4)rand() % 100 < samplePercent)) {
3759d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes                const char* currentOwnerFileName = "no_method";
3769d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes                u4 currentOwnerLineNumber = 0;
3779d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes                if (currentOwnerMethod != NULL) {
3789d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes                    currentOwnerFileName = dvmGetMethodSourceFile(currentOwnerMethod);
3799d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes                    if (currentOwnerFileName == NULL) {
3809d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes                        currentOwnerFileName = "no_method_file";
3819d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes                    }
3829d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes                    currentOwnerLineNumber = dvmLineNumFromPC(currentOwnerMethod, currentOwnerPc);
3839d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes                }
384fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro                logContentionEvent(self, waitMs, samplePercent,
385fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro                                   currentOwnerFileName, currentOwnerLineNumber);
386f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            }
387f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
388f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
389f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    mon->owner = self;
390f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    assert(mon->lockCount == 0);
391fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro
392fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    // When debugging, save the current monitor holder for future
393fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    // acquisition failures to use in sampled logging.
394fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    if (gDvm.lockProfThreshold > 0) {
3959d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes        mon->ownerMethod = NULL;
3969d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes        mon->ownerPc = 0;
39730bc0d46ae730d78c42c39cfa56a59ba3025380bbuzbee        if (self->interpSave.curFrame == NULL) {
3989d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes            return;
3999d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes        }
4009d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes        const StackSaveArea* saveArea = SAVEAREA_FROM_FP(self->interpSave.curFrame);
4019d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes        if (saveArea == NULL) {
4029d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes            return;
403fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro        }
4049d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes        mon->ownerMethod = saveArea->method;
4059d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes        mon->ownerPc = (saveArea->xtra.currentPc - saveArea->method->insns);
406fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    }
407f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
408f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
409f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
410f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Try to lock a monitor.
411f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
412f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Returns "true" on success.
413f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
414b31b30131bbf58280a515c40027aa958b81b5cd6Carl Shapiro#ifdef WITH_COPYING_GC
415f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstatic bool tryLockMonitor(Thread* self, Monitor* mon)
416f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
417f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (mon->owner == self) {
418f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        mon->lockCount++;
419f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return true;
420f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
421980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        if (dvmTryLockMutex(&mon->lock) == 0) {
422f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            mon->owner = self;
423f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            assert(mon->lockCount == 0);
424f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return true;
425f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        } else {
426f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return false;
427f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
428f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
429f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
430b31b30131bbf58280a515c40027aa958b81b5cd6Carl Shapiro#endif
431f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
432f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
433f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Unlock a monitor.
434f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
435f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Returns true if the unlock succeeded.
436f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * If the unlock failed, an exception will be pending.
437f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
438f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstatic bool unlockMonitor(Thread* self, Monitor* mon)
439f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
44077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(self != NULL);
4419227708d5de03fd72c8a99e3dd2747934591ba5bCarl Shapiro    assert(mon != NULL);
442f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (mon->owner == self) {
443f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /*
444f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * We own the monitor, so nobody else can be in here.
445f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
446f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        if (mon->lockCount == 0) {
447f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            mon->owner = NULL;
4489d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes            mon->ownerMethod = NULL;
4499d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes            mon->ownerPc = 0;
450980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro            dvmUnlockMutex(&mon->lock);
451f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        } else {
452f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            mon->lockCount--;
453f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
454f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
455f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /*
456f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * We don't own this, so we're not allowed to unlock it.
457f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * The JNI spec says that we should throw IllegalMonitorStateException
458f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * in this case.
459f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
460d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        dvmThrowIllegalMonitorStateException("unlock of unowned monitor");
461f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return false;
462f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
463f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    return true;
464f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
465f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
466f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
46777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro * Checks the wait set for circular structure.  Returns 0 if the list
468b453919fee9bf10ccd576d389d8b3584061bba8bCarl Shapiro * is not circular.  Otherwise, returns 1.  Used only by asserts.
46977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro */
470b31b30131bbf58280a515c40027aa958b81b5cd6Carl Shapiro#ifndef NDEBUG
47177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapirostatic int waitSetCheck(Monitor *mon)
47277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro{
47377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    Thread *fast, *slow;
47477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    size_t n;
47577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
47677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(mon != NULL);
47777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    fast = slow = mon->waitSet;
47877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    n = 0;
47977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    for (;;) {
48077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        if (fast == NULL) return 0;
48177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        if (fast->waitNext == NULL) return 0;
4825f56e67999c67861872c27097803d2126142fed4Carl Shapiro        if (fast == slow && n > 0) return 1;
48377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        n += 2;
48477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        fast = fast->waitNext->waitNext;
48577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        slow = slow->waitNext;
48677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
48777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro}
488b31b30131bbf58280a515c40027aa958b81b5cd6Carl Shapiro#endif
48977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
49077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro/*
49130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro * Links a thread into a monitor's wait set.  The monitor lock must be
49230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro * held by the caller of this routine.
49377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro */
49477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapirostatic void waitSetAppend(Monitor *mon, Thread *thread)
49577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro{
49677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    Thread *elt;
49777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
49877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(mon != NULL);
49930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    assert(mon->owner == dvmThreadSelf());
50077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(thread != NULL);
50177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(thread->waitNext == NULL);
50277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(waitSetCheck(mon) == 0);
50377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (mon->waitSet == NULL) {
50477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        mon->waitSet = thread;
50577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        return;
50677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
50777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    elt = mon->waitSet;
50877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    while (elt->waitNext != NULL) {
50977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        elt = elt->waitNext;
51077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
51177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    elt->waitNext = thread;
51277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro}
51377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
51477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro/*
51530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro * Unlinks a thread from a monitor's wait set.  The monitor lock must
51630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro * be held by the caller of this routine.
51777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro */
51877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapirostatic void waitSetRemove(Monitor *mon, Thread *thread)
51977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro{
52077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    Thread *elt;
52177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
52277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(mon != NULL);
52330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    assert(mon->owner == dvmThreadSelf());
52477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(thread != NULL);
52577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(waitSetCheck(mon) == 0);
52677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (mon->waitSet == NULL) {
52777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        return;
52877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
52977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (mon->waitSet == thread) {
53077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        mon->waitSet = thread->waitNext;
53177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        thread->waitNext = NULL;
53277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        return;
53377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
53477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    elt = mon->waitSet;
53577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    while (elt->waitNext != NULL) {
53677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        if (elt->waitNext == thread) {
53777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro            elt->waitNext = thread->waitNext;
53877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro            thread->waitNext = NULL;
53977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro            return;
54077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        }
54177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        elt = elt->waitNext;
54277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
54377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro}
54477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
545b453919fee9bf10ccd576d389d8b3584061bba8bCarl Shapiro/*
546b453919fee9bf10ccd576d389d8b3584061bba8bCarl Shapiro * Converts the given relative waiting time into an absolute time.
547b453919fee9bf10ccd576d389d8b3584061bba8bCarl Shapiro */
548953a0ed4e507fd6e756aa3e5c671bee80d7e9b3eAndy McFaddenstatic void absoluteTime(s8 msec, s4 nsec, struct timespec *ts)
54977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro{
55077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    s8 endSec;
55177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
55277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro#ifdef HAVE_TIMEDWAIT_MONOTONIC
55377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    clock_gettime(CLOCK_MONOTONIC, ts);
55477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro#else
55577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    {
55677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        struct timeval tv;
55777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        gettimeofday(&tv, NULL);
55877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ts->tv_sec = tv.tv_sec;
55977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ts->tv_nsec = tv.tv_usec * 1000;
56077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
56177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro#endif
56277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    endSec = ts->tv_sec + msec / 1000;
56377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (endSec >= 0x7fffffff) {
56460fc806b679a3655c228b4093058c59941a49cfeDan Bornstein        LOGV("NOTE: end time exceeds epoch");
56577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        endSec = 0x7ffffffe;
56677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
56777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    ts->tv_sec = endSec;
56877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    ts->tv_nsec = (ts->tv_nsec + (msec % 1000) * 1000000) + nsec;
56977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
57077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    /* catch rollover */
57177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (ts->tv_nsec >= 1000000000L) {
57277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ts->tv_sec++;
57377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ts->tv_nsec -= 1000000000L;
57477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
57577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro}
57677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
577fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbeeint dvmRelativeCondWait(pthread_cond_t* cond, pthread_mutex_t* mutex,
578fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee                        s8 msec, s4 nsec)
579fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee{
580fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    int ret;
581fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    struct timespec ts;
582fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    absoluteTime(msec, nsec, &ts);
583fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee#if defined(HAVE_TIMEDWAIT_MONOTONIC)
584fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    ret = pthread_cond_timedwait_monotonic(cond, mutex, &ts);
585fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee#else
586fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    ret = pthread_cond_timedwait(cond, mutex, &ts);
587fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee#endif
588fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    assert(ret == 0 || ret == ETIMEDOUT);
589fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    return ret;
590fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee}
591fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee
59277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro/*
593f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Wait on a monitor until timeout, interrupt, or notification.  Used for
594f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Object.wait() and (somewhat indirectly) Thread.sleep() and Thread.join().
595f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
596f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * If another thread calls Thread.interrupt(), we throw InterruptedException
597f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * and return immediately if one of the following are true:
598f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *  - blocked in wait(), wait(long), or wait(long, int) methods of Object
599f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *  - blocked in join(), join(long), or join(long, int) methods of Thread
600f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *  - blocked in sleep(long), or sleep(long, int) methods of Thread
601f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Otherwise, we set the "interrupted" flag.
602f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
603f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Checks to make sure that "nsec" is in the range 0-999999
604f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * (i.e. fractions of a millisecond) and throws the appropriate
605f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * exception if it isn't.
606f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
607f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * The spec allows "spurious wakeups", and recommends that all code using
608f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Object.wait() do so in a loop.  This appears to derive from concerns
609f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * about pthread_cond_wait() on multiprocessor systems.  Some commentary
610f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * on the web casts doubt on whether these can/should occur.
611f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
612f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Since we're allowed to wake up "early", we clamp extremely long durations
613f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * to return at the end of the 32-bit time epoch.
614f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
615f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstatic void waitMonitor(Thread* self, Monitor* mon, s8 msec, s4 nsec,
616f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    bool interruptShouldThrow)
617f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
618f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    struct timespec ts;
619f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    bool wasInterrupted = false;
620f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    bool timed;
62177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    int ret;
622f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
62371938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    assert(self != NULL);
62471938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    assert(mon != NULL);
62571938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro
62694338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    /* Make sure that we hold the lock. */
62771938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    if (mon->owner != self) {
628d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        dvmThrowIllegalMonitorStateException(
629f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            "object not locked by thread before wait()");
630f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return;
631f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
632f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
633f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
634f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Enforce the timeout range.
635f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
636f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (msec < 0 || nsec < 0 || nsec > 999999) {
637d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        dvmThrowIllegalArgumentException("timeout arguments out of range");
638f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return;
639f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
640f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
641f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
642f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Compute absolute wakeup time, if necessary.
643f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
644f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (msec == 0 && nsec == 0) {
645f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        timed = false;
646f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
647fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee        absoluteTime(msec, nsec, &ts);
648f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        timed = true;
649f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
650f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
651f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
652f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Add ourselves to the set of threads waiting on this monitor, and
653f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * release our hold.  We need to let it go even if we're a few levels
654f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * deep in a recursive lock, and we need to restore that later.
655f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     *
656142ef271a96b4bb2997effc3f3c1bfa601abbeb6Carl Shapiro     * We append to the wait set ahead of clearing the count and owner
657142ef271a96b4bb2997effc3f3c1bfa601abbeb6Carl Shapiro     * fields so the subroutine can check that the calling thread owns
658142ef271a96b4bb2997effc3f3c1bfa601abbeb6Carl Shapiro     * the monitor.  Aside from that, the order of member updates is
659142ef271a96b4bb2997effc3f3c1bfa601abbeb6Carl Shapiro     * not order sensitive as we hold the pthread mutex.
660f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
661142ef271a96b4bb2997effc3f3c1bfa601abbeb6Carl Shapiro    waitSetAppend(mon, self);
662142ef271a96b4bb2997effc3f3c1bfa601abbeb6Carl Shapiro    int prevLockCount = mon->lockCount;
663f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    mon->lockCount = 0;
664f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    mon->owner = NULL;
6659d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes
6669d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes    const Method* savedMethod = mon->ownerMethod;
6679d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes    u4 savedPc = mon->ownerPc;
6689d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes    mon->ownerMethod = NULL;
6699d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes    mon->ownerPc = 0;
670f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
671f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
672f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Update thread status.  If the GC wakes up, it'll ignore us, knowing
673f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * that we won't touch any references in this state, and we'll check
674f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * our suspend mode before we transition out.
675f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
676f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (timed)
677f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        dvmChangeStatus(self, THREAD_TIMED_WAIT);
678f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    else
679f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        dvmChangeStatus(self, THREAD_WAIT);
680f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
681980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro    dvmLockMutex(&self->waitMutex);
68277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
683f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
68477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * Set waitMonitor to the monitor object we will be waiting on.
68577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * When waitMonitor is non-NULL a notifying or interrupting thread
68677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * must signal the thread's waitCond to wake it up.
687f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
68877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(self->waitMonitor == NULL);
689f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    self->waitMonitor = mon;
690f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
691f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
692f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Handle the case where the thread was interrupted before we called
693f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * wait().
694f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
695f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (self->interrupted) {
696f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        wasInterrupted = true;
69777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        self->waitMonitor = NULL;
698980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmUnlockMutex(&self->waitMutex);
699f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        goto done;
700f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
701f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
70277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    /*
70377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * Release the monitor lock and wait for a notification or
70477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * a timeout to occur.
70577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     */
706980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro    dvmUnlockMutex(&mon->lock);
70777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
70877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (!timed) {
70977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ret = pthread_cond_wait(&self->waitCond, &self->waitMutex);
71077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        assert(ret == 0);
71177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    } else {
712f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#ifdef HAVE_TIMEDWAIT_MONOTONIC
71377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ret = pthread_cond_timedwait_monotonic(&self->waitCond, &self->waitMutex, &ts);
714f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#else
71577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ret = pthread_cond_timedwait(&self->waitCond, &self->waitMutex, &ts);
716f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#endif
71777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        assert(ret == 0 || ret == ETIMEDOUT);
71877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
71977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (self->interrupted) {
72077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        wasInterrupted = true;
721f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
722f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
72377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    self->interrupted = false;
72477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    self->waitMonitor = NULL;
72577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
726980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro    dvmUnlockMutex(&self->waitMutex);
72777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
72830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    /* Reacquire the monitor lock. */
72977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    lockMonitor(self, mon);
730f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
731142ef271a96b4bb2997effc3f3c1bfa601abbeb6Carl Shapirodone:
732f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
73307b359273a838a15accafefcbe861be15caaac3aCarl Shapiro     * We remove our thread from wait set after restoring the count
73407b359273a838a15accafefcbe861be15caaac3aCarl Shapiro     * and owner fields so the subroutine can check that the calling
73507b359273a838a15accafefcbe861be15caaac3aCarl Shapiro     * thread owns the monitor. Aside from that, the order of member
73607b359273a838a15accafefcbe861be15caaac3aCarl Shapiro     * updates is not order sensitive as we hold the pthread mutex.
737f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
738f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    mon->owner = self;
739f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    mon->lockCount = prevLockCount;
7409d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes    mon->ownerMethod = savedMethod;
7419d420d4ed7b9e5315bc4e4248cef42034ec47530Elliott Hughes    mon->ownerPc = savedPc;
74207b359273a838a15accafefcbe861be15caaac3aCarl Shapiro    waitSetRemove(mon, self);
743f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
744f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* set self->status back to THREAD_RUNNING, and self-suspend if needed */
745f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    dvmChangeStatus(self, THREAD_RUNNING);
746f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
747f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (wasInterrupted) {
748f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /*
749f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * We were interrupted while waiting, or somebody interrupted an
75030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * un-interruptible thread earlier and we're bailing out immediately.
751f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         *
752f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * The doc sayeth: "The interrupted status of the current thread is
753f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * cleared when this exception is thrown."
754f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
755f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        self->interrupted = false;
756d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        if (interruptShouldThrow) {
757d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein            dvmThrowInterruptedException(NULL);
758d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        }
759f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
760f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
761f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
762f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
763f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Notify one thread waiting on this monitor.
764f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
765f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstatic void notifyMonitor(Thread* self, Monitor* mon)
766f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
76777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    Thread* thread;
76877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
76971938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    assert(self != NULL);
77071938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    assert(mon != NULL);
77171938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro
77294338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    /* Make sure that we hold the lock. */
77371938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    if (mon->owner != self) {
774d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        dvmThrowIllegalMonitorStateException(
775f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            "object not locked by thread before notify()");
776f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return;
777f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
77830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    /* Signal the first waiting thread in the wait set. */
77930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    while (mon->waitSet != NULL) {
78077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        thread = mon->waitSet;
78177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        mon->waitSet = thread->waitNext;
78277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        thread->waitNext = NULL;
783980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmLockMutex(&thread->waitMutex);
78477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        /* Check to see if the thread is still waiting. */
78577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        if (thread->waitMonitor != NULL) {
78677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro            pthread_cond_signal(&thread->waitCond);
787980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro            dvmUnlockMutex(&thread->waitMutex);
78830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            return;
78977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        }
790980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmUnlockMutex(&thread->waitMutex);
791f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
792f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
793f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
794f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
795f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Notify all threads waiting on this monitor.
796f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
797f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstatic void notifyAllMonitor(Thread* self, Monitor* mon)
798f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
79977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    Thread* thread;
80077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
80171938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    assert(self != NULL);
80271938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    assert(mon != NULL);
80371938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro
80494338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    /* Make sure that we hold the lock. */
80571938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    if (mon->owner != self) {
806d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        dvmThrowIllegalMonitorStateException(
807f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            "object not locked by thread before notifyAll()");
808f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return;
809f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
81077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    /* Signal all threads in the wait set. */
81177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    while (mon->waitSet != NULL) {
81277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        thread = mon->waitSet;
81377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        mon->waitSet = thread->waitNext;
81477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        thread->waitNext = NULL;
815980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmLockMutex(&thread->waitMutex);
81677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        /* Check to see if the thread is still waiting. */
81777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        if (thread->waitMonitor != NULL) {
81877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro            pthread_cond_signal(&thread->waitCond);
81977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        }
820980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmUnlockMutex(&thread->waitMutex);
821f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
822f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
823f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
824f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
82566bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro * Changes the shape of a monitor from thin to fat, preserving the
82666bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro * internal lock state.  The calling thread must own the lock.
82766bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro */
82866bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapirostatic void inflateMonitor(Thread *self, Object *obj)
82966bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro{
83066bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    Monitor *mon;
83166bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    u4 thin;
83266bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro
83366bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    assert(self != NULL);
83466bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    assert(obj != NULL);
83566bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    assert(LW_SHAPE(obj->lock) == LW_SHAPE_THIN);
83666bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    assert(LW_LOCK_OWNER(obj->lock) == self->threadId);
83766bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    /* Allocate and acquire a new monitor. */
83866bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    mon = dvmCreateMonitor(obj);
83966bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    lockMonitor(self, mon);
84066bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    /* Propagate the lock state. */
84166bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    thin = obj->lock;
84266bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    mon->lockCount = LW_LOCK_COUNT(thin);
84366bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    thin &= LW_HASH_STATE_MASK << LW_HASH_STATE_SHIFT;
84466bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    thin |= (u4)mon | LW_SHAPE_FAT;
84566bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    /* Publish the updated lock word. */
8464ba5672a3d33ff8aaf45e2ae8371e18fe30d469bCarl Shapiro    android_atomic_release_store(thin, (int32_t *)&obj->lock);
84766bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro}
84866bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro
84966bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro/*
850f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Implements monitorenter for "synchronized" stuff.
851f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
852f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * This does not fail or throw an exception (unless deadlock prediction
853f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * is enabled and set to "err" mode).
854f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
855f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectvoid dvmLockObject(Thread* self, Object *obj)
856f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
857147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    volatile u4 *thinp;
858147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    ThreadStatus oldStatus;
85916a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro    struct timespec tm;
86016a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro    long sleepDelayNs;
86116a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro    long minSleepDelayNs = 1000000;  /* 1 millisecond */
86216a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro    long maxSleepDelayNs = 1000000000;  /* 1 second */
863147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    u4 thin, newThin, threadId;
864f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
865147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    assert(self != NULL);
866147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    assert(obj != NULL);
867147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    threadId = self->threadId;
868147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    thinp = &obj->lock;
869147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiroretry:
870147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    thin = *thinp;
871147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
872147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        /*
873147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro         * The lock is a thin lock.  The owner field is used to
874147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro         * determine the acquire method, ordered by cost.
875f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
876147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        if (LW_LOCK_OWNER(thin) == threadId) {
877147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
878147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * The calling thread owns the lock.  Increment the
879147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * value of the recursion count field.
880f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project             */
881147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            obj->lock += 1 << LW_LOCK_COUNT_SHIFT;
882f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro            if (LW_LOCK_COUNT(obj->lock) == LW_LOCK_COUNT_MASK) {
883f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                /*
884f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                 * The reacquisition limit has been reached.  Inflate
885f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                 * the lock so the next acquire will not overflow the
886f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                 * recursion count field.
887f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                 */
888f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                inflateMonitor(self, obj);
889f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro            }
890147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        } else if (LW_LOCK_OWNER(thin) == 0) {
891147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
892147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * The lock is unowned.  Install the thread id of the
893147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * calling thread into the owner field.  This is the
894147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * common case.  In performance critical code the JIT
895147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * will have tried this before calling out to the VM.
896f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project             */
897147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            newThin = thin | (threadId << LW_LOCK_OWNER_SHIFT);
8983ba10c9932db4c7c9546081ea070c73d5001c168Carl Shapiro            if (android_atomic_acquire_cas(thin, newThin,
8996e10b9aaa72425a4825a25f0043533d0c6fdbba4Andy McFadden                    (int32_t*)thinp) != 0) {
900147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                /*
901147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                 * The acquire failed.  Try again.
902f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                 */
903147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                goto retry;
904147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            }
905147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        } else {
9069eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro            LOGV("(%d) spin on lock %p: %#x (%#x) %#x",
9079eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro                 threadId, &obj->lock, 0, *thinp, thin);
908147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
909147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * The lock is owned by another thread.  Notify the VM
910147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * that we are about to wait.
911147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             */
912147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            oldStatus = dvmChangeStatus(self, THREAD_MONITOR);
913147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
914147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * Spin until the thin lock is released or inflated.
915147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             */
91616a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro            sleepDelayNs = 0;
917147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            for (;;) {
918147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                thin = *thinp;
919147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                /*
920147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                 * Check the shape of the lock word.  Another thread
921147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                 * may have inflated the lock while we were waiting.
922f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                 */
923147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
924147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                    if (LW_LOCK_OWNER(thin) == 0) {
925147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                        /*
926147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         * The lock has been released.  Install the
927147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         * thread id of the calling thread into the
928147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         * owner field.
929147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         */
930147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                        newThin = thin | (threadId << LW_LOCK_OWNER_SHIFT);
9313ba10c9932db4c7c9546081ea070c73d5001c168Carl Shapiro                        if (android_atomic_acquire_cas(thin, newThin,
9326e10b9aaa72425a4825a25f0043533d0c6fdbba4Andy McFadden                                (int32_t *)thinp) == 0) {
933147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                            /*
934147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                             * The acquire succeed.  Break out of the
935147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                             * loop and proceed to inflate the lock.
936f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                             */
937147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                            break;
938f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                        }
939147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                    } else {
940147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                        /*
941147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         * The lock has not been released.  Yield so
942147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         * the owning thread can run.
943147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         */
94416a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                        if (sleepDelayNs == 0) {
945f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                            sched_yield();
94616a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            sleepDelayNs = minSleepDelayNs;
947f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                        } else {
94816a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            tm.tv_sec = 0;
94916a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            tm.tv_nsec = sleepDelayNs;
95016a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            nanosleep(&tm, NULL);
95116a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            /*
95216a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                             * Prepare the next delay value.  Wrap to
95316a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                             * avoid once a second polls for eternity.
95416a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                             */
95516a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            if (sleepDelayNs < maxSleepDelayNs / 2) {
95616a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                                sleepDelayNs *= 2;
95716a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            } else {
95816a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                                sleepDelayNs = minSleepDelayNs;
959f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                            }
960f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                        }
961f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                    }
962147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                } else {
963147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                    /*
964147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                     * The thin lock was inflated by another thread.
965147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                     * Let the VM know we are no longer waiting and
966147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                     * try again.
967147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                     */
9689eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro                    LOGV("(%d) lock %p surprise-fattened",
969147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                             threadId, &obj->lock);
970147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                    dvmChangeStatus(self, oldStatus);
971147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                    goto retry;
972147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                }
973f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            }
9749eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro            LOGV("(%d) spin on lock done %p: %#x (%#x) %#x",
9759eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro                 threadId, &obj->lock, 0, *thinp, thin);
976147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
977147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * We have acquired the thin lock.  Let the VM know that
978147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * we are no longer waiting.
979147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             */
980147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            dvmChangeStatus(self, oldStatus);
981147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
982147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * Fatten the lock.
983f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project             */
98466bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro            inflateMonitor(self, obj);
9859eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro            LOGV("(%d) lock %p fattened", threadId, &obj->lock);
986f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
987147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    } else {
988147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        /*
989147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro         * The lock is a fat lock.
990147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro         */
991147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        assert(LW_MONITOR(obj->lock) != NULL);
992147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        lockMonitor(self, LW_MONITOR(obj->lock));
993f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
994f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
995f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
996f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
997f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Implements monitorexit for "synchronized" stuff.
998f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
999f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * On failure, throws an exception and returns "false".
1000f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
1001f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectbool dvmUnlockObject(Thread* self, Object *obj)
1002f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
100394338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    u4 thin;
1004f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1005ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro    assert(self != NULL);
1006ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro    assert(self->status == THREAD_RUNNING);
1007ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro    assert(obj != NULL);
1008ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro    /*
1009ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro     * Cache the lock word as its value can change while we are
1010ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro     * examining its state.
1011f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
1012f28000dc9b6f596921b1a4387746bea4c8cd207fCarl Shapiro    thin = *(volatile u4 *)&obj->lock;
1013ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro    if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
1014ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro        /*
1015ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro         * The lock is thin.  We must ensure that the lock is owned
1016ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro         * by the given thread before unlocking it.
1017f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
1018ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro        if (LW_LOCK_OWNER(thin) == self->threadId) {
1019ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            /*
1020ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             * We are the lock owner.  It is safe to update the lock
1021ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             * without CAS as lock ownership guards the lock itself.
1022ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             */
1023ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            if (LW_LOCK_COUNT(thin) == 0) {
1024ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                /*
1025ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 * The lock was not recursively acquired, the common
1026ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 * case.  Unlock by clearing all bits except for the
1027ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 * hash state.
1028ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 */
1029f28000dc9b6f596921b1a4387746bea4c8cd207fCarl Shapiro                thin &= (LW_HASH_STATE_MASK << LW_HASH_STATE_SHIFT);
1030f28000dc9b6f596921b1a4387746bea4c8cd207fCarl Shapiro                android_atomic_release_store(thin, (int32_t*)&obj->lock);
1031ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            } else {
1032ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                /*
1033ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 * The object was recursively acquired.  Decrement the
1034ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 * lock recursion count field.
1035ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 */
1036147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                obj->lock -= 1 << LW_LOCK_COUNT_SHIFT;
1037ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            }
1038ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro        } else {
1039ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            /*
1040ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             * We do not own the lock.  The JVM spec requires that we
1041ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             * throw an exception in this case.
1042f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project             */
1043d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein            dvmThrowIllegalMonitorStateException("unlock of unowned monitor");
1044f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return false;
1045f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
1046f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
1047ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro        /*
1048ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro         * The lock is fat.  We must check to see if unlockMonitor has
1049ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro         * raised any exceptions before continuing.
1050f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
10518d7f9b2cd9fe252399ae96a36781bba1242fb93cCarl Shapiro        assert(LW_MONITOR(obj->lock) != NULL);
10528d7f9b2cd9fe252399ae96a36781bba1242fb93cCarl Shapiro        if (!unlockMonitor(self, LW_MONITOR(obj->lock))) {
1053ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            /*
1054ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             * An exception has been raised.  Do not fall through.
1055ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             */
1056f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return false;
1057f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
1058f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
1059f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    return true;
1060f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1061f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1062f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
1063f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Object.wait().  Also called for class init.
1064f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
1065f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectvoid dvmObjectWait(Thread* self, Object *obj, s8 msec, s4 nsec,
1066f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    bool interruptShouldThrow)
1067f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
106866bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    Monitor* mon;
1069f28000dc9b6f596921b1a4387746bea4c8cd207fCarl Shapiro    u4 thin = *(volatile u4 *)&obj->lock;
1070f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1071f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* If the lock is still thin, we need to fatten it.
1072f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
107394338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
1074f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* Make sure that 'self' holds the lock.
1075f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
107694338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro        if (LW_LOCK_OWNER(thin) != self->threadId) {
1077d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein            dvmThrowIllegalMonitorStateException(
1078f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                "object not locked by thread before wait()");
1079f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return;
1080f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
1081f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1082f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* This thread holds the lock.  We need to fatten the lock
1083f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * so 'self' can block on it.  Don't update the object lock
1084f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * field yet, because 'self' needs to acquire the lock before
1085f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * any other thread gets a chance.
1086f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
108766bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro        inflateMonitor(self, obj);
10889eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro        LOGV("(%d) lock %p fattened by wait()", self->threadId, &obj->lock);
1089f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
109066bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    mon = LW_MONITOR(obj->lock);
1091f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    waitMonitor(self, mon, msec, nsec, interruptShouldThrow);
1092f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1093f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1094f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
1095f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Object.notify().
1096f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
1097f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectvoid dvmObjectNotify(Thread* self, Object *obj)
1098f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
1099f28000dc9b6f596921b1a4387746bea4c8cd207fCarl Shapiro    u4 thin = *(volatile u4 *)&obj->lock;
1100f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1101f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* If the lock is still thin, there aren't any waiters;
1102f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * waiting on an object forces lock fattening.
1103f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
110494338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
1105f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* Make sure that 'self' holds the lock.
1106f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
110794338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro        if (LW_LOCK_OWNER(thin) != self->threadId) {
1108d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein            dvmThrowIllegalMonitorStateException(
1109f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                "object not locked by thread before notify()");
1110f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return;
1111f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
1112f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1113f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* no-op;  there are no waiters to notify.
1114f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
1115f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
1116f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* It's a fat lock.
1117f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
111894338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro        notifyMonitor(self, LW_MONITOR(thin));
1119f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
1120f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1121f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1122f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
1123f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Object.notifyAll().
1124f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
1125f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectvoid dvmObjectNotifyAll(Thread* self, Object *obj)
1126f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
1127f28000dc9b6f596921b1a4387746bea4c8cd207fCarl Shapiro    u4 thin = *(volatile u4 *)&obj->lock;
1128f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1129f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* If the lock is still thin, there aren't any waiters;
1130f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * waiting on an object forces lock fattening.
1131f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
113294338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
1133f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* Make sure that 'self' holds the lock.
1134f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
113594338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro        if (LW_LOCK_OWNER(thin) != self->threadId) {
1136d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein            dvmThrowIllegalMonitorStateException(
1137f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                "object not locked by thread before notifyAll()");
1138f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return;
1139f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
1140f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1141f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* no-op;  there are no waiters to notify.
1142f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
1143f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
1144f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* It's a fat lock.
1145f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
114694338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro        notifyAllMonitor(self, LW_MONITOR(thin));
1147f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
1148f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1149f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1150f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
1151f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * This implements java.lang.Thread.sleep(long msec, int nsec).
1152f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
1153f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * The sleep is interruptible by other threads, which means we can't just
1154f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * plop into an OS sleep call.  (We probably could if we wanted to send
1155f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * signals around and rely on EINTR, but that's inefficient and relies
1156f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * on native code respecting our signal mask.)
1157f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
1158f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * We have to do all of this stuff for Object.wait() as well, so it's
1159f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * easiest to just sleep on a private Monitor.
1160f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
1161f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * It appears that we want sleep(0,0) to go through the motions of sleeping
1162f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * for a very short duration, rather than just returning.
1163f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
1164f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectvoid dvmThreadSleep(u8 msec, u4 nsec)
1165f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
1166f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    Thread* self = dvmThreadSelf();
1167f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    Monitor* mon = gDvm.threadSleepMon;
1168f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1169f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* sleep(0,0) wakes up immediately, wait(0,0) means wait forever; adjust */
1170f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (msec == 0 && nsec == 0)
1171f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        nsec++;
1172f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1173f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    lockMonitor(self, mon);
1174f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    waitMonitor(self, mon, msec, nsec, true);
1175f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    unlockMonitor(self, mon);
1176f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1177f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1178f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
1179f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Implement java.lang.Thread.interrupt().
1180f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
118177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapirovoid dvmThreadInterrupt(Thread* thread)
1182f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
118377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(thread != NULL);
118477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
1185980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro    dvmLockMutex(&thread->waitMutex);
118677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
118777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    /*
118877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * If the interrupted flag is already set no additional action is
118977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * required.
119077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     */
119177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (thread->interrupted == true) {
1192980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmUnlockMutex(&thread->waitMutex);
119377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        return;
119477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
119577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
1196f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
1197f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Raise the "interrupted" flag.  This will cause it to bail early out
1198f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * of the next wait() attempt, if it's not currently waiting on
1199f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * something.
1200f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
1201f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    thread->interrupted = true;
1202f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1203f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
1204f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Is the thread waiting?
1205f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     *
1206f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Note that fat vs. thin doesn't matter here;  waitMonitor
1207f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * is only set when a thread actually waits on a monitor,
1208f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * which implies that the monitor has already been fattened.
1209f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
121077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (thread->waitMonitor != NULL) {
121177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        pthread_cond_signal(&thread->waitCond);
1212f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
1213f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1214980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro    dvmUnlockMutex(&thread->waitMutex);
1215f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1216f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
121730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro#ifndef WITH_COPYING_GC
121894338aadf8355b28846f0d21c49142ca29479dc4Carl Shapirou4 dvmIdentityHashCode(Object *obj)
121994338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro{
122094338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    return (u4)obj;
122194338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro}
122230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro#else
122330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro/*
122430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro * Returns the identity hash code of the given object.
122530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro */
122630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapirou4 dvmIdentityHashCode(Object *obj)
122730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro{
122830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    Thread *self, *thread;
122930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    volatile u4 *lw;
1230bfe4dcc3bd3d4d85a07fd3d63da537b51342b6ebCarl Shapiro    size_t size;
123130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    u4 lock, owner, hashState;
123230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro
123330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    if (obj == NULL) {
123430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
123530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * Null is defined to have an identity hash code of 0.
123630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
123730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        return 0;
123830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    }
123930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    lw = &obj->lock;
124030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiroretry:
124130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    hashState = LW_HASH_STATE(*lw);
124230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    if (hashState == LW_HASH_STATE_HASHED) {
124330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
124430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * The object has been hashed but has not had its hash code
124530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * relocated by the garbage collector.  Use the raw object
124630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * address.
124730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
124830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        return (u4)obj >> 3;
124930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    } else if (hashState == LW_HASH_STATE_HASHED_AND_MOVED) {
125030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
125130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * The object has been hashed and its hash code has been
125230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * relocated by the collector.  Use the value of the naturally
125330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * aligned word following the instance data.
125430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
1255c6d2470eec726ae0ad95e4fd2d9d7da7cb2cdcbaDan Bornstein        assert(!dvmIsClassObject(obj));
125630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (IS_CLASS_FLAG_SET(obj->clazz, CLASS_ISARRAY)) {
1257bfe4dcc3bd3d4d85a07fd3d63da537b51342b6ebCarl Shapiro            size = dvmArrayObjectSize((ArrayObject *)obj);
1258c48b6d0dc6b8c01c65977a9d18203c8510687267Carl Shapiro            size = (size + 2) & ~2;
125930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        } else {
1260bfe4dcc3bd3d4d85a07fd3d63da537b51342b6ebCarl Shapiro            size = obj->clazz->objectSize;
126130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
1262bfe4dcc3bd3d4d85a07fd3d63da537b51342b6ebCarl Shapiro        return *(u4 *)(((char *)obj) + size);
126330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    } else if (hashState == LW_HASH_STATE_UNHASHED) {
126430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
126530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * The object has never been hashed.  Change the hash state to
126630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * hashed and use the raw object address.
126730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
126830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        self = dvmThreadSelf();
126930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (self->threadId == lockOwner(obj)) {
127030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            /*
127130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * We already own the lock so we can update the hash state
127230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * directly.
127330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             */
127430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            *lw |= (LW_HASH_STATE_HASHED << LW_HASH_STATE_SHIFT);
127530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            return (u4)obj >> 3;
127630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
127730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
127830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * We do not own the lock.  Try acquiring the lock.  Should
127930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * this fail, we must suspend the owning thread.
128030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
128130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (LW_SHAPE(*lw) == LW_SHAPE_THIN) {
128230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            /*
128330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * If the lock is thin assume it is unowned.  We simulate
128430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * an acquire, update, and release with a single CAS.
128530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             */
1286122dac5b92c649b5d3182b163d7fce35e8c69d76Carl Shapiro            lock = (LW_HASH_STATE_HASHED << LW_HASH_STATE_SHIFT);
12873ba10c9932db4c7c9546081ea070c73d5001c168Carl Shapiro            if (android_atomic_acquire_cas(
1288122dac5b92c649b5d3182b163d7fce35e8c69d76Carl Shapiro                                0,
12896e10b9aaa72425a4825a25f0043533d0c6fdbba4Andy McFadden                                (int32_t)lock,
12906e10b9aaa72425a4825a25f0043533d0c6fdbba4Andy McFadden                                (int32_t *)lw) == 0) {
129130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                /*
129230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 * A new lockword has been installed with a hash state
129330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 * of hashed.  Use the raw object address.
129430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 */
129530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                return (u4)obj >> 3;
129630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            }
129730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        } else {
129830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            if (tryLockMonitor(self, LW_MONITOR(*lw))) {
129930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                /*
130030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 * The monitor lock has been acquired.  Change the
130130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 * hash state to hashed and use the raw object
130230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 * address.
130330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 */
130430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                *lw |= (LW_HASH_STATE_HASHED << LW_HASH_STATE_SHIFT);
130530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                unlockMonitor(self, LW_MONITOR(*lw));
130630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                return (u4)obj >> 3;
130730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            }
130830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
130930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
131030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * At this point we have failed to acquire the lock.  We must
131130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * identify the owning thread and suspend it.
131230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
131330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        dvmLockThreadList(self);
131430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
131530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * Cache the lock word as its value can change between
131630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * determining its shape and retrieving its owner.
131730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
131830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        lock = *lw;
131930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (LW_SHAPE(lock) == LW_SHAPE_THIN) {
132030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            /*
132130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * Find the thread with the corresponding thread id.
132230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             */
132330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            owner = LW_LOCK_OWNER(lock);
132430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            assert(owner != self->threadId);
132530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            /*
132630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * If the lock has no owner do not bother scanning the
132730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * thread list and fall through to the failure handler.
132830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             */
132930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            thread = owner ? gDvm.threadList : NULL;
133030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            while (thread != NULL) {
133130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                if (thread->threadId == owner) {
133230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                    break;
133330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                }
133430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                thread = thread->next;
133530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            }
133630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        } else {
133730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            thread = LW_MONITOR(lock)->owner;
133830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
133930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
134030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * If thread is NULL the object has been released since the
134130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * thread list lock was acquired.  Try again.
134230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
134330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (thread == NULL) {
134430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            dvmUnlockThreadList();
134530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            goto retry;
134630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
134730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
134830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * Wait for the owning thread to suspend.
134930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
135030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        dvmSuspendThread(thread);
135130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (dvmHoldsLock(thread, obj)) {
135230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            /*
135330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * The owning thread has been suspended.  We can safely
135430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * change the hash state to hashed.
135530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             */
135630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            *lw |= (LW_HASH_STATE_HASHED << LW_HASH_STATE_SHIFT);
135730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            dvmResumeThread(thread);
135830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            dvmUnlockThreadList();
135930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            return (u4)obj >> 3;
136030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
136130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
136230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * The wrong thread has been suspended.  Try again.
136330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
136430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        dvmResumeThread(thread);
136530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        dvmUnlockThreadList();
136630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        goto retry;
136730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    }
136830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    LOGE("object %p has an unknown hash state %#x", obj, hashState);
136930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    dvmDumpThread(dvmThreadSelf(), false);
137030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    dvmAbort();
137130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    return 0;  /* Quiet the compiler. */
137230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro}
137330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro#endif  /* WITH_COPYING_GC */
1374