home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / doc / techrepo / 258 < prev    next >
Encoding:
Text File  |  1993-01-25  |  3.5 KB  |  84 lines
  1. Newsgroups: comp.doc.techreports
  2. Path: sparky!uunet!mcsun!sun4nl!star.cs.vu.nl!golding
  3. From: Ozalp Babaoglu <ozalp@cs.unibo.it>
  4. Subject: University of Bologna LCS Technical Report Series
  5. Message-ID: <C1EL8B.v5@cs.vu.nl>
  6. Originator: golding@frans.cs.vu.nl
  7. Sender: news@cs.vu.nl
  8. Organization: Laboratory for Computer Science, University of Bologna, Italy
  9. Date: Fri, 22 Jan 1993 18:29:49 GMT
  10. Approved: compdoc-techreports@ftp.cse.ucsc.edu
  11. Lines: 71
  12.  
  13. University of Bologna Laboratory for Computer Science (UBLCS) has set
  14. up an anonymous FTP server for the distribution of its Technical
  15. Report Series.  The following reports are now available:
  16.  
  17. --
  18. Title:      Consistent Global States of Distributed Systems:
  19.             Fundamental Concepts and Mechanisms
  20. Authors:     Ozalp Babaoglu and Keith Marzullo
  21. Date:         January 1993
  22. Report:     UBLCS-93-1
  23. Length:     40 pages
  24. Availability:     anonymous FTP from ftp.cs.unibo.it
  25. Directory:     /pub/TR/UBLCS
  26. File:        global-states.ps.Z
  27.  
  28. Abstract:
  29. Many important problems in distributed computing admit solutions that
  30. contain a phase where some global property needs to be detected.  This
  31. subproblem can be seen as an instance of the Global Predicate
  32. Evaluation (GPE) problem where the objective is to establish the truth
  33. of a Boolean expression whose variables may refer to the global system
  34. state.  Given the uncertainties in asynchronous distributed systems
  35. that arise from communication delays and relative speeds of
  36. computations, the formulation and solution of GPE reveal most of the
  37. subtleties in global reasoning with imperfect information.  In this
  38. paper, we use GPE as a canonical problem in order to survey concepts
  39. and mechanisms that are useful in understanding global states of
  40. distributed computations.  We illustrate the utility of the developed
  41. techniques by examining distributed deadlock detection and distributed
  42. debugging as two instances of GPE.
  43.  
  44.  
  45. --
  46. Title:      Understanding Non-Blocking Atomic Commitment
  47. Authors:     Ozalp Babaoglu and Sam Toueg
  48. Date:         January 1993
  49. Report:     UBLCS-93-2
  50. Length:     31 pages
  51. Availability:     anonymous FTP from ftp.cs.unibo.it
  52. Directory:     /pub/TR/UBLCS
  53. File:        atomic-commitment.ps.Z
  54.  
  55. Abstract:
  56. In distributed database systems, an atomic commitment protocol ensures
  57. that transactions terminate consistently at all participating sites
  58. even in the presence of failures.  An atomic commitment protocol is
  59. said to be non-blocking if it permits transaction termination to
  60. proceed at correct participants despite failures of others.  Protocols
  61. that have this property are desirable since they limit the time
  62. intervals during which transactions may be holding valuable resources.
  63. In this paper, we show how non-blocking atomic commitment protocols
  64. can be obtained through slight modifications of the well-known
  65. Two-Phase Commit (2PC) protocol, which is known to be blocking.  Our
  66. approach is modular in the sense that both the protocols and their
  67. proofs of correctness are obtained by plugging in the appropriate
  68. reliable broadcast algorithms as the basic communication primitives in
  69. the original 2PC protocol.  The resulting protocols are not only
  70. conceptually simple, they are also efficient in terms of time and
  71. message complexity.
  72.  
  73.  
  74. -- 
  75. Ozalp Babaoglu                    E-mail:    ozalp@cs.unibo.it
  76. University of Bologna, Dept. of Mathematics
  77. Piazza di Porta S. Donato, 5            TEL:    +39 51 354430
  78. 40127 Bologna  (ITALY)                FAX:    +39 51 354490
  79. ===========================================================================
  80. Co-moderator:  Richard Golding, Computer & Information Sciences, UC Santa Cruz
  81.         compdoc-techreports-request@ftp.cse.ucsc.edu
  82.  
  83.  
  84.