Minutes of the 17th April 2014 Teleconference Austin-652 Page 1 of 1 Submitted by Andrew Josey, The Open Group. 24 April 2014 Attendees: Andrew Josey, The Open Group Geoff Clare, The Open Group Nick Stoughton, USENIX, ISO/IEC JTC 1/SC 22 OR Don Cragun, IEEE PASC OR David Clissold, IBM Richard Hansen, BBN (2nd half) Joerg Schilling FOKUS Fraunhofer Martin Rehak, Oracle, The Open Group OR Apologies Eric Blake, Red Hat Mark Ziegast, SHware Systems Mark Brown, Canonical * General news On TC2 development, Andrew has finished the first pass on the current set. There is still further editing to do. We had a discussion on how far we should go with managing document development via the repository. Richard agreed to write up some thoughts. * Outstanding actions +Bug 0000251: Forbid newline, or even bytes 1 through 31 (inclusive), in filenames OPEN http://austingroupbugs.net/view.php?id=251 Don has an action to produce a proposal. +Bug 0000561: NUL-termination of sun_path in Unix sockets OPEN http://austingroupbugs.net/view.php?id=561 Eric has an action to update the proposal. +Bug 0000573: Please add '+' to the portable filename character set OPEN http://austingroupbugs.net/view.php?id=573 Joerg has an action to prepare a proposed change. +Bug 0000592: consistent use of struct timespec OPEN http://austingroupbugs.net/view.php?id=592 Jim had provided additional information in bugnote 1627. This was discussed and Jim took an action to provide further information. +Bug 0000598: OH shading and new interfaces OPEN http://austingroupbugs.net/view.php?id=598 Eric has an action to propose a new solution with self-contained headers. +Bug 0000517: EBNF support OPEN http://austingroupbugs.net/view.php?id=517 Action on Joerg to look at this. +Bug 0000633: SIGEV_THREAD delivery renders many signal interfaces unsafe OPEN http://austingroupbugs.net/view.php?id=633 We noted that feedback has settled down on the mailing list, and will discuss next session. +Bug 0000657: Conditions under which fmemopen() write a NUL to the buffer are insufficiently specified OPEN http://austingroupbugs.net/view.php?id=657 Eric has an action to propose wording to clarify the behavior for fmemopen(), and also to contact the glibc developers to get their feedback. +Bug 0000658: Undefined/unspecified behavior clauses in description of open have race conditions OPEN http://austingroupbugs.net/view.php?id=658 It was noted that there is some overlap with changes in TC1. Eric took an action to update the proposal to resolve the overlaps appropriately. +Bug 0000615: pthread_setcancelstate should be async-signal-safe OPEN http://austingroupbugs.net/view.php?id=615 We now have reports on AIX and Apple. Jim to report back on whether pthread_cancelstate() is async-signal-safe on Solaris. Andrew to ask HP whether pthread_cancelstate() is async-signal-safe on HP-UX. +Bug 622 left open pending resolution of 615. http://austingroupbugs.net/view.php?id=622 +Bug 0000672: Necessary step(s) to synchronize filename operations on disk OPEN http://austingroupbugs.net/view.php?id=672 Geoff has a new proposed resolution in note 1618. Decided to solicit input from FS developers. Eric to go to Linux, David to AIX and Jim to Solaris. Jim has completed his action (see bugnote 1691). Andrew should chase HP and Apple for input. +Bug 0000663: Specification of str[n]casecmp is ambiguous reopened http://austingroupbugs.net/view.php?id=663 Action on David to follow up with the IBM developers about the EBCDIC collation sequence. Bug 696 either NAME_MAX shouldn't be optional, or readdir_r() needs clarification http://www.austingroupbugs.net/view.php?id=696 Don has an action to propose a resolution. Bug 0000721: Internal storage vs static storage OPEN http://austingroupbugs.net/view.php?id=721 This item is still open. Bug 0000375: Extend test/[...] conditionals: ==, <, >, -nt, -ot, -ef OPEN http://austingroupbugs.net/view.php?id=375 This is still left open due to discussions pending on the reflector. Bug 0000789: Add set -o pipefail OPEN http://austingroupbugs.net/view.php?id=789 * Current Business Bug #811: precondition for mutex destruction unclear; example contradicts normative text OPEN http://www.austingroupbugs.net/view.php?id=811 We have left this item open pending further input from Dave Butenhof on supplying a new example. Bug #226: Questions on awk grammar Accept as Marked below http://austingroupbugs.net/view.php?id=226 The meeting was spent discussing this bug. Feedback has been received from the gawk maintainer: http://article.gmane.org/gmane.comp.standards.posix.austin.general/9334 An interpretation is required. This item is tagged for TC2-2008 Andrew will take an action to request Donn Terry to review this response. Interpretation response The standard specifies the grammar for awk, and conforming implementations must conform to this. However, concerns have been raised about this which are being referred to the sponsor. Rationale: The standard does not require support for awk '/foo/; {print}', but this was unintentional. The standard does not require support for awk '/x/{print} {print}' and this is intentional. awk BEGIN (with no action) and awk END (with no action) are allowed by the grammar but forbidden by the EXTENDED DESCRIPTION section on Special Patterns (see Issue 7, P2440, L77545 and in Issue 7, 2013 Edition, P2463, L78909). The standard requires support for awk '{print};;{print}', but this is not historic practice and is considered to be a poor programming practice. Notes to the Editor (not part of this interpretation): On pages 2447-2453 lines 77825-78107 (2013 edition/TC1: pages 2470-2476 lines 79189-79471) change the awk grammar as follows: diff --git a/awk.y b/awk.y index b12ecd9..c63ce89 100644 --- a/awk.y +++ b/awk.y @@ -49,23 +49,18 @@ program : item_list - | actionless_item_list + | item_list item ; -item_list : newline_opt - | actionless_item_list item terminator - | item_list item terminator - | item_list action terminator +item_list : /* empty */ + | item_list item terminator ; -actionless_item_list : item_list pattern terminator - | actionless_item_list pattern terminator - ; - - -item : pattern action +item : action + | pattern action + | normal_pattern | Function NAME '(' param_list_opt ')' newline_opt action | Function FUNC_NAME '(' param_list_opt ')' @@ -83,21 +78,27 @@ param_list : NAME ; -pattern : Begin - | End - | expr +pattern : normal_pattern + | special_pattern + ; + +normal_pattern : expr | expr ',' newline_opt expr ; +special_pattern : Begin + | End + ; + + action : '{' newline_opt '}' | '{' newline_opt terminated_statement_list '}' | '{' newline_opt unterminated_statement_list '}' ; -terminator : terminator ';' - | terminator NEWLINE +terminator : terminator NEWLINE | ';' | NEWLINE ; Add to RATIONALE as a new paragraph after P2482, L79340 (2013 edition/TC1: page 2481 line 79677): Earlier versions of this standard required implementations to support multiple adjacent s, lines with one or more s before a rule ("pattern {action}" pairs), and lines with only (s). These are not required by this standard and are considered poor programming practice, but can be accepted by an implementation of awk as an extension. Next Steps ---------- The next call is on April 24, 2014 (a Thursday) Calls are anchored on US time. (8am Pacific) This call will be for the regular 90 minutes. http://austingroupbugs.net An IRC channel will be available for the meeting irc://irc.freenode.net/austingroupbugs An etherpad is usually up for the meeting, with a URL using the date format as below: http://posix@posix.rhansen.org:9001/p/201x-mm-dd password=2115756#