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: 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? 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 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: 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 > >charset=3Dus-ascii">-webkit-nbsp-mode: space; -webkit-line-break: = >after-white-space;">
The version of ThreadPThread I just checked in = >passes the threadtest stress test on OSX with no = >failures:

10px; font-family: Monaco;">Writing file...done
0px; font-size: 10px; font-family: Monaco;">Creating read = >threads...done
font-family: Monaco;">Creating fork threads...done
style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating = >alloc threads...done
font-family: Monaco;">Creating lock threads...done
style=3D"margin: 0px; font-size: 10px; font-family: = >Monaco;">running...printing oldest/median age/newest
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
font-family: Monaco;">All tests complete.  = >Congratulations.


>border-spacing: 0px;">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; ">
break-word; -webkit-nbsp-mode: space; -webkit-line-break: = >after-white-space; ">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; ">
style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; = >-webkit-line-break: after-white-space; ">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; ">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; ">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; ">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; ">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; ">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; ">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; ">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; ">
class=3D"Apple-style-span" color=3D"#0000FF">class=3D"Apple-style-span" face=3D"Gill Sans">class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >'Gill Sans'; ">0, 255); font-family: 'Gill Sans'; ">Antony = >Hoskingface=3D"Gill Sans">'Gill Sans'; ">'Gill Sans'; "> |class=3D"Apple-converted-space"> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; ">class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; = >">Associate Professorstyle=3D"font-family: 'Gill Sans'; ">style=3D"font-family: 'Gill Sans'; "> | Computer Science | Purdue = >University
face=3D"GillSans-Light">style=3D"font-family: GillSans-Light; ">305 N. University Street | West = >Lafayette | IN 47907 | USA
class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans">class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >'Gill Sans'; ">0, 255); font-family: 'Gill Sans'; ">Mobileclass=3D"Apple-style-span" face=3D"GillSans-Light">class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">class=3D"Apple-converted-space"> +1 765 427 = >5484
face=3D"GillSans-Light">
class=3D"khtml-block-placeholder">
>

class=3D"Apple-interchange-newline">

class=3D"Apple-interchange-newline">

class=3D"Apple-interchange-newline"> >
>
= > >--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: References: <24640F73-4FCA-4B99-A858-0091C9D60F0C@m3w.org> <20140827234947.GA686@topoi.pooq.com> 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: 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 >> >> > charset=3Dus-ascii">> -webkit-nbsp-mode: space; -webkit-line-break: = >> after-white-space;">
The version of ThreadPThread I just checked in = >> passes the threadtest stress test on OSX with no = >> failures:

> 10px; font-family: Monaco;">Writing file...done
> 0px; font-size: 10px; font-family: Monaco;">Creating read = >> threads...done
> font-family: Monaco;">Creating fork threads...done
> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating = >> alloc threads...done
> font-family: Monaco;">Creating lock threads...done
> style=3D"margin: 0px; font-size: 10px; font-family: = >> Monaco;">running...printing oldest/median age/newest
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> font-family: Monaco;">All tests complete.  = >> Congratulations.


>> > border-spacing: 0px;">> 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; ">
> break-word; -webkit-nbsp-mode: space; -webkit-line-break: = >> after-white-space; ">> 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; ">
> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; = >> -webkit-line-break: after-white-space; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">
> class=3D"Apple-style-span" color=3D"#0000FF">> class=3D"Apple-style-span" face=3D"Gill Sans">> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >> 'Gill Sans'; ">> 0, 255); font-family: 'Gill Sans'; ">Antony = >> Hosking> face=3D"Gill Sans">> 'Gill Sans'; ">> 'Gill Sans'; "> |> class=3D"Apple-converted-space"> > class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; ">> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; = >> ">Associate Professor> style=3D"font-family: 'Gill Sans'; ">> style=3D"font-family: 'Gill Sans'; "> | Computer Science | Purdue = >> University
> face=3D"GillSans-Light">> style=3D"font-family: GillSans-Light; ">305 N. University Street | West = >> Lafayette | IN 47907 | USA
> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans">> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >> 'Gill Sans'; ">> 0, 255); font-family: 'Gill Sans'; ">Mobile> class=3D"Apple-style-span" face=3D"GillSans-Light">> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">> class=3D"Apple-converted-space"> +1 765 427 = >> 5484
> face=3D"GillSans-Light">
> class=3D"khtml-block-placeholder">
>>

> class=3D"Apple-interchange-newline">

> class=3D"Apple-interchange-newline">

> class=3D"Apple-interchange-newline"> >>
>>
= >> >> --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: 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: References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu> <20140907103338.0F0021A2098@async.async.caltech.edu> 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 >>> >>> >> charset=3Dus-ascii">>> -webkit-nbsp-mode: space; -webkit-line-break: = >>> after-white-space;">
The version of ThreadPThread I just checked >>> in = >>> passes the threadtest stress test on OSX with no = >>> failures:

>> font-size: = >>> 10px; font-family: Monaco;">Writing file...done
>> style=3D"margin:= >>> 0px; font-size: 10px; font-family: Monaco;">Creating read = >>> threads...done
>> font-family: Monaco;">Creating fork threads...done
>> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating >>> = >>> alloc threads...done
>> = >>> font-family: Monaco;">Creating lock threads...done
>> style=3D"margin: 0px; font-size: 10px; font-family: = >>> Monaco;">running...printing oldest/median age/newest
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 10px; = >>> font-family: Monaco;">All tests complete.  = >>> Congratulations.


>>> >> = >>> border-spacing: 0px;">>> 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; ">
>> break-word; -webkit-nbsp-mode: space; -webkit-line-break: = >>> after-white-space; ">>> 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; ">
>> = >>> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; = >>> -webkit-line-break: after-white-space; ">>> 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; >>> ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">
>> class=3D"Apple-style-span" color=3D"#0000FF">>> class=3D"Apple-style-span" face=3D"Gill Sans">>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); >>> font-family: = >>> 'Gill Sans'; ">>> rgb(0, = >>> 0, 255); font-family: 'Gill Sans'; ">Antony = >>> Hosking>> face=3D"Gill Sans">>> style=3D"font-family: = >>> 'Gill Sans'; ">>> = >>> 'Gill Sans'; ">>> class=3D"Apple-converted-space"> |>> class=3D"Apple-converted-space"> >> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; ">>> = >>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; = >>> ">Associate Professor>> style=3D"font-family: 'Gill Sans'; ">>> = >>> style=3D"font-family: 'Gill Sans'; "> | Computer Science | >>> Purdue = >>> University
>> class=3D"Apple-style-span"= >>> face=3D"GillSans-Light">>> style=3D"font-family: GillSans-Light; ">305 N. University Street | >>> West = >>> Lafayette | IN 47907 | USA
>> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans">>> = >>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); >>> font-family: = >>> 'Gill Sans'; ">>> rgb(0, = >>> 0, 255); font-family: 'Gill Sans'; ">Mobile>> = >>> class=3D"Apple-style-span" face=3D"GillSans-Light">>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; >>> ">>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; >>> ">>> class=3D"Apple-converted-space"> +1 765 427 = >>> 5484
>> = >>> face=3D"GillSans-Light">
>> class=3D"khtml-block-placeholder">
>>>

>> class=3D"Apple-interchange-newline">

>> = >>> class=3D"Apple-interchange-newline">

>> class=3D"Apple-interchange-newline"> >>>
>>>
= >>> >>> --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: 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? 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 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: 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 > >charset=3Dus-ascii">-webkit-nbsp-mode: space; -webkit-line-break: = >after-white-space;">
The version of ThreadPThread I just checked in = >passes the threadtest stress test on OSX with no = >failures:

10px; font-family: Monaco;">Writing file...done
0px; font-size: 10px; font-family: Monaco;">Creating read = >threads...done
font-family: Monaco;">Creating fork threads...done
style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating = >alloc threads...done
font-family: Monaco;">Creating lock threads...done
style=3D"margin: 0px; font-size: 10px; font-family: = >Monaco;">running...printing oldest/median age/newest
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
font-family: Monaco;">All tests complete.  = >Congratulations.


>border-spacing: 0px;">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; ">
break-word; -webkit-nbsp-mode: space; -webkit-line-break: = >after-white-space; ">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; ">
style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; = >-webkit-line-break: after-white-space; ">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; ">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; ">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; ">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; ">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; ">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; ">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; ">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; ">
class=3D"Apple-style-span" color=3D"#0000FF">class=3D"Apple-style-span" face=3D"Gill Sans">class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >'Gill Sans'; ">0, 255); font-family: 'Gill Sans'; ">Antony = >Hoskingface=3D"Gill Sans">'Gill Sans'; ">'Gill Sans'; "> |class=3D"Apple-converted-space"> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; ">class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; = >">Associate Professorstyle=3D"font-family: 'Gill Sans'; ">style=3D"font-family: 'Gill Sans'; "> | Computer Science | Purdue = >University
face=3D"GillSans-Light">style=3D"font-family: GillSans-Light; ">305 N. University Street | West = >Lafayette | IN 47907 | USA
class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans">class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >'Gill Sans'; ">0, 255); font-family: 'Gill Sans'; ">Mobileclass=3D"Apple-style-span" face=3D"GillSans-Light">class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">class=3D"Apple-converted-space"> +1 765 427 = >5484
face=3D"GillSans-Light">
class=3D"khtml-block-placeholder">
>

class=3D"Apple-interchange-newline">

class=3D"Apple-interchange-newline">

class=3D"Apple-interchange-newline"> >
>
= > >--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: References: <24640F73-4FCA-4B99-A858-0091C9D60F0C@m3w.org> <20140827234947.GA686@topoi.pooq.com> 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: 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 >> >> > charset=3Dus-ascii">> -webkit-nbsp-mode: space; -webkit-line-break: = >> after-white-space;">
The version of ThreadPThread I just checked in = >> passes the threadtest stress test on OSX with no = >> failures:

> 10px; font-family: Monaco;">Writing file...done
> 0px; font-size: 10px; font-family: Monaco;">Creating read = >> threads...done
> font-family: Monaco;">Creating fork threads...done
> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating = >> alloc threads...done
> font-family: Monaco;">Creating lock threads...done
> style=3D"margin: 0px; font-size: 10px; font-family: = >> Monaco;">running...printing oldest/median age/newest
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> font-family: Monaco;">All tests complete.  = >> Congratulations.


>> > border-spacing: 0px;">> 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; ">
> break-word; -webkit-nbsp-mode: space; -webkit-line-break: = >> after-white-space; ">> 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; ">
> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; = >> -webkit-line-break: after-white-space; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">
> class=3D"Apple-style-span" color=3D"#0000FF">> class=3D"Apple-style-span" face=3D"Gill Sans">> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >> 'Gill Sans'; ">> 0, 255); font-family: 'Gill Sans'; ">Antony = >> Hosking> face=3D"Gill Sans">> 'Gill Sans'; ">> 'Gill Sans'; "> |> class=3D"Apple-converted-space"> > class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; ">> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; = >> ">Associate Professor> style=3D"font-family: 'Gill Sans'; ">> style=3D"font-family: 'Gill Sans'; "> | Computer Science | Purdue = >> University
> face=3D"GillSans-Light">> style=3D"font-family: GillSans-Light; ">305 N. University Street | West = >> Lafayette | IN 47907 | USA
> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans">> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >> 'Gill Sans'; ">> 0, 255); font-family: 'Gill Sans'; ">Mobile> class=3D"Apple-style-span" face=3D"GillSans-Light">> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">> class=3D"Apple-converted-space"> +1 765 427 = >> 5484
> face=3D"GillSans-Light">
> class=3D"khtml-block-placeholder">
>>

> class=3D"Apple-interchange-newline">

> class=3D"Apple-interchange-newline">

> class=3D"Apple-interchange-newline"> >>
>>
= >> >> --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: 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: References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu> <20140907103338.0F0021A2098@async.async.caltech.edu> 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 >>> >>> >> charset=3Dus-ascii">>> -webkit-nbsp-mode: space; -webkit-line-break: = >>> after-white-space;">
The version of ThreadPThread I just checked >>> in = >>> passes the threadtest stress test on OSX with no = >>> failures:

>> font-size: = >>> 10px; font-family: Monaco;">Writing file...done
>> style=3D"margin:= >>> 0px; font-size: 10px; font-family: Monaco;">Creating read = >>> threads...done
>> font-family: Monaco;">Creating fork threads...done
>> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating >>> = >>> alloc threads...done
>> = >>> font-family: Monaco;">Creating lock threads...done
>> style=3D"margin: 0px; font-size: 10px; font-family: = >>> Monaco;">running...printing oldest/median age/newest
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 10px; = >>> font-family: Monaco;">All tests complete.  = >>> Congratulations.


>>> >> = >>> border-spacing: 0px;">>> 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; ">
>> break-word; -webkit-nbsp-mode: space; -webkit-line-break: = >>> after-white-space; ">>> 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; ">
>> = >>> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; = >>> -webkit-line-break: after-white-space; ">>> 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; >>> ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">
>> class=3D"Apple-style-span" color=3D"#0000FF">>> class=3D"Apple-style-span" face=3D"Gill Sans">>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); >>> font-family: = >>> 'Gill Sans'; ">>> rgb(0, = >>> 0, 255); font-family: 'Gill Sans'; ">Antony = >>> Hosking>> face=3D"Gill Sans">>> style=3D"font-family: = >>> 'Gill Sans'; ">>> = >>> 'Gill Sans'; ">>> class=3D"Apple-converted-space"> |>> class=3D"Apple-converted-space"> >> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; ">>> = >>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; = >>> ">Associate Professor>> style=3D"font-family: 'Gill Sans'; ">>> = >>> style=3D"font-family: 'Gill Sans'; "> | Computer Science | >>> Purdue = >>> University
>> class=3D"Apple-style-span"= >>> face=3D"GillSans-Light">>> style=3D"font-family: GillSans-Light; ">305 N. University Street | >>> West = >>> Lafayette | IN 47907 | USA
>> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans">>> = >>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); >>> font-family: = >>> 'Gill Sans'; ">>> rgb(0, = >>> 0, 255); font-family: 'Gill Sans'; ">Mobile>> = >>> class=3D"Apple-style-span" face=3D"GillSans-Light">>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; >>> ">>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; >>> ">>> class=3D"Apple-converted-space"> +1 765 427 = >>> 5484
>> = >>> face=3D"GillSans-Light">
>> class=3D"khtml-block-placeholder">
>>>

>> class=3D"Apple-interchange-newline">

>> = >>> class=3D"Apple-interchange-newline">

>> class=3D"Apple-interchange-newline"> >>>
>>>
= >>> >>> --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: 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? 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 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: 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 > >charset=3Dus-ascii">-webkit-nbsp-mode: space; -webkit-line-break: = >after-white-space;">
The version of ThreadPThread I just checked in = >passes the threadtest stress test on OSX with no = >failures:

10px; font-family: Monaco;">Writing file...done
0px; font-size: 10px; font-family: Monaco;">Creating read = >threads...done
font-family: Monaco;">Creating fork threads...done
style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating = >alloc threads...done
font-family: Monaco;">Creating lock threads...done
style=3D"margin: 0px; font-size: 10px; font-family: = >Monaco;">running...printing oldest/median age/newest
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
font-family: Monaco;">All tests complete.  = >Congratulations.


>border-spacing: 0px;">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; ">
break-word; -webkit-nbsp-mode: space; -webkit-line-break: = >after-white-space; ">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; ">
style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; = >-webkit-line-break: after-white-space; ">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; ">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; ">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; ">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; ">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; ">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; ">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; ">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; ">
class=3D"Apple-style-span" color=3D"#0000FF">class=3D"Apple-style-span" face=3D"Gill Sans">class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >'Gill Sans'; ">0, 255); font-family: 'Gill Sans'; ">Antony = >Hoskingface=3D"Gill Sans">'Gill Sans'; ">'Gill Sans'; "> |class=3D"Apple-converted-space"> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; ">class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; = >">Associate Professorstyle=3D"font-family: 'Gill Sans'; ">style=3D"font-family: 'Gill Sans'; "> | Computer Science | Purdue = >University
face=3D"GillSans-Light">style=3D"font-family: GillSans-Light; ">305 N. University Street | West = >Lafayette | IN 47907 | USA
class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans">class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >'Gill Sans'; ">0, 255); font-family: 'Gill Sans'; ">Mobileclass=3D"Apple-style-span" face=3D"GillSans-Light">class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">class=3D"Apple-converted-space"> +1 765 427 = >5484
face=3D"GillSans-Light">
class=3D"khtml-block-placeholder">
>

class=3D"Apple-interchange-newline">

class=3D"Apple-interchange-newline">

class=3D"Apple-interchange-newline"> >
>
= > >--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: References: <24640F73-4FCA-4B99-A858-0091C9D60F0C@m3w.org> <20140827234947.GA686@topoi.pooq.com> 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: 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 >> >> > charset=3Dus-ascii">> -webkit-nbsp-mode: space; -webkit-line-break: = >> after-white-space;">
The version of ThreadPThread I just checked in = >> passes the threadtest stress test on OSX with no = >> failures:

> 10px; font-family: Monaco;">Writing file...done
> 0px; font-size: 10px; font-family: Monaco;">Creating read = >> threads...done
> font-family: Monaco;">Creating fork threads...done
> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating = >> alloc threads...done
> font-family: Monaco;">Creating lock threads...done
> style=3D"margin: 0px; font-size: 10px; font-family: = >> Monaco;">running...printing oldest/median age/newest
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> 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)
> font-family: Monaco;">All tests complete.  = >> Congratulations.


>> > border-spacing: 0px;">> 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; ">
> break-word; -webkit-nbsp-mode: space; -webkit-line-break: = >> after-white-space; ">> 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; ">
> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; = >> -webkit-line-break: after-white-space; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">> 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; ">
> class=3D"Apple-style-span" color=3D"#0000FF">> class=3D"Apple-style-span" face=3D"Gill Sans">> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >> 'Gill Sans'; ">> 0, 255); font-family: 'Gill Sans'; ">Antony = >> Hosking> face=3D"Gill Sans">> 'Gill Sans'; ">> 'Gill Sans'; "> |> class=3D"Apple-converted-space"> > class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; ">> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; = >> ">Associate Professor> style=3D"font-family: 'Gill Sans'; ">> style=3D"font-family: 'Gill Sans'; "> | Computer Science | Purdue = >> University
> face=3D"GillSans-Light">> style=3D"font-family: GillSans-Light; ">305 N. University Street | West = >> Lafayette | IN 47907 | USA
> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans">> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); font-family: = >> 'Gill Sans'; ">> 0, 255); font-family: 'Gill Sans'; ">Mobile> class=3D"Apple-style-span" face=3D"GillSans-Light">> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; ">> class=3D"Apple-converted-space"> +1 765 427 = >> 5484
> face=3D"GillSans-Light">
> class=3D"khtml-block-placeholder">
>>

> class=3D"Apple-interchange-newline">

> class=3D"Apple-interchange-newline">

> class=3D"Apple-interchange-newline"> >>
>>
= >> >> --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: 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: References: <72167C21-41C9-41E5-AFEA-E91BF9C738FF@cs.purdue.edu> <20140907103338.0F0021A2098@async.async.caltech.edu> 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 >>> >>> >> charset=3Dus-ascii">>> -webkit-nbsp-mode: space; -webkit-line-break: = >>> after-white-space;">
The version of ThreadPThread I just checked >>> in = >>> passes the threadtest stress test on OSX with no = >>> failures:

>> font-size: = >>> 10px; font-family: Monaco;">Writing file...done
>> style=3D"margin:= >>> 0px; font-size: 10px; font-family: Monaco;">Creating read = >>> threads...done
>> font-family: Monaco;">Creating fork threads...done
>> style=3D"margin: 0px; font-size: 10px; font-family: Monaco;">Creating >>> = >>> alloc threads...done
>> = >>> font-family: Monaco;">Creating lock threads...done
>> style=3D"margin: 0px; font-size: 10px; font-family: = >>> Monaco;">running...printing oldest/median age/newest
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 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)
>> 10px; = >>> font-family: Monaco;">All tests complete.  = >>> Congratulations.


>>> >> = >>> border-spacing: 0px;">>> 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; ">
>> break-word; -webkit-nbsp-mode: space; -webkit-line-break: = >>> after-white-space; ">>> 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; ">
>> = >>> style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; = >>> -webkit-line-break: after-white-space; ">>> 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; >>> ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">>> 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; ">
>> class=3D"Apple-style-span" color=3D"#0000FF">>> class=3D"Apple-style-span" face=3D"Gill Sans">>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); >>> font-family: = >>> 'Gill Sans'; ">>> rgb(0, = >>> 0, 255); font-family: 'Gill Sans'; ">Antony = >>> Hosking>> face=3D"Gill Sans">>> style=3D"font-family: = >>> 'Gill Sans'; ">>> = >>> 'Gill Sans'; ">>> class=3D"Apple-converted-space"> |>> class=3D"Apple-converted-space"> >> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; ">>> = >>> class=3D"Apple-style-span" style=3D"font-family: 'Gill Sans'; = >>> ">Associate Professor>> style=3D"font-family: 'Gill Sans'; ">>> = >>> style=3D"font-family: 'Gill Sans'; "> | Computer Science | >>> Purdue = >>> University
>> class=3D"Apple-style-span"= >>> face=3D"GillSans-Light">>> style=3D"font-family: GillSans-Light; ">305 N. University Street | >>> West = >>> Lafayette | IN 47907 | USA
>> class=3D"Apple-style-span" color=3D"#0000FF" face=3D"Gill Sans">>> = >>> class=3D"Apple-style-span" style=3D"color: rgb(0, 0, 255); >>> font-family: = >>> 'Gill Sans'; ">>> rgb(0, = >>> 0, 255); font-family: 'Gill Sans'; ">Mobile>> = >>> class=3D"Apple-style-span" face=3D"GillSans-Light">>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; >>> ">>> class=3D"Apple-style-span" style=3D"font-family: GillSans-Light; >>> ">>> class=3D"Apple-converted-space"> +1 765 427 = >>> 5484
>> = >>> face=3D"GillSans-Light">
>> class=3D"khtml-block-placeholder">
>>>

>> class=3D"Apple-interchange-newline">

>> = >>> class=3D"Apple-interchange-newline">

>> class=3D"Apple-interchange-newline"> >>>
>>>
= >>> >>> --Apple-Mail=_483BE841-4972-4BFD-8336-BD261CD93863--