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

larus@spool.cs.wisc.edu
Mon, 4 Jun 90 21:22:26 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)
[6 later articles]
| List of all articles for this month |
Newsgroups: comp.compilers
From: larus@spool.cs.wisc.edu
References: <1990Jun4.044255.14857@esegue.segue.boston.ma.us> <1990Jun1.194941.5781@esegue.segue.boston.ma.us>
Date: Mon, 4 Jun 90 21:22:26 GMT
Organization: University of Wisconsin--Madison
Original-sender: news@spool.cs.wisc.edu
Keywords: optimize



Just for the sake of argument, let me disagree with the prevailing sentiment
that compilers should only provide "safe" optimizations. Keppel has already
raised the argument that some programs are too slow to run without potentially
dangerous optimizations. This is an interesting argument that brings up the
real point: programming languages are not designed for parallel computation.
Compilers for machines with parallelism adhere to a standard that is too high:
sequential equivalence. 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.




/Jim
--

Post a followup to this message

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