Re: Unsafe Optimizations (WAS: Compiler Design in C How about it?)

robinson@cs.dal.ca (John Robinson)
Tue, 5 Jun 90 17:35:17 GMT

          From comp.compilers

Related articles
Unsafe Optimizations (WAS: Compiler Design in C How about it?) pardo@cs.washington.edu (1990-06-04)
Re: Unsafe Optimizations (WAS: Compiler Design in C How about it?) larus@spool.cs.wisc.edu (1990-06-04)
Re: Unsafe Optimizations (WAS: Compiler Design in C How about it?) MERRIMAN@ccavax.camb.com (George Merriman -- CCA/NY) (1990-06-05)
Re: Unsafe Optimizations (WAS: Compiler Design in C How about it?) mike@hpfcso.hp.com (1990-06-05)
Re: Unsafe Optimizations (WAS: Compiler Design in C How about it?) pardo@cs.washington.edu (1990-06-05)
Re: Unsafe Optimizations (WAS: Compiler Design in C How about it?) robinson@cs.dal.ca (1990-06-05)
Unsafe Optimizations (WAS: Compiler Design in C How about it?) stewart@sdsu.edu (1990-06-05)
Re: Unsafe Optimizations (WAS: Compiler Design in C How about it?) poser@csli.stanford.edu (1990-06-06)
Re: Unsafe Optimizations (WAS: Compiler Design in C How about it?) larus@primost.cs.wisc.edu (1990-06-07)
Re: Unsafe Optimizations (WAS: Compiler Design in C How about it?) tli@%phakt.usc.edu (1990-06-07)
Re: Unsafe Optimizations (WAS: Compiler Design in C How about it?) moss@cs.umass.edu (1990-06-10)
Re: Unsafe Optimizations (WAS: Compiler Design in C How about it?) cwitty@csli.Stanford.EDU (1990-06-14)
[2 later articles]
| List of all articles for this month |

Newsgroups: comp.compilers
From: robinson@cs.dal.ca (John Robinson)
References: <1990Jun4.044255.14857@esegue.segue.boston.ma.us> <1990Jun1.194941.5781@esegue.segue.boston.ma.us> <1990Jun4.212226.18389@esegue.segue.boston.ma.us>
Date: Tue, 5 Jun 90 17:35:17 GMT
Organization: Math, Stats & CS, Dalhousie University, Halifax, NS, Canada
Keywords: optimize, C

In article <1990Jun4.212226.18389@esegue.segue.boston.ma.us> larus@spool.cs.wisc.edu writes:
>... SOme programmers are willing to trade off the
>semantics of the language (the effect of "bad" optimizations) for faster
>programs. By arguing that compilers should only perform conservative
>optimization, you are claiming that the sequential semantics of FORTRAN (fill
>in your favorite or least favorite language) are suitable for parallel
>execution. Think carefully before you argue this position.
>


Ok. I'll bite. But I'll rephrase it slightly. Compilers for languages
that are designed for serial execution should only perform conservative
optimizations for parallel platforms. The fact that the programmer may choose
to bypass this is irrelevant. That is what programmers are for :).


Consider what happens if we don't choose this course. Unsafe optimization =>
unsafe results. Definately not good. Far from being an argument for the
suitablility of FORTRAN (or any other inherently sequential language) I
see this as an argument against such suitablity. If we design languages
with true parallelism in mind then what you are referring to as unsafe
optimizations will disappear, along with the need for sequential equivalence.
One can not have sequential equivalence in a language which can not be
expressed sequentially.


--
John Robinson, robinson@ac.dal.ca, robinson@cs.dal.ca, 902-492-1779
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.