In <[EMAIL PROTECTED]>, on 10/22/2006
at 08:31 PM, "Jeffrey D. Smith" <[EMAIL PROTECTED]> said:
>No, that's reentrant.
RYFM.
>Refreshable means the program does not
>modify itself *ever*.
No. It means that the program produces correct results even if
refreshed. It can modify itself as long as losing the modifications
doesn't cause incorrect results.
A program is reentrant if it produces correct results when multiple
invocations run concurrently. A R/O program can fail to be reentrant,
and a reentrant program can modify itself. It can even modify itself
without serialization if it does not subsequently rely on the results
of the modification.
>No, reentrant means what I wrote.
RYFM.
>Serialization has nothing
>to do with it, unless the program is self-modifying (which is also
>what I wrote).
That's what you wrote, but it's wrong.
L R0,CVTUSER
BCTR R0,0
ST R0,CVTUSER
Refreshable, in fact R/O, but not reentrant; it needs serialization.
"It's not what you don't know that's the killer; it's what you know
that isn't so."
--
Shmuel (Seymour J.) Metz, SysProg and JOAT
ISO position; see <http://patriot.net/~shmuel/resume/brief.html>
We don't care. We don't have to care, we're Congress.
(S877: The Shut up and Eat Your spam act of 2003)
----------------------------------------------------------------------
For IBM-MAIN subscribe / signoff / archive access instructions,
send email to [EMAIL PROTECTED] with the message: GET IBM-MAIN INFO
Search the archives at http://bama.ua.edu/archives/ibm-main.html
