Hello,
1)
There is an inconsistency with the documentation [1], which claims that mutex
and condition variables
need to be explicitly initialized with the *_init functions.
The implementation however checks the state via a flag and calls *_init if
necessary, and the program below works correctly.
2)
There is some further issue, if you depend on the "lazy initialization",
demonstrated by running the
program below with an argument. This case can happen for example if some
subsystem was removed
before being used (never needed the lock).
In other words, the "lazy initialization" scheme is working with lock/unlock
but not with destroy.
#include <assert.h>
#include <pthread.h>
int main(int argc, char const *argv[]) {
pthread_mutex_t mymutex = PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP;
if (argc == 1) {
assert(0 == pthread_mutex_lock(&mymutex));
assert(0 == pthread_mutex_unlock(&mymutex));
}
assert(0 == pthread_mutex_destroy(&mymutex));
return 0;
}
[1] - https://gitlab.denx.de/Xenomai/xenomai/wikis/Porting_To_Xenomai_POSIX
Regards, Norbert
________________________________
This message and any attachments are solely for the use of the intended
recipients. They may contain privileged and/or confidential information or
other information protected from disclosure. If you are not an intended
recipient, you are hereby notified that you received this email in error and
that any review, dissemination, distribution or copying of this email and any
attachment is strictly prohibited. If you have received this email in error,
please contact the sender and delete the message and any attachment from your
system.
ANDRITZ HYDRO GmbH
Rechtsform/ Legal form: Gesellschaft mit beschränkter Haftung / Corporation
Firmensitz/ Registered seat: Wien
Firmenbuchgericht/ Court of registry: Handelsgericht Wien
Firmenbuchnummer/ Company registration: FN 61833 g
DVR: 0605077
UID-Nr.: ATU14756806
Thank You
________________________________
