Rev 4516 | Rev 4527 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4516 | Rev 4526 | ||
---|---|---|---|
Line 88... | Line 88... | ||
88 | futex_up(&async_futex); |
88 | futex_up(&async_futex); |
89 | } |
89 | } |
90 | 90 | ||
91 | void fibril_rwlock_initialize(fibril_rwlock_t *frw) |
91 | void fibril_rwlock_initialize(fibril_rwlock_t *frw) |
92 | { |
92 | { |
- | 93 | frw->writers = 0; |
|
- | 94 | frw->readers = 0; |
|
93 | fibril_mutex_initialize(&frw->fm); |
95 | list_initialize(&frw->waiters); |
94 | } |
96 | } |
95 | 97 | ||
96 | void fibril_rwlock_read_lock(fibril_rwlock_t *frw) |
98 | void fibril_rwlock_read_lock(fibril_rwlock_t *frw) |
97 | { |
99 | { |
98 | fibril_mutex_lock(&frw->fm); |
100 | futex_down(&async_futex); |
- | 101 | if (frw->writers) { |
|
- | 102 | fibril_t *f = (fibril_t *) fibril_get_id(); |
|
- | 103 | f->flags &= ~FIBRIL_WRITER; |
|
- | 104 | list_append(&f->link, &frw->waiters); |
|
- | 105 | fibril_switch(FIBRIL_TO_MANAGER); |
|
- | 106 | } else { |
|
- | 107 | frw->readers++; |
|
- | 108 | futex_up(&async_futex); |
|
- | 109 | } |
|
99 | } |
110 | } |
100 | 111 | ||
101 | void fibril_rwlock_write_lock(fibril_rwlock_t *frw) |
112 | void fibril_rwlock_write_lock(fibril_rwlock_t *frw) |
102 | { |
113 | { |
- | 114 | futex_down(&async_futex); |
|
- | 115 | if (frw->writers || frw->readers) { |
|
- | 116 | fibril_t *f = (fibril_t *) fibril_get_id(); |
|
- | 117 | f->flags |= FIBRIL_WRITER; |
|
- | 118 | list_append(&f->link, &frw->waiters); |
|
- | 119 | fibril_switch(FIBRIL_TO_MANAGER); |
|
- | 120 | } else { |
|
- | 121 | frw->writers++; |
|
- | 122 | futex_up(&async_futex); |
|
- | 123 | } |
|
- | 124 | } |
|
- | 125 | ||
- | 126 | static void _fibril_rwlock_common_unlock(fibril_rwlock_t *frw) |
|
- | 127 | { |
|
- | 128 | futex_down(&async_futex); |
|
- | 129 | assert(frw->readers || (frw->writers == 1)); |
|
- | 130 | if (frw->readers) { |
|
- | 131 | if (--frw->readers) |
|
- | 132 | goto out; |
|
- | 133 | } else { |
|
- | 134 | frw->writers--; |
|
- | 135 | } |
|
- | 136 | ||
- | 137 | assert(!frw->readers && !frw->writers); |
|
- | 138 | ||
- | 139 | while (!list_empty(&frw->waiters)) { |
|
- | 140 | link_t *tmp = frw->waiters.next; |
|
- | 141 | fibril_t *f = list_get_instance(tmp, fibril_t, link); |
|
- | 142 | ||
- | 143 | if (f->flags & FIBRIL_WRITER) { |
|
- | 144 | if (frw->readers) |
|
- | 145 | break; |
|
- | 146 | list_remove(&f->link); |
|
- | 147 | fibril_add_ready((fid_t) f); |
|
- | 148 | frw->writers++; |
|
- | 149 | break; |
|
- | 150 | } else { |
|
- | 151 | list_remove(&f->link); |
|
103 | fibril_mutex_lock(&frw->fm); |
152 | fibril_add_ready((fid_t) f); |
- | 153 | frw->readers++; |
|
- | 154 | } |
|
- | 155 | } |
|
- | 156 | out: |
|
- | 157 | futex_up(&async_futex); |
|
104 | } |
158 | } |
105 | 159 | ||
106 | void fibril_rwlock_read_unlock(fibril_rwlock_t *frw) |
160 | void fibril_rwlock_read_unlock(fibril_rwlock_t *frw) |
107 | { |
161 | { |
108 | fibril_mutex_unlock(&frw->fm); |
162 | _fibril_rwlock_common_unlock(frw); |
109 | } |
163 | } |
110 | 164 | ||
111 | void fibril_rwlock_write_unlock(fibril_rwlock_t *frw) |
165 | void fibril_rwlock_write_unlock(fibril_rwlock_t *frw) |
112 | { |
166 | { |
113 | fibril_mutex_unlock(&frw->fm); |
167 | _fibril_rwlock_common_unlock(frw); |
114 | } |
168 | } |
115 | 169 | ||
116 | /** @} |
170 | /** @} |
117 | */ |
171 | */ |