diff options
| author | Glenn Elliott <gelliott@cs.unc.edu> | 2013-04-06 17:04:32 -0400 |
|---|---|---|
| committer | Glenn Elliott <gelliott@cs.unc.edu> | 2013-04-06 17:04:32 -0400 |
| commit | a4d63ac7ff059f81a0488d1cda4de16142508189 (patch) | |
| tree | 92f9bc1e154eec27145ba11c8498913bf1694116 /include/litmus/rt_param.h | |
| parent | 92d266b64e0def8554ebece70318a5ae0050573a (diff) | |
IKGLP reject/reissue on budget exhaustion.
Added support to IKGLP to handle budget exhaustion
of blocked waiter.
NOTE: CODE IS UNTESTED...
Diffstat (limited to 'include/litmus/rt_param.h')
| -rw-r--r-- | include/litmus/rt_param.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h index a1cfdb6b6416..7828117a61a8 100644 --- a/include/litmus/rt_param.h +++ b/include/litmus/rt_param.h | |||
| @@ -406,7 +406,10 @@ struct rt_param { | |||
| 406 | 406 | ||
| 407 | /* pointer to lock upon which is currently blocked */ | 407 | /* pointer to lock upon which is currently blocked */ |
| 408 | struct litmus_lock* blocked_lock; | 408 | struct litmus_lock* blocked_lock; |
| 409 | unsigned long blocked_lock_data; | ||
| 410 | |||
| 409 | struct litmus_lock* outermost_lock; | 411 | struct litmus_lock* outermost_lock; |
| 412 | unsigned int virtually_unlocked:1; | ||
| 410 | #endif | 413 | #endif |
| 411 | 414 | ||
| 412 | /* user controlled parameters */ | 415 | /* user controlled parameters */ |