Rev 3 | Rev 1031 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
2 | pj | 1 | /* |
2 | * Project: S.Ha.R.K. |
||
3 | * |
||
4 | * Coordinators: |
||
5 | * Giorgio Buttazzo <giorgio@sssup.it> |
||
6 | * Paolo Gai <pj@gandalf.sssup.it> |
||
7 | * |
||
8 | * Authors : |
||
9 | * Paolo Gai <pj@gandalf.sssup.it> |
||
10 | * Massimiliano Giorgi <massy@gandalf.sssup.it> |
||
11 | * Luca Abeni <luca@gandalf.sssup.it> |
||
12 | * (see the web pages for full authors list) |
||
13 | * |
||
14 | * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
||
15 | * |
||
16 | * http://www.sssup.it |
||
17 | * http://retis.sssup.it |
||
18 | * http://shark.sssup.it |
||
19 | */ |
||
20 | |||
21 | /*************************************** |
||
22 | |||
23 | Mutexs for the kernel |
||
24 | |||
25 | ***************************************/ |
||
26 | |||
27 | /* |
||
80 | pj | 28 | * CVS : $Id: mutex.h,v 1.2 2003-03-13 13:37:58 pj Exp $ |
2 | pj | 29 | * |
30 | * File: $File$ |
||
80 | pj | 31 | * Revision: $Revision: 1.2 $ |
32 | * Last update: $Date: 2003-03-13 13:37:58 $ |
||
2 | pj | 33 | */ |
34 | |||
35 | /* |
||
36 | * Copyright (C) 1999,2000 Massimiliano Giorgi |
||
37 | * |
||
38 | * This program is free software; you can redistribute it and/or modify |
||
39 | * it under the terms of the GNU General Public License as published by |
||
40 | * the Free Software Foundation; either version 2 of the License, or |
||
41 | * (at your option) any later version. |
||
42 | * |
||
43 | * This program is distributed in the hope that it will be useful, |
||
44 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
||
45 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
||
46 | * GNU General Public License for more details. |
||
47 | * |
||
48 | * You should have received a copy of the GNU General Public License |
||
49 | * along with this program; if not, write to the Free Software |
||
50 | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
||
51 | * |
||
52 | */ |
||
53 | |||
54 | #ifndef _FS_MUTEX_H |
||
55 | #define _FS_MUTEX_H |
||
56 | |||
57 | /* |
||
58 | * standard mutex |
||
59 | */ |
||
60 | |||
61 | #include <kernel/int_sem.h> |
||
80 | pj | 62 | #include "ll/sys/cdefs.h" |
2 | pj | 63 | |
80 | pj | 64 | __BEGIN_DECLS |
65 | |||
2 | pj | 66 | /*+ a semaphore object +*/ |
67 | typedef internal_sem_t __mutex_t; |
||
68 | |||
69 | /* |
||
70 | The following macros can be used to synchronize events; all |
||
71 | require a pointer to a semaphore object and return nothing; |
||
72 | a semaphore can have "val" resource free. |
||
73 | */ |
||
74 | |||
75 | /*+ Initialize a semaphore (to integer val) +*/ |
||
76 | #define __mutex_init(ptr,attr) internal_sem_init((ptr),1) |
||
77 | |||
78 | /*+ Wait for a semaphore +*/ |
||
79 | #define __mutex_lock(ptr) (internal_sem_wait(ptr)) |
||
80 | |||
81 | /*+ Try to wait for a semaphore (return 0 on success) +*/ |
||
82 | #define __mutex_trylock(ptr) (internal_sem_wait(ptr)) |
||
83 | |||
84 | /*+ Signal a semaphore +*/ |
||
85 | #define __mutex_unlock(ptr) (internal_sem_post(ptr)) |
||
86 | |||
87 | #if 0 |
||
88 | /* start old implementation */ |
||
89 | |||
90 | #include <kernel/model.h> |
||
91 | #include <kernel/func.h> |
||
92 | #include <fs/assert.h> |
||
93 | |||
94 | /*+ a mutex object +*/ |
||
95 | typedef mutex_t __mutex_t; |
||
96 | |||
97 | /* |
||
98 | The following macros require a pointer to a mutex object and |
||
99 | return nothing. |
||
100 | */ |
||
101 | |||
102 | /* Initialize a mutex object +*/ |
||
103 | #define __mutex_init(ptr,attr) _assert(mutex_init(ptr,attr)==0) |
||
104 | /*+ Lock a mutex object +*/ |
||
105 | #define __mutex_lock(ptr) _assert(mutex_lock(ptr)==0) |
||
106 | /*+ Try to lock a mutex (return 0 on success locking) +*/ |
||
107 | #define __mutex_trylock(ptr) (mutex_trylock((ptr))) |
||
108 | /*+ Unlock a mutex +*/ |
||
109 | #define __mutex_unlock(ptr) _assert(mutex_unlock(ptr)==0) |
||
110 | |||
111 | /* end old implementation */ |
||
112 | #endif |
||
113 | |||
114 | /* |
||
115 | * fast mutex |
||
116 | */ |
||
117 | |||
118 | #include <kernel/func.h> |
||
119 | |||
120 | typedef SYS_FLAGS __fastmutex_t; |
||
121 | |||
122 | #define __fastmutex_init(ptr) |
||
123 | #define __fastmutex_lock(ptr) *ptr=kern_fsave() |
||
124 | #define __fastmutex_unlock(ptr) kern_frestore(*ptr) |
||
125 | |||
126 | #if 0 |
||
127 | |||
128 | /* Hartik 3.x implemantation */ |
||
129 | |||
130 | /* |
||
131 | #include <hartik/const.h> |
||
132 | |||
133 | typedef struct { |
||
134 | QUEUE queue; |
||
135 | int value; |
||
136 | } __mutex_t; |
||
137 | |||
138 | void __mutex_init(__mytex_t *); |
||
139 | void __mutex_lock(__mytex_t *); |
||
140 | int __mutex_trylock(__mytex_t *); |
||
141 | void __mutex_unlock(__mytex_t *); |
||
142 | */ |
||
143 | |||
144 | /* |
||
145 | * temporary hack |
||
146 | */ |
||
147 | |||
148 | #include <h/sys/kern.h> |
||
149 | #include <h/sys/const.h> |
||
150 | |||
151 | /*+ a mutex object +*/ |
||
152 | typedef SEM __mutex_t; |
||
153 | |||
154 | /* |
||
155 | The following macros require a pointer to a mutex object and |
||
156 | return nothing. |
||
157 | */ |
||
158 | |||
159 | #ifdef FSCHECKMUTEX |
||
160 | #include <fs/assert.h> |
||
161 | #define checkmutex(x) assert((x)>=0&&(x)<MAX_SEM) |
||
162 | #else |
||
163 | #define checkmutex(x) |
||
164 | #endif |
||
165 | |||
166 | /* Initialize a mutex object +*/ |
||
167 | #define __mutex_init(ptr) { *(ptr)=sem_create(1); checkmutex(*ptr); } |
||
168 | |||
169 | /*+ Lock a mutex object +*/ |
||
170 | #define __mutex_lock(ptr) { checkmutex(*ptr); sem_wait(*(ptr),BLOCK); } |
||
171 | |||
172 | /*+ Try to lock a mutex (return 0 on success locking) +*/ |
||
173 | #define __mutex_trylock(ptr) { checkmutex(*ptr); sem_wait(*(ptr),NON_BLOCK); } |
||
174 | |||
175 | /*+ Unlock a mutex +*/ |
||
176 | #define __mutex_unlock(ptr) { checkmutex(*ptr); sem_signal(*(ptr)); } |
||
177 | |||
178 | #endif |
||
179 | |||
180 | |||
181 | |||
182 | |||
183 | |||
80 | pj | 184 | __END_DECLS |
2 | pj | 185 | #endif |
186 |