nptl.BullOpenSource.Org

[tHeDoc]

POSIX

POSIX is a registered trademark from the IEEE. The following assertions are derived from copyrighted material. Original text and copyright information can be found at http://www.opengroup.org.

Here is what POSIX requires for this function:

1. sem_open associates a named semaphore with the process. The returned address may be used in calls to other semaphore-related functions, until the semaphore is closed.
   
2. If oflag contains O_CREAT, the semaphore is created if it does not exists.
   
3. The semaphore is created with value as initial value.
   
4. The uid of the semaphore is set to the effective user ID of the process.
   
5. The gid of the semaphore is set to a system default gid or to the effective gid of the process.
   
6. The permission bits of the semaphore are set to the value of the mode argument except those set in the file mode creation mask of the process.
   
7. If oflag contains O_EXCL and O_CREAT, the creation fails if the semaphore name already exists.
   
8. If a process calls sem_open several times with the same name, the same adress must be returned as long as the semaphore has not been unlinked or closed as many times as opened.
   
9. On failure, the function returns SEM_FAILED and sets errno to indicate the error.
   
10. The function fails with EACCESS if the process has no sufficient privilege to open or create the semaphore.
    
11. The function fails with EEXIST if the semaphore exists and O_CREAT and O_EXCL are specified.
    
12. The function fails with EINTR if interrupted by a signal.
    
13. The function fails with EINVAL if the name is invalid or value is greater than SEM_VALUE_MAX.
    
14. The function fails with EMFILE if too many semaphore or file descriptors are already opened.
    
15. The function fails with ENAMETOOLONG if name is too long.
    
16. The function fails with ENFILE if too many semaphores are open in the system.
    
17. The function fails with ENOENT if O_CREAT is not specified and the semaphore name does not exist.
    
18. The function fails with ENOSPC if there is not enough space to create the new semaphore.
    

[tHeDoc]

Conformance Status

• Assertion 1 is already tested in OPTS and does not need more testing.
  
• Assertion 2 is tested implicitely in many testcases.
  
• Assertion 3 is tested implicitely in many testcases.
  
• Assertion 4 is not tested yet. As XSI semaphores and realtime semaphores are not required to interop, there is no POSIX way to check semaphore uid; therefore the assertion won't be tested.
  
• Assertion 5 is not tested yet. As XSI semaphores and realtime semaphores are not required to interop, there is no POSIX way to check semaphoregid; therefore the assertion won't be tested.
  
• Assertion 6 is not tested yet. As XSI semaphores and realtime semaphores are not required to interop, there is no POSIX way to check semaphore mode; therefore the assertion won't be tested.
  
• Assertion 7 is already tested in OPTS and does not need more testing.
  
• Assertion 8 is not tested yet. A new testcase will be written.
  
• Assertion 9 is tested implicitely in many testcases.
  
• Assertion 10 is already tested in OPTS and does not need more testing.
  
• Assertion 11 is already tested in OPTS and does not need more testing.
  
• Assertion 12 is not tested yet, but as the operation is not blocking, there is no need for a testcase for this assertion.
  
• Assertion 13 is already tested in OPTS and does not need more testing.
  
• Assertion 14 is not tested yet. No new testcase will be written for this feature, as it relies on implementation-specific material.
  
• Assertion 15 is not tested yet. No new testcase will be written for this feature, as it relies on implementation-specific material.
  
• Assertion 16 is not tested yet. No new testcase will be written for this feature, as it relies on implementation-specific material.
  
• Assertion 17 is already tested in OPTS and does not need more testing.
  
• Assertion 18 is not tested yet. No new testcase will be written for this feature, as it relies on implementation-specific material.
  

[tHeDoc]

Scalability Status

A new scalability test will be written for this routine, to check that the operation duration is not dependent on the number of opened semaphores. Also, assertions 14, 16 and 18 will be checked as well.

[tHeDoc]

Stress Status

No stress test will be written here.

[tHeDoc]

Conformance Tests

A new testcase has been submitted to OPTS:

• 15-1.c
  

[tHeDoc]

Scalability Test

A new scalability test has been written:

• s-c1.c

Attached is a sample graphical output.