home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / parallel / 2056 < prev    next >
Encoding:
Text File  |  1992-09-04  |  3.1 KB  |  68 lines
  1. Newsgroups: comp.parallel
  2. Path: sparky!uunet!destroyer!gatech!hubcap!fpst
  3. From: anik@crhc.uiuc.edu (Sadun Anik)
  4. Subject: Re: Synchonizing watches
  5. In-Reply-To: anik@crhc.uiuc.edu's message of 3 Sep 92 11:14:31
  6. Message-ID: <1992Sep4.174616.14440@hubcap.clemson.edu>
  7. Sender: fpst@hubcap.clemson.edu (Steve Stevenson)
  8. Nntp-Posting-Host: lyra.crhc.uiuc.edu
  9. Organization: Center for Reliable and High-Performance Computing
  10. References: <1992Sep3.123226.14205@hubcap.clemson.edu>
  11.     <1992Sep3.172657.10929@hubcap.clemson.edu>
  12. Date: 4 Sep 92 12:40:39
  13. Approved: parallel@hubcap.clemson.edu
  14. Lines: 52
  15.  
  16. In article <1992Sep3.172657.10929@hubcap.clemson.edu> anik@crhc.uiuc.edu (Sadun Anik) writes:
  17.  
  18. In my reply I said:
  19. >   OK I'll bite. It is trivial for A and B to figure out AB+BA. It is
  20. >   also trivial for them to synchronize their watches assuming AB=BA (or
  21. >   any preset assumtion on AB/BA). At this point their watches are
  22. >   actually synchronized. You can not refute this with any communication
  23. >   between A and B using this communication channel. My wild guess :) and
  24. >   please tell me if this is wrong.
  25.  
  26. Ed's comment.
  27.    [I don't think that your assumptions are safe. Steve]
  28.     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Maybe it was
  29. not clear in the previous paragraph but what I mean is A and B can
  30. assume a value for AB/BA and solve the problem. Because of the nature
  31. of the problem any assumtion is equally valid and would give you a
  32. solution. There is no safety problem here because this is just a
  33. choice for the value of a parameter. This is the case simply because
  34. as far as A and B are concerned their watches will be synchronized,
  35. and they are the only people which count. They can conduct time based
  36. experiments and their results and all their related communication
  37. (over the slow line) will verify this. Of course they are cutoff from
  38. external world so their experiments will be very limited.
  39.  
  40. My understanding from the comment above is that when with an asumption
  41. like AB/BA=1/3 A and B synchronize their watches, sometime in the
  42. future they will realise that their their assumtion is not correct.
  43. As I said, if this is the case I would really like to know the
  44. algorithm. I don't have formal background in this topic so I
  45. can't prove what I said is correct. 
  46.  
  47. >   If you are using a third person "C" to check if their watches are
  48. >   actually synchronized using delays AC,CA,BC and CB, then the system you
  49. >   are solving is perturbed so the previous solution doesn't need to be
  50. >   valid. But this is irrelevant because this is not the system  in the
  51. >   problem. The solution is not also valid if you have another means of
  52. >   communication between A and B. 
  53.  
  54. Even if you observe A and B and see that their watches are not
  55. "actualy" synchronized (A and B don't know anything about this
  56. observer) for A and B their watches are still synchronized. If
  57. the original question addressed the problem of synchronization as far
  58. as the observer is concerned, there shouldn't be any solution. This
  59. follows trivially from the solution above.
  60.  
  61.  
  62.  
  63. --
  64. Sadun Anik, U of Illinois at Urbana-Champaign
  65. Center for Reliable and High-performance Computing
  66. e-mail: anik@crhc.uiuc.edu
  67.  
  68.