Does the implementation of pthread rwlock obey POSIX specification?
Neil
freeordie.k@gmail.com
Tue Dec 27 03:08:00 GMT 2011
Hi All,
I am testing POSIX on project Yocto with POSIX suite from ltp site:
http://ltp.git.sourceforge.net/git/gitweb.cgi?p=ltp/ltp.git;a=tree;f=testcases/open_posix_testsuite;h=2ef1a9c3eca086d06f3ed2061c32c610c44a78da;hb=HEAD
When run the test test case
open_posix_testsuite/conformance/interfaces/pthread_rwlock_rdlock/2-1.c
http://ltp.git.sourceforge.net/git/gitweb.cgi?p=ltp/ltp.git;a=blob_plain;f=testcashttp://ltp.git.sourceforge.net/git/gitweb.cgi?p=ltp/ltp.git;a=blob_plain;f=testcases/open_posix_testsuite/conformance/interfaces/pthread_rwlock_rdlock/2-1.c;hb=HEADes/open_posix_testsuite/conformance/interfaces/pthread_rwlock_rdlock/2-1.c;hb=HEAD
it fails. Test steps are as follow:
1. Main thread set its shcedule policy as "SCHED_FIFO", with highest
priority: sched_get_priority_min()+2.
2. Main thread read lock 'rwlock'
3. Create a writer thread, with schedule policy as "SCHED_FIFO", and
priority using sched_get_priority_min()+1.
4. The thread write lock 'rwlock', should block.
5. Main thread create a reader thread, with schedule policy as
"SCHED_FIFO", and priority sched_get_priority_min()
6. Reader thread read lock 'rwlock', should block, since there is a
higher priority writer blocked on 'rwlock'
But the reader thread doesn't block. Because in POSIX specification
or pthread_rwlock_rdlock() manual page says:
If the Thread Execution Scheduling option is supported, and
the threads involved in the lock are executing
with the scheduling policies SCHED_FIFO or SCHED_RR, the
calling thread shall not acquire the lock if a
writer holds the lock or if writers of higher or equal priority
are blocked on the lock; otherwise, the call‐
ing thread shall acquire the lock.
So it seems the implementation of pthread rwlock doesn't obey the
POSIX specification, right? If so, if there is a plan to
make eglibc rwlock obey the POSIX specification?
I notice that there is a flag in pthread_rwlock_t to spec prefer read
lock or right lock, but it doesn't care the priorities.
Any reply is appreciate.
--
Regards,
Neil
More information about the Libc-help
mailing list