home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / compiler / 1945 < prev    next >
Encoding:
Text File  |  1992-11-24  |  2.1 KB  |  49 lines
  1. Newsgroups: comp.compilers
  2. Path: sparky!uunet!world!iecc!compilers-sender
  3. From: pardo@cs.washington.edu (David Keppel)
  4. Subject: Re: And speaking of fast compilers...
  5. Reply-To: pardo@cs.washington.edu (David Keppel)
  6. Organization: Computer Science & Engineering, U. of Washington, Seattle
  7. Date: Mon, 23 Nov 1992 21:49:42 GMT
  8. Approved: compilers@iecc.cambridge.ma.us
  9. Message-ID: <92-11-137@comp.compilers>
  10. References: <92-11-057@comp.compilers> <92-11-096@comp.compilers>
  11. Keywords: performance, design, testing, comment
  12. Sender: compilers-sender@iecc.cambridge.ma.us
  13. Lines: 34
  14.  
  15. A while back I wrote about how the Brand X compiler took 6 minutes to
  16. compile a 7,000-line program made up of one-page functions.  And how Brand
  17. Y took 40 minutes; over 1.5 hours with optimization turned on.
  18.  
  19. Well, according to my conversational friend, the latest Brand Y is down to
  20. 10 minutes and 25 minutes with optimization on.  He's also had a chance to
  21. test it on the latest and greatest from some other vendors and he found
  22. (among other things):
  23.  
  24.   Brand I: 10 minutes with optimization off, fails with optimiation on.
  25.   Brand J: Crashed the brand J hardware.
  26.   Brand K: Based on the brand I front-end, fails during code generation.
  27.  
  28. All are validated Ada compilers.
  29.  
  30. I also heard from Vinod Grover <grover@Eng.Sun.COM> that he knows of an
  31. Ada compiler front end that took 14 hours on a VAX 11/780 to parse and
  32. semanticise a 3-line Ada program.  The problem was that the overload
  33. resolution phase of the front end was a two-pass backtracking algorithm
  34. and the 3-line program had 6 levels of overloading of every symbol.
  35.  
  36.  
  37. To summarize: language design is tricky and correctness doubly so.
  38.  
  39. "A program that produces wrong answers twice as fast is infinitely
  40. slower." -- John Ousterhout
  41.  
  42.     ;-D on  ( Slowing the way to success )  Pardo
  43. [Back when I was writing an F77 compiler, I also found that I could pass
  44. a lot of validation tests with amazingly broken versions of the compiler.
  45. -John]
  46. -- 
  47. Send compilers articles to compilers@iecc.cambridge.ma.us or
  48. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  49.