Anonymous | Login | 2024-12-02 07:27 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 | ||
0000792 | [1003.1(2013)/Issue7+TC1] Base Definitions and Headers | Objection | Omission | 2013-11-15 05:23 | 2024-06-11 09:02 | ||
Reporter | eblake | View Status | public | ||||
Assigned To | |||||||
Priority | normal | Resolution | Accepted As Marked | ||||
Status | Closed | ||||||
Name | Eric Blake | ||||||
Organization | Red Hat | ||||||
User Reference | ebb.thread_lifetime | ||||||
Section | 3.399 Thread ID | ||||||
Page Number | 97 | ||||||
Line Number | 2704 | ||||||
Interp Status | --- | ||||||
Final Accepted Text | Note: 0005923 | ||||||
Summary | 0000792: better definition of thread lifetime | ||||||
Description |
0000765 identified that while we have a definition for Process Lifetime, we do not have a counterpart definition for Thread Lifetime. The desired action attempts to align with concepts introduced in the resolution of 0000690. Furthermore, 0000765 identified some future directions for use in Issue 7; this bug targets Issue 8 and turns those future directions into requirements (namely, that a thread ID must not cause ESRCH errors if its lifetime has not elapsed; comparable to kill() vs. process lifetime). Finally, the wording in XSH 2.9.2 page 513 line 17651 could be construed as claiming that a thread ID can be reused as soon as pthread_detach has been called for a thread (by parsing as "The lifetime of a thread ID ends [after the thread terminates if it was created with the detachstate attribute set to PTHREAD_CREATE_DETACHED] or [if pthread_detach( ) or pthread_join( ) has been called for that thread]." where the later condition takes effect the moment the thread is detached without waiting for the thread termination). But intuitively, a thread ID must exist until the later of thread termination and the point where the thread is no longer joinable, with several ways of becoming non-joinable. After all, it is certainly reasonable to use a thread ID of long-running thread that has had pthread_detach() called on it as the argument to pthread_kill() so long as the thread has not terminated. |
||||||
Desired Action |
[Editor's Note: This adds several new definition sections. In particular, 0000690 inserts a new section "Live Process" in the same place as this proposal adds "Live Thread". Make sure that the additions remain in sorted order, and that all sections are numbered appropriately afterwards. I sorted "Thread Termination" before "Thread-Safe" based on the existing precedence of "Priority Scheduling" before "Priority-Based Scheduling" at 3.288. The remainder of this request refers only to existing TC1 section numbering and references to new section names.] After Issue7+TC1 XBD section 3.209 ("Link Count") page 66 line 1935, insert a new section Live Thread with the following contents (copied from the existing text at 3.398 Thread, with a minor change):
At XBD section 3.398 ("Thread") line 2695 page 97, change: to:
After XBD section 3.399 ("Thread ID") page 97 line 2704, insert a new section Thread Lifetime with contents:
After XBD section 3.400 ("Thread List") page 98 line 2708, insert a new section Thread Termination with contents:
After XBD section 3.446 ("Zombie Process") page 105 line 2872, add a new section Zombie Thread with contents:
At XSH section 2.9.2 ("Thread IDs") page 513 line 17651, change: to:
At XSH pthread_cancel page 1586 line 51364 (DESCRIPTION), add a new sentence:
After XSH pthread_cancel page 1586 line 51398 (RATIONALE), add a new paragraph:
At XSH pthread_detach page 1619 line 52452 (DESCRIPTION), change: to:
At XSH pthread_join page 1632 line 52856 (DESCRIPTION), change: to:
At XSH pthread_kill page 1640 line 53156 (DESCRIPTION), add a sentence:
At XSH pthread_kill page 1640 line 53174 (RATIONALE), change the wording introduced by 0000765: to: . At XSH pthread_kill page 1640 line 53176 (FUTURE DIRECTIONS), revert the entire paragraph introduced by 0000765: back to: None. |
||||||
Tags | issue8 | ||||||
Attached Files | |||||||
|
Relationships | |||||||||||||||||||
|
Issue History | |||
Date Modified | Username | Field | Change |
2013-11-15 05:23 | eblake | New Issue | |
2013-11-15 05:23 | eblake | Name | => Eric Blake |
2013-11-15 05:23 | eblake | Organization | => Red Hat |
2013-11-15 05:23 | eblake | User Reference | => ebb.thread_lifetime |
2013-11-15 05:23 | eblake | Section | => 3.399 Thread ID |
2013-11-15 05:23 | eblake | Page Number | => 97 |
2013-11-15 05:23 | eblake | Line Number | => 2704 |
2013-11-15 05:23 | eblake | Interp Status | => --- |
2013-11-15 05:23 | eblake | Tag Attached: issue8 | |
2013-11-15 05:23 | eblake | Relationship added | related to 0000765 |
2013-11-15 05:24 | eblake | Relationship added | related to 0000690 |
2013-11-15 05:29 | eblake | Desired Action Updated | |
2019-05-23 16:08 | geoffclare | Tag Detached: issue8 | |
2022-08-02 14:53 | geoffclare | Note Added: 0005923 | |
2022-08-02 14:55 | geoffclare | Relationship added | related to 0001302 |
2022-08-04 15:07 | geoffclare | Final Accepted Text | => Note: 0005923 |
2022-08-04 15:07 | geoffclare | Status | New => Resolved |
2022-08-04 15:07 | geoffclare | Resolution | Open => Accepted As Marked |
2022-08-04 15:07 | geoffclare | Tag Attached: issue8 | |
2022-08-19 15:23 | geoffclare | Status | Resolved => Applied |
2024-06-11 09:02 | agadmin | Status | Applied => Closed |
Mantis 1.1.6[^] Copyright © 2000 - 2008 Mantis Group |