home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / parallel / 2110 < prev    next >
Encoding:
Text File  |  1992-09-11  |  1.4 KB  |  40 lines
  1. Newsgroups: comp.parallel
  2. Path: sparky!uunet!europa.asd.contel.com!gatech!hubcap!fpst
  3. From: charlie@cse.ucsc.edu (Charlie McDowell)
  4. Subject: synchronization event traces
  5. Message-ID: <1992Sep11.193700.22783@hubcap.clemson.edu>
  6. Summary: traces of real programs needed
  7. Keywords: semaphores synchronization traces
  8. Sender: fpst@hubcap.clemson.edu (Steve Stevenson)
  9. Nntp-Posting-Host: camelot.ucsc.edu
  10. Organization: University of California, Santa Cruz (CE/CIS Boards)
  11. Distribution: usa
  12. Date: 11 Sep 1992 18:58:58 GMT
  13. Approved: parallel@hubcap.clemson.edu
  14. Lines: 24
  15.  
  16. We are looking for TRACES and/or PARALLEL PROGRAMS that use EXPLICIT
  17. (preferably semaphore style) synchronization.
  18.  
  19. We are in need of traces of real programs that use explicit synchronization.
  20. We would prefer programs that use semaphore style synchronization but
  21. will consider any explicit synchronization.  We need them to test a new
  22. trace based algorithm for detecting races in parallel programs.
  23.  
  24. Although the problem we are solving is NP-hard we are hypothesizing
  25. that for actual programs our polynomial time algorithm will give
  26. accurate results.
  27.  
  28. If you have real programs that use semaphores but do not have traces
  29. we would still like to hear from you in case we can't get traces.
  30. If necessary we can extract the synchronization structure from your
  31. program and artificially create a trace.
  32.  
  33. Thanks for your help.
  34.  
  35. Charlie McDowell
  36. charlie@cis.ucsc.edu
  37.  
  38.  
  39.  
  40.