Minutes of the 17th April 2014 Teleconference

[Andrew Josey]

All
Apologies for the delay - these are the minutes from the last meeting
regards
Andrew
------


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 <semicolon>s, lines with one or more
<semicolon>s before a rule ("pattern {action}" pairs), and lines
with only <semicolon>(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-aA9aGynHYqB/thfjNshNs9i2O/***@public.gmane.org:9001/p/201x-mm-dd
password=2115756#

--------
Andrew Josey The Open Group
Austin Group Chair Apex Plaza, Forbury Road
Email: a.josey-7882/***@public.gmane.org Reading,Berks.RG1 1AX,England
Tel:[phone] US fax: [phone]
Mobile:[phone] UK fax: [phone]