Sync.cpp revision 708f143f318bb2167c810f9506102f4ad656545c
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.
85fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro     * Even when enabled, ownerFileName may be NULL.
86fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro     */
87d5c36b9040bd26a81219a7f399513526f9b46324Carl Shapiro    const char* ownerFileName;
88fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    u4          ownerLineNumber;
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        }
358fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro        const char* currentOwnerFileName = mon->ownerFileName;
359fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro        u4 currentOwnerLineNumber = mon->ownerLineNumber;
360fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro
361f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        dvmLockMutex(&mon->lock);
362f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        if (waitThreshold) {
363f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            waitEnd = dvmGetRelativeTimeUsec();
364f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        }
365f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        dvmChangeStatus(self, oldStatus);
366f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro        if (waitThreshold) {
367f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            waitMs = (waitEnd - waitStart) / 1000;
368f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            if (waitMs >= waitThreshold) {
369f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro                samplePercent = 100;
370f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            } else {
371af69cf8d062a42300852ddee6bcb9f189f5a1b83Carl Shapiro                samplePercent = 100 * waitMs / waitThreshold;
372f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            }
373b8fcf57f13b4d37950cfbd72a6af401941d7bdd8Carl Shapiro            if (samplePercent != 0 && ((u4)rand() % 100 < samplePercent)) {
374fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro                logContentionEvent(self, waitMs, samplePercent,
375fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro                                   currentOwnerFileName, currentOwnerLineNumber);
376f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro            }
377f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
378f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
379f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    mon->owner = self;
380f0c514ce8c64a441375af4a7e364282a3d803c45Carl Shapiro    assert(mon->lockCount == 0);
381fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro
382fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    // When debugging, save the current monitor holder for future
383fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    // acquisition failures to use in sampled logging.
384fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    if (gDvm.lockProfThreshold > 0) {
385fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro        const StackSaveArea *saveArea;
386fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro        const Method *meth;
387fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro        mon->ownerLineNumber = 0;
38830bc0d46ae730d78c42c39cfa56a59ba3025380bbuzbee        if (self->interpSave.curFrame == NULL) {
389fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro            mon->ownerFileName = "no_frame";
39030bc0d46ae730d78c42c39cfa56a59ba3025380bbuzbee        } else if ((saveArea =
39130bc0d46ae730d78c42c39cfa56a59ba3025380bbuzbee                   SAVEAREA_FROM_FP(self->interpSave.curFrame)) == NULL) {
392fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro            mon->ownerFileName = "no_save_area";
393fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro        } else if ((meth = saveArea->method) == NULL) {
394fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro            mon->ownerFileName = "no_method";
395fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro        } else {
396fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro            u4 relativePc = saveArea->xtra.currentPc - saveArea->method->insns;
397fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro            mon->ownerFileName = (char*) dvmGetMethodSourceFile(meth);
398fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro            if (mon->ownerFileName == NULL) {
399fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro                mon->ownerFileName = "no_method_file";
400fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro            } else {
401fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro                mon->ownerLineNumber = dvmLineNumFromPC(meth, relativePc);
402fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro            }
403fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro        }
404fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    }
405f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
406f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
407f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
408f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Try to lock a monitor.
409f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
410f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Returns "true" on success.
411f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
412b31b30131bbf58280a515c40027aa958b81b5cd6Carl Shapiro#ifdef WITH_COPYING_GC
413f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstatic bool tryLockMonitor(Thread* self, Monitor* mon)
414f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
415f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (mon->owner == self) {
416f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        mon->lockCount++;
417f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return true;
418f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
419980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        if (dvmTryLockMutex(&mon->lock) == 0) {
420f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            mon->owner = self;
421f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            assert(mon->lockCount == 0);
422f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return true;
423f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        } else {
424f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return false;
425f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
426f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
427f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
428b31b30131bbf58280a515c40027aa958b81b5cd6Carl Shapiro#endif
429f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
430f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
431f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Unlock a monitor.
432f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
433f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Returns true if the unlock succeeded.
434f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * If the unlock failed, an exception will be pending.
435f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
436f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstatic bool unlockMonitor(Thread* self, Monitor* mon)
437f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
43877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(self != NULL);
4399227708d5de03fd72c8a99e3dd2747934591ba5bCarl Shapiro    assert(mon != NULL);
440f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (mon->owner == self) {
441f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /*
442f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * We own the monitor, so nobody else can be in here.
443f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
444f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        if (mon->lockCount == 0) {
445f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            mon->owner = NULL;
446fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro            mon->ownerFileName = "unlocked";
447fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro            mon->ownerLineNumber = 0;
448980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro            dvmUnlockMutex(&mon->lock);
449f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        } else {
450f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            mon->lockCount--;
451f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
452f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
453f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /*
454f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * We don't own this, so we're not allowed to unlock it.
455f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * The JNI spec says that we should throw IllegalMonitorStateException
456f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * in this case.
457f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
458d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        dvmThrowIllegalMonitorStateException("unlock of unowned monitor");
459f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return false;
460f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
461f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    return true;
462f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
463f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
464f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
46577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro * Checks the wait set for circular structure.  Returns 0 if the list
466b453919fee9bf10ccd576d389d8b3584061bba8bCarl Shapiro * is not circular.  Otherwise, returns 1.  Used only by asserts.
46777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro */
468b31b30131bbf58280a515c40027aa958b81b5cd6Carl Shapiro#ifndef NDEBUG
46977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapirostatic int waitSetCheck(Monitor *mon)
47077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro{
47177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    Thread *fast, *slow;
47277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    size_t n;
47377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
47477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(mon != NULL);
47577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    fast = slow = mon->waitSet;
47677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    n = 0;
47777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    for (;;) {
47877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        if (fast == NULL) return 0;
47977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        if (fast->waitNext == NULL) return 0;
4805f56e67999c67861872c27097803d2126142fed4Carl Shapiro        if (fast == slow && n > 0) return 1;
48177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        n += 2;
48277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        fast = fast->waitNext->waitNext;
48377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        slow = slow->waitNext;
48477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
48577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro}
486b31b30131bbf58280a515c40027aa958b81b5cd6Carl Shapiro#endif
48777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
48877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro/*
48930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro * Links a thread into a monitor's wait set.  The monitor lock must be
49030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro * held by the caller of this routine.
49177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro */
49277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapirostatic void waitSetAppend(Monitor *mon, Thread *thread)
49377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro{
49477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    Thread *elt;
49577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
49677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(mon != NULL);
49730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    assert(mon->owner == dvmThreadSelf());
49877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(thread != NULL);
49977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(thread->waitNext == NULL);
50077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(waitSetCheck(mon) == 0);
50177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (mon->waitSet == NULL) {
50277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        mon->waitSet = thread;
50377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        return;
50477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
50577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    elt = mon->waitSet;
50677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    while (elt->waitNext != NULL) {
50777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        elt = elt->waitNext;
50877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
50977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    elt->waitNext = thread;
51077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro}
51177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
51277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro/*
51330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro * Unlinks a thread from a monitor's wait set.  The monitor lock must
51430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro * be held by the caller of this routine.
51577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro */
51677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapirostatic void waitSetRemove(Monitor *mon, Thread *thread)
51777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro{
51877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    Thread *elt;
51977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
52077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(mon != NULL);
52130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    assert(mon->owner == dvmThreadSelf());
52277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(thread != NULL);
52377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(waitSetCheck(mon) == 0);
52477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (mon->waitSet == NULL) {
52577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        return;
52677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
52777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (mon->waitSet == thread) {
52877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        mon->waitSet = thread->waitNext;
52977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        thread->waitNext = NULL;
53077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        return;
53177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
53277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    elt = mon->waitSet;
53377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    while (elt->waitNext != NULL) {
53477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        if (elt->waitNext == thread) {
53577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro            elt->waitNext = thread->waitNext;
53677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro            thread->waitNext = NULL;
53777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro            return;
53877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        }
53977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        elt = elt->waitNext;
54077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
54177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro}
54277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
543b453919fee9bf10ccd576d389d8b3584061bba8bCarl Shapiro/*
544b453919fee9bf10ccd576d389d8b3584061bba8bCarl Shapiro * Converts the given relative waiting time into an absolute time.
545b453919fee9bf10ccd576d389d8b3584061bba8bCarl Shapiro */
546953a0ed4e507fd6e756aa3e5c671bee80d7e9b3eAndy McFaddenstatic void absoluteTime(s8 msec, s4 nsec, struct timespec *ts)
54777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro{
54877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    s8 endSec;
54977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
55077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro#ifdef HAVE_TIMEDWAIT_MONOTONIC
55177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    clock_gettime(CLOCK_MONOTONIC, ts);
55277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro#else
55377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    {
55477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        struct timeval tv;
55577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        gettimeofday(&tv, NULL);
55677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ts->tv_sec = tv.tv_sec;
55777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ts->tv_nsec = tv.tv_usec * 1000;
55877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
55977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro#endif
56077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    endSec = ts->tv_sec + msec / 1000;
56177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (endSec >= 0x7fffffff) {
56260fc806b679a3655c228b4093058c59941a49cfeDan Bornstein        LOGV("NOTE: end time exceeds epoch");
56377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        endSec = 0x7ffffffe;
56477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
56577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    ts->tv_sec = endSec;
56677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    ts->tv_nsec = (ts->tv_nsec + (msec % 1000) * 1000000) + nsec;
56777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
56877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    /* catch rollover */
56977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (ts->tv_nsec >= 1000000000L) {
57077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ts->tv_sec++;
57177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ts->tv_nsec -= 1000000000L;
57277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
57377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro}
57477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
575fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbeeint dvmRelativeCondWait(pthread_cond_t* cond, pthread_mutex_t* mutex,
576fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee                        s8 msec, s4 nsec)
577fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee{
578fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    int ret;
579fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    struct timespec ts;
580fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    absoluteTime(msec, nsec, &ts);
581fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee#if defined(HAVE_TIMEDWAIT_MONOTONIC)
582fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    ret = pthread_cond_timedwait_monotonic(cond, mutex, &ts);
583fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee#else
584fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    ret = pthread_cond_timedwait(cond, mutex, &ts);
585fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee#endif
586fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    assert(ret == 0 || ret == ETIMEDOUT);
587fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee    return ret;
588fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee}
589fccb31dd58e5cb9f7a3f6e128d481f0ff35a51f0Bill Buzbee
59077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro/*
591f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Wait on a monitor until timeout, interrupt, or notification.  Used for
592f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Object.wait() and (somewhat indirectly) Thread.sleep() and Thread.join().
593f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
594f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * If another thread calls Thread.interrupt(), we throw InterruptedException
595f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * and return immediately if one of the following are true:
596f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *  - blocked in wait(), wait(long), or wait(long, int) methods of Object
597f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *  - blocked in join(), join(long), or join(long, int) methods of Thread
598f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *  - blocked in sleep(long), or sleep(long, int) methods of Thread
599f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Otherwise, we set the "interrupted" flag.
600f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
601f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Checks to make sure that "nsec" is in the range 0-999999
602f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * (i.e. fractions of a millisecond) and throws the appropriate
603f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * exception if it isn't.
604f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
605f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * The spec allows "spurious wakeups", and recommends that all code using
606f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Object.wait() do so in a loop.  This appears to derive from concerns
607f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * about pthread_cond_wait() on multiprocessor systems.  Some commentary
608f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * on the web casts doubt on whether these can/should occur.
609f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
610f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Since we're allowed to wake up "early", we clamp extremely long durations
611f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * to return at the end of the 32-bit time epoch.
612f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
613f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstatic void waitMonitor(Thread* self, Monitor* mon, s8 msec, s4 nsec,
614f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    bool interruptShouldThrow)
615f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
616f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    struct timespec ts;
617f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    bool wasInterrupted = false;
618f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    bool timed;
61977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    int ret;
620d5c36b9040bd26a81219a7f399513526f9b46324Carl Shapiro    const char *savedFileName;
621fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    u4 savedLineNumber;
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;
665fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    savedFileName = mon->ownerFileName;
666fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    mon->ownerFileName = NULL;
667fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    savedLineNumber = mon->ownerLineNumber;
668fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    mon->ownerLineNumber = 0;
669f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
670f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
671f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Update thread status.  If the GC wakes up, it'll ignore us, knowing
672f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * that we won't touch any references in this state, and we'll check
673f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * our suspend mode before we transition out.
674f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
675f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (timed)
676f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        dvmChangeStatus(self, THREAD_TIMED_WAIT);
677f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    else
678f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        dvmChangeStatus(self, THREAD_WAIT);
679f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
680980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro    dvmLockMutex(&self->waitMutex);
68177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
682f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
68377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * Set waitMonitor to the monitor object we will be waiting on.
68477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * When waitMonitor is non-NULL a notifying or interrupting thread
68577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * must signal the thread's waitCond to wake it up.
686f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
68777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(self->waitMonitor == NULL);
688f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    self->waitMonitor = mon;
689f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
690f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
691f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Handle the case where the thread was interrupted before we called
692f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * wait().
693f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
694f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (self->interrupted) {
695f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        wasInterrupted = true;
69677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        self->waitMonitor = NULL;
697980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmUnlockMutex(&self->waitMutex);
698f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        goto done;
699f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
700f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
70177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    /*
70277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * Release the monitor lock and wait for a notification or
70377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * a timeout to occur.
70477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     */
705980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro    dvmUnlockMutex(&mon->lock);
70677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
70777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (!timed) {
70877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ret = pthread_cond_wait(&self->waitCond, &self->waitMutex);
70977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        assert(ret == 0);
71077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    } else {
711f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#ifdef HAVE_TIMEDWAIT_MONOTONIC
71277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ret = pthread_cond_timedwait_monotonic(&self->waitCond, &self->waitMutex, &ts);
713f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#else
71477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        ret = pthread_cond_timedwait(&self->waitCond, &self->waitMutex, &ts);
715f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project#endif
71677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        assert(ret == 0 || ret == ETIMEDOUT);
71777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
71877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (self->interrupted) {
71977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        wasInterrupted = true;
720f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
721f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
72277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    self->interrupted = false;
72377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    self->waitMonitor = NULL;
72477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
725980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro    dvmUnlockMutex(&self->waitMutex);
72677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
72730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    /* Reacquire the monitor lock. */
72877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    lockMonitor(self, mon);
729f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
730142ef271a96b4bb2997effc3f3c1bfa601abbeb6Carl Shapirodone:
731f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
73207b359273a838a15accafefcbe861be15caaac3aCarl Shapiro     * We remove our thread from wait set after restoring the count
73307b359273a838a15accafefcbe861be15caaac3aCarl Shapiro     * and owner fields so the subroutine can check that the calling
73407b359273a838a15accafefcbe861be15caaac3aCarl Shapiro     * thread owns the monitor. Aside from that, the order of member
73507b359273a838a15accafefcbe861be15caaac3aCarl Shapiro     * updates is not order sensitive as we hold the pthread mutex.
736f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
737f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    mon->owner = self;
738f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    mon->lockCount = prevLockCount;
739fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    mon->ownerFileName = savedFileName;
740fa903b348ea1ba0ba121ccc3b34927f88e4353b1Carl Shapiro    mon->ownerLineNumber = savedLineNumber;
74107b359273a838a15accafefcbe861be15caaac3aCarl Shapiro    waitSetRemove(mon, self);
742f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
743f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* set self->status back to THREAD_RUNNING, and self-suspend if needed */
744f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    dvmChangeStatus(self, THREAD_RUNNING);
745f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
746f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (wasInterrupted) {
747f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /*
748f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * We were interrupted while waiting, or somebody interrupted an
74930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * un-interruptible thread earlier and we're bailing out immediately.
750f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         *
751f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * The doc sayeth: "The interrupted status of the current thread is
752f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * cleared when this exception is thrown."
753f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
754f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        self->interrupted = false;
755d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        if (interruptShouldThrow) {
756d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein            dvmThrowInterruptedException(NULL);
757d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        }
758f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
759f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
760f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
761f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
762f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Notify one thread waiting on this monitor.
763f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
764f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstatic void notifyMonitor(Thread* self, Monitor* mon)
765f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
76677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    Thread* thread;
76777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
76871938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    assert(self != NULL);
76971938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    assert(mon != NULL);
77071938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro
77194338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    /* Make sure that we hold the lock. */
77271938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    if (mon->owner != self) {
773d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        dvmThrowIllegalMonitorStateException(
774f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            "object not locked by thread before notify()");
775f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return;
776f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
77730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    /* Signal the first waiting thread in the wait set. */
77830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    while (mon->waitSet != NULL) {
77977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        thread = mon->waitSet;
78077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        mon->waitSet = thread->waitNext;
78177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        thread->waitNext = NULL;
782980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmLockMutex(&thread->waitMutex);
78377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        /* Check to see if the thread is still waiting. */
78477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        if (thread->waitMonitor != NULL) {
78577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro            pthread_cond_signal(&thread->waitCond);
786980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro            dvmUnlockMutex(&thread->waitMutex);
78730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            return;
78877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        }
789980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmUnlockMutex(&thread->waitMutex);
790f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
791f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
792f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
793f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
794f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Notify all threads waiting on this monitor.
795f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
796f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectstatic void notifyAllMonitor(Thread* self, Monitor* mon)
797f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
79877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    Thread* thread;
79977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
80071938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    assert(self != NULL);
80171938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    assert(mon != NULL);
80271938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro
80394338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    /* Make sure that we hold the lock. */
80471938023ea2bacc1923ec44c71a797f254d268e2Carl Shapiro    if (mon->owner != self) {
805d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein        dvmThrowIllegalMonitorStateException(
806f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            "object not locked by thread before notifyAll()");
807f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        return;
808f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
80977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    /* Signal all threads in the wait set. */
81077f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    while (mon->waitSet != NULL) {
81177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        thread = mon->waitSet;
81277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        mon->waitSet = thread->waitNext;
81377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        thread->waitNext = NULL;
814980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmLockMutex(&thread->waitMutex);
81577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        /* Check to see if the thread is still waiting. */
81677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        if (thread->waitMonitor != NULL) {
81777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro            pthread_cond_signal(&thread->waitCond);
81877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        }
819980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmUnlockMutex(&thread->waitMutex);
820f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
821f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
822f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
823f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
82466bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro * Changes the shape of a monitor from thin to fat, preserving the
82566bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro * internal lock state.  The calling thread must own the lock.
82666bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro */
82766bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapirostatic void inflateMonitor(Thread *self, Object *obj)
82866bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro{
82966bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    Monitor *mon;
83066bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    u4 thin;
83166bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro
83266bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    assert(self != NULL);
83366bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    assert(obj != NULL);
83466bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    assert(LW_SHAPE(obj->lock) == LW_SHAPE_THIN);
83566bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    assert(LW_LOCK_OWNER(obj->lock) == self->threadId);
83666bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    /* Allocate and acquire a new monitor. */
83766bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    mon = dvmCreateMonitor(obj);
83866bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    lockMonitor(self, mon);
83966bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    /* Propagate the lock state. */
84066bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    thin = obj->lock;
84166bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    mon->lockCount = LW_LOCK_COUNT(thin);
84266bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    thin &= LW_HASH_STATE_MASK << LW_HASH_STATE_SHIFT;
84366bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    thin |= (u4)mon | LW_SHAPE_FAT;
84466bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    /* Publish the updated lock word. */
8454ba5672a3d33ff8aaf45e2ae8371e18fe30d469bCarl Shapiro    android_atomic_release_store(thin, (int32_t *)&obj->lock);
84666bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro}
84766bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro
84866bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro/*
849f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Implements monitorenter for "synchronized" stuff.
850f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
851f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * This does not fail or throw an exception (unless deadlock prediction
852f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * is enabled and set to "err" mode).
853f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
854f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectvoid dvmLockObject(Thread* self, Object *obj)
855f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
856147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    volatile u4 *thinp;
857147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    ThreadStatus oldStatus;
85816a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro    struct timespec tm;
85916a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro    long sleepDelayNs;
86016a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro    long minSleepDelayNs = 1000000;  /* 1 millisecond */
86116a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro    long maxSleepDelayNs = 1000000000;  /* 1 second */
862147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    u4 thin, newThin, threadId;
863f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
864147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    assert(self != NULL);
865147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    assert(obj != NULL);
866147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    threadId = self->threadId;
867147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    thinp = &obj->lock;
868147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiroretry:
869147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    thin = *thinp;
870147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
871147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        /*
872147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro         * The lock is a thin lock.  The owner field is used to
873147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro         * determine the acquire method, ordered by cost.
874f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
875147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        if (LW_LOCK_OWNER(thin) == threadId) {
876147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
877147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * The calling thread owns the lock.  Increment the
878147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * value of the recursion count field.
879f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project             */
880147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            obj->lock += 1 << LW_LOCK_COUNT_SHIFT;
881f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro            if (LW_LOCK_COUNT(obj->lock) == LW_LOCK_COUNT_MASK) {
882f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                /*
883f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                 * The reacquisition limit has been reached.  Inflate
884f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                 * the lock so the next acquire will not overflow the
885f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                 * recursion count field.
886f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                 */
887f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro                inflateMonitor(self, obj);
888f3cfbbf80364d4d15b722afb48637dffba73fb3cCarl Shapiro            }
889147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        } else if (LW_LOCK_OWNER(thin) == 0) {
890147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
891147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * The lock is unowned.  Install the thread id of the
892147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * calling thread into the owner field.  This is the
893147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * common case.  In performance critical code the JIT
894147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * will have tried this before calling out to the VM.
895f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project             */
896147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            newThin = thin | (threadId << LW_LOCK_OWNER_SHIFT);
8973ba10c9932db4c7c9546081ea070c73d5001c168Carl Shapiro            if (android_atomic_acquire_cas(thin, newThin,
8986e10b9aaa72425a4825a25f0043533d0c6fdbba4Andy McFadden                    (int32_t*)thinp) != 0) {
899147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                /*
900147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                 * The acquire failed.  Try again.
901f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                 */
902147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                goto retry;
903147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            }
904147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        } else {
9059eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro            LOGV("(%d) spin on lock %p: %#x (%#x) %#x",
9069eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro                 threadId, &obj->lock, 0, *thinp, thin);
907147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
908147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * The lock is owned by another thread.  Notify the VM
909147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * that we are about to wait.
910147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             */
911147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            oldStatus = dvmChangeStatus(self, THREAD_MONITOR);
912147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
913147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * Spin until the thin lock is released or inflated.
914147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             */
91516a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro            sleepDelayNs = 0;
916147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            for (;;) {
917147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                thin = *thinp;
918147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                /*
919147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                 * Check the shape of the lock word.  Another thread
920147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                 * may have inflated the lock while we were waiting.
921f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                 */
922147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
923147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                    if (LW_LOCK_OWNER(thin) == 0) {
924147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                        /*
925147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         * The lock has been released.  Install the
926147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         * thread id of the calling thread into the
927147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         * owner field.
928147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         */
929147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                        newThin = thin | (threadId << LW_LOCK_OWNER_SHIFT);
9303ba10c9932db4c7c9546081ea070c73d5001c168Carl Shapiro                        if (android_atomic_acquire_cas(thin, newThin,
9316e10b9aaa72425a4825a25f0043533d0c6fdbba4Andy McFadden                                (int32_t *)thinp) == 0) {
932147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                            /*
933147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                             * The acquire succeed.  Break out of the
934147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                             * loop and proceed to inflate the lock.
935f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                             */
936147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                            break;
937f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                        }
938147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                    } else {
939147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                        /*
940147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         * The lock has not been released.  Yield so
941147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         * the owning thread can run.
942147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                         */
94316a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                        if (sleepDelayNs == 0) {
944f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                            sched_yield();
94516a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            sleepDelayNs = minSleepDelayNs;
946f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                        } else {
94716a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            tm.tv_sec = 0;
94816a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            tm.tv_nsec = sleepDelayNs;
94916a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            nanosleep(&tm, NULL);
95016a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            /*
95116a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                             * Prepare the next delay value.  Wrap to
95216a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                             * avoid once a second polls for eternity.
95316a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                             */
95416a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            if (sleepDelayNs < maxSleepDelayNs / 2) {
95516a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                                sleepDelayNs *= 2;
95616a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                            } else {
95716a832c08f9ad2d74657b3fed5810fb1aeec3adcCarl Shapiro                                sleepDelayNs = minSleepDelayNs;
958f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                            }
959f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                        }
960f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                    }
961147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                } else {
962147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                    /*
963147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                     * The thin lock was inflated by another thread.
964147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                     * Let the VM know we are no longer waiting and
965147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                     * try again.
966147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                     */
9679eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro                    LOGV("(%d) lock %p surprise-fattened",
968147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                             threadId, &obj->lock);
969147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                    dvmChangeStatus(self, oldStatus);
970147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                    goto retry;
971147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                }
972f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            }
9739eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro            LOGV("(%d) spin on lock done %p: %#x (%#x) %#x",
9749eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro                 threadId, &obj->lock, 0, *thinp, thin);
975147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
976147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * We have acquired the thin lock.  Let the VM know that
977147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * we are no longer waiting.
978147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             */
979147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            dvmChangeStatus(self, oldStatus);
980147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro            /*
981147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro             * Fatten the lock.
982f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project             */
98366bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro            inflateMonitor(self, obj);
9849eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro            LOGV("(%d) lock %p fattened", threadId, &obj->lock);
985f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
986147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    } else {
987147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        /*
988147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro         * The lock is a fat lock.
989147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro         */
990147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        assert(LW_MONITOR(obj->lock) != NULL);
991147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro        lockMonitor(self, LW_MONITOR(obj->lock));
992f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
993f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
994f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
995f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
996f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Implements monitorexit for "synchronized" stuff.
997f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
998f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * On failure, throws an exception and returns "false".
999f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
1000f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectbool dvmUnlockObject(Thread* self, Object *obj)
1001f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
100294338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    u4 thin;
1003f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1004ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro    assert(self != NULL);
1005ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro    assert(self->status == THREAD_RUNNING);
1006ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro    assert(obj != NULL);
1007ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro    /*
1008ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro     * Cache the lock word as its value can change while we are
1009ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro     * examining its state.
1010f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
1011147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro    thin = obj->lock;
1012ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro    if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
1013ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro        /*
1014ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro         * The lock is thin.  We must ensure that the lock is owned
1015ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro         * by the given thread before unlocking it.
1016f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
1017ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro        if (LW_LOCK_OWNER(thin) == self->threadId) {
1018ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            /*
1019ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             * We are the lock owner.  It is safe to update the lock
1020ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             * without CAS as lock ownership guards the lock itself.
1021ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             */
1022ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            if (LW_LOCK_COUNT(thin) == 0) {
1023ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                /*
1024ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 * The lock was not recursively acquired, the common
1025ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 * case.  Unlock by clearing all bits except for the
1026ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 * hash state.
1027ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 */
1028147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                obj->lock &= (LW_HASH_STATE_MASK << LW_HASH_STATE_SHIFT);
1029ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            } else {
1030ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                /*
1031ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 * The object was recursively acquired.  Decrement the
1032ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 * lock recursion count field.
1033ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro                 */
1034147dd3f9f0905dfc6687843a6ca3276031067505Carl Shapiro                obj->lock -= 1 << LW_LOCK_COUNT_SHIFT;
1035ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            }
1036ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro        } else {
1037ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            /*
1038ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             * We do not own the lock.  The JVM spec requires that we
1039ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             * throw an exception in this case.
1040f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project             */
1041d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein            dvmThrowIllegalMonitorStateException("unlock of unowned monitor");
1042f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return false;
1043f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
1044f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
1045ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro        /*
1046ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro         * The lock is fat.  We must check to see if unlockMonitor has
1047ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro         * raised any exceptions before continuing.
1048f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
10498d7f9b2cd9fe252399ae96a36781bba1242fb93cCarl Shapiro        assert(LW_MONITOR(obj->lock) != NULL);
10508d7f9b2cd9fe252399ae96a36781bba1242fb93cCarl Shapiro        if (!unlockMonitor(self, LW_MONITOR(obj->lock))) {
1051ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro            /*
1052ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             * An exception has been raised.  Do not fall through.
1053ef5b4d3a0db17756c0e9bb90f14e18c4bf17a446Carl Shapiro             */
1054f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return false;
1055f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
1056f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
1057f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    return true;
1058f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1059f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1060f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
1061f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Object.wait().  Also called for class init.
1062f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
1063f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectvoid dvmObjectWait(Thread* self, Object *obj, s8 msec, s4 nsec,
1064f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    bool interruptShouldThrow)
1065f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
106666bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    Monitor* mon;
10678d7f9b2cd9fe252399ae96a36781bba1242fb93cCarl Shapiro    u4 thin = obj->lock;
1068f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1069f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* If the lock is still thin, we need to fatten it.
1070f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
107194338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
1072f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* Make sure that 'self' holds the lock.
1073f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
107494338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro        if (LW_LOCK_OWNER(thin) != self->threadId) {
1075d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein            dvmThrowIllegalMonitorStateException(
1076f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                "object not locked by thread before wait()");
1077f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return;
1078f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
1079f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1080f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* This thread holds the lock.  We need to fatten the lock
1081f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * so 'self' can block on it.  Don't update the object lock
1082f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * field yet, because 'self' needs to acquire the lock before
1083f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         * any other thread gets a chance.
1084f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
108566bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro        inflateMonitor(self, obj);
10869eb7b297a4e78b749654ae235649a25d776941c5Carl Shapiro        LOGV("(%d) lock %p fattened by wait()", self->threadId, &obj->lock);
1087f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
108866bb7dfd93138c585d7be21863dd1b35e9607bd6Carl Shapiro    mon = LW_MONITOR(obj->lock);
1089f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    waitMonitor(self, mon, msec, nsec, interruptShouldThrow);
1090f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1091f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1092f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
1093f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Object.notify().
1094f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
1095f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectvoid dvmObjectNotify(Thread* self, Object *obj)
1096f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
10978d7f9b2cd9fe252399ae96a36781bba1242fb93cCarl Shapiro    u4 thin = obj->lock;
1098f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1099f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* If the lock is still thin, there aren't any waiters;
1100f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * waiting on an object forces lock fattening.
1101f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
110294338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
1103f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* Make sure that 'self' holds the lock.
1104f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
110594338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro        if (LW_LOCK_OWNER(thin) != self->threadId) {
1106d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein            dvmThrowIllegalMonitorStateException(
1107f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                "object not locked by thread before notify()");
1108f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return;
1109f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
1110f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1111f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* no-op;  there are no waiters to notify.
1112f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
1113f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
1114f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* It's a fat lock.
1115f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
111694338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro        notifyMonitor(self, LW_MONITOR(thin));
1117f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
1118f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1119f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1120f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
1121f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Object.notifyAll().
1122f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
1123f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectvoid dvmObjectNotifyAll(Thread* self, Object *obj)
1124f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
11258d7f9b2cd9fe252399ae96a36781bba1242fb93cCarl Shapiro    u4 thin = obj->lock;
1126f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1127f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* If the lock is still thin, there aren't any waiters;
1128f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * waiting on an object forces lock fattening.
1129f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
113094338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    if (LW_SHAPE(thin) == LW_SHAPE_THIN) {
1131f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* Make sure that 'self' holds the lock.
1132f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
113394338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro        if (LW_LOCK_OWNER(thin) != self->threadId) {
1134d27f3cf3e7b373487f39e035fc4b55168d55c454Dan Bornstein            dvmThrowIllegalMonitorStateException(
1135f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project                "object not locked by thread before notifyAll()");
1136f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project            return;
1137f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        }
1138f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1139f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* no-op;  there are no waiters to notify.
1140f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
1141f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    } else {
1142f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        /* It's a fat lock.
1143f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project         */
114494338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro        notifyAllMonitor(self, LW_MONITOR(thin));
1145f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
1146f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1147f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1148f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
1149f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * This implements java.lang.Thread.sleep(long msec, int nsec).
1150f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
1151f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * The sleep is interruptible by other threads, which means we can't just
1152f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * plop into an OS sleep call.  (We probably could if we wanted to send
1153f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * signals around and rely on EINTR, but that's inefficient and relies
1154f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * on native code respecting our signal mask.)
1155f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
1156f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * We have to do all of this stuff for Object.wait() as well, so it's
1157f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * easiest to just sleep on a private Monitor.
1158f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project *
1159f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * It appears that we want sleep(0,0) to go through the motions of sleeping
1160f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * for a very short duration, rather than just returning.
1161f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
1162f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Projectvoid dvmThreadSleep(u8 msec, u4 nsec)
1163f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
1164f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    Thread* self = dvmThreadSelf();
1165f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    Monitor* mon = gDvm.threadSleepMon;
1166f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1167f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /* sleep(0,0) wakes up immediately, wait(0,0) means wait forever; adjust */
1168f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    if (msec == 0 && nsec == 0)
1169f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project        nsec++;
1170f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1171f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    lockMonitor(self, mon);
1172f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    waitMonitor(self, mon, msec, nsec, true);
1173f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    unlockMonitor(self, mon);
1174f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1175f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1176f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project/*
1177f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project * Implement java.lang.Thread.interrupt().
1178f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project */
117977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapirovoid dvmThreadInterrupt(Thread* thread)
1180f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project{
118177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    assert(thread != NULL);
118277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
1183980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro    dvmLockMutex(&thread->waitMutex);
118477f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
118577f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    /*
118677f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * If the interrupted flag is already set no additional action is
118777f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     * required.
118877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro     */
118977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (thread->interrupted == true) {
1190980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro        dvmUnlockMutex(&thread->waitMutex);
119177f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        return;
119277f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    }
119377f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro
1194f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
1195f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Raise the "interrupted" flag.  This will cause it to bail early out
1196f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * of the next wait() attempt, if it's not currently waiting on
1197f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * something.
1198f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
1199f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    thread->interrupted = true;
1200f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1201f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    /*
1202f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Is the thread waiting?
1203f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     *
1204f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * Note that fat vs. thin doesn't matter here;  waitMonitor
1205f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * is only set when a thread actually waits on a monitor,
1206f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     * which implies that the monitor has already been fattened.
1207f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project     */
120877f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro    if (thread->waitMonitor != NULL) {
120977f52ebffa3793a7e824fab7da02eaee9afdae0eCarl Shapiro        pthread_cond_signal(&thread->waitCond);
1210f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project    }
1211f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
1212980ffb0243a1840ad0a93cfa06dfc02ca6f2d01cCarl Shapiro    dvmUnlockMutex(&thread->waitMutex);
1213f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project}
1214f6c387128427e121477c1b32ad35cdcaa5101ba3The Android Open Source Project
121530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro#ifndef WITH_COPYING_GC
121694338aadf8355b28846f0d21c49142ca29479dc4Carl Shapirou4 dvmIdentityHashCode(Object *obj)
121794338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro{
121894338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro    return (u4)obj;
121994338aadf8355b28846f0d21c49142ca29479dc4Carl Shapiro}
122030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro#else
122130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro/*
122230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro * Returns the identity hash code of the given object.
122330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro */
122430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapirou4 dvmIdentityHashCode(Object *obj)
122530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro{
122630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    Thread *self, *thread;
122730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    volatile u4 *lw;
1228bfe4dcc3bd3d4d85a07fd3d63da537b51342b6ebCarl Shapiro    size_t size;
122930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    u4 lock, owner, hashState;
123030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro
123130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    if (obj == NULL) {
123230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
123330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * Null is defined to have an identity hash code of 0.
123430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
123530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        return 0;
123630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    }
123730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    lw = &obj->lock;
123830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiroretry:
123930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    hashState = LW_HASH_STATE(*lw);
124030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    if (hashState == LW_HASH_STATE_HASHED) {
124130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
124230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * The object has been hashed but has not had its hash code
124330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * relocated by the garbage collector.  Use the raw object
124430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * address.
124530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
124630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        return (u4)obj >> 3;
124730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    } else if (hashState == LW_HASH_STATE_HASHED_AND_MOVED) {
124830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
124930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * The object has been hashed and its hash code has been
125030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * relocated by the collector.  Use the value of the naturally
125130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * aligned word following the instance data.
125230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
1253c6d2470eec726ae0ad95e4fd2d9d7da7cb2cdcbaDan Bornstein        assert(!dvmIsClassObject(obj));
125430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (IS_CLASS_FLAG_SET(obj->clazz, CLASS_ISARRAY)) {
1255bfe4dcc3bd3d4d85a07fd3d63da537b51342b6ebCarl Shapiro            size = dvmArrayObjectSize((ArrayObject *)obj);
1256c48b6d0dc6b8c01c65977a9d18203c8510687267Carl Shapiro            size = (size + 2) & ~2;
125730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        } else {
1258bfe4dcc3bd3d4d85a07fd3d63da537b51342b6ebCarl Shapiro            size = obj->clazz->objectSize;
125930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
1260bfe4dcc3bd3d4d85a07fd3d63da537b51342b6ebCarl Shapiro        return *(u4 *)(((char *)obj) + size);
126130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    } else if (hashState == LW_HASH_STATE_UNHASHED) {
126230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
126330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * The object has never been hashed.  Change the hash state to
126430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * hashed and use the raw object address.
126530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
126630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        self = dvmThreadSelf();
126730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (self->threadId == lockOwner(obj)) {
126830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            /*
126930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * We already own the lock so we can update the hash state
127030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * directly.
127130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             */
127230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            *lw |= (LW_HASH_STATE_HASHED << LW_HASH_STATE_SHIFT);
127330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            return (u4)obj >> 3;
127430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
127530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
127630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * We do not own the lock.  Try acquiring the lock.  Should
127730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * this fail, we must suspend the owning thread.
127830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
127930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (LW_SHAPE(*lw) == LW_SHAPE_THIN) {
128030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            /*
128130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * If the lock is thin assume it is unowned.  We simulate
128230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * an acquire, update, and release with a single CAS.
128330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             */
1284122dac5b92c649b5d3182b163d7fce35e8c69d76Carl Shapiro            lock = (LW_HASH_STATE_HASHED << LW_HASH_STATE_SHIFT);
12853ba10c9932db4c7c9546081ea070c73d5001c168Carl Shapiro            if (android_atomic_acquire_cas(
1286122dac5b92c649b5d3182b163d7fce35e8c69d76Carl Shapiro                                0,
12876e10b9aaa72425a4825a25f0043533d0c6fdbba4Andy McFadden                                (int32_t)lock,
12886e10b9aaa72425a4825a25f0043533d0c6fdbba4Andy McFadden                                (int32_t *)lw) == 0) {
128930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                /*
129030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 * A new lockword has been installed with a hash state
129130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 * of hashed.  Use the raw object address.
129230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 */
129330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                return (u4)obj >> 3;
129430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            }
129530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        } else {
129630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            if (tryLockMonitor(self, LW_MONITOR(*lw))) {
129730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                /*
129830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 * The monitor lock has been acquired.  Change the
129930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 * hash state to hashed and use the raw object
130030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 * address.
130130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                 */
130230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                *lw |= (LW_HASH_STATE_HASHED << LW_HASH_STATE_SHIFT);
130330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                unlockMonitor(self, LW_MONITOR(*lw));
130430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                return (u4)obj >> 3;
130530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            }
130630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
130730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
130830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * At this point we have failed to acquire the lock.  We must
130930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * identify the owning thread and suspend it.
131030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
131130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        dvmLockThreadList(self);
131230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
131330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * Cache the lock word as its value can change between
131430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * determining its shape and retrieving its owner.
131530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
131630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        lock = *lw;
131730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (LW_SHAPE(lock) == LW_SHAPE_THIN) {
131830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            /*
131930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * Find the thread with the corresponding thread id.
132030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             */
132130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            owner = LW_LOCK_OWNER(lock);
132230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            assert(owner != self->threadId);
132330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            /*
132430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * If the lock has no owner do not bother scanning the
132530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * thread list and fall through to the failure handler.
132630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             */
132730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            thread = owner ? gDvm.threadList : NULL;
132830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            while (thread != NULL) {
132930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                if (thread->threadId == owner) {
133030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                    break;
133130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                }
133230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro                thread = thread->next;
133330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            }
133430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        } else {
133530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            thread = LW_MONITOR(lock)->owner;
133630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
133730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
133830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * If thread is NULL the object has been released since the
133930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * thread list lock was acquired.  Try again.
134030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
134130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (thread == NULL) {
134230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            dvmUnlockThreadList();
134330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            goto retry;
134430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
134530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
134630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * Wait for the owning thread to suspend.
134730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
134830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        dvmSuspendThread(thread);
134930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        if (dvmHoldsLock(thread, obj)) {
135030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            /*
135130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * The owning thread has been suspended.  We can safely
135230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             * change the hash state to hashed.
135330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro             */
135430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            *lw |= (LW_HASH_STATE_HASHED << LW_HASH_STATE_SHIFT);
135530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            dvmResumeThread(thread);
135630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            dvmUnlockThreadList();
135730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro            return (u4)obj >> 3;
135830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        }
135930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        /*
136030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         * The wrong thread has been suspended.  Try again.
136130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro         */
136230aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        dvmResumeThread(thread);
136330aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        dvmUnlockThreadList();
136430aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro        goto retry;
136530aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    }
136630aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    LOGE("object %p has an unknown hash state %#x", obj, hashState);
136730aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    dvmDumpThread(dvmThreadSelf(), false);
136830aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    dvmAbort();
136930aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro    return 0;  /* Quiet the compiler. */
137030aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro}
137130aa99778069baf0dab767f0fc1f5b1d51d110ffCarl Shapiro#endif  /* WITH_COPYING_GC */
1372