Anonymous | Login | 2024-03-29 06:37 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 | ||
0001120 | [1003.1(2016/18)/Issue7+TC2] System Interfaces | Editorial | Enhancement Request | 2017-02-23 02:38 | 2018-08-02 15:40 | ||
Reporter | a3f | View Status | public | ||||
Assigned To | ajosey | ||||||
Priority | normal | Resolution | Rejected | ||||
Status | Closed | ||||||
Name | Ahmad Fatoum | ||||||
Organization | |||||||
User Reference | |||||||
Section | 2.4.3 Signal Actions | ||||||
Page Number | 493 | ||||||
Line Number | 16839-16842 | ||||||
Interp Status | --- | ||||||
Final Accepted Text | |||||||
Summary | 0001120: Permit access to static storage objects from signal handlers if synchronization is guaranteed by use of the signal mask | ||||||
Description |
While the recent C standard (ISO 9899:2011) additionally allows for using the newly introduced lock-free atomic types inside signal handlers, access to static storage duration objects of types other then those provided as lock-free atomics remains undefined. Notably following access pattern, often employed in interrupt handlers, remains undefined: Access to objects that are only referenced inside an interrupt handler or while said interrupt is masked, are "async-interrupt-safe". I believe that with the concurrency model introduced in C11, these kind of accesses could be defined. This would allow for use of the aforementioned interrupt access pattern in conjunction with UNIX signals, which after all, were modeled after interrupts. |
||||||
Desired Action |
Amending the section with something along the lines of: "Inside signal handlers, access to objects with static storage duration and of arbitrary type is permitted if and only if all accesses to the object, inside or outside the signal handler, occur while said signal handler is blocked from execution." This would be coupled with making modification of the signal mask imply a barrier. |
||||||
Tags | No tags attached. | ||||||
Attached Files | |||||||
|
Mantis 1.1.6[^] Copyright © 2000 - 2008 Mantis Group |