Rev 2307 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2307 | Rev 2456 | ||
|---|---|---|---|
| Line 55... | Line 55... | ||
| 55 | #include <ipc/ipc.h> |
55 | #include <ipc/ipc.h> |
| 56 | #include <ipc/irq.h> |
56 | #include <ipc/irq.h> |
| 57 | #include <syscall/copy.h> |
57 | #include <syscall/copy.h> |
| 58 | #include <console/console.h> |
58 | #include <console/console.h> |
| 59 | #include <print.h> |
59 | #include <print.h> |
| - | 60 | #include <synch/rcu.h> |
|
| - | 61 | #include <adt/listrcu.h> |
|
| 60 | 62 | ||
| 61 | /** Execute code associated with IRQ notification. |
63 | /** Execute code associated with IRQ notification. |
| 62 | * |
64 | * |
| 63 | * @param call Notification call. |
65 | * @param call Notification call. |
| 64 | * @param code Top-half pseudocode. |
66 | * @param code Top-half pseudocode. |
| Line 169... | Line 171... | ||
| 169 | */ |
171 | */ |
| 170 | void ipc_irq_unregister(answerbox_t *box, inr_t inr, devno_t devno) |
172 | void ipc_irq_unregister(answerbox_t *box, inr_t inr, devno_t devno) |
| 171 | { |
173 | { |
| 172 | ipl_t ipl; |
174 | ipl_t ipl; |
| 173 | irq_t *irq; |
175 | irq_t *irq; |
| - | 176 | ipc_notif_cfg_t *new_notify, *old_notify; |
|
| 174 | 177 | ||
| 175 | ipl = interrupts_disable(); |
178 | ipl = interrupts_disable(); |
| 176 | irq = irq_find_and_lock(inr, devno); |
179 | irq = irq_find_and_lock(inr, devno); |
| 177 | if (irq) { |
180 | if (irq) { |
| 178 | if (irq->notif_cfg.answerbox == box) { |
181 | if (rcu_dereference_pointer(irq->notif_cfg).answerbox == box) { |
| 179 | code_free(irq->notif_cfg.code); |
182 | new_notify = malloc(sizeof(ipc_notif_cfg_t),0); |
| - | 183 | ||
| 180 | irq->notif_cfg.notify = false; |
184 | new_notify->notify = false; |
| 181 | irq->notif_cfg.answerbox = NULL; |
185 | new_notify->answerbox = NULL; |
| 182 | irq->notif_cfg.code = NULL; |
186 | new_notify->code = NULL; |
| 183 | irq->notif_cfg.method = 0; |
187 | new_notify->method = 0; |
| 184 | irq->notif_cfg.counter = 0; |
188 | new_notify->counter = 0; |
| - | 189 | old_notify = irq->notif_cfg; |
|
| - | 190 | copy_link_rcu(&irq->notif_cfg->link, &new_notify->link); |
|
| - | 191 | rcu_assign_pointer(old_notify, new_notify); |
|
| 185 | 192 | ||
| 186 | spinlock_lock(&box->irq_lock); |
193 | spinlock_lock(&box->irq_lock); |
| 187 | list_remove(&irq->notif_cfg.link); |
194 | list_remove_rcu(&rcu_dereference_pointer(irq->notif_cfg).link); |
| 188 | spinlock_unlock(&box->irq_lock); |
195 | spinlock_unlock(&box->irq_lock); |
| - | 196 | rcu_sync_callback_normal_alloc(&ipc_notif_free_callback, irq->notif_cfg); |
|
| 189 | 197 | ||
| 190 | spinlock_unlock(&irq->lock); |
198 | spinlock_unlock(&irq->lock); |
| 191 | } |
199 | } |
| 192 | } |
200 | } |
| 193 | interrupts_restore(ipl); |
201 | interrupts_restore(ipl); |
| 194 | } |
202 | } |
| 195 | 203 | ||
| - | 204 | void ipc_notif_free_callback(void* notif) |
|
| - | 205 | { |
|
| - | 206 | code_free(((ipc_notif_cfg_t *)notif)->code); |
|
| - | 207 | free(notif); |
|
| - | 208 | ||
| - | 209 | } |
|
| - | 210 | ||
| 196 | /** Register an answerbox as a receiving end for IRQ notifications. |
211 | /** Register an answerbox as a receiving end for IRQ notifications. |
| 197 | * |
212 | * |
| 198 | * @param box Receiving answerbox. |
213 | * @param box Receiving answerbox. |
| 199 | * @param inr IRQ number. |
214 | * @param inr IRQ number. |
| 200 | * @param devno Device number. |
215 | * @param devno Device number. |
| Line 206... | Line 221... | ||
| 206 | int ipc_irq_register(answerbox_t *box, inr_t inr, devno_t devno, unative_t method, irq_code_t *ucode) |
221 | int ipc_irq_register(answerbox_t *box, inr_t inr, devno_t devno, unative_t method, irq_code_t *ucode) |
| 207 | { |
222 | { |
| 208 | ipl_t ipl; |
223 | ipl_t ipl; |
| 209 | irq_code_t *code; |
224 | irq_code_t *code; |
| 210 | irq_t *irq; |
225 | irq_t *irq; |
| - | 226 | ipc_notif_cfg_t *new_notify, *old_notify; |
|
| 211 | 227 | ||
| 212 | if (ucode) { |
228 | if (ucode) { |
| 213 | code = code_from_uspace(ucode); |
229 | code = code_from_uspace(ucode); |
| 214 | if (!code) |
230 | if (!code) |
| 215 | return EBADMEM; |
231 | return EBADMEM; |
| Line 222... | Line 238... | ||
| 222 | interrupts_restore(ipl); |
238 | interrupts_restore(ipl); |
| 223 | code_free(code); |
239 | code_free(code); |
| 224 | return ENOENT; |
240 | return ENOENT; |
| 225 | } |
241 | } |
| 226 | 242 | ||
| 227 | if (irq->notif_cfg.answerbox) { |
243 | if (rcu_dereference_pointer(irq->notif_cfg).answerbox) { |
| 228 | spinlock_unlock(&irq->lock); |
244 | spinlock_unlock(&irq->lock); |
| 229 | interrupts_restore(ipl); |
245 | interrupts_restore(ipl); |
| 230 | code_free(code); |
246 | code_free(code); |
| 231 | return EEXISTS; |
247 | return EEXISTS; |
| 232 | } |
248 | } |
| 233 | - | ||
| - | 249 | new_notify = malloc(sizeof(ipc_notif_cfg_t),0); |
|
| 234 | irq->notif_cfg.notify = true; |
250 | new_notify->notify = true; |
| 235 | irq->notif_cfg.answerbox = box; |
251 | new_notify->answerbox = box; |
| 236 | irq->notif_cfg.method = method; |
252 | new_notify->method = method; |
| 237 | irq->notif_cfg.code = code; |
253 | new_notify->code = code; |
| 238 | irq->notif_cfg.counter = 0; |
254 | new_notify->counter = 0; |
| - | 255 | copy_link_rcu(&irq->notif_cfg->link, &new_notify->link); |
|
| - | 256 | old_notify = irq->notif_cfg; |
|
| - | 257 | rcu_assign_pointer(irq->notif_cfg, new_notify); |
|
| - | 258 | rcu_sync_callback_normal_alloc(&ipc_notif_free_callback, old_notify); |
|
| 239 | 259 | ||
| 240 | spinlock_lock(&box->irq_lock); |
260 | spinlock_lock(&box->irq_lock); |
| 241 | list_append(&irq->notif_cfg.link, &box->irq_head); |
261 | list_append_rcu(&new_notify->link, &box->irq_head); |
| 242 | spinlock_unlock(&box->irq_lock); |
262 | spinlock_unlock(&box->irq_lock); |
| 243 | 263 | ||
| 244 | spinlock_unlock(&irq->lock); |
264 | spinlock_unlock(&irq->lock); |
| 245 | interrupts_restore(ipl); |
265 | interrupts_restore(ipl); |
| 246 | 266 | ||
| Line 252... | Line 272... | ||
| 252 | * Assume irq->lock is locked. |
272 | * Assume irq->lock is locked. |
| 253 | * |
273 | * |
| 254 | */ |
274 | */ |
| 255 | static void send_call(irq_t *irq, call_t *call) |
275 | static void send_call(irq_t *irq, call_t *call) |
| 256 | { |
276 | { |
| 257 | spinlock_lock(&irq->notif_cfg.answerbox->irq_lock); |
277 | spinlock_lock(&rcu_dereference_pointer(irq->notif_cfg).answerbox->irq_lock); |
| 258 | list_append(&call->link, &irq->notif_cfg.answerbox->irq_notifs); |
278 | list_append_rcu(&call->link, &rcu_dereference_pointer(irq->notif_cfg).answerbox->irq_notifs); |
| 259 | spinlock_unlock(&irq->notif_cfg.answerbox->irq_lock); |
279 | spinlock_unlock(&rcu_dereference_pointer(irq->notif_cfg).answerbox->irq_lock); |
| 260 | 280 | ||
| 261 | waitq_wakeup(&irq->notif_cfg.answerbox->wq, WAKEUP_FIRST); |
281 | waitq_wakeup(&rcu_dereference_pointer(irq->notif_cfg).answerbox->wq, WAKEUP_FIRST); |
| 262 | } |
282 | } |
| 263 | 283 | ||
| 264 | /** Send notification message |
284 | /** Send notification message |
| 265 | * |
285 | * |
| 266 | */ |
286 | */ |
| Line 268... | Line 288... | ||
| 268 | { |
288 | { |
| 269 | call_t *call; |
289 | call_t *call; |
| 270 | 290 | ||
| 271 | spinlock_lock(&irq->lock); |
291 | spinlock_lock(&irq->lock); |
| 272 | 292 | ||
| 273 | if (irq->notif_cfg.answerbox) { |
293 | if (rcu_dereference_pointer(irq->notif_cfg).answerbox) { |
| 274 | call = ipc_call_alloc(FRAME_ATOMIC); |
294 | call = ipc_call_alloc(FRAME_ATOMIC); |
| 275 | if (!call) { |
295 | if (!call) { |
| 276 | spinlock_unlock(&irq->lock); |
296 | spinlock_unlock(&irq->lock); |
| 277 | return; |
297 | return; |
| 278 | } |
298 | } |
| 279 | call->flags |= IPC_CALL_NOTIF; |
299 | call->flags |= IPC_CALL_NOTIF; |
| 280 | IPC_SET_METHOD(call->data, irq->notif_cfg.method); |
300 | IPC_SET_METHOD(call->data, rcu_dereference_pointer(irq->notif_cfg).method); |
| 281 | IPC_SET_ARG1(call->data, a1); |
301 | IPC_SET_ARG1(call->data, a1); |
| 282 | IPC_SET_ARG2(call->data, a2); |
302 | IPC_SET_ARG2(call->data, a2); |
| 283 | IPC_SET_ARG3(call->data, a3); |
303 | IPC_SET_ARG3(call->data, a3); |
| 284 | /* Put a counter to the message */ |
304 | /* Put a counter to the message */ |
| 285 | call->priv = ++irq->notif_cfg.counter; |
305 | call->priv = ++rcu_dereference_pointer(irq->notif_cfg).counter; |
| 286 | 306 | ||
| 287 | send_call(irq, call); |
307 | send_call(irq, call); |
| 288 | } |
308 | } |
| 289 | spinlock_unlock(&irq->lock); |
309 | spinlock_unlock(&irq->lock); |
| 290 | } |
310 | } |
| Line 297... | Line 317... | ||
| 297 | { |
317 | { |
| 298 | call_t *call; |
318 | call_t *call; |
| 299 | 319 | ||
| 300 | ASSERT(irq); |
320 | ASSERT(irq); |
| 301 | 321 | ||
| 302 | if (irq->notif_cfg.answerbox) { |
322 | if (rcu_dereference_pointer(irq->notif_cfg).answerbox) { |
| 303 | call = ipc_call_alloc(FRAME_ATOMIC); |
323 | call = ipc_call_alloc(FRAME_ATOMIC); |
| 304 | if (!call) { |
324 | if (!call) { |
| 305 | return; |
325 | return; |
| 306 | } |
326 | } |
| 307 | call->flags |= IPC_CALL_NOTIF; |
327 | call->flags |= IPC_CALL_NOTIF; |
| 308 | /* Put a counter to the message */ |
328 | /* Put a counter to the message */ |
| 309 | call->priv = ++irq->notif_cfg.counter; |
329 | call->priv = ++rcu_dereference_pointer(irq->notif_cfg).counter; |
| 310 | /* Set up args */ |
330 | /* Set up args */ |
| 311 | IPC_SET_METHOD(call->data, irq->notif_cfg.method); |
331 | IPC_SET_METHOD(call->data, rcu_dereference_pointer(irq->notif_cfg).method); |
| 312 | 332 | ||
| 313 | /* Execute code to handle irq */ |
333 | /* Execute code to handle irq */ |
| 314 | code_execute(call, irq->notif_cfg.code); |
334 | code_execute(call, rcu_dereference_pointer(irq->notif_cfg).code); |
| 315 | 335 | ||
| 316 | send_call(irq, call); |
336 | send_call(irq, call); |
| 317 | } |
337 | } |
| 318 | } |
338 | } |
| 319 | 339 | ||
| Line 326... | Line 346... | ||
| 326 | * @param box Answerbox for which we want to carry out the cleanup. |
346 | * @param box Answerbox for which we want to carry out the cleanup. |
| 327 | */ |
347 | */ |
| 328 | void ipc_irq_cleanup(answerbox_t *box) |
348 | void ipc_irq_cleanup(answerbox_t *box) |
| 329 | { |
349 | { |
| 330 | ipl_t ipl; |
350 | ipl_t ipl; |
| - | 351 | ipc_notif_cfg_t *new_notify, *old_notify; |
|
| 331 | 352 | ||
| 332 | loop: |
353 | loop: |
| 333 | ipl = interrupts_disable(); |
354 | ipl = interrupts_disable(); |
| 334 | spinlock_lock(&box->irq_lock); |
355 | spinlock_lock(&box->irq_lock); |
| 335 | 356 | ||
| 336 | while (box->irq_head.next != &box->irq_head) { |
357 | while (box->irq_head.next != &box->irq_head) { |
| 337 | link_t *cur = box->irq_head.next; |
358 | link_t *cur = box->irq_head.next; |
| 338 | irq_t *irq; |
359 | irq_t *irq; |
| 339 | DEADLOCK_PROBE_INIT(p_irqlock); |
360 | DEADLOCK_PROBE_INIT(p_irqlock); |
| 340 | 361 | ||
| 341 | irq = list_get_instance(cur, irq_t, notif_cfg.link); |
362 | irq = list_get_instance(cur, irq_t, notif_cfg->link); |
| 342 | if (!spinlock_trylock(&irq->lock)) { |
363 | if (!spinlock_trylock(&irq->lock)) { |
| 343 | /* |
364 | /* |
| 344 | * Avoid deadlock by trying again. |
365 | * Avoid deadlock by trying again. |
| 345 | */ |
366 | */ |
| 346 | spinlock_unlock(&box->irq_lock); |
367 | spinlock_unlock(&box->irq_lock); |
| 347 | interrupts_restore(ipl); |
368 | interrupts_restore(ipl); |
| 348 | DEADLOCK_PROBE(p_irqlock, DEADLOCK_THRESHOLD); |
369 | DEADLOCK_PROBE(p_irqlock, DEADLOCK_THRESHOLD); |
| 349 | goto loop; |
370 | goto loop; |
| 350 | } |
371 | } |
| 351 | 372 | ||
| 352 | ASSERT(irq->notif_cfg.answerbox == box); |
373 | ASSERT(irq->notif_cfg->answerbox == box); |
| 353 | 374 | ||
| 354 | list_remove(&irq->notif_cfg.link); |
375 | list_remove_rcu(&irq->notif_cfg->link); |
| 355 | 376 | ||
| 356 | /* |
- | |
| 357 | * Don't forget to free any top-half pseudocode. |
377 | new_notify = malloc(sizeof(ipc_notif_cfg_t),0); |
| 358 | */ |
- | |
| 359 | code_free(irq->notif_cfg.code); |
378 | new_notify->notify = false; |
| 360 | - | ||
| 361 | irq->notif_cfg.notify = false; |
379 | new_notify->answerbox = NULL; |
| 362 | irq->notif_cfg.answerbox = NULL; |
380 | new_notify->method = 0; |
| 363 | irq->notif_cfg.code = NULL; |
381 | new_notify->code = NULL; |
| 364 | irq->notif_cfg.method = 0; |
382 | new_notify->counter = 0; |
| - | 383 | copy_link_rcu(&irq->notif_cfg->link, &new_notify->link); |
|
| 365 | irq->notif_cfg.counter = 0; |
384 | old_notify = irq->notif_cfg; |
| - | 385 | rcu_assign_pointer(irq->notif_cfg, new_notify); |
|
| - | 386 | rcu_sync_callback_normal_alloc(&ipc_notif_free_callback, old_notify); |
|
| 366 | 387 | ||
| - | 388 | ||
| 367 | spinlock_unlock(&irq->lock); |
389 | spinlock_unlock(&irq->lock); |
| 368 | } |
390 | } |
| 369 | 391 | ||
| 370 | spinlock_unlock(&box->irq_lock); |
392 | spinlock_unlock(&box->irq_lock); |
| 371 | interrupts_restore(ipl); |
393 | interrupts_restore(ipl); |