home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / logic / 1350 < prev    next >
Encoding:
Internet Message Format  |  1992-09-07  |  2.4 KB
  1. Path: sparky!uunet!ogicse!news.u.washington.edu!pythagoras.math.washington.edu!petry
  2. From: petry@pythagoras.math.washington.edu (David Petry)
  3. Newsgroups: sci.logic
  4. Subject: Re: Synchonizing watches
  5. Message-ID: <1992Sep4.192408.24860@u.washington.edu>
  6. Date: 4 Sep 92 19:24:08 GMT
  7. Article-I.D.: u.1992Sep4.192408.24860
  8. References: <1992Sep1.234452.26917@tvnews.tv.tek.com> <1992Sep3.172632.10776@hubcap.clemson.edu>
  9. Sender: news@u.washington.edu (USENET News System)
  10. Distribution: usa
  11. Organization: University of Washington, Mathematics, Seattle
  12. Lines: 49
  13.  
  14. In article <1992Sep3.172632.10776@hubcap.clemson.edu> fpst@hubcap.clemson.edu (Steve Stevenson) writes:
  15.  
  16. >I posted this problem to my news group, comp.parallel. Here are two
  17. >solutions I've received.  ...
  18.  
  19. >----------------------------------------------------------------------------
  20. >- A Solution -
  21. >----------------------------------------------------------------------------
  22. >Let the local time of A be tA, and the local time of B be tB.
  23. >Further, let tAB be the lag between messages going from A to B,
  24. >and let tBA be the symmetric value. Since both time pieces
  25. >are presumable ticking at the same rate, let tB = tA + C for some
  26. >constant C. If we can determine C, then they can synchronize their
  27. >watches.
  28. >
  29. >1) A asks B the time. As s/he does, s/he notes how long it
  30. >   takes to hear the response from B. If B answers promptly, 
  31. >   A will now know 3 things:
  32. >      (tA)                 (local time)
  33. >      (tAB + tBA)          (total delay)
  34. >      (tA + C + tAB)       (time told to A by B)
  35.  
  36. TRUE
  37.  
  38. >2) A subtracts the last value from the first two:
  39. >      (tA) + (tAB + tBA) - (tA + C + tAB) = (tBA - C)
  40.  
  41. TRUE
  42.  
  43. >3) B now asks A the time. A hears the request at time
  44. >   tA', notes this time and responds. B now knows:
  45. >      (tA' + tBA)          (time told to B by A)
  46.  
  47. NO.  A tells B  tA' only, not tA' + tBA.
  48.  
  49. The  synchroniztation problem can not be solved.  It's easy to see that A and 
  50. B can synchronize their watches in the sense that whenever A sends a message,
  51. A will know what time B will think it is when B receives the message, and
  52. for every message A receives, A will know what time B thought it was when
  53. B sent it, and vice-versa, but  that's as close as they can come to having
  54. synchronized watches.
  55.  
  56. They can NOT synchronize their watches in the sense that a third person who
  57. is in instant communication with each of them will see that A's watch and
  58. B's watch read the same.
  59.  
  60.  
  61.  
  62. David Petry
  63.