Rev 1196 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1196 | Rev 1221 | ||
---|---|---|---|
Line 130... | Line 130... | ||
130 | 130 | ||
131 | for (; ;) { |
131 | for (; ;) { |
132 | thread_t *thrd; |
132 | thread_t *thrd; |
133 | 133 | ||
134 | context_save(&ctx); |
134 | context_save(&ctx); |
135 | printf("sp=%#X, readers_in=%d\n", ctx.sp, rwlock.readers_in); |
135 | printf("sp=%#x, readers_in=%d\n", ctx.sp, rwlock.readers_in); |
136 | 136 | ||
137 | k = random(7) + 1; |
137 | k = random(7) + 1; |
138 | printf("Creating %d readers\n", k); |
138 | printf("Creating %d readers\n", k); |
139 | for (i=0; i<k; i++) { |
139 | for (i=0; i<k; i++) { |
140 | thrd = thread_create(reader, NULL, TASK, 0, "reader"); |
140 | thrd = thread_create(reader, NULL, TASK, 0, "reader"); |