A NOTE has been added to this issue. 
====================================================================== 
http://austingroupbugs.net/view.php?id=1143 
====================================================================== 
Reported By:                dstaesse
Assigned To:                
====================================================================== 
Project:                    1003.1(2016)/Issue7+TC2
Issue ID:                   1143
Category:                   Base Definitions and Headers
Type:                       Clarification Requested
Severity:                   Comment
Priority:                   normal
Status:                     New
Name:                       Dimitri Staessens 
Organization:                
User Reference:              
Section:                    2.9.5 
Page Number:                520 
Line Number:                18219-18223 
Interp Status:              --- 
Final Accepted Text:         
====================================================================== 
Date Submitted:             2017-06-14 13:59 UTC
Last Modified:              2017-06-19 09:04 UTC
====================================================================== 
Summary:                    cancellation points: contradiction between base
definition and rationale
====================================================================== 

---------------------------------------------------------------------- 
 (0003784) terekhov (reporter) - 2017-06-19 09:04
 http://austingroupbugs.net/view.php?id=1143#c3784 
---------------------------------------------------------------------- 
Reverting ERN 27 won't undo normative mandatory "shall fail" detection of
prior timeout. The "shall occur" regarding cancel is concerned with non
failure mode (the case of no prior timeout... other 'failure modes' aside
for a moment).

Consider that in the past, the Rationale said:

"Cancellation points are points inside of certain functions where a thread
has to act on any pending cancellation request when cancelability is
enabled, if the function would block. As with checking for signals,
operations need only check for pending cancellation requests when the
operation is about to block indefinitely."

It is my understanding that shall "shall occur" list is meant to preclude
"block indefinitely." Where as "may also occur" list is meant for functions
with internal fast path with no danger to "block indefinitely" on that fast
path (and with cancel delivery on slow path only). 

Issue History 
Date Modified    Username       Field                    Change               
====================================================================== 
2017-06-14 13:59 dstaesse       New Issue                                    
2017-06-14 13:59 dstaesse       Name                      => Dimitri Staessens
2017-06-14 13:59 dstaesse       Section                   => 2.9.5           
2017-06-14 13:59 dstaesse       Page Number               => 520             
2017-06-14 13:59 dstaesse       Line Number               => 18219-18223     
2017-06-14 14:25 terekhov       Note Added: 0003760                          
2017-06-15 18:49 dstaesse       Note Added: 0003765                          
2017-06-17 12:17 dstaesse       Note Added: 0003783                          
2017-06-19 09:04 terekhov       Note Added: 0003784                          
======================================================================


Reply via email to