<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Verdana
}
--></style>
</head>
<body class='hmmessage'>
Tony..this semaphore with a maximum value of 1, that is a strange thing, isn't it?<BR>
It could just be an event, right?<BR>
I tried that..it took 50 runs to hang Juno..<BR>
<BR>
- Jay<BR> <BR>
<HR id=stopSpelling>
From: jay.krell@cornell.edu<BR>To: hosking@cs.purdue.edu<BR>CC: m3devel@elegosoft.com<BR>Subject: RE: [M3devel] win32 threads...now Juno sometimes hangs..<BR>Date: Tue, 29 Sep 2009 14:23:07 +0000<BR><BR>
<STYLE>
.ExternalClass .ecxhmmessage P
{padding:0px;}
.ExternalClass body.ecxhmmessage
{font-size:10pt;font-family:Verdana;}
</STYLE>
ps: while I consider the whole stacksize thing broken anyway, notice that using an idle thread (which you had no choice about) got you an indeterminate stack size.<BR> <BR> - Jay<BR><BR>
<HR id=ecxstopSpelling>
From: jay.krell@cornell.edu<BR>To: hosking@cs.purdue.edu<BR>Date: Tue, 29 Sep 2009 14:16:11 +0000<BR>CC: m3devel@elegosoft.com<BR>Subject: Re: [M3devel] win32 threads...now Juno sometimes hangs..<BR><BR>
<STYLE>
.ExternalClass .ecxhmmessage P
{padding:0px;}
.ExternalClass body.ecxhmmessage
{font-size:10pt;font-family:Verdana;}
</STYLE>
small email truncation:<BR> <BR>>> We need some sort of stress or fault-injection or variation-injection tests.<BR>>> Run threads deterministically in every combination of order, for example.<BR><BR><BR> - Jay<BR><BR> </body>
</html>