<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:st1="urn:schemas-microsoft-com:office:smarttags" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 11 (filtered medium)">
<!--[if !mso]>
<style>
v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style>
<![endif]--><o:SmartTagType
namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="PostalCode"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="State"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="City"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="Street"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="address"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="PlaceType"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="PlaceName"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="place"/>
<!--[if !mso]>
<style>
st1\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
/* Font Definitions */
@font-face
{font-family:Batang;
panose-1:2 3 6 0 0 1 1 1 1 1;}
@font-face
{font-family:"\@Batang";
panose-1:0 0 0 0 0 0 0 0 0 0;}
/* 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";}
p
{mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:12.0pt;
font-family:"Times New Roman";}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 77.95pt 1.0in 77.95pt;}
div.Section1
{page:Section1;}
-->
</style>
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=Section1>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>As noted by Ziv Yaniv from our group - see the May issue of IEEE
Computer (obviously not as good as the previous issue with our article ;)<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='text-autospace:none'><font size=3
face="Times New Roman"><span style='font-size:12.0pt'>It really advocates not
using threads as they cause programs to be nondeterministic, and very unsafe in
many cases. This goes against the IGSTK spirit of extreme safety.</span></font><font
size=2 face="Courier New"><span style='font-size:10.0pt;font-family:"Courier New"'><o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'><o:p> </o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>I don't think we should change anything we did for the proposal - this
is just FYI<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'><o:p> </o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>Kevin<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'><o:p> </o:p></span></font></p>
<p><span class=title><font size=3 face="Times New Roman"><span
style='font-size:12.0pt'>The Problem with Threads</span></font></span> <br>
<span class=articleauthor><a
href="http://search2.computer.org/advanced/Author_Result.jsp?qtype=3&select=50&qOpt1=DC_CREATOR&sortOrder=d&queryName=Edward%20A.%20Lee">Edward
A. Lee</a>, <st1:PlaceType w:st="on">University</st1:PlaceType> of <st1:PlaceName
w:st="on">California</st1:PlaceName>, <st1:City w:st="on"><st1:place w:st="on">Berkeley</st1:place></st1:City></span><br>
<br>
Full Article Text: <img border=0 width=40 height=18 id="_x0000_i1025"
src="cid:image001.gif@01C6727C.2BC1F340" alt="Download PDF of full text"
class=hspace align=absmiddle><a
href="https://newton.computer.org/DocDelivery/Shopping.nsf/AddToCart?OpenAgent&U=http://csdl.computer.org/dl/mags/co/2006/05/r5033.pdf&T=The%20Problem%20with%20Threads"><span
style='text-decoration:none'><img border=0 width=78 height=18 id="_x0000_i1026"
src="cid:image002.gif@01C6727C.2BC1F340" alt="Buy this article" class=hspace
align=absmiddle></span></a><o:p></o:p></p>
<p><strong><b><font size=3 face="Times New Roman"><span style='font-size:12.0pt'>DOI
Bookmark: </span></font></b></strong>http://doi.ieeecomputersociety.org/10.1109/MC.2006.180<o:p></o:p></p>
<table class=MsoNormalTable border=0 cellpadding=0>
<tr>
<td style='padding:.75pt .75pt .75pt .75pt'>
<p class=MsoNormal align=center style='text-align:center'><b><font size=3
face="Times New Roman"><span style='font-size:12.0pt;font-weight:bold'>Abstract<o:p></o:p></span></font></b></p>
</td>
</tr>
<tr>
<td style='padding:.75pt .75pt .75pt .75pt'><abstractl xmlns:sql="urn:schemas-microsoft-com:xml-sql">
<p class=MsoNormal><font size=3 face="Times New Roman"><span
style='font-size:12.0pt'>For concurrent programming to become mainstream, we
must discard threads as a programming model. Nondeterminism should be
judiciously and carefully introduced where needed, and it should be explicit
in programs.</abstractl> <o:p></o:p></span></font></p>
</td>
</tr>
<tr>
<td style='padding:.75pt .75pt .75pt .75pt'>
<p class=MsoNormal><font size=3 face="Times New Roman"><span
style='font-size:12.0pt'><o:p> </o:p></span></font></p>
</td>
</tr>
<tr>
<td style='padding:.75pt .75pt .75pt .75pt'>
<p class=MsoNormal align=center style='text-align:center'><b><font size=3
face="Times New Roman"><span style='font-size:12.0pt;font-weight:bold'><a
href="http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/mags/co/&toc=comp/mags/co/2006/05/r5toc.xml&DOI=10.1109/MC.2006.180#top">Back
to Top</a> <o:p></o:p></span></font></b></p>
<p class=MsoNormal align=center style='text-align:center'><b><font size=3
face="Times New Roman"><span style='font-size:12.0pt;font-weight:bold'><img
border=0 width=16 height=16 id="_x0000_i1027"
src="cid:image003.gif@01C6727C.2BC1F340" align=absmiddle>Additional
Information <o:p></o:p></span></font></b></p>
</td>
</tr>
<tr>
<td style='padding:.75pt .75pt .75pt .75pt'>
<p class=MsoNormal style='margin-bottom:12.0pt'><b><font size=3
face="Times New Roman"><span style='font-size:12.0pt;font-weight:bold'>Index
Terms-</span></font></b> Programming paradigms, Threads, Nondeterminism,
Design patterns, Coordination languages<o:p></o:p></p>
<p><strong><b><font size=3 face="Times New Roman"><span style='font-size:
12.0pt'>Citation:</span></font></b></strong> Edward A. Lee, "The
Problem with Threads," <i><span style='font-style:italic'>Computer</span></i>,
vol. 39, no. 5, pp. 33-42, May, 2006. <o:p></o:p></p>
</td>
</tr>
</table>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'><o:p> </o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'><o:p> </o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'> <o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>------------------------------------------------------------------<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>Kevin Cleary,
Ph.D.
Work phone: 202-687-8253<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>Associate
Professor
Work fax: 202-784-3479<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>Deputy Director <o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>
<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>Imaging Science and Information Systems (<st1:place w:st="on">ISIS</st1:place>)
Center<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>Department of
Radiology
Pager: 202-901-2033<o:p></o:p></span></font></p>
<p class=MsoPlainText><st1:place w:st="on"><st1:PlaceName w:st="on"><font
size=2 face="Courier New"><span style='font-size:10.0pt'>Georgetown</span></font></st1:PlaceName>
<st1:PlaceType w:st="on">University</st1:PlaceType> <st1:PlaceName w:st="on">Medical</st1:PlaceName>
<st1:PlaceType w:st="on">Center</st1:PlaceType></st1:place>
Cell phone: 202-294-3409<o:p></o:p></p>
<p class=MsoPlainText><st1:Street w:st="on"><st1:address w:st="on"><font
size=2 face="Courier New"><span style='font-size:10.0pt'>2115 Wisconsin
Avenue, Suite 603</span></font></st1:address></st1:Street>
Home phone: 301-299-0788<o:p></o:p></p>
<p class=MsoPlainText><st1:place w:st="on"><st1:City w:st="on"><font size=2
face="Courier New"><span style='font-size:10.0pt'>Washington</span></font></st1:City>,
<st1:State w:st="on">DC</st1:State>, <st1:PostalCode w:st="on">20007</st1:PostalCode></st1:place>
Home fax: 301-299-0789<o:p></o:p></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'> <o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span lang=FR
style='font-size:10.0pt'>ISIS center: www.isis.georgetown.edu<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>Research group: www.caimr.georgetown.edu<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>WashCAS: www.washcas.org<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>Email: cleary@georgetown.edu<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>-------------------------------------------------------------------<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'><o:p> </o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>-----Original Message-----<br>
From: Ziv Yaniv [mailto:zivy@isis.imac.georgetown.edu] <br>
Sent: Saturday, May 06, 2006 11:45 PM<br>
To: cleary@isis.georgetown.edu<br>
Subject: misc</span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'><o:p> </o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>Hi Kevin,<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'><o:p> </o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>I forgot to let you know I'd be working from home on monday. <o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'><o:p> </o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>The more interesting thing is a paper in the last issue of computer
(got it today). From what I've seen of the upcoming IGSTK proposal part of it
includes multi-threading. In this issue of computer there is a paper called
"The Problem with Threads". It really advocates not using threads as
they cause programs to be nondeterministic, and very unsafe in many cases. This
goes against the IGSTK spirit of extreme safety.<o:p></o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'><o:p> </o:p></span></font></p>
<p class=MsoPlainText><font size=2 face="Courier New"><span style='font-size:
10.0pt'>
Ziv<o:p></o:p></span></font></p>
</div>
</body>
</html>