Subversion Repositories HelenOS

Rev

Rev 2131 | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2131 Rev 2307
1
/*
1
/*
2
 * Copyright (c) 2001-2004 Jakub Jermar
2
 * Copyright (c) 2001-2004 Jakub Jermar
3
 * All rights reserved.
3
 * All rights reserved.
4
 *
4
 *
5
 * Redistribution and use in source and binary forms, with or without
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
6
 * modification, are permitted provided that the following conditions
7
 * are met:
7
 * are met:
8
 *
8
 *
9
 * - Redistributions of source code must retain the above copyright
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
13
 *   documentation and/or other materials provided with the distribution.
14
 * - The name of the author may not be used to endorse or promote products
14
 * - The name of the author may not be used to endorse or promote products
15
 *   derived from this software without specific prior written permission.
15
 *   derived from this software without specific prior written permission.
16
 *
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
27
 */
28
 
28
 
29
/** @addtogroup sync
29
/** @addtogroup sync
30
 * @{
30
 * @{
31
 */
31
 */
32
/** @file
32
/** @file
33
 */
33
 */
34
 
34
 
35
#ifndef KERN_SPINLOCK_H_
35
#ifndef KERN_SPINLOCK_H_
36
#define KERN_SPINLOCK_H_
36
#define KERN_SPINLOCK_H_
37
 
37
 
38
#include <arch/types.h>
38
#include <arch/types.h>
39
#include <preemption.h>
39
#include <preemption.h>
40
#include <atomic.h>
40
#include <atomic.h>
41
#include <debug.h>
41
#include <debug.h>
42
 
42
 
43
#ifdef CONFIG_SMP
43
#ifdef CONFIG_SMP
44
typedef struct {
44
typedef struct {
45
#ifdef CONFIG_DEBUG_SPINLOCK
45
#ifdef CONFIG_DEBUG_SPINLOCK
46
    char *name;
46
    char *name;
47
#endif
47
#endif
48
    atomic_t val;
48
    atomic_t val;
49
} spinlock_t;
49
} spinlock_t;
50
 
50
 
51
/*
51
/*
52
 * SPINLOCK_DECLARE is to be used for dynamically allocated spinlocks,
52
 * SPINLOCK_DECLARE is to be used for dynamically allocated spinlocks,
53
 * where the lock gets initialized in run time.
53
 * where the lock gets initialized in run time.
54
 */
54
 */
55
#define SPINLOCK_DECLARE(slname)    spinlock_t slname
55
#define SPINLOCK_DECLARE(slname)    spinlock_t slname
56
#define SPINLOCK_EXTERN(slname)     extern spinlock_t slname
56
#define SPINLOCK_EXTERN(slname)     extern spinlock_t slname
57
 
57
 
58
/*
58
/*
59
 * SPINLOCK_INITIALIZE is to be used for statically allocated spinlocks.
59
 * SPINLOCK_INITIALIZE is to be used for statically allocated spinlocks.
60
 * It declares and initializes the lock.
60
 * It declares and initializes the lock.
61
 */
61
 */
62
#ifdef CONFIG_DEBUG_SPINLOCK
62
#ifdef CONFIG_DEBUG_SPINLOCK
63
#define SPINLOCK_INITIALIZE(slname)     \
63
#define SPINLOCK_INITIALIZE(slname)     \
64
    spinlock_t slname = {       \
64
    spinlock_t slname = {       \
65
        .name = #slname,    \
65
        .name = #slname,    \
66
        .val = { 0 }        \
66
        .val = { 0 }        \
67
    }
67
    }
68
#else
68
#else
69
#define SPINLOCK_INITIALIZE(slname)     \
69
#define SPINLOCK_INITIALIZE(slname)     \
70
    spinlock_t slname = {       \
70
    spinlock_t slname = {       \
71
        .val = { 0 }        \
71
        .val = { 0 }        \
72
    }
72
    }
73
#endif
73
#endif
74
 
74
 
75
extern void spinlock_initialize(spinlock_t *sl, char *name);
75
extern void spinlock_initialize(spinlock_t *sl, char *name);
76
extern int spinlock_trylock(spinlock_t *sl);
76
extern int spinlock_trylock(spinlock_t *sl);
77
extern void spinlock_lock_debug(spinlock_t *sl);
77
extern void spinlock_lock_debug(spinlock_t *sl);
78
 
78
 
79
#ifdef CONFIG_DEBUG_SPINLOCK
79
#ifdef CONFIG_DEBUG_SPINLOCK
80
#  define spinlock_lock(x) spinlock_lock_debug(x)
80
#  define spinlock_lock(x) spinlock_lock_debug(x)
81
#else
81
#else
82
#  define spinlock_lock(x) atomic_lock_arch(&(x)->val)
82
#  define spinlock_lock(x) atomic_lock_arch(&(x)->val)
83
#endif
83
#endif
84
 
84
 
85
/** Unlock spinlock
85
/** Unlock spinlock
86
 *
86
 *
87
 * Unlock spinlock.
87
 * Unlock spinlock.
88
 *
88
 *
89
 * @param sl Pointer to spinlock_t structure.
89
 * @param sl Pointer to spinlock_t structure.
90
 */
90
 */
91
static inline void spinlock_unlock(spinlock_t *sl)
91
static inline void spinlock_unlock(spinlock_t *sl)
92
{
92
{
93
    ASSERT(atomic_get(&sl->val) != 0);
93
    ASSERT(atomic_get(&sl->val) != 0);
94
 
94
 
95
    /*
95
    /*
96
     * Prevent critical section code from bleeding out this way down.
96
     * Prevent critical section code from bleeding out this way down.
97
     */
97
     */
98
    CS_LEAVE_BARRIER();
98
    CS_LEAVE_BARRIER();
99
   
99
   
100
    atomic_set(&sl->val, 0);
100
    atomic_set(&sl->val, 0);
101
    preemption_enable();
101
    preemption_enable();
102
}
102
}
103
 
103
 
-
 
104
#ifdef CONFIG_DEBUG_SPINLOCK
-
 
105
 
-
 
106
extern int printf(const char *, ...);
-
 
107
 
-
 
108
#define DEADLOCK_THRESHOLD      100000000
-
 
109
#define DEADLOCK_PROBE_INIT(pname)  count_t pname = 0
-
 
110
#define DEADLOCK_PROBE(pname, value)                    \
-
 
111
    if ((pname)++ > (value)) {                  \
-
 
112
        (pname) = 0;                        \
-
 
113
        printf("Deadlock probe %s: exceeded threshold %d\n",    \
-
 
114
            "cpu%d: function=%s, line=%d\n",            \
-
 
115
            #pname, (value), CPU->id, __FUNCTION__, __LINE__);  \
-
 
116
    }
-
 
117
#else
-
 
118
#define DEADLOCK_PROBE_INIT(pname)
-
 
119
#define DEADLOCK_PROBE(pname, value)
-
 
120
#endif
-
 
121
 
104
#else
122
#else
105
 
123
 
106
/* On UP systems, spinlocks are effectively left out. */
124
/* On UP systems, spinlocks are effectively left out. */
107
#define SPINLOCK_DECLARE(name)
125
#define SPINLOCK_DECLARE(name)
108
#define SPINLOCK_EXTERN(name)
126
#define SPINLOCK_EXTERN(name)
109
#define SPINLOCK_INITIALIZE(name)
127
#define SPINLOCK_INITIALIZE(name)
110
 
128
 
111
#define spinlock_initialize(x, name)
129
#define spinlock_initialize(x, name)
112
#define spinlock_lock(x)        preemption_disable()
130
#define spinlock_lock(x)        preemption_disable()
113
#define spinlock_trylock(x)         (preemption_disable(), 1)
131
#define spinlock_trylock(x)         (preemption_disable(), 1)
114
#define spinlock_unlock(x)      preemption_enable()
132
#define spinlock_unlock(x)      preemption_enable()
115
 
133
 
-
 
134
#define DEADLOCK_PROBE_INIT(pname)
-
 
135
#define DEADLOCK_PROBE(pname, value)
-
 
136
 
116
#endif
137
#endif
117
 
138
 
118
#endif
139
#endif
119
 
140
 
120
/** @}
141
/** @}
121
 */
142
 */
122
 
143