hugs thread scheduling
Conal Elliott
conal@microsoft.com
Tue, 8 Jan 2002 10:04:51 -0800
This is a multi-part message in MIME format.
--------------InterScan_NT_MIME_Boundary
Content-Type: multipart/alternative;
boundary="----_=_NextPart_001_01C1986E.F7D4CD46"
------_=_NextPart_001_01C1986E.F7D4CD46
Content-Type: text/plain;
charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
Hugs still (again?) has a thread scheduling behavior that breaks Fran
immediately. The required Prelude tweak is described at
http://research.microsoft.com/~conal/Fran/news.htm under the "1.15"
heading. Will this Prelude change get made at some point?
=20
- Conal
=20
------_=_NextPart_001_01C1986E.F7D4CD46
Content-Type: text/html;
charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta http-equiv=3DContent-Type content=3D"text/html; =
charset=3Dus-ascii">
<meta name=3DGenerator content=3D"Microsoft Word 10 (filtered)">
<style>
<!--
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{margin:0in;
margin-bottom:.0001pt;
font-size:10.0pt;
font-family:"Courier New";}
span.EmailStyle17
{font-family:Arial;
color:windowtext;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.25in 1.0in 1.25in;}
div.Section1
{page:Section1;}
-->
</style>
</head>
<body lang=3DEN-US link=3Dblue vlink=3Dpurple>
<div class=3DSection1>
<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>Hugs still (again?) has a thread scheduling behavior that breaks =
Fran
immediately. The required Prelude tweak is described at <a
href=3D"http://research.microsoft.com/~conal/Fran/news.htm">http://resear=
ch.microsoft.com/~conal/Fran/news.htm</a>
under the “1.15” heading. Will this Prelude change get =
made
at some point?</span></font></p>
<p class=3DMsoNormal><font size=3D2 face=3DArial><span =
style=3D'font-size:10.0pt;
font-family:Arial'> </span></font></p>
<p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span =
style=3D'font-size:
12.0pt'> - Conal</span></font></p>
<p class=3DMsoNormal><font size=3D3 face=3D"Times New Roman"><span =
style=3D'font-size:
12.0pt'> </span></font></p>
</div>
</body>
</html>
=00
------_=_NextPart_001_01C1986E.F7D4CD46--
--------------InterScan_NT_MIME_Boundary--