A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Rework the doc of model-check/replay, and add an example with sthread
[simgrid.git]
/
examples
/
sthread
/
pthread-mutex-simple.c
diff --git
a/examples/sthread/pthread-mutex-simple.c
b/examples/sthread/pthread-mutex-simple.c
index d46d75adf7bd760b724f093096d597a0701c0f5f..a7dea6bd6b1e1b8b7afb1842f2b534c4137dbc77 100644
(file)
--- a/
examples/sthread/pthread-mutex-simple.c
+++ b/
examples/sthread/pthread-mutex-simple.c
@@
-1,3
+1,8
@@
+/* Copyright (c) 2002-2023. The SimGrid Team. All rights reserved. */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
/* Simple test code with no bug */
#include <pthread.h>
/* Simple test code with no bug */
#include <pthread.h>
@@
-21,12
+26,14
@@
int main(int argc, char* argv[])
int id[2] = {0, 1};
pthread_t thread1;
pthread_t thread2;
int id[2] = {0, 1};
pthread_t thread1;
pthread_t thread2;
- pthread_create(&thread1, NULL, thread_fun,
(void*)
&id[0]);
- pthread_create(&thread2, NULL, thread_fun,
(void*)
&id[1]);
+ pthread_create(&thread1, NULL, thread_fun, &id[0]);
+ pthread_create(&thread2, NULL, thread_fun, &id[1]);
fprintf(stderr, "All threads are started.\n");
pthread_join(thread1, NULL);
pthread_join(thread2, NULL);
fprintf(stderr, "All threads are started.\n");
pthread_join(thread1, NULL);
pthread_join(thread2, NULL);
+ pthread_mutex_destroy(&mutex);
+
fprintf(stderr, "User's main is terminating.\n");
return 0;
}
fprintf(stderr, "User's main is terminating.\n");
return 0;
}