Title
[filesys.ts] [PDTS] Unhelpful comment for struct space_info
Status
open
Section
[fs.filesystem.synopsis][fs.op.space]
Submitter
GB-4

Created on 2014-01-20.00:00:00 last changed 89 months ago

Messages

Date: 2016-01-28.01:00:35

Proposed resolution:

  1. Change 6 [fs.filesystem.synopsis]:

    uintmax_t available; // free space available to a non-privileged process

  2. Add Remarks to 15.32 [fs.op.space]:

    Remarks: The value of member space_info::available is operating system dependent. [Note: available may be less than free. — end note]

Date: 2014-02-15.00:00:00

[ 2014-02-07, Beman Dawes provides wording ]

Date: 2014-02-15.00:00:00

[ 2014-02-07, Beman Dawes comments ]

"implementaton defined" and "operating system dependent" are well defined terms in this TS, but "implementation dependent" is not well defined. The meaning of available is operating system dependent, so that's the form used in the proposed wording.

Date: 2016-01-31.20:31:05

Addresses: filesys.ts

Use of the term a 'non-privileged' process. The comment for available in the struct space_info refers to: free space available to a non-privileged process. This seems quite specific to a POSIX implementation (on Windows, for instance, the equivalent data would be user-specific but not directly related to privilege)

Remove the comment and add a note to 15.32 [fs.op.space]: [Note: the precise meaning of available space is implementation dependent. — end note]

History
Date User Action Args
2017-07-30 20:10:41adminsetstatus: wp -> open
2016-01-28 01:00:35adminsetmessages: + msg7715
2016-01-28 01:00:35adminsetmessages: + msg7714
2016-01-28 01:00:35adminsetmessages: + msg7713
2014-01-20 00:00:00admincreate