Annotation of prex/usr/test/deadlock/deadlock.c, Revision 1.1.1.1
1.1 nbrk 1: /*-
2: * Copyright (c) 2005, Kohsuke Ohtani
3: * All rights reserved.
4: *
5: * Redistribution and use in source and binary forms, with or without
6: * modification, are permitted provided that the following conditions
7: * are met:
8: * 1. Redistributions of source code must retain the above copyright
9: * notice, this list of conditions and the following disclaimer.
10: * 2. Redistributions in binary form must reproduce the above copyright
11: * notice, this list of conditions and the following disclaimer in the
12: * documentation and/or other materials provided with the distribution.
13: * 3. Neither the name of the author nor the names of any co-contributors
14: * may be used to endorse or promote products derived from this software
15: * without specific prior written permission.
16: *
17: * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
18: * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19: * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20: * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
21: * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22: * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
23: * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24: * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
25: * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
26: * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
27: * SUCH DAMAGE.
28: */
29:
30: /*
31: * deadlock.c - test program for a kernel deadlock detection.
32: */
33:
34: /*
35: * Prex kernel has the feature of deadlock detection. The following
36: * senario is tested with this program.
37: *
38: * 1) Thread-2 locks mutex-A.
39: * 2) Thread-1 locks mutex-B.
40: * 3) Thread-1 locks mutex-A.
41: * 4) Thread-2 locks mutex-B.
42: *
43: * The deadlock occurs at 4) because mutex-B has been already locked by
44: * thread-1 and thread-1 is waiting for thread-2 (mutex-A).
45: * The kernel will detect this condition, and the mutex_lock() system
46: * call will return EDEADLK error code.
47: */
48:
49: #include <prex/prex.h>
50: #include <stdio.h>
51: #include <errno.h>
52:
53: static char stack[2][1024];
54: static thread_t th_1, th_2;
55: static mutex_t mtx_A, mtx_B;
56:
57: thread_t
58: thread_run(void (*start)(void), void *stack)
59: {
60: thread_t th;
61: int err;
62:
63: err = thread_create(task_self(), &th);
64: if (err)
65: panic("thread_create is failed");
66:
67: err = thread_load(th, start, stack);
68: if (err)
69: panic("thread_load is failed");
70:
71: return th;
72: }
73:
74: /*
75: * Thread 1 - Priority = 100
76: */
77: static void
78: thread_1(void)
79: {
80: int err;
81:
82: printf("thread_1: starting\n");
83:
84: /*
85: * 2) Lock mutex B
86: */
87: printf("thread_1: 2) lock B\n");
88: err = mutex_lock(&mtx_B);
89: if (err) printf("err=%d\n", err);
90:
91: /*
92: * 3) Lock mutex A
93: *
94: * Switch to thread 1.
95: */
96: printf("thread_1: 3) lock A\n");
97: err = mutex_lock(&mtx_A);
98: if (err) printf("err=%d\n", err);
99:
100: printf("thread_1: exit\n");
101: thread_terminate(th_1);
102: }
103:
104: /*
105: * Thread 2 - Priority = 101
106: */
107: static void
108: thread_2(void)
109: {
110: int err;
111:
112: printf("thread_2: starting\n");
113:
114: /*
115: * 1) Lock mutex A
116: */
117: printf("thread_2: 1) lock A\n");
118: err = mutex_lock(&mtx_A);
119: if (err) printf("err=%d\n", err);
120:
121: /*
122: * Switch to thread 1
123: */
124: thread_resume(th_1);
125:
126: printf("thread_2: running\n");
127: /*
128: * 4) Lock mutex B
129: *
130: * Deadlock occurs here!
131: */
132: printf("thread_2: 4) lock B\n");
133: err = mutex_lock(&mtx_B);
134: if (err) printf("err=%d\n", err);
135: if (err == EDEADLK)
136: printf("**** DEADLOCK!! ****\n");
137:
138: printf("thread_2: exit\n");
139: thread_terminate(th_2);
140: }
141:
142: int
143: main(int argc, char *argv[])
144: {
145: printf("Deadlock test program\n");
146:
147: /*
148: * Boost priority of this thread
149: */
150: thread_setprio(thread_self(), 90);
151:
152: /*
153: * Initialize mutexes.
154: */
155: mutex_init(&mtx_A);
156: mutex_init(&mtx_B);
157:
158: /*
159: * Create new threads
160: */
161: th_1 = thread_run(thread_1, stack[0]+1024);
162: thread_setprio(th_1, 100);
163:
164: th_2 = thread_run(thread_2, stack[1]+1024);
165: thread_setprio(th_2, 101);
166:
167: /*
168: * Start thread 2
169: */
170: thread_resume(th_2);
171:
172: /*
173: * Wait...
174: */
175: thread_suspend(thread_self());
176:
177: return 0;
178: }
CVSweb