Email List: Xaustin-review-lX
[All Lists]

Defect in XSH pthread_cond_timedwait()

To: yyyyyyyyyyyyyyy@xxxxxxxxxxxxx
Subject: Defect in XSH pthread_cond_timedwait()
From: yyyyyyy@xxxxxxxxxx
Date: Thu, 22 Aug 2002 20:17:11 +0100 (BST)
        Defect report from : Ulrich Drepper , Red Hat, Inc.

(Please direct followup comments direct to yyyyyyyyyyyyyy@xxxxxxxxxxxxx)

@ page 1033 line 32522 section pthread_cond_timedwait() objection {ud-cv-1}

Problem:

Defect code :  1. Error

The error section for pthread_cond_tiemdwait() and pthread_cond_wait() 
currently says:

32518 ERRORS

32519 The pthread_cond_timedwait( ) function shall fail if:
32520 [ETIMEDOUT] The time specified by abstime to
                  pthread_cond_timedwait( ) has passed.

32521 The pthread_cond_timedwait( ) and pthread_cond_wait( ) functions may fail 
if:

32522 [EINVAL] The value specified by cond, mutex, or abstime is
               invalid.

There are a number of things wrong:

- pthread_cond_wait() has no abstime parameter;

- the recognition of an invalid abstime parameter must not be optional.
  It isn't anywhere else.

Action:

Change the beginning of the ERRORS section above to:

ERRORS

The pthread_cond_timedwait( ) function shall fail if:
  [ETIMEDOUT] The time specified by abstime to
              pthread_cond_timedwait( ) has passed.

  [EINVAL] The value specified by abstime is invalid.

The pthread_cond_timedwait( ) and pthread_cond_wait( ) functions may fail if:

  [EINVAL] The value specified by cond or mutex is invalid.


I.e., create an [EINVAL] case in the "shall" section.

<Prev in Thread] Current Thread [Next in Thread>