From hosking at cs.purdue.edu  Fri Sep  5 04:49:44 2014
From: hosking at cs.purdue.edu (Tony Hosking)
Date: Thu, 4 Sep 2014 22:49:44 -0400
Subject: [M3devel] Native threading
Message-ID: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>

The version of ThreadPThread I just checked in passes the threadtest stress test on OSX with no failures:

Writing file...done
Creating read threads...done
Creating fork threads...done
Creating alloc threads...done
Creating lock threads...done
running...printing oldest/median age/newest
..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
All tests complete.  Congratulations.


Antony Hosking | Associate Professor | Computer Science | Purdue University
305 N. University Street | West Lafayette | IN 47907 | USA
Mobile +1 765 427 5484





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20140904/07c98bb9/attachment.html>

From hosking at cs.purdue.edu  Sat Sep  6 18:22:21 2014
From: hosking at cs.purdue.edu (Tony Hosking)
Date: Sat, 6 Sep 2014 12:22:21 -0400
Subject: [M3devel] Native threading
In-Reply-To: <6C235D93-505A-41C5-A79D-86A772DD89B4@m3w.org>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
	<6C235D93-505A-41C5-A79D-86A772DD89B4@m3w.org>
Message-ID: <3E1E0D70-8A5F-4941-A43E-7A40A6EACD51@cs.purdue.edu>

What was the crash?

Antony Hosking | Associate Professor | Computer Science | Purdue University
305 N. University Street | West Lafayette | IN 47907 | USA
Mobile +1 765 427 5484





On Sep 6, 2014, at 6:06 AM, Dragi?a Duri? <dragisha at gmail.com> wrote:

> I had this result w/o arguments day before? Problem is when arguments are added:
> 
> -n 20 -iters 1000 -tests ALL
> 
> This crashed on one of my Mavericks boxes.
> 
> On 05 Sep 2014, at 04:49, Tony Hosking <hosking at cs.purdue.edu> wrote:
> 
>> The version of ThreadPThread I just checked in passes the threadtest stress test on OSX with no failures:
>> 
>> Writing file...done
>> Creating read threads...done
>> Creating fork threads...done
>> Creating alloc threads...done
>> Creating lock threads...done
>> running...printing oldest/median age/newest
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> All tests complete.  Congratulations.
>> 
>> 
>> Antony Hosking | Associate Professor | Computer Science | Purdue University
>> 305 N. University Street | West Lafayette | IN 47907 | USA
>> Mobile +1 765 427 5484
>> 
>> 
>> 
>> 
>> 
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20140906/575c3358/attachment.html>

From mika at async.caltech.edu  Sun Sep  7 12:33:38 2014
From: mika at async.caltech.edu (mika at async.caltech.edu)
Date: Sun, 07 Sep 2014 03:33:38 -0700
Subject: [M3devel] Native threading
In-Reply-To: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
Message-ID: <20140907103338.0F0021A2098@async.async.caltech.edu>

That's great news!

I would try it with

"-iters 100000 -n 20 -tests ALL"

that seems to be among the toughest you can set up.

There may well be warnings about starvation/deadlock, but those are OK under these conditions.

    Mika

Tony Hosking writes:
>
>--Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>Content-Transfer-Encoding: quoted-printable
>Content-Type: text/plain;
>	charset=us-ascii
>
>The version of ThreadPThread I just checked in passes the threadtest =
>stress test on OSX with no failures:
>
>Writing file...done
>Creating read threads...done
>Creating fork threads...done
>Creating alloc threads...done
>Creating lock threads...done
>running...printing oldest/median age/newest
>..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>All tests complete.  Congratulations.
>
>
>Antony Hosking | Associate Professor | Computer Science | Purdue =
>University
>305 N. University Street | West Lafayette | IN 47907 | USA
>Mobile +1 765 427 5484
>
>
>
>
>
>
>--Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>Content-Transfer-Encoding: quoted-printable
>Content-Type: text/html;
>	charset=us-ascii
>
><html><head><meta http-equiv=3D"Content-Type" content=3D"text/html =
>charset=3Dus-ascii"></head><body style=3D"word-wrap: break-word; =
>-webkit-nbsp-mode: space; -webkit-line-break: =
>after-white-space;"><div>The version of ThreadPThread I just checked in =
>passes the threadtest stress test on OSX with no =
>failures:</div><div><br></div><div><div style=3D"margin: 0px; font-size: =
>10px; font-family: Monaco;">Writing file...done</div><div style=3D"margin:=
> 0px; font-size: 10px; font-family: Monaco;">Creating read =
>threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">Creating fork threads...done</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating =
>alloc threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">Creating lock threads...done</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">running...printing oldest/median age/newest</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">..........laziest thread is 1/0/0 (tests: read =
>0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>font-size: 10px; font-family: Monaco;">..........laziest thread is 1/0/0 =
>(tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>(tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>(tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">All tests complete.&nbsp; =
>Congratulations.</div></div><div><br></div><br><div>
><span class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>border-spacing: 0px;"><span class=3D"Apple-style-span" =
>style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: =
>Helvetica; font-size: 12px; font-style: normal; font-variant: normal; =
>font-weight: normal; letter-spacing: normal; line-height: normal; =
>orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; =
>widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; =
>-webkit-border-vertical-spacing: 0px; =
>-webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
>auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
>break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
>after-white-space; "><span class=3D"Apple-style-span" =
>style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>font-family: Helvetica; font-size: 12px; font-style: normal; =
>font-variant: normal; font-weight: normal; letter-spacing: normal; =
>line-height: normal; -webkit-text-decorations-in-effect: none; =
>text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div =
>style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; =
>-webkit-line-break: after-white-space; "><span class=3D"Apple-style-span" =
>style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>font-family: Helvetica; font-size: 12px; font-style: normal; =
>font-variant: normal; font-weight: normal; letter-spacing: normal; =
>line-height: normal; -webkit-text-decorations-in-effect: none; =
>text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><div><font =
>class=3D"Apple-style-span" color=3D"#0000FF"><font =
>class=3D"Apple-style-span" face=3D"Gill Sans"><span =
>class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>0, 255); font-family: 'Gill Sans'; ">Antony =
>Hosking</span></span></font></font><font class=3D"Apple-style-span" =
>face=3D"Gill Sans"><span class=3D"Apple-style-span" style=3D"font-family: =
>'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"font-family: =
>'Gill Sans'; "><span class=3D"Apple-converted-space">&nbsp;</span>|<span =
>class=3D"Apple-converted-space">&nbsp;</span></span></span><span =
>class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; "><span =
>class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; =
>">Associate Professor</span></span><span class=3D"Apple-style-span" =
>style=3D"font-family: 'Gill Sans'; "><span class=3D"Apple-style-span" =
>style=3D"font-family: 'Gill Sans'; ">&nbsp;| Computer Science | Purdue =
>University</span></span></font></div><div><font class=3D"Apple-style-span"=
> face=3D"GillSans-Light"><span class=3D"Apple-style-span" =
>style=3D"font-family: GillSans-Light; ">305 N. University Street | West =
>Lafayette | IN 47907 | USA</span></font></div><div><font =
>class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans"><span =
>class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>0, 255); font-family: 'Gill Sans'; ">Mobile</span></span></font><font =
>class=3D"Apple-style-span" face=3D"GillSans-Light"><span =
>class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>class=3D"Apple-converted-space">&nbsp;</span>+1 765 427 =
>5484</span></span></font></div><div><font class=3D"Apple-style-span" =
>face=3D"GillSans-Light"><br =
>class=3D"khtml-block-placeholder"></font></div></span></span></span></span=
>></span></span></span><br =
>class=3D"Apple-interchange-newline"></span></div></span></div></span><br =
>class=3D"Apple-interchange-newline"></span><br =
>class=3D"Apple-interchange-newline">
></div>
><br></body></html>=
>
>--Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863--


From hendrik at topoi.pooq.com  Mon Sep  8 01:30:17 2014
From: hendrik at topoi.pooq.com (Hendrik Boom)
Date: Sun, 7 Sep 2014 19:30:17 -0400
Subject: [M3devel] "pre-releases" for few Linux platforms and for OSX
 Mavericks
In-Reply-To: <COL130-W3002C3726EAF5624FE2970E6DA0@phx.gbl>
References: <24640F73-4FCA-4B99-A858-0091C9D60F0C@m3w.org>
	<20140827234947.GA686@topoi.pooq.com>
	<COL130-W3002C3726EAF5624FE2970E6DA0@phx.gbl>
Message-ID: <20140907233017.GA27018@topoi.pooq.com>

On Thu, Aug 28, 2014 at 10:30:39AM +0000, Jay K wrote:
> It is also called I386_LINUX.Whenever I propose dropping the old names, people say they want them to remain supported.It takes very little in the system to do so. The extra names do confuse people and make us talk much about little.
>  - Jay

Do I have to install a modula 3 for I386_LINUX to get to use this name?  
Or can the usual LINUXLIBC6 be persuaded to use the new name?

-- hendrik


From dragisha at m3w.org  Mon Sep  8 20:19:48 2014
From: dragisha at m3w.org (=?utf-8?Q?Dragi=C5=A1a_Duri=C4=87?=)
Date: Mon, 8 Sep 2014 20:19:48 +0200
Subject: [M3devel] Native threading
In-Reply-To: <20140907103338.0F0021A2098@async.async.caltech.edu>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
	<20140907103338.0F0021A2098@async.async.caltech.edu>
Message-ID: <D22D0D3B-8332-43CD-9567-D36D37ED6557@m3w.org>

It looks like OS X cannot fork as much as we would like :).

-iters 100 and -iters 300 finishes. -iters 1000 slows machine down, it does not break but current user cannot fork anymore, anywhere on the box.

Thread test does Join after Fork - it looks like implementation issue or pthreads @ OS X issue. Somebody is not cleaning up.

On 07 Sep 2014, at 12:33, mika at async.caltech.edu wrote:

> That's great news!
> 
> I would try it with
> 
> "-iters 100000 -n 20 -tests ALL"
> 
> that seems to be among the toughest you can set up.
> 
> There may well be warnings about starvation/deadlock, but those are OK under these conditions.
> 
>    Mika
> 
> Tony Hosking writes:
>> 
>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>> Content-Transfer-Encoding: quoted-printable
>> Content-Type: text/plain;
>> 	charset=us-ascii
>> 
>> The version of ThreadPThread I just checked in passes the threadtest =
>> stress test on OSX with no failures:
>> 
>> Writing file...done
>> Creating read threads...done
>> Creating fork threads...done
>> Creating alloc threads...done
>> Creating lock threads...done
>> running...printing oldest/median age/newest
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> All tests complete.  Congratulations.
>> 
>> 
>> Antony Hosking | Associate Professor | Computer Science | Purdue =
>> University
>> 305 N. University Street | West Lafayette | IN 47907 | USA
>> Mobile +1 765 427 5484
>> 
>> 
>> 
>> 
>> 
>> 
>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>> Content-Transfer-Encoding: quoted-printable
>> Content-Type: text/html;
>> 	charset=us-ascii
>> 
>> <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html =
>> charset=3Dus-ascii"></head><body style=3D"word-wrap: break-word; =
>> -webkit-nbsp-mode: space; -webkit-line-break: =
>> after-white-space;"><div>The version of ThreadPThread I just checked in =
>> passes the threadtest stress test on OSX with no =
>> failures:</div><div><br></div><div><div style=3D"margin: 0px; font-size: =
>> 10px; font-family: Monaco;">Writing file...done</div><div style=3D"margin:=
>> 0px; font-size: 10px; font-family: Monaco;">Creating read =
>> threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">Creating fork threads...done</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating =
>> alloc threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">Creating lock threads...done</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">running...printing oldest/median age/newest</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">..........laziest thread is 1/0/0 (tests: read =
>> 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>> font-size: 10px; font-family: Monaco;">..........laziest thread is 1/0/0 =
>> (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>> font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>> font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">All tests complete.&nbsp; =
>> Congratulations.</div></div><div><br></div><br><div>
>> <span class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> border-spacing: 0px;"><span class=3D"Apple-style-span" =
>> style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: =
>> Helvetica; font-size: 12px; font-style: normal; font-variant: normal; =
>> font-weight: normal; letter-spacing: normal; line-height: normal; =
>> orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; =
>> widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; =
>> -webkit-border-vertical-spacing: 0px; =
>> -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
>> auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
>> break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
>> after-white-space; "><span class=3D"Apple-style-span" =
>> style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div =
>> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; =
>> -webkit-line-break: after-white-space; "><span class=3D"Apple-style-span" =
>> style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><div><font =
>> class=3D"Apple-style-span" color=3D"#0000FF"><font =
>> class=3D"Apple-style-span" face=3D"Gill Sans"><span =
>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>> 0, 255); font-family: 'Gill Sans'; ">Antony =
>> Hosking</span></span></font></font><font class=3D"Apple-style-span" =
>> face=3D"Gill Sans"><span class=3D"Apple-style-span" style=3D"font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-converted-space">&nbsp;</span>|<span =
>> class=3D"Apple-converted-space">&nbsp;</span></span></span><span =
>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; "><span =
>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; =
>> ">Associate Professor</span></span><span class=3D"Apple-style-span" =
>> style=3D"font-family: 'Gill Sans'; "><span class=3D"Apple-style-span" =
>> style=3D"font-family: 'Gill Sans'; ">&nbsp;| Computer Science | Purdue =
>> University</span></span></font></div><div><font class=3D"Apple-style-span"=
>> face=3D"GillSans-Light"><span class=3D"Apple-style-span" =
>> style=3D"font-family: GillSans-Light; ">305 N. University Street | West =
>> Lafayette | IN 47907 | USA</span></font></div><div><font =
>> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans"><span =
>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>> 0, 255); font-family: 'Gill Sans'; ">Mobile</span></span></font><font =
>> class=3D"Apple-style-span" face=3D"GillSans-Light"><span =
>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>> class=3D"Apple-converted-space">&nbsp;</span>+1 765 427 =
>> 5484</span></span></font></div><div><font class=3D"Apple-style-span" =
>> face=3D"GillSans-Light"><br =
>> class=3D"khtml-block-placeholder"></font></div></span></span></span></span=
>>> </span></span></span><br =
>> class=3D"Apple-interchange-newline"></span></div></span></div></span><br =
>> class=3D"Apple-interchange-newline"></span><br =
>> class=3D"Apple-interchange-newline">
>> </div>
>> <br></body></html>=
>> 
>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863--

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 495 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20140908/8b5ab934/attachment.sig>

From dragisha at m3w.org  Tue Sep  9 17:09:17 2014
From: dragisha at m3w.org (dragisha at m3w.org)
Date: Tue, 09 Sep 2014 17:09:17 +0200
Subject: [M3devel] Native threading
In-Reply-To: <D22D0D3B-8332-43CD-9567-D36D37ED6557@m3w.org>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
	<20140907103338.0F0021A2098@async.async.caltech.edu>
	<D22D0D3B-8332-43CD-9567-D36D37ED6557@m3w.org>
Message-ID: <864f8fa604a1c4ff31984c0384be7cd5@m3w.org>

...tests/thread/src% time ../AMD64_DARWIN/threadtest -n 20 -iters 1000 
-tests read,nxread,tryexcept,fork,alloc,creat,lock
...
All tests complete.  Congratulations.
../AMD64_DARWIN/threadtest -n 20 -iters 1000 -tests   54351.62s user 
5207.71s system 392% cpu 4:12:50.10 total

Finishes without forktoomuch. It may be because of lingering (zombified) 
processes in case when Process.Wait() was not called. And limit on 
process numbers on OS X Mavericks is pretty low.

cc

glamdring:dragisa.duric/s002On 08.09.2014 20:19, Dragi?a Duri? wrote:
> It looks like OS X cannot fork as much as we would like :).
> 
> -iters 100 and -iters 300 finishes. -iters 1000 slows machine down, it
> does not break but current user cannot fork anymore, anywhere on the
> box.
> 
> Thread test does Join after Fork - it looks like implementation issue
> or pthreads @ OS X issue. Somebody is not cleaning up.
> 
> On 07 Sep 2014, at 12:33, mika at async.caltech.edu wrote:
> 
>> That's great news!
>> 
>> I would try it with
>> 
>> "-iters 100000 -n 20 -tests ALL"
>> 
>> that seems to be among the toughest you can set up.
>> 
>> There may well be warnings about starvation/deadlock, but those are OK 
>> under these conditions.
>> 
>>    Mika
>> 
>> Tony Hosking writes:
>>> 
>>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>>> Content-Transfer-Encoding: quoted-printable
>>> Content-Type: text/plain;
>>> 	charset=us-ascii
>>> 
>>> The version of ThreadPThread I just checked in passes the threadtest 
>>> =
>>> stress test on OSX with no failures:
>>> 
>>> Writing file...done
>>> Creating read threads...done
>>> Creating fork threads...done
>>> Creating alloc threads...done
>>> Creating lock threads...done
>>> running...printing oldest/median age/newest
>>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> All tests complete.  Congratulations.
>>> 
>>> 
>>> Antony Hosking | Associate Professor | Computer Science | Purdue =
>>> University
>>> 305 N. University Street | West Lafayette | IN 47907 | USA
>>> Mobile +1 765 427 5484
>>> 
>>> 
>>> 
>>> 
>>> 
>>> 
>>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>>> Content-Transfer-Encoding: quoted-printable
>>> Content-Type: text/html;
>>> 	charset=us-ascii
>>> 
>>> <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html =
>>> charset=3Dus-ascii"></head><body style=3D"word-wrap: break-word; =
>>> -webkit-nbsp-mode: space; -webkit-line-break: =
>>> after-white-space;"><div>The version of ThreadPThread I just checked 
>>> in =
>>> passes the threadtest stress test on OSX with no =
>>> failures:</div><div><br></div><div><div style=3D"margin: 0px; 
>>> font-size: =
>>> 10px; font-family: Monaco;">Writing file...done</div><div 
>>> style=3D"margin:=
>>> 0px; font-size: 10px; font-family: Monaco;">Creating read =
>>> threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>>> font-family: Monaco;">Creating fork threads...done</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating 
>>> =
>>> alloc threads...done</div><div style=3D"margin: 0px; font-size: 10px; 
>>> =
>>> font-family: Monaco;">Creating lock threads...done</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">running...printing oldest/median age/newest</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 
>>> 1/1/1 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">..........laziest thread is 1/0/0 (tests: read 
>>> =
>>> 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 
>>> 0px; =
>>> font-size: 10px; font-family: Monaco;">..........laziest thread is 
>>> 1/0/0 =
>>> (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 
>>> 0/0/0 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read 
>>> =
>>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 
>>> 0px; =
>>> font-size: 10px; font-family: Monaco;">..........laziest thread is 
>>> 0/0/0 =
>>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 
>>> 0/0/0 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read 
>>> =
>>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 
>>> 0px; =
>>> font-size: 10px; font-family: Monaco;">..........laziest thread is 
>>> 0/0/0 =
>>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 
>>> 0/0/0 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">All tests complete.&nbsp; =
>>> Congratulations.</div></div><div><br></div><br><div>
>>> <span class=3D"Apple-style-span" style=3D"border-collapse: separate; 
>>> =
>>> border-spacing: 0px;"><span class=3D"Apple-style-span" =
>>> style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: 
>>> =
>>> Helvetica; font-size: 12px; font-style: normal; font-variant: normal; 
>>> =
>>> font-weight: normal; letter-spacing: normal; line-height: normal; =
>>> orphans: 2; text-indent: 0px; text-transform: none; white-space: 
>>> normal; =
>>> widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; 
>>> =
>>> -webkit-border-vertical-spacing: 0px; =
>>> -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
>>> auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
>>> break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
>>> after-white-space; "><span class=3D"Apple-style-span" =
>>> style=3D"border-collapse: separate; 
>>> -webkit-border-horizontal-spacing: =
>>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: 
>>> none; =
>>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div 
>>> =
>>> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; =
>>> -webkit-line-break: after-white-space; "><span 
>>> class=3D"Apple-style-span" =
>>> style=3D"border-collapse: separate; 
>>> -webkit-border-horizontal-spacing: =
>>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: 
>>> none; =
>>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; 
>>> "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><div><font =
>>> class=3D"Apple-style-span" color=3D"#0000FF"><font =
>>> class=3D"Apple-style-span" face=3D"Gill Sans"><span =
>>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); 
>>> font-family: =
>>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: 
>>> rgb(0, =
>>> 0, 255); font-family: 'Gill Sans'; ">Antony =
>>> Hosking</span></span></font></font><font class=3D"Apple-style-span" =
>>> face=3D"Gill Sans"><span class=3D"Apple-style-span" 
>>> style=3D"font-family: =
>>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"font-family: 
>>> =
>>> 'Gill Sans'; "><span 
>>> class=3D"Apple-converted-space">&nbsp;</span>|<span =
>>> class=3D"Apple-converted-space">&nbsp;</span></span></span><span =
>>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; "><span 
>>> =
>>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; =
>>> ">Associate Professor</span></span><span class=3D"Apple-style-span" =
>>> style=3D"font-family: 'Gill Sans'; "><span class=3D"Apple-style-span" 
>>> =
>>> style=3D"font-family: 'Gill Sans'; ">&nbsp;| Computer Science | 
>>> Purdue =
>>> University</span></span></font></div><div><font 
>>> class=3D"Apple-style-span"=
>>> face=3D"GillSans-Light"><span class=3D"Apple-style-span" =
>>> style=3D"font-family: GillSans-Light; ">305 N. University Street | 
>>> West =
>>> Lafayette | IN 47907 | USA</span></font></div><div><font =
>>> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans"><span 
>>> =
>>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); 
>>> font-family: =
>>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: 
>>> rgb(0, =
>>> 0, 255); font-family: 'Gill Sans'; ">Mobile</span></span></font><font 
>>> =
>>> class=3D"Apple-style-span" face=3D"GillSans-Light"><span =
>>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; 
>>> "><span =
>>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; 
>>> "><span =
>>> class=3D"Apple-converted-space">&nbsp;</span>+1 765 427 =
>>> 5484</span></span></font></div><div><font class=3D"Apple-style-span" 
>>> =
>>> face=3D"GillSans-Light"><br =
>>> class=3D"khtml-block-placeholder"></font></div></span></span></span></span=
>>>> </span></span></span><br =
>>> class=3D"Apple-interchange-newline"></span></div></span></div></span><br 
>>> =
>>> class=3D"Apple-interchange-newline"></span><br =
>>> class=3D"Apple-interchange-newline">
>>> </div>
>>> <br></body></html>=
>>> 
>>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863--


From hosking at cs.purdue.edu  Fri Sep  5 04:49:44 2014
From: hosking at cs.purdue.edu (Tony Hosking)
Date: Thu, 4 Sep 2014 22:49:44 -0400
Subject: [M3devel] Native threading
Message-ID: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>

The version of ThreadPThread I just checked in passes the threadtest stress test on OSX with no failures:

Writing file...done
Creating read threads...done
Creating fork threads...done
Creating alloc threads...done
Creating lock threads...done
running...printing oldest/median age/newest
..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
All tests complete.  Congratulations.


Antony Hosking | Associate Professor | Computer Science | Purdue University
305 N. University Street | West Lafayette | IN 47907 | USA
Mobile +1 765 427 5484





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20140904/07c98bb9/attachment-0001.html>

From hosking at cs.purdue.edu  Sat Sep  6 18:22:21 2014
From: hosking at cs.purdue.edu (Tony Hosking)
Date: Sat, 6 Sep 2014 12:22:21 -0400
Subject: [M3devel] Native threading
In-Reply-To: <6C235D93-505A-41C5-A79D-86A772DD89B4@m3w.org>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
	<6C235D93-505A-41C5-A79D-86A772DD89B4@m3w.org>
Message-ID: <3E1E0D70-8A5F-4941-A43E-7A40A6EACD51@cs.purdue.edu>

What was the crash?

Antony Hosking | Associate Professor | Computer Science | Purdue University
305 N. University Street | West Lafayette | IN 47907 | USA
Mobile +1 765 427 5484





On Sep 6, 2014, at 6:06 AM, Dragi?a Duri? <dragisha at gmail.com> wrote:

> I had this result w/o arguments day before? Problem is when arguments are added:
> 
> -n 20 -iters 1000 -tests ALL
> 
> This crashed on one of my Mavericks boxes.
> 
> On 05 Sep 2014, at 04:49, Tony Hosking <hosking at cs.purdue.edu> wrote:
> 
>> The version of ThreadPThread I just checked in passes the threadtest stress test on OSX with no failures:
>> 
>> Writing file...done
>> Creating read threads...done
>> Creating fork threads...done
>> Creating alloc threads...done
>> Creating lock threads...done
>> running...printing oldest/median age/newest
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> All tests complete.  Congratulations.
>> 
>> 
>> Antony Hosking | Associate Professor | Computer Science | Purdue University
>> 305 N. University Street | West Lafayette | IN 47907 | USA
>> Mobile +1 765 427 5484
>> 
>> 
>> 
>> 
>> 
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20140906/575c3358/attachment-0001.html>

From mika at async.caltech.edu  Sun Sep  7 12:33:38 2014
From: mika at async.caltech.edu (mika at async.caltech.edu)
Date: Sun, 07 Sep 2014 03:33:38 -0700
Subject: [M3devel] Native threading
In-Reply-To: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
Message-ID: <20140907103338.0F0021A2098@async.async.caltech.edu>

That's great news!

I would try it with

"-iters 100000 -n 20 -tests ALL"

that seems to be among the toughest you can set up.

There may well be warnings about starvation/deadlock, but those are OK under these conditions.

    Mika

Tony Hosking writes:
>
>--Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>Content-Transfer-Encoding: quoted-printable
>Content-Type: text/plain;
>	charset=us-ascii
>
>The version of ThreadPThread I just checked in passes the threadtest =
>stress test on OSX with no failures:
>
>Writing file...done
>Creating read threads...done
>Creating fork threads...done
>Creating alloc threads...done
>Creating lock threads...done
>running...printing oldest/median age/newest
>..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>All tests complete.  Congratulations.
>
>
>Antony Hosking | Associate Professor | Computer Science | Purdue =
>University
>305 N. University Street | West Lafayette | IN 47907 | USA
>Mobile +1 765 427 5484
>
>
>
>
>
>
>--Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>Content-Transfer-Encoding: quoted-printable
>Content-Type: text/html;
>	charset=us-ascii
>
><html><head><meta http-equiv=3D"Content-Type" content=3D"text/html =
>charset=3Dus-ascii"></head><body style=3D"word-wrap: break-word; =
>-webkit-nbsp-mode: space; -webkit-line-break: =
>after-white-space;"><div>The version of ThreadPThread I just checked in =
>passes the threadtest stress test on OSX with no =
>failures:</div><div><br></div><div><div style=3D"margin: 0px; font-size: =
>10px; font-family: Monaco;">Writing file...done</div><div style=3D"margin:=
> 0px; font-size: 10px; font-family: Monaco;">Creating read =
>threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">Creating fork threads...done</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating =
>alloc threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">Creating lock threads...done</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">running...printing oldest/median age/newest</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">..........laziest thread is 1/0/0 (tests: read =
>0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>font-size: 10px; font-family: Monaco;">..........laziest thread is 1/0/0 =
>(tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>(tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>(tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">All tests complete.&nbsp; =
>Congratulations.</div></div><div><br></div><br><div>
><span class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>border-spacing: 0px;"><span class=3D"Apple-style-span" =
>style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: =
>Helvetica; font-size: 12px; font-style: normal; font-variant: normal; =
>font-weight: normal; letter-spacing: normal; line-height: normal; =
>orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; =
>widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; =
>-webkit-border-vertical-spacing: 0px; =
>-webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
>auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
>break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
>after-white-space; "><span class=3D"Apple-style-span" =
>style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>font-family: Helvetica; font-size: 12px; font-style: normal; =
>font-variant: normal; font-weight: normal; letter-spacing: normal; =
>line-height: normal; -webkit-text-decorations-in-effect: none; =
>text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div =
>style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; =
>-webkit-line-break: after-white-space; "><span class=3D"Apple-style-span" =
>style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>font-family: Helvetica; font-size: 12px; font-style: normal; =
>font-variant: normal; font-weight: normal; letter-spacing: normal; =
>line-height: normal; -webkit-text-decorations-in-effect: none; =
>text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><div><font =
>class=3D"Apple-style-span" color=3D"#0000FF"><font =
>class=3D"Apple-style-span" face=3D"Gill Sans"><span =
>class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>0, 255); font-family: 'Gill Sans'; ">Antony =
>Hosking</span></span></font></font><font class=3D"Apple-style-span" =
>face=3D"Gill Sans"><span class=3D"Apple-style-span" style=3D"font-family: =
>'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"font-family: =
>'Gill Sans'; "><span class=3D"Apple-converted-space">&nbsp;</span>|<span =
>class=3D"Apple-converted-space">&nbsp;</span></span></span><span =
>class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; "><span =
>class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; =
>">Associate Professor</span></span><span class=3D"Apple-style-span" =
>style=3D"font-family: 'Gill Sans'; "><span class=3D"Apple-style-span" =
>style=3D"font-family: 'Gill Sans'; ">&nbsp;| Computer Science | Purdue =
>University</span></span></font></div><div><font class=3D"Apple-style-span"=
> face=3D"GillSans-Light"><span class=3D"Apple-style-span" =
>style=3D"font-family: GillSans-Light; ">305 N. University Street | West =
>Lafayette | IN 47907 | USA</span></font></div><div><font =
>class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans"><span =
>class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>0, 255); font-family: 'Gill Sans'; ">Mobile</span></span></font><font =
>class=3D"Apple-style-span" face=3D"GillSans-Light"><span =
>class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>class=3D"Apple-converted-space">&nbsp;</span>+1 765 427 =
>5484</span></span></font></div><div><font class=3D"Apple-style-span" =
>face=3D"GillSans-Light"><br =
>class=3D"khtml-block-placeholder"></font></div></span></span></span></span=
>></span></span></span><br =
>class=3D"Apple-interchange-newline"></span></div></span></div></span><br =
>class=3D"Apple-interchange-newline"></span><br =
>class=3D"Apple-interchange-newline">
></div>
><br></body></html>=
>
>--Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863--


From hendrik at topoi.pooq.com  Mon Sep  8 01:30:17 2014
From: hendrik at topoi.pooq.com (Hendrik Boom)
Date: Sun, 7 Sep 2014 19:30:17 -0400
Subject: [M3devel] "pre-releases" for few Linux platforms and for OSX
 Mavericks
In-Reply-To: <COL130-W3002C3726EAF5624FE2970E6DA0@phx.gbl>
References: <24640F73-4FCA-4B99-A858-0091C9D60F0C@m3w.org>
	<20140827234947.GA686@topoi.pooq.com>
	<COL130-W3002C3726EAF5624FE2970E6DA0@phx.gbl>
Message-ID: <20140907233017.GA27018@topoi.pooq.com>

On Thu, Aug 28, 2014 at 10:30:39AM +0000, Jay K wrote:
> It is also called I386_LINUX.Whenever I propose dropping the old names, people say they want them to remain supported.It takes very little in the system to do so. The extra names do confuse people and make us talk much about little.
>  - Jay

Do I have to install a modula 3 for I386_LINUX to get to use this name?  
Or can the usual LINUXLIBC6 be persuaded to use the new name?

-- hendrik


From dragisha at m3w.org  Mon Sep  8 20:19:48 2014
From: dragisha at m3w.org (=?utf-8?Q?Dragi=C5=A1a_Duri=C4=87?=)
Date: Mon, 8 Sep 2014 20:19:48 +0200
Subject: [M3devel] Native threading
In-Reply-To: <20140907103338.0F0021A2098@async.async.caltech.edu>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
	<20140907103338.0F0021A2098@async.async.caltech.edu>
Message-ID: <D22D0D3B-8332-43CD-9567-D36D37ED6557@m3w.org>

It looks like OS X cannot fork as much as we would like :).

-iters 100 and -iters 300 finishes. -iters 1000 slows machine down, it does not break but current user cannot fork anymore, anywhere on the box.

Thread test does Join after Fork - it looks like implementation issue or pthreads @ OS X issue. Somebody is not cleaning up.

On 07 Sep 2014, at 12:33, mika at async.caltech.edu wrote:

> That's great news!
> 
> I would try it with
> 
> "-iters 100000 -n 20 -tests ALL"
> 
> that seems to be among the toughest you can set up.
> 
> There may well be warnings about starvation/deadlock, but those are OK under these conditions.
> 
>    Mika
> 
> Tony Hosking writes:
>> 
>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>> Content-Transfer-Encoding: quoted-printable
>> Content-Type: text/plain;
>> 	charset=us-ascii
>> 
>> The version of ThreadPThread I just checked in passes the threadtest =
>> stress test on OSX with no failures:
>> 
>> Writing file...done
>> Creating read threads...done
>> Creating fork threads...done
>> Creating alloc threads...done
>> Creating lock threads...done
>> running...printing oldest/median age/newest
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> All tests complete.  Congratulations.
>> 
>> 
>> Antony Hosking | Associate Professor | Computer Science | Purdue =
>> University
>> 305 N. University Street | West Lafayette | IN 47907 | USA
>> Mobile +1 765 427 5484
>> 
>> 
>> 
>> 
>> 
>> 
>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>> Content-Transfer-Encoding: quoted-printable
>> Content-Type: text/html;
>> 	charset=us-ascii
>> 
>> <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html =
>> charset=3Dus-ascii"></head><body style=3D"word-wrap: break-word; =
>> -webkit-nbsp-mode: space; -webkit-line-break: =
>> after-white-space;"><div>The version of ThreadPThread I just checked in =
>> passes the threadtest stress test on OSX with no =
>> failures:</div><div><br></div><div><div style=3D"margin: 0px; font-size: =
>> 10px; font-family: Monaco;">Writing file...done</div><div style=3D"margin:=
>> 0px; font-size: 10px; font-family: Monaco;">Creating read =
>> threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">Creating fork threads...done</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating =
>> alloc threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">Creating lock threads...done</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">running...printing oldest/median age/newest</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">..........laziest thread is 1/0/0 (tests: read =
>> 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>> font-size: 10px; font-family: Monaco;">..........laziest thread is 1/0/0 =
>> (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>> font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>> font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">All tests complete.&nbsp; =
>> Congratulations.</div></div><div><br></div><br><div>
>> <span class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> border-spacing: 0px;"><span class=3D"Apple-style-span" =
>> style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: =
>> Helvetica; font-size: 12px; font-style: normal; font-variant: normal; =
>> font-weight: normal; letter-spacing: normal; line-height: normal; =
>> orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; =
>> widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; =
>> -webkit-border-vertical-spacing: 0px; =
>> -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
>> auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
>> break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
>> after-white-space; "><span class=3D"Apple-style-span" =
>> style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div =
>> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; =
>> -webkit-line-break: after-white-space; "><span class=3D"Apple-style-span" =
>> style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><div><font =
>> class=3D"Apple-style-span" color=3D"#0000FF"><font =
>> class=3D"Apple-style-span" face=3D"Gill Sans"><span =
>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>> 0, 255); font-family: 'Gill Sans'; ">Antony =
>> Hosking</span></span></font></font><font class=3D"Apple-style-span" =
>> face=3D"Gill Sans"><span class=3D"Apple-style-span" style=3D"font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-converted-space">&nbsp;</span>|<span =
>> class=3D"Apple-converted-space">&nbsp;</span></span></span><span =
>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; "><span =
>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; =
>> ">Associate Professor</span></span><span class=3D"Apple-style-span" =
>> style=3D"font-family: 'Gill Sans'; "><span class=3D"Apple-style-span" =
>> style=3D"font-family: 'Gill Sans'; ">&nbsp;| Computer Science | Purdue =
>> University</span></span></font></div><div><font class=3D"Apple-style-span"=
>> face=3D"GillSans-Light"><span class=3D"Apple-style-span" =
>> style=3D"font-family: GillSans-Light; ">305 N. University Street | West =
>> Lafayette | IN 47907 | USA</span></font></div><div><font =
>> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans"><span =
>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>> 0, 255); font-family: 'Gill Sans'; ">Mobile</span></span></font><font =
>> class=3D"Apple-style-span" face=3D"GillSans-Light"><span =
>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>> class=3D"Apple-converted-space">&nbsp;</span>+1 765 427 =
>> 5484</span></span></font></div><div><font class=3D"Apple-style-span" =
>> face=3D"GillSans-Light"><br =
>> class=3D"khtml-block-placeholder"></font></div></span></span></span></span=
>>> </span></span></span><br =
>> class=3D"Apple-interchange-newline"></span></div></span></div></span><br =
>> class=3D"Apple-interchange-newline"></span><br =
>> class=3D"Apple-interchange-newline">
>> </div>
>> <br></body></html>=
>> 
>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863--

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 495 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20140908/8b5ab934/attachment-0001.sig>

From dragisha at m3w.org  Tue Sep  9 17:09:17 2014
From: dragisha at m3w.org (dragisha at m3w.org)
Date: Tue, 09 Sep 2014 17:09:17 +0200
Subject: [M3devel] Native threading
In-Reply-To: <D22D0D3B-8332-43CD-9567-D36D37ED6557@m3w.org>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
	<20140907103338.0F0021A2098@async.async.caltech.edu>
	<D22D0D3B-8332-43CD-9567-D36D37ED6557@m3w.org>
Message-ID: <864f8fa604a1c4ff31984c0384be7cd5@m3w.org>

...tests/thread/src% time ../AMD64_DARWIN/threadtest -n 20 -iters 1000 
-tests read,nxread,tryexcept,fork,alloc,creat,lock
...
All tests complete.  Congratulations.
../AMD64_DARWIN/threadtest -n 20 -iters 1000 -tests   54351.62s user 
5207.71s system 392% cpu 4:12:50.10 total

Finishes without forktoomuch. It may be because of lingering (zombified) 
processes in case when Process.Wait() was not called. And limit on 
process numbers on OS X Mavericks is pretty low.

cc

glamdring:dragisa.duric/s002On 08.09.2014 20:19, Dragi?a Duri? wrote:
> It looks like OS X cannot fork as much as we would like :).
> 
> -iters 100 and -iters 300 finishes. -iters 1000 slows machine down, it
> does not break but current user cannot fork anymore, anywhere on the
> box.
> 
> Thread test does Join after Fork - it looks like implementation issue
> or pthreads @ OS X issue. Somebody is not cleaning up.
> 
> On 07 Sep 2014, at 12:33, mika at async.caltech.edu wrote:
> 
>> That's great news!
>> 
>> I would try it with
>> 
>> "-iters 100000 -n 20 -tests ALL"
>> 
>> that seems to be among the toughest you can set up.
>> 
>> There may well be warnings about starvation/deadlock, but those are OK 
>> under these conditions.
>> 
>>    Mika
>> 
>> Tony Hosking writes:
>>> 
>>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>>> Content-Transfer-Encoding: quoted-printable
>>> Content-Type: text/plain;
>>> 	charset=us-ascii
>>> 
>>> The version of ThreadPThread I just checked in passes the threadtest 
>>> =
>>> stress test on OSX with no failures:
>>> 
>>> Writing file...done
>>> Creating read threads...done
>>> Creating fork threads...done
>>> Creating alloc threads...done
>>> Creating lock threads...done
>>> running...printing oldest/median age/newest
>>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> All tests complete.  Congratulations.
>>> 
>>> 
>>> Antony Hosking | Associate Professor | Computer Science | Purdue =
>>> University
>>> 305 N. University Street | West Lafayette | IN 47907 | USA
>>> Mobile +1 765 427 5484
>>> 
>>> 
>>> 
>>> 
>>> 
>>> 
>>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>>> Content-Transfer-Encoding: quoted-printable
>>> Content-Type: text/html;
>>> 	charset=us-ascii
>>> 
>>> <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html =
>>> charset=3Dus-ascii"></head><body style=3D"word-wrap: break-word; =
>>> -webkit-nbsp-mode: space; -webkit-line-break: =
>>> after-white-space;"><div>The version of ThreadPThread I just checked 
>>> in =
>>> passes the threadtest stress test on OSX with no =
>>> failures:</div><div><br></div><div><div style=3D"margin: 0px; 
>>> font-size: =
>>> 10px; font-family: Monaco;">Writing file...done</div><div 
>>> style=3D"margin:=
>>> 0px; font-size: 10px; font-family: Monaco;">Creating read =
>>> threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>>> font-family: Monaco;">Creating fork threads...done</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating 
>>> =
>>> alloc threads...done</div><div style=3D"margin: 0px; font-size: 10px; 
>>> =
>>> font-family: Monaco;">Creating lock threads...done</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">running...printing oldest/median age/newest</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 
>>> 1/1/1 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">..........laziest thread is 1/0/0 (tests: read 
>>> =
>>> 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 
>>> 0px; =
>>> font-size: 10px; font-family: Monaco;">..........laziest thread is 
>>> 1/0/0 =
>>> (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 
>>> 0/0/0 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read 
>>> =
>>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 
>>> 0px; =
>>> font-size: 10px; font-family: Monaco;">..........laziest thread is 
>>> 0/0/0 =
>>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 
>>> 0/0/0 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read 
>>> =
>>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 
>>> 0px; =
>>> font-size: 10px; font-family: Monaco;">..........laziest thread is 
>>> 0/0/0 =
>>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 
>>> 0/0/0 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">All tests complete.&nbsp; =
>>> Congratulations.</div></div><div><br></div><br><div>
>>> <span class=3D"Apple-style-span" style=3D"border-collapse: separate; 
>>> =
>>> border-spacing: 0px;"><span class=3D"Apple-style-span" =
>>> style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: 
>>> =
>>> Helvetica; font-size: 12px; font-style: normal; font-variant: normal; 
>>> =
>>> font-weight: normal; letter-spacing: normal; line-height: normal; =
>>> orphans: 2; text-indent: 0px; text-transform: none; white-space: 
>>> normal; =
>>> widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; 
>>> =
>>> -webkit-border-vertical-spacing: 0px; =
>>> -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
>>> auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
>>> break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
>>> after-white-space; "><span class=3D"Apple-style-span" =
>>> style=3D"border-collapse: separate; 
>>> -webkit-border-horizontal-spacing: =
>>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: 
>>> none; =
>>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div 
>>> =
>>> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; =
>>> -webkit-line-break: after-white-space; "><span 
>>> class=3D"Apple-style-span" =
>>> style=3D"border-collapse: separate; 
>>> -webkit-border-horizontal-spacing: =
>>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: 
>>> none; =
>>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; 
>>> "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><div><font =
>>> class=3D"Apple-style-span" color=3D"#0000FF"><font =
>>> class=3D"Apple-style-span" face=3D"Gill Sans"><span =
>>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); 
>>> font-family: =
>>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: 
>>> rgb(0, =
>>> 0, 255); font-family: 'Gill Sans'; ">Antony =
>>> Hosking</span></span></font></font><font class=3D"Apple-style-span" =
>>> face=3D"Gill Sans"><span class=3D"Apple-style-span" 
>>> style=3D"font-family: =
>>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"font-family: 
>>> =
>>> 'Gill Sans'; "><span 
>>> class=3D"Apple-converted-space">&nbsp;</span>|<span =
>>> class=3D"Apple-converted-space">&nbsp;</span></span></span><span =
>>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; "><span 
>>> =
>>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; =
>>> ">Associate Professor</span></span><span class=3D"Apple-style-span" =
>>> style=3D"font-family: 'Gill Sans'; "><span class=3D"Apple-style-span" 
>>> =
>>> style=3D"font-family: 'Gill Sans'; ">&nbsp;| Computer Science | 
>>> Purdue =
>>> University</span></span></font></div><div><font 
>>> class=3D"Apple-style-span"=
>>> face=3D"GillSans-Light"><span class=3D"Apple-style-span" =
>>> style=3D"font-family: GillSans-Light; ">305 N. University Street | 
>>> West =
>>> Lafayette | IN 47907 | USA</span></font></div><div><font =
>>> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans"><span 
>>> =
>>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); 
>>> font-family: =
>>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: 
>>> rgb(0, =
>>> 0, 255); font-family: 'Gill Sans'; ">Mobile</span></span></font><font 
>>> =
>>> class=3D"Apple-style-span" face=3D"GillSans-Light"><span =
>>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; 
>>> "><span =
>>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; 
>>> "><span =
>>> class=3D"Apple-converted-space">&nbsp;</span>+1 765 427 =
>>> 5484</span></span></font></div><div><font class=3D"Apple-style-span" 
>>> =
>>> face=3D"GillSans-Light"><br =
>>> class=3D"khtml-block-placeholder"></font></div></span></span></span></span=
>>>> </span></span></span><br =
>>> class=3D"Apple-interchange-newline"></span></div></span></div></span><br 
>>> =
>>> class=3D"Apple-interchange-newline"></span><br =
>>> class=3D"Apple-interchange-newline">
>>> </div>
>>> <br></body></html>=
>>> 
>>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863--


From hosking at cs.purdue.edu  Fri Sep  5 04:49:44 2014
From: hosking at cs.purdue.edu (Tony Hosking)
Date: Thu, 4 Sep 2014 22:49:44 -0400
Subject: [M3devel] Native threading
Message-ID: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>

The version of ThreadPThread I just checked in passes the threadtest stress test on OSX with no failures:

Writing file...done
Creating read threads...done
Creating fork threads...done
Creating alloc threads...done
Creating lock threads...done
running...printing oldest/median age/newest
..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
All tests complete.  Congratulations.


Antony Hosking | Associate Professor | Computer Science | Purdue University
305 N. University Street | West Lafayette | IN 47907 | USA
Mobile +1 765 427 5484





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20140904/07c98bb9/attachment-0002.html>

From hosking at cs.purdue.edu  Sat Sep  6 18:22:21 2014
From: hosking at cs.purdue.edu (Tony Hosking)
Date: Sat, 6 Sep 2014 12:22:21 -0400
Subject: [M3devel] Native threading
In-Reply-To: <6C235D93-505A-41C5-A79D-86A772DD89B4@m3w.org>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
	<6C235D93-505A-41C5-A79D-86A772DD89B4@m3w.org>
Message-ID: <3E1E0D70-8A5F-4941-A43E-7A40A6EACD51@cs.purdue.edu>

What was the crash?

Antony Hosking | Associate Professor | Computer Science | Purdue University
305 N. University Street | West Lafayette | IN 47907 | USA
Mobile +1 765 427 5484





On Sep 6, 2014, at 6:06 AM, Dragi?a Duri? <dragisha at gmail.com> wrote:

> I had this result w/o arguments day before? Problem is when arguments are added:
> 
> -n 20 -iters 1000 -tests ALL
> 
> This crashed on one of my Mavericks boxes.
> 
> On 05 Sep 2014, at 04:49, Tony Hosking <hosking at cs.purdue.edu> wrote:
> 
>> The version of ThreadPThread I just checked in passes the threadtest stress test on OSX with no failures:
>> 
>> Writing file...done
>> Creating read threads...done
>> Creating fork threads...done
>> Creating alloc threads...done
>> Creating lock threads...done
>> running...printing oldest/median age/newest
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)
>> All tests complete.  Congratulations.
>> 
>> 
>> Antony Hosking | Associate Professor | Computer Science | Purdue University
>> 305 N. University Street | West Lafayette | IN 47907 | USA
>> Mobile +1 765 427 5484
>> 
>> 
>> 
>> 
>> 
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20140906/575c3358/attachment-0002.html>

From mika at async.caltech.edu  Sun Sep  7 12:33:38 2014
From: mika at async.caltech.edu (mika at async.caltech.edu)
Date: Sun, 07 Sep 2014 03:33:38 -0700
Subject: [M3devel] Native threading
In-Reply-To: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
Message-ID: <20140907103338.0F0021A2098@async.async.caltech.edu>

That's great news!

I would try it with

"-iters 100000 -n 20 -tests ALL"

that seems to be among the toughest you can set up.

There may well be warnings about starvation/deadlock, but those are OK under these conditions.

    Mika

Tony Hosking writes:
>
>--Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>Content-Transfer-Encoding: quoted-printable
>Content-Type: text/plain;
>	charset=us-ascii
>
>The version of ThreadPThread I just checked in passes the threadtest =
>stress test on OSX with no failures:
>
>Writing file...done
>Creating read threads...done
>Creating fork threads...done
>Creating alloc threads...done
>Creating lock threads...done
>running...printing oldest/median age/newest
>..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>0/0/0 lock 0/0/0)
>All tests complete.  Congratulations.
>
>
>Antony Hosking | Associate Professor | Computer Science | Purdue =
>University
>305 N. University Street | West Lafayette | IN 47907 | USA
>Mobile +1 765 427 5484
>
>
>
>
>
>
>--Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>Content-Transfer-Encoding: quoted-printable
>Content-Type: text/html;
>	charset=us-ascii
>
><html><head><meta http-equiv=3D"Content-Type" content=3D"text/html =
>charset=3Dus-ascii"></head><body style=3D"word-wrap: break-word; =
>-webkit-nbsp-mode: space; -webkit-line-break: =
>after-white-space;"><div>The version of ThreadPThread I just checked in =
>passes the threadtest stress test on OSX with no =
>failures:</div><div><br></div><div><div style=3D"margin: 0px; font-size: =
>10px; font-family: Monaco;">Writing file...done</div><div style=3D"margin:=
> 0px; font-size: 10px; font-family: Monaco;">Creating read =
>threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">Creating fork threads...done</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating =
>alloc threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">Creating lock threads...done</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">running...printing oldest/median age/newest</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">..........laziest thread is 1/0/0 (tests: read =
>0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>font-size: 10px; font-family: Monaco;">..........laziest thread is 1/0/0 =
>(tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>(tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>(tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>style=3D"margin: 0px; font-size: 10px; font-family: =
>Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>font-family: Monaco;">All tests complete.&nbsp; =
>Congratulations.</div></div><div><br></div><br><div>
><span class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>border-spacing: 0px;"><span class=3D"Apple-style-span" =
>style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: =
>Helvetica; font-size: 12px; font-style: normal; font-variant: normal; =
>font-weight: normal; letter-spacing: normal; line-height: normal; =
>orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; =
>widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; =
>-webkit-border-vertical-spacing: 0px; =
>-webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
>auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
>break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
>after-white-space; "><span class=3D"Apple-style-span" =
>style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>font-family: Helvetica; font-size: 12px; font-style: normal; =
>font-variant: normal; font-weight: normal; letter-spacing: normal; =
>line-height: normal; -webkit-text-decorations-in-effect: none; =
>text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div =
>style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; =
>-webkit-line-break: after-white-space; "><span class=3D"Apple-style-span" =
>style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>font-family: Helvetica; font-size: 12px; font-style: normal; =
>font-variant: normal; font-weight: normal; letter-spacing: normal; =
>line-height: normal; -webkit-text-decorations-in-effect: none; =
>text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><span =
>class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>font-style: normal; font-variant: normal; font-weight: normal; =
>letter-spacing: normal; line-height: normal; =
>-webkit-text-decorations-in-effect: none; text-indent: 0px; =
>-webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>white-space: normal; widows: 2; word-spacing: 0px; "><div><font =
>class=3D"Apple-style-span" color=3D"#0000FF"><font =
>class=3D"Apple-style-span" face=3D"Gill Sans"><span =
>class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>0, 255); font-family: 'Gill Sans'; ">Antony =
>Hosking</span></span></font></font><font class=3D"Apple-style-span" =
>face=3D"Gill Sans"><span class=3D"Apple-style-span" style=3D"font-family: =
>'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"font-family: =
>'Gill Sans'; "><span class=3D"Apple-converted-space">&nbsp;</span>|<span =
>class=3D"Apple-converted-space">&nbsp;</span></span></span><span =
>class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; "><span =
>class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; =
>">Associate Professor</span></span><span class=3D"Apple-style-span" =
>style=3D"font-family: 'Gill Sans'; "><span class=3D"Apple-style-span" =
>style=3D"font-family: 'Gill Sans'; ">&nbsp;| Computer Science | Purdue =
>University</span></span></font></div><div><font class=3D"Apple-style-span"=
> face=3D"GillSans-Light"><span class=3D"Apple-style-span" =
>style=3D"font-family: GillSans-Light; ">305 N. University Street | West =
>Lafayette | IN 47907 | USA</span></font></div><div><font =
>class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans"><span =
>class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>0, 255); font-family: 'Gill Sans'; ">Mobile</span></span></font><font =
>class=3D"Apple-style-span" face=3D"GillSans-Light"><span =
>class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>class=3D"Apple-converted-space">&nbsp;</span>+1 765 427 =
>5484</span></span></font></div><div><font class=3D"Apple-style-span" =
>face=3D"GillSans-Light"><br =
>class=3D"khtml-block-placeholder"></font></div></span></span></span></span=
>></span></span></span><br =
>class=3D"Apple-interchange-newline"></span></div></span></div></span><br =
>class=3D"Apple-interchange-newline"></span><br =
>class=3D"Apple-interchange-newline">
></div>
><br></body></html>=
>
>--Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863--


From hendrik at topoi.pooq.com  Mon Sep  8 01:30:17 2014
From: hendrik at topoi.pooq.com (Hendrik Boom)
Date: Sun, 7 Sep 2014 19:30:17 -0400
Subject: [M3devel] "pre-releases" for few Linux platforms and for OSX
 Mavericks
In-Reply-To: <COL130-W3002C3726EAF5624FE2970E6DA0@phx.gbl>
References: <24640F73-4FCA-4B99-A858-0091C9D60F0C@m3w.org>
	<20140827234947.GA686@topoi.pooq.com>
	<COL130-W3002C3726EAF5624FE2970E6DA0@phx.gbl>
Message-ID: <20140907233017.GA27018@topoi.pooq.com>

On Thu, Aug 28, 2014 at 10:30:39AM +0000, Jay K wrote:
> It is also called I386_LINUX.Whenever I propose dropping the old names, people say they want them to remain supported.It takes very little in the system to do so. The extra names do confuse people and make us talk much about little.
>  - Jay

Do I have to install a modula 3 for I386_LINUX to get to use this name?  
Or can the usual LINUXLIBC6 be persuaded to use the new name?

-- hendrik


From dragisha at m3w.org  Mon Sep  8 20:19:48 2014
From: dragisha at m3w.org (=?utf-8?Q?Dragi=C5=A1a_Duri=C4=87?=)
Date: Mon, 8 Sep 2014 20:19:48 +0200
Subject: [M3devel] Native threading
In-Reply-To: <20140907103338.0F0021A2098@async.async.caltech.edu>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
	<20140907103338.0F0021A2098@async.async.caltech.edu>
Message-ID: <D22D0D3B-8332-43CD-9567-D36D37ED6557@m3w.org>

It looks like OS X cannot fork as much as we would like :).

-iters 100 and -iters 300 finishes. -iters 1000 slows machine down, it does not break but current user cannot fork anymore, anywhere on the box.

Thread test does Join after Fork - it looks like implementation issue or pthreads @ OS X issue. Somebody is not cleaning up.

On 07 Sep 2014, at 12:33, mika at async.caltech.edu wrote:

> That's great news!
> 
> I would try it with
> 
> "-iters 100000 -n 20 -tests ALL"
> 
> that seems to be among the toughest you can set up.
> 
> There may well be warnings about starvation/deadlock, but those are OK under these conditions.
> 
>    Mika
> 
> Tony Hosking writes:
>> 
>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>> Content-Transfer-Encoding: quoted-printable
>> Content-Type: text/plain;
>> 	charset=us-ascii
>> 
>> The version of ThreadPThread I just checked in passes the threadtest =
>> stress test on OSX with no failures:
>> 
>> Writing file...done
>> Creating read threads...done
>> Creating fork threads...done
>> Creating alloc threads...done
>> Creating lock threads...done
>> running...printing oldest/median age/newest
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc =
>> 0/0/0 lock 0/0/0)
>> All tests complete.  Congratulations.
>> 
>> 
>> Antony Hosking | Associate Professor | Computer Science | Purdue =
>> University
>> 305 N. University Street | West Lafayette | IN 47907 | USA
>> Mobile +1 765 427 5484
>> 
>> 
>> 
>> 
>> 
>> 
>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>> Content-Transfer-Encoding: quoted-printable
>> Content-Type: text/html;
>> 	charset=us-ascii
>> 
>> <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html =
>> charset=3Dus-ascii"></head><body style=3D"word-wrap: break-word; =
>> -webkit-nbsp-mode: space; -webkit-line-break: =
>> after-white-space;"><div>The version of ThreadPThread I just checked in =
>> passes the threadtest stress test on OSX with no =
>> failures:</div><div><br></div><div><div style=3D"margin: 0px; font-size: =
>> 10px; font-family: Monaco;">Writing file...done</div><div style=3D"margin:=
>> 0px; font-size: 10px; font-family: Monaco;">Creating read =
>> threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">Creating fork threads...done</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating =
>> alloc threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">Creating lock threads...done</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">running...printing oldest/median age/newest</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">..........laziest thread is 1/0/0 (tests: read =
>> 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>> font-size: 10px; font-family: Monaco;">..........laziest thread is 1/0/0 =
>> (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>> font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read =
>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; =
>> font-size: 10px; font-family: Monaco;">..........laziest thread is 0/0/0 =
>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>> style=3D"margin: 0px; font-size: 10px; font-family: =
>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 =
>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 10px; =
>> font-family: Monaco;">All tests complete.&nbsp; =
>> Congratulations.</div></div><div><br></div><br><div>
>> <span class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> border-spacing: 0px;"><span class=3D"Apple-style-span" =
>> style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: =
>> Helvetica; font-size: 12px; font-style: normal; font-variant: normal; =
>> font-weight: normal; letter-spacing: normal; line-height: normal; =
>> orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; =
>> widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; =
>> -webkit-border-vertical-spacing: 0px; =
>> -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
>> auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
>> break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
>> after-white-space; "><span class=3D"Apple-style-span" =
>> style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div =
>> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; =
>> -webkit-line-break: after-white-space; "><span class=3D"Apple-style-span" =
>> style=3D"border-collapse: separate; -webkit-border-horizontal-spacing: =
>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; =
>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>> -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: =
>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>> font-style: normal; font-variant: normal; font-weight: normal; =
>> letter-spacing: normal; line-height: normal; =
>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>> white-space: normal; widows: 2; word-spacing: 0px; "><div><font =
>> class=3D"Apple-style-span" color=3D"#0000FF"><font =
>> class=3D"Apple-style-span" face=3D"Gill Sans"><span =
>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>> 0, 255); font-family: 'Gill Sans'; ">Antony =
>> Hosking</span></span></font></font><font class=3D"Apple-style-span" =
>> face=3D"Gill Sans"><span class=3D"Apple-style-span" style=3D"font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-converted-space">&nbsp;</span>|<span =
>> class=3D"Apple-converted-space">&nbsp;</span></span></span><span =
>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; "><span =
>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; =
>> ">Associate Professor</span></span><span class=3D"Apple-style-span" =
>> style=3D"font-family: 'Gill Sans'; "><span class=3D"Apple-style-span" =
>> style=3D"font-family: 'Gill Sans'; ">&nbsp;| Computer Science | Purdue =
>> University</span></span></font></div><div><font class=3D"Apple-style-span"=
>> face=3D"GillSans-Light"><span class=3D"Apple-style-span" =
>> style=3D"font-family: GillSans-Light; ">305 N. University Street | West =
>> Lafayette | IN 47907 | USA</span></font></div><div><font =
>> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans"><span =
>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: =
>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: rgb(0, =
>> 0, 255); font-family: 'Gill Sans'; ">Mobile</span></span></font><font =
>> class=3D"Apple-style-span" face=3D"GillSans-Light"><span =
>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; "><span =
>> class=3D"Apple-converted-space">&nbsp;</span>+1 765 427 =
>> 5484</span></span></font></div><div><font class=3D"Apple-style-span" =
>> face=3D"GillSans-Light"><br =
>> class=3D"khtml-block-placeholder"></font></div></span></span></span></span=
>>> </span></span></span><br =
>> class=3D"Apple-interchange-newline"></span></div></span></div></span><br =
>> class=3D"Apple-interchange-newline"></span><br =
>> class=3D"Apple-interchange-newline">
>> </div>
>> <br></body></html>=
>> 
>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863--

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 495 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20140908/8b5ab934/attachment-0002.sig>

From dragisha at m3w.org  Tue Sep  9 17:09:17 2014
From: dragisha at m3w.org (dragisha at m3w.org)
Date: Tue, 09 Sep 2014 17:09:17 +0200
Subject: [M3devel] Native threading
In-Reply-To: <D22D0D3B-8332-43CD-9567-D36D37ED6557@m3w.org>
References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu>
	<20140907103338.0F0021A2098@async.async.caltech.edu>
	<D22D0D3B-8332-43CD-9567-D36D37ED6557@m3w.org>
Message-ID: <864f8fa604a1c4ff31984c0384be7cd5@m3w.org>

...tests/thread/src% time ../AMD64_DARWIN/threadtest -n 20 -iters 1000 
-tests read,nxread,tryexcept,fork,alloc,creat,lock
...
All tests complete.  Congratulations.
../AMD64_DARWIN/threadtest -n 20 -iters 1000 -tests   54351.62s user 
5207.71s system 392% cpu 4:12:50.10 total

Finishes without forktoomuch. It may be because of lingering (zombified) 
processes in case when Process.Wait() was not called. And limit on 
process numbers on OS X Mavericks is pretty low.

cc

glamdring:dragisa.duric/s002On 08.09.2014 20:19, Dragi?a Duri? wrote:
> It looks like OS X cannot fork as much as we would like :).
> 
> -iters 100 and -iters 300 finishes. -iters 1000 slows machine down, it
> does not break but current user cannot fork anymore, anywhere on the
> box.
> 
> Thread test does Join after Fork - it looks like implementation issue
> or pthreads @ OS X issue. Somebody is not cleaning up.
> 
> On 07 Sep 2014, at 12:33, mika at async.caltech.edu wrote:
> 
>> That's great news!
>> 
>> I would try it with
>> 
>> "-iters 100000 -n 20 -tests ALL"
>> 
>> that seems to be among the toughest you can set up.
>> 
>> There may well be warnings about starvation/deadlock, but those are OK 
>> under these conditions.
>> 
>>    Mika
>> 
>> Tony Hosking writes:
>>> 
>>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>>> Content-Transfer-Encoding: quoted-printable
>>> Content-Type: text/plain;
>>> 	charset=us-ascii
>>> 
>>> The version of ThreadPThread I just checked in passes the threadtest 
>>> =
>>> stress test on OSX with no failures:
>>> 
>>> Writing file...done
>>> Creating read threads...done
>>> Creating fork threads...done
>>> Creating alloc threads...done
>>> Creating lock threads...done
>>> running...printing oldest/median age/newest
>>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 1/1/1 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> ..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 0/0/0 alloc 
>>> =
>>> 0/0/0 lock 0/0/0)
>>> All tests complete.  Congratulations.
>>> 
>>> 
>>> Antony Hosking | Associate Professor | Computer Science | Purdue =
>>> University
>>> 305 N. University Street | West Lafayette | IN 47907 | USA
>>> Mobile +1 765 427 5484
>>> 
>>> 
>>> 
>>> 
>>> 
>>> 
>>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863
>>> Content-Transfer-Encoding: quoted-printable
>>> Content-Type: text/html;
>>> 	charset=us-ascii
>>> 
>>> <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html =
>>> charset=3Dus-ascii"></head><body style=3D"word-wrap: break-word; =
>>> -webkit-nbsp-mode: space; -webkit-line-break: =
>>> after-white-space;"><div>The version of ThreadPThread I just checked 
>>> in =
>>> passes the threadtest stress test on OSX with no =
>>> failures:</div><div><br></div><div><div style=3D"margin: 0px; 
>>> font-size: =
>>> 10px; font-family: Monaco;">Writing file...done</div><div 
>>> style=3D"margin:=
>>> 0px; font-size: 10px; font-family: Monaco;">Creating read =
>>> threads...done</div><div style=3D"margin: 0px; font-size: 10px; =
>>> font-family: Monaco;">Creating fork threads...done</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating 
>>> =
>>> alloc threads...done</div><div style=3D"margin: 0px; font-size: 10px; 
>>> =
>>> font-family: Monaco;">Creating lock threads...done</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">running...printing oldest/median age/newest</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 1/0/0 (tests: read 0/0/0 fork 
>>> 1/1/1 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">..........laziest thread is 1/0/0 (tests: read 
>>> =
>>> 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 
>>> 0px; =
>>> font-size: 10px; font-family: Monaco;">..........laziest thread is 
>>> 1/0/0 =
>>> (tests: read 0/0/0 fork 1/1/1 alloc 0/0/0 lock 0/0/0)</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 
>>> 0/0/0 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read 
>>> =
>>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 
>>> 0px; =
>>> font-size: 10px; font-family: Monaco;">..........laziest thread is 
>>> 0/0/0 =
>>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 
>>> 0/0/0 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">..........laziest thread is 0/0/0 (tests: read 
>>> =
>>> 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 
>>> 0px; =
>>> font-size: 10px; font-family: Monaco;">..........laziest thread is 
>>> 0/0/0 =
>>> (tests: read 0/0/0 fork 0/0/0 alloc 0/0/0 lock 0/0/0)</div><div =
>>> style=3D"margin: 0px; font-size: 10px; font-family: =
>>> Monaco;">..........laziest thread is 0/0/0 (tests: read 0/0/0 fork 
>>> 0/0/0 =
>>> alloc 0/0/0 lock 0/0/0)</div><div style=3D"margin: 0px; font-size: 
>>> 10px; =
>>> font-family: Monaco;">All tests complete.&nbsp; =
>>> Congratulations.</div></div><div><br></div><br><div>
>>> <span class=3D"Apple-style-span" style=3D"border-collapse: separate; 
>>> =
>>> border-spacing: 0px;"><span class=3D"Apple-style-span" =
>>> style=3D"border-collapse: separate; color: rgb(0, 0, 0); font-family: 
>>> =
>>> Helvetica; font-size: 12px; font-style: normal; font-variant: normal; 
>>> =
>>> font-weight: normal; letter-spacing: normal; line-height: normal; =
>>> orphans: 2; text-indent: 0px; text-transform: none; white-space: 
>>> normal; =
>>> widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; 
>>> =
>>> -webkit-border-vertical-spacing: 0px; =
>>> -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
>>> auto; -webkit-text-stroke-width: 0px; "><div style=3D"word-wrap: =
>>> break-word; -webkit-nbsp-mode: space; -webkit-line-break: =
>>> after-white-space; "><span class=3D"Apple-style-span" =
>>> style=3D"border-collapse: separate; 
>>> -webkit-border-horizontal-spacing: =
>>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: 
>>> none; =
>>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div 
>>> =
>>> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; =
>>> -webkit-line-break: after-white-space; "><span 
>>> class=3D"Apple-style-span" =
>>> style=3D"border-collapse: separate; 
>>> -webkit-border-horizontal-spacing: =
>>> 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); =
>>> font-family: Helvetica; font-size: 12px; font-style: normal; =
>>> font-variant: normal; font-weight: normal; letter-spacing: normal; =
>>> line-height: normal; -webkit-text-decorations-in-effect: none; =
>>> text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: 
>>> none; =
>>> orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; 
>>> "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><span =
>>> class=3D"Apple-style-span" style=3D"border-collapse: separate; =
>>> -webkit-border-horizontal-spacing: 0px; 
>>> -webkit-border-vertical-spacing: =
>>> 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; =
>>> font-style: normal; font-variant: normal; font-weight: normal; =
>>> letter-spacing: normal; line-height: normal; =
>>> -webkit-text-decorations-in-effect: none; text-indent: 0px; =
>>> -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; =
>>> white-space: normal; widows: 2; word-spacing: 0px; "><div><font =
>>> class=3D"Apple-style-span" color=3D"#0000FF"><font =
>>> class=3D"Apple-style-span" face=3D"Gill Sans"><span =
>>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); 
>>> font-family: =
>>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: 
>>> rgb(0, =
>>> 0, 255); font-family: 'Gill Sans'; ">Antony =
>>> Hosking</span></span></font></font><font class=3D"Apple-style-span" =
>>> face=3D"Gill Sans"><span class=3D"Apple-style-span" 
>>> style=3D"font-family: =
>>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"font-family: 
>>> =
>>> 'Gill Sans'; "><span 
>>> class=3D"Apple-converted-space">&nbsp;</span>|<span =
>>> class=3D"Apple-converted-space">&nbsp;</span></span></span><span =
>>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; "><span 
>>> =
>>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; =
>>> ">Associate Professor</span></span><span class=3D"Apple-style-span" =
>>> style=3D"font-family: 'Gill Sans'; "><span class=3D"Apple-style-span" 
>>> =
>>> style=3D"font-family: 'Gill Sans'; ">&nbsp;| Computer Science | 
>>> Purdue =
>>> University</span></span></font></div><div><font 
>>> class=3D"Apple-style-span"=
>>> face=3D"GillSans-Light"><span class=3D"Apple-style-span" =
>>> style=3D"font-family: GillSans-Light; ">305 N. University Street | 
>>> West =
>>> Lafayette | IN 47907 | USA</span></font></div><div><font =
>>> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans"><span 
>>> =
>>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); 
>>> font-family: =
>>> 'Gill Sans'; "><span class=3D"Apple-style-span" style=3D"color: 
>>> rgb(0, =
>>> 0, 255); font-family: 'Gill Sans'; ">Mobile</span></span></font><font 
>>> =
>>> class=3D"Apple-style-span" face=3D"GillSans-Light"><span =
>>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; 
>>> "><span =
>>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; 
>>> "><span =
>>> class=3D"Apple-converted-space">&nbsp;</span>+1 765 427 =
>>> 5484</span></span></font></div><div><font class=3D"Apple-style-span" 
>>> =
>>> face=3D"GillSans-Light"><br =
>>> class=3D"khtml-block-placeholder"></font></div></span></span></span></span=
>>>> </span></span></span><br =
>>> class=3D"Apple-interchange-newline"></span></div></span></div></span><br 
>>> =
>>> class=3D"Apple-interchange-newline"></span><br =
>>> class=3D"Apple-interchange-newline">
>>> </div>
>>> <br></body></html>=
>>> 
>>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863--