home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / arch / 9172 < prev    next >
Encoding:
Text File  |  1992-09-02  |  2.2 KB  |  47 lines
  1. Newsgroups: comp.arch
  2. Path: sparky!uunet!utcsri!torn!cunews!nrcnet0!bnrgate!bmerh85!bcars64a!bqneh23!schow
  3. From: schow@bqneh23.bnr.ca (Stanley T.H. Chow)
  4. Subject: Re: trapping speculative ops (LONG)
  5. Message-ID: <1992Sep2.145533.5976@bcars64a.bnr.ca>
  6. Sender: news@bcars64a.bnr.ca (Usenet News)
  7. Organization: Bell Northern Research Ltd, Ottawa
  8. References: <1992Aug31.224611.5196@odin.diku.dk> <1992Sep1.152044.12253@tera.com>
  9. Date: Wed, 2 Sep 1992 14:55:33 GMT
  10. Lines: 35
  11.  
  12. In article <1992Sep1.152044.12253@tera.com> bob@tera.com writes:
  13. >To quote William Kahan:
  14. >
  15. >    Exceptions are not errors.
  16. >    Unless they are handled badly.
  17. >
  18. >In other words, if you think you can roll over and die when you take an exception,
  19. >you are severely restricting hardware and software.  In many cases, some fix up
  20. >is desired followed by a return from the exception.  Continuing in this way can
  21. >be quite challenging if you have gone too far forward.  Values that were around
  22. >may no longer be anywhere to be found.  However, an architectural way to guarantee
  23. >that no traps from an operation will occur in the future is nice.  DEC's Alpha
  24. >has the sledge-hammer-like trap barrier.  Being able to selectively touch off
  25. >traps gives the compiler more control and may allow better pipeline usage.
  26.  
  27. Isn't that the whole point of the trap-bit scheme?
  28.  
  29. The compiler chooses when to trap, and the timing can be different for each
  30. potential trap! Instead of a sledge hammer, the compiler get to use the data-
  31. flow and register allocation information. As I see it, DEC Alpha forces a barrier
  32. per basic block since the trap handler doesn't know which instruction caused the
  33. trap and the multiple incoming path could all generate the same type of trap.
  34. In the trap-bit scheme, the compiler chooses which traps to handle and when to
  35. handle them. So if an operation written to R15 traps, the flow of control could
  36. meander through any number of basic blocks before the trap detection (as long as
  37. the compiler knows that R15 is not touched).
  38.  
  39. In what way is fix up prevented?
  40.  
  41.  
  42. --
  43. Stanley Chow            InterNet: schow@BNR.CA
  44. Bell Northern Research  UUCP:     ..!uunet!bnrgate!bqneh3!schow
  45. (613) 763-2831
  46. Me? Represent other people? Don't make them laugh so hard.
  47.