...
| Code Block |
|---|
|
mtx_t mutex;
voidint thread_foo(void *ptr) {
uint32_t num;
int result;
int sock;
/* sock is a connected TCP socket */
if ((result = mtx_lock(&mutex)) != thrd_success) {
/* Handle error */
}
if ((result = recv(sock, (void *)&num, sizeof(uint32_t), 0)) < 0) {
/* Handle error */
}
/* ... */
if ((result = mtx_unlock(&mutex)) != thrd_success) {
/* Handle error */
}
return 0;
}
int main(void) {
thrd_t thread;
int result;
if ((result = mtx_init(&mutex, mtx_plain)) != thrd_success) {
/* Handle error */
}
if (thrd_create(&thread,(void *)& thread_foo, NULL) != thrd_success) {
/* Handle error */
}
/* ... */
if (thrd_join(thread, NULL);
if ((result = mtx_destroy(&mutex)) != thrd_success) {
/* Handle error */
}
mtx_destroy(&mutex);
return 0;
}
|
Compliant Solution (Block while Not Locked)
...
| Code Block |
|---|
|
voidint thread_foo(void *ptr) {
uint32_t num;
int result;
int sock;
/* sock is a connected TCP socket */
if ((result = recv(sock, (void *)&num, sizeof(uint32_t), 0)) < 0) {
/* Handle error */
}
if ((result = mtx_lock(&mutex)) != thrd_success) {
/* Handle error */
}
/* ... */
if ((result = pthread_mutex_unlock(&mutex)) != 0) {
/* Handle error */
}
return 0;
}
|
Compliant Solution (Use a Nonblocking Call)
...
| Code Block |
|---|
|
voidint thread_foo(void *ptr) {
uint32_t num;
int result;
/* sock is a connected TCP socket */
if ((result = recv(sock, (void *)&num, sizeof(uint32_t), O_NONBLOCK)) < 0) {
/* Handle error */
}
if ((result = mtx_lock(&mutex)) != thrd_success) {
/* Handle error */
}
/* ... */
if ((result = mtx_unlock(&mutex)) != thrd_success) {
/* Handle error */
}
return 0;
}
|
Exceptions
CON36-EX1: A thread may block while holding one or more locks and waiting to acquire another lock. When acquiring multiple locks, the order of locking must avoid deadlock, as specified in CON35-C. Avoid deadlock by locking in predefined order.
...