home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / arch / 10492 < prev    next >
Encoding:
Internet Message Format  |  1992-11-08  |  1.7 KB
  1. Xref: sparky comp.arch:10492 comp.sources.wanted:4960 comp.unix.programmer:5199
  2. Newsgroups: comp.arch,comp.sources.wanted,comp.unix.programmer
  3. Path: sparky!uunet!decwrl!netsys!agate!usenet.ins.cwru.edu!magnus.acs.ohio-state.edu!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!doug.cae.wisc.edu!umn.edu!mmm.serc.3m.com!mmc.mmmg.com!timbuk.cray.com!equalizer!sanjay
  4. From: sanjay@cray.com (+Sanjay Krishnamurthy)
  5. Subject: Re: Tools to measure Pointer Usage
  6. Message-ID: <1992Nov7.000405.3016@equalizer.cray.com>
  7. Keywords: Pointers, loads, safety
  8. Organization: Cray Research Superservers Inc., San Diego CA, USA
  9. References: <1992Nov5.124515.26485@cs.mcgill.ca>
  10. Date: Sat, 7 Nov 1992 00:04:05 GMT
  11. Lines: 24
  12.  
  13. >We are about to undertake a project to study pointer usage
  14. >in computer programs, and were wondering if anybody has
  15. >written a tool that will tell you what percentage of loads
  16. >are, in fact, just getting addresses for pointer dereferences...
  17.  
  18. In "Proving safety of speculative load instructions at
  19. compile time," ESOP'92, David Bernstein, Michael Rodeh
  20. and Mooly Sagiv, there are some results which go way
  21. beyond what you are asking. They have an answer to the
  22. question-can you prove it is safe to execute a load
  23. instruction at a certain point x in the program, at
  24. compile time. Their method and results are relevant
  25. to your question because one of two ways in which a load
  26. becomes safe at point x is when an address is loaded
  27. into the register used in the load instruction along
  28. every execution path leading to the point x. The
  29. second safety criterion is when the loaded register is
  30. used along every execution path leading from x (in
  31. the same way Ken Kennedy handled safety issues dealing
  32. with code motion).
  33.  
  34. -Sanjay M. Krishnamurthy
  35.  
  36.  
  37.