Fix race condition caused by bad locking in RT library
[dyninst.git] / dyninstAPI_RT / src / RTthread-x86-64.c
1 /*
2  * Copyright (c) 1996-2004 Barton P. Miller
3  * 
4  * We provide the Paradyn Parallel Performance Tools (below
5  * described as "Paradyn") on an AS IS basis, and do not warrant its
6  * validity or performance.  We reserve the right to update, modify,
7  * or discontinue this software at any time.  We shall have no
8  * obligation to supply such updates or modifications or any other
9  * form of support to you.
10  * 
11  * This license is for research uses.  For such uses, there is no
12  * charge. We define "research use" to mean you may freely use it
13  * inside your organization for whatever purposes you see fit. But you
14  * may not re-distribute Paradyn or parts of Paradyn, in any form
15  * source or binary (including derivatives), electronic or otherwise,
16  * to any other organization or entity without our permission.
17  * 
18  * (for other uses, please contact us at paradyn@cs.wisc.edu)
19  * 
20  * All warranties, including without limitation, any warranty of
21  * merchantability or fitness for a particular purpose, are hereby
22  * excluded.
23  * 
24  * By your use of Paradyn, you understand and agree that we (or any
25  * other person or entity with proprietary rights in Paradyn) are
26  * under no obligation to provide either maintenance services,
27  * update services, notices of latent defects, or correction of
28  * defects for Paradyn.
29  * 
30  * Even if advised of the possibility of such damages, under no
31  * circumstances shall we (or any other person or entity with
32  * proprietary rights in the software licensed hereunder) be liable
33  * to you or any third party for direct, indirect, or consequential
34  * damages of any character regardless of type of action, including,
35  * without limitation, loss of profits, loss of use, loss of good
36  * will, or computer failure or malfunction.  You agree to indemnify
37  * us (and any other person or entity with proprietary rights in the
38  * software licensed hereunder) for any and all liability it may
39  * incur to third parties resulting from your use of Paradyn.
40  */
41
42 #include "dyninstAPI_RT/src/RTthread.h"
43
44 long atomic_set(volatile int *val)
45 {
46    long result = 0;
47 #if defined(MUTATEE_32)
48    __asm("movl $1,%%eax\n"
49          "movl %1,%%ecx\n"
50          "lock\n"
51          "xchgl %%eax, (%%ecx)\n"
52          "movl %%eax, %0\n"
53          : "=r" (result)
54          : "r" (val)
55          : "%eax",
56            "%ecx");
57 #else
58    __asm("mov $1,%%rax\n"
59          "mov %1,%%rcx\n"
60          "lock\n"
61          "xchg %%rax, (%%rcx)\n"
62          "mov %%rax, %0\n"
63          : "=r" (result)
64          : "r" (val)
65          : "%rax",
66            "%rcx");
67 #endif
68    return !result;
69 }
70 /*
71 #if 1
72    __asm(
73          "movl $0,%%eax\n"
74          "movl $1,%%ebx\n"
75          "movl %1,%%ecx\n"
76          "lock\n"
77          "cmpxchgl %%ebx,(%%ecx)\n"
78          "setz %%al\n"
79          "movl %%eax,%0\n"
80          : "=r" (result)
81          : "r" (val)
82          : "%eax", "%ebx", "%ecx");
83 #else
84       __asm(
85             "mov $0,%%rax\n"
86             "mov $1,%%rbx\n"
87             "mov %1,%%rcx\n"
88             "lock\n"
89             "cmpxchg %%rbx,(%%rcx)\n"
90             "setz %%al\n"
91             "mov %%rax,%0\n"
92             : "=r" (result)
93             : "r" (val)
94             : "%rax", "%rbx", "%rcx");
95 #endif
96       return result;
97 */
98
99 int tc_lock_lock(tc_lock_t *tc)
100 {
101    dyntid_t me;
102
103    me = dyn_pthread_self();
104    if (me == tc->tid)
105       return DYNINST_DEAD_LOCK;
106
107    while (1) {
108       if (tc->mutex == 0 && atomic_set(&tc->mutex))
109       {
110          tc->tid = me;
111          break;
112       }
113    }
114    return 0;
115 }
116
117 unsigned DYNINSTthreadIndexFAST() {
118    return 0;
119 }