<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Dear Pablo,<br>
<br>
Spread is using timeouts at the base, just like any practical
failure detector that I am aware of. Spread's failure handling and
membership service guarantee the Virtual Synchrony properties.<br>
<br>
Best wishes,<br>
<br>
:) Yair. <a class="moz-txt-link-abbreviated" href="http://www.cs.jhu.edu/~yairamir">www.cs.jhu.edu/~yairamir</a><br>
<br>
<br>
<div class="moz-cite-prefix">On 11/8/19 1:50 PM, Pablo Pessolani
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:BN8PR20MB2818FDF8F0F1BA0FC29E234BCF7B0@BN8PR20MB2818.namprd20.prod.outlook.com">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
<div style="font-family: Calibri, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
Hi:</div>
<div style="font-family: Calibri, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
Does Spread toolkit use a "failure detector" (Chandra &
Toueg) to detect failures or it bases its reasoning on timeouts?</div>
<div style="font-family: Calibri, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
<span style="color: rgb(0, 0, 0); font-family: Calibri,
Helvetica, sans-serif; font-size: 12pt;"> Regards.</span><br>
</div>
<div style="font-family: Calibri, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
PAP</div>
<div style="font-family: Calibri, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Spread-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Spread-users@lists.spread.org">Spread-users@lists.spread.org</a>
<a class="moz-txt-link-freetext" href="http://lists.spread.org/mailman/listinfo/spread-users">http://lists.spread.org/mailman/listinfo/spread-users</a>
</pre>
</blockquote>
<br>
</body>
</html>