Anonymous | Login | 2024-04-25 23:44 UTC |
Main | My View | View Issues | Change Log | Docs |
Viewing Issue Simple Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||
ID | Category | Severity | Type | Date Submitted | Last Update | ||
0000345 | [1003.1(2008)/Issue 7] System Interfaces | Objection | Omission | 2010-10-28 23:31 | 2013-04-16 13:06 | ||
Reporter | eblake | View Status | public | ||||
Assigned To | ajosey | ||||||
Priority | normal | Resolution | Accepted As Marked | ||||
Status | Closed | ||||||
Name | Eric Blake | ||||||
Organization | Red Hat | ||||||
User Reference | ebb.semop | ||||||
Section | semop | ||||||
Page Number | 1840 | ||||||
Line Number | 58792 | ||||||
Interp Status | Approved | ||||||
Final Accepted Text | Note: 0000615 | ||||||
Summary | 0000345: semop must update sem_otime | ||||||
Description |
Historically, the sem_otime field associated with a semaphore tracks semop() actions, and the sem_ctime field tracks particular semctl() actions. The standard implies this is the case on lines 12708-12709 [XBD <sem.h>], but does not actually require it. In particular, this behavior must be enforced to avoid a data race, where one process creates a semaphore set and another obtains and acts on the set before the first can initialize the semaphore values. |
||||||
Desired Action |
At both line 58514 [XSH semctl SETVAL] and line 58526 [SETALL], add a sentence before "Requires alter permission": Also, the sem_ctime variable of the semid_ds structure associated with semid shall be set to the current time. After line 58541 [semctl IPC_SET], add a sentence: The sem_ctime variable shall be set to the current time. At line 58796 [semop DESCRIPTION], add a sentence: Also, the sem_otime variable of the semid_ds structure associated with semid shall be set to the current time. |
||||||
Tags | tc1-2008 | ||||||
Attached Files | |||||||
|
Relationships | ||||||
|
Issue History | |||
Date Modified | Username | Field | Change |
2010-10-28 23:31 | eblake | New Issue | |
2010-10-28 23:32 | eblake | Status | New => Under Review |
2010-10-28 23:32 | eblake | Assigned To | => ajosey |
2010-10-28 23:32 | eblake | Name | => Eric Blake |
2010-10-28 23:32 | eblake | Organization | => Red Hat |
2010-10-28 23:32 | eblake | User Reference | => ebb.semop |
2010-10-28 23:32 | eblake | Section | => semop |
2010-10-28 23:32 | eblake | Page Number | => 1840 |
2010-10-28 23:33 | eblake | Line Number | => 58792 |
2010-10-28 23:33 | eblake | Interp Status | => --- |
2010-10-28 23:41 | eblake | Relationship added | related to 0000335 |
2010-11-11 16:14 | eblake | Note Added: 0000615 | |
2010-11-11 16:57 | eblake | Note Edited: 0000615 | |
2010-11-11 17:01 | eblake | Note Edited: 0000615 | |
2010-11-11 17:09 | eblake | Note Edited: 0000615 | |
2010-11-11 17:10 | eblake | Note Edited: 0000615 | |
2010-11-11 17:13 | geoffclare | Interp Status | --- => Pending |
2010-11-11 17:13 | geoffclare | Final Accepted Text | => Note: 0000615 |
2010-11-11 17:13 | geoffclare | Status | Under Review => Interpretation Required |
2010-11-11 17:13 | geoffclare | Resolution | Open => Accepted As Marked |
2010-11-11 17:17 | geoffclare | Tag Attached: tc1-2008 | |
2010-12-16 16:13 | ajosey | Interp Status | Pending => Proposed |
2010-12-16 16:13 | ajosey | Note Added: 0000637 | |
2011-01-18 12:30 | ajosey | Interp Status | Proposed => Approved |
2013-04-16 13:06 | ajosey | Status | Interpretation Required => Closed |
Mantis 1.1.6[^] Copyright © 2000 - 2008 Mantis Group |