Rev 2029 | Rev 2050 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2029 | Rev 2042 | ||
|---|---|---|---|
| Line 128... | Line 128... | ||
| 128 | printf("sp=%#x, readers_in=%d\n", ctx.sp, rwlock.readers_in); |
128 | printf("sp=%#x, readers_in=%d\n", ctx.sp, rwlock.readers_in); |
| 129 | 129 | ||
| 130 | k = random(7) + 1; |
130 | k = random(7) + 1; |
| 131 | printf("Creating %d readers\n", k); |
131 | printf("Creating %d readers\n", k); |
| 132 | for (i = 0; i < k; i++) { |
132 | for (i = 0; i < k; i++) { |
| 133 | thrd = thread_create(reader, NULL, TASK, 0, "reader"); |
133 | thrd = thread_create(reader, NULL, TASK, 0, "reader", false); |
| 134 | if (thrd) |
134 | if (thrd) |
| 135 | thread_ready(thrd); |
135 | thread_ready(thrd); |
| 136 | else |
136 | else |
| 137 | printf("Could not create reader %d\n", i); |
137 | printf("Could not create reader %d\n", i); |
| 138 | } |
138 | } |
| 139 | 139 | ||
| 140 | k = random(5) + 1; |
140 | k = random(5) + 1; |
| 141 | printf("Creating %d writers\n", k); |
141 | printf("Creating %d writers\n", k); |
| 142 | for (i = 0; i < k; i++) { |
142 | for (i = 0; i < k; i++) { |
| 143 | thrd = thread_create(writer, NULL, TASK, 0, "writer"); |
143 | thrd = thread_create(writer, NULL, TASK, 0, "writer", false); |
| 144 | if (thrd) |
144 | if (thrd) |
| 145 | thread_ready(thrd); |
145 | thread_ready(thrd); |
| 146 | else |
146 | else |
| 147 | printf("Could not create writer %d\n", i); |
147 | printf("Could not create writer %d\n", i); |
| 148 | } |
148 | } |