Subject: hpff-doc: Comments on parallel.tex

From: Piyush Mehrotra <[email-masked]>
Date: Tue, 15 Oct 1996 10:42:20 -0400 (EDT)

---------------------------------------------------------------------------
[email-masked] is a mailing list for HPF 2.0 language specification
authors and editors.  Instructions for adding or deleting yourself from this
list appear at the bottom of this message.
---------------------------------------------------------------------------

Here are several changes to the independent chapter.
 Some of these are just that i.e.  suggestions of style changes etc.
However some are real errors and need to be fixed.  Some of these may have
been pointed out by others already.

        - Piyush

PS Mary I am not sure if there is any difference in the new parallel.tex
sent out by you yesterday and the one at rice except for some syntax
rules as indicated at the end of this message.

Page 47 Line 48:
Replace:
    \item The
    {\tt FORALL} statement, including element-wise invocation of
    {\tt PURE} functions.
with
    \item The
    {\tt FORALL} statement and construct, including element-wise invocation of
    {\tt PURE} functions.

Page 48 Line 29-31
Replace:
    \item If either the {\tt NEW} clause or the {\tt REDUCTION} clause
    is present, then the directive must apply to a {\tt DO} loop.
with
    \item If either the {\tt NEW} clause or the {\tt REDUCTION} clause
    is present, then the first non-comment line following the directive
    must be a {\it do-stmt}.

Page 48 Line 45-46
Replace:
    i.e.}  the lexical body) of the following do-stmt, forall-stmt, or
    forall-construct.
with
    i.e.}  the lexical body) of the following {\it do-stmt, forall-stmt}, or
    {\it forall-construct}.

Page 49 Line 13
Replace:
    A data object is called {\em atomic} if it contains no subobjects.)
with
    (A data object is called {\em atomic} if it contains no subobjects.)

Page 49 Line 16, 19, 27, 30
Replace
    \texttt{do not}
with
    \textit{do not}
so that they stand out more!!

Page 53 Line 48:
Put a \pagebreak so that the lone statement of the
example is forced on to the next page

Page 56 Line 32
Replace:
    expression part of a reduction statement.
with
    {\it expr} part of a reduction statement.

Page 57 Line 46, Page 58 17, 18 and 44:
I though we had decided that we will implementation dependent rather
than processor dependent since in HPF processor has a completely different
meaning.

Also if the new parallel.tex is going to be used (the one sent
out by Mary on Monday Oct 14th) then the syntax rules for
independent and reductions should be as follows to correct the breaks in the
rules:

\BNF
independent-directive  \IS    INDEPENDENT [ , new-clause ]
 [ , reduction-clause ]

new-clause             \IS    NEW ( variable-name-list )

reduction-clause           \IS  REDUCTION( reduction-variable-list )

reduction-variable         \IS  array-variable-name
                           \OR  scalar-variable-name
                           \OR  structure-component
\FNB

\BNF
reduction-stmt          \IS  reduction-variable-ref = expr reduction-op
 reduction-variable-ref
                        \OR reduction-variable-ref = reduction-variable-ref
 reduction-op expr
                        \OR reduction-variable-ref = reduction-function
( reduction-variable-ref, expr )
                        \OR reduction-variable-ref = reduction-function
( expr, reduction-variable-ref )

reduction-variable-ref   \IS  variable

reduction-op         \IS  +
                \OR -
                \OR *
                \OR /
                \OR .AND.
                \OR .OR.
                \OR .EQV.
                \OR .NEQV.

reduction-function   \IS        MAX
                           \OR  MIN
                           \OR  IAND
                           \OR  IOR
                           \OR  IEOR
\FNB

---------------------------------------------------------------------------
To (un)subscribe to this list, send mail to [email-masked].
Leave the subject line blank, and in the body put the line
(un)subscribe <email-address>
---------------------------------------------------------------------------