1<assertions> 2 <assertion id="1" tag="ref:XSH6TC2:4055:4058"> 3 aio_fsync() shall asynchronously force I/O operations associated 4 with aio_fildes. 5 </assertion> 6 <assertion id="2" tag="ref:XSH6TC2:4060:4061"> 7 if op is O_DSYNC, all queued I/O operations shall be completed as if 8 by a call to fdatasync(). 9 </assertion> 10 <assertion id="3" tag="ref:XSH6TC2:4060:4061"> 11 if op is O_SYNC, all queued I/O operations shall be completed as if 12 by a call to fsync(). 13 </assertion> 14 <assertion id="4" tag="ref:XSH6TC2:4070:4071"> 15 aio_error() and aio_return() may be used in order to determine 16 the error status and return status of aio_fsync opertation. 17 </assertion> 18 <assertion id="5" tag="ref:XSH6TC2:4072:4073"> 19 When the request is queued, error status is [EINPROGRESS]. 20 </assertion> 21 <assertion id="6" tag="ref:XSH6TC2:4075:4076"> 22 If the operation does not complete successfully, the error status 23 shall be set to indicate the error. 24 </assertion> 25 <assertion id="7" tag="ref:XSH6TC2:4076:4076"> 26 The aio_sigevent member determines the asynchronous notificiation 27 to occur. 28 </assertion> 29 <assertion id="8" tag="ref:XSH6TC2:4078:4079"> 30 Except aio_fildes and aio_sigevent, all other members of the structure 31 are ignored. 32 </assertion> 33 <assertion id="9" tag="ref:XSH6TC2:4084:4084"> 34 aio_fsync() shall return the value 0 if the operation is successfully 35 queued. 36 </assertion> 37 <assertion id="10" tag="ref:XSH6TC2:4084:4084"> 38 aio_fsync() shall return the value -1 and set errno to indicate error 39 if the operation is not successfully queued. 40 </assertion> 41 <assertion id="11" tag="ref:XSH6TC2:4088:4089"> 42 aio_fsync() shall fail if: 43 [EAGAIN] Operation was not queued due to temporary resource limitations. 44 </assertion> 45 <assertion id="12" tag="ref:XSH6TC2:4090:4091"> 46 aio_fsync() shall fail if: 47 [EBADF] aio_fildes is not a valid file descriptor for writing. 48 </assertion> 49 <assertion id="13" tag="ref:XSH6TC2:4092:4092"> 50 aio_fsync() shall fail if: 51 [EINVAL] This implementation does not support synchronized I/O for 52 this file. 53 </assertion> 54 <assertion id="14" tag="ref:XSH6TC2:4093:4093"> 55 aio_fsync() shall fail if: 56 [EINVAL] op is not set to O_DSYNC or O_SYNC. 57 </assertion> 58</assertions> 59