<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>The exception is thrown by python's semaphore class. We are using
it to limit the number of tests running concurrently, though I
couldn't see anything obviously wrong with the relevant code. If
possible, could you find out what `python --version` you have?</p>
<p>David E<br>
</p>
<br>
<div class="moz-cite-prefix">On 17/11/18 21:55, Simon Peyton Jones
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:AM0PR83MB03082D90E09F5BE235B75763ADDE0@AM0PR83MB0308.EURPRD83.prod.outlook.com">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<meta name="Generator" content="Microsoft Word 15 (filtered
medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin-top:6.0pt;
margin-right:0cm;
margin-bottom:6.0pt;
margin-left:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
color:black;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
pre
{mso-style-priority:99;
mso-style-link:"HTML Preformatted Char";
margin:0cm;
margin-bottom:.0001pt;
font-size:10.0pt;
font-family:"Courier New";
color:black;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:6.0pt;
margin-right:0cm;
margin-bottom:6.0pt;
margin-left:36.0pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
color:black;
mso-fareast-language:EN-US;}
p.Code, li.Code, div.Code
{mso-style-name:Code;
mso-style-link:"Code Char";
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:9.0pt;
font-family:"Courier New";
color:black;
mso-fareast-language:EN-US;}
span.CodeChar
{mso-style-name:"Code Char";
mso-style-link:Code;
font-family:"Courier New";}
span.HTMLPreformattedChar
{mso-style-name:"HTML Preformatted Char";
mso-style-priority:99;
mso-style-link:"HTML Preformatted";
font-family:Consolas;
color:black;
mso-fareast-language:EN-US;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
color:black;}
span.EmailStyle23
{mso-style-type:personal;
font-family:"Calibri",sans-serif;}
span.EmailStyle24
{mso-style-type:personal;
font-family:"Calibri",sans-serif;}
span.EmailStyle27
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
<div class="WordSection1">
<p class="MsoNormal">Hmm. The second run worked fine. That’s
unhelpful from a debugging point of view, but it means I’m not
stuck!<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Simon<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm
0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #E1E1E1
1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"
style="margin:0cm;margin-bottom:.0001pt"><b><span
style="mso-fareast-language:EN-GB" lang="EN-US">From:</span></b><span
style="mso-fareast-language:EN-GB" lang="EN-US"> Simon
Peyton Jones
<br>
<b>Sent:</b> 17 November 2018 17:57<br>
<b>To:</b> 'David Eichmann'
<a class="moz-txt-link-rfc2396E" href="mailto:davide@well-typed.com"><davide@well-typed.com></a><br>
<b>Cc:</b> <a class="moz-txt-link-abbreviated" href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<b>Subject:</b> RE: More teststuite woes<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I’ll try validating again to see if the
same thing happens.<o:p></o:p></p>
<p class="MsoNormal">Simon<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<div style="border:none;border-left:solid blue
1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #E1E1E1
1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"
style="margin:0cm;margin-bottom:.0001pt"><b><span
style="mso-fareast-language:EN-GB" lang="EN-US">From:</span></b><span
style="mso-fareast-language:EN-GB" lang="EN-US">
David Eichmann <<a
href="mailto:davide@well-typed.com"
moz-do-not-send="true">davide@well-typed.com</a>>
<br>
<b>Sent:</b> 17 November 2018 16:48<br>
<b>To:</b> Simon Peyton Jones <<a
href="mailto:simonpj@microsoft.com"
moz-do-not-send="true">simonpj@microsoft.com</a>><br>
<b>Cc:</b> <a href="mailto:ghc-devs@haskell.org"
moz-do-not-send="true">ghc-devs@haskell.org</a><br>
<b>Subject:</b> Re: More teststuite woes<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p>Hello Simon,<o:p></o:p></p>
<p>I had a quick look into this today, and spoke a bit with
Ben about it. We don't have a clear answer as to what is
causing this at the moment. We'll have to look more into
this early next week.
<o:p></o:p></p>
<p>> It means I can’t validate at all.<o:p></o:p></p>
<p>So you've tried to validate multiple times? I.e. does the
error happen deterministically or was it more of a one off
event?<o:p></o:p></p>
<p>- David E<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<p class="MsoNormal">On 17/11/18 10:05, Simon Peyton Jones
via ghc-devs wrote:<o:p></o:p></p>
</div>
<blockquote style="margin-top:5.0pt;margin-bottom:5.0pt">
<p class="MsoNormal">David<o:p></o:p></p>
<p class="MsoNormal">I got this error on Windows today.
It’s during the testuite run of ‘sh validate’<o:p></o:p></p>
<p class="Code">=====> T7969(normal) 3998 of 6647 [0,
25, 1]<o:p></o:p></p>
<p class="Code">cd
"/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test
spaces/rename/should_compile/T7969.run" && $MAKE
-s --no-print-directory T7969
<o:p></o:p></p>
<p class="Code">=====> T9127(normal) 3999 of 6647 [0,
25, 1]<o:p></o:p></p>
<p class="Code">cd
"/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test
spaces/rename/should_compile/T9127.run" &&
"/c/code/HEAD/bindisttest/install dir/bin/ghc.exe" -c
T9127.hs -dcore-lint -dcmm-lint -no-user-package-db
-rtsopts -fno-warn-missed-specialisations
-fshow-warning-groups -fdiagnostics-color=never
-fno-diagnostics-show-caret -Werror=compat
-dno-debug-output
<o:p></o:p></p>
<p class="Code">=====> T4426(normal) 4000 of 6647 [0,
25, 1]<o:p></o:p></p>
<p class="Code">cd
"/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test
spaces/rename/should_compile/T4426.run" &&
"/c/code/HEAD/bindisttest/install dir/bin/ghc.exe" -c
T4426.hs -dcore-lint -dcmm-lint -no-user-package-db
-rtsopts -fno-warn-missed-specialisations
-fshow-warning-groups -fdiagnostics-color=never
-fno-diagnostics-show-caret -Werror=compat
-dno-debug-output
<o:p></o:p></p>
<p class="Code">cd
"/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test
spaces/rename/should_compile/T5592.run" &&
./T5592
<o:p></o:p></p>
<p class="Code">=====> T9778(normal) 4001 of 6647 [0,
25, 1]<o:p></o:p></p>
<p class="Code">cd
"/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test
spaces/rename/should_compile/T9778.run" &&
"/c/code/HEAD/bindisttest/install dir/bin/ghc.exe" -c
T9778.hs -dcore-lint -dcmm-lint -no-user-package-db
-rtsopts -fno-warn-missed-specialisations
-fshow-warning-groups -fdiagnostics-color=never
-fno-diagnostics-show-caret -Werror=compat
-dno-debug-output -fwarn-unticked-promoted-constructors<o:p></o:p></p>
<p class="Code">=====> T10816(normal) 4002 of 6647 [0,
25, 1]<o:p></o:p></p>
<p class="Code">cd
"/c/Users/simonpj/AppData/Local/Temp/ghctest-b2z6dfqg/test
spaces/rename/should_compile/T10816.run" &&
"/c/code/HEAD/bindisttest/install dir/bin/ghc.exe" -c
T10816.hs -dcore-lint -dcmm-lint -no-user-package-db
-rtsopts -fno-warn-missed-specialisations
-fshow-warning-groups -fdiagnostics-color=never
-fno-diagnostics-show-caret -Werror=compat
-dno-debug-output
<o:p></o:p></p>
<p class="Code">Traceback (most recent call last):<o:p></o:p></p>
<p class="Code"> File "/usr/lib/python3.6/threading.py",
line 426, in acquire<o:p></o:p></p>
<p class="Code"> self._cond.wait(timeout)<o:p></o:p></p>
<p class="Code"> File "/usr/lib/python3.6/threading.py",
line 287, in wait<o:p></o:p></p>
<p class="Code"> raise RuntimeError("cannot wait on
un-acquired lock")<o:p></o:p></p>
<p class="Code"><b><span style="color:red">RuntimeError:
cannot wait on un-acquired lock</span></b><o:p></o:p></p>
<p class="Code"> <o:p></o:p></p>
<p class="Code">During handling of the above exception,
another exception occurred:<o:p></o:p></p>
<p class="Code"> <o:p></o:p></p>
<p class="Code">Traceback (most recent call last):<o:p></o:p></p>
<p class="Code"> File "../driver/runtests.py", line 336,
in <module><o:p></o:p></p>
<p class="Code"> oneTest(watcher)<o:p></o:p></p>
<p class="Code"> File
"/c/code/HEAD/testsuite/driver/testlib.py", line 717, in
<lambda><o:p></o:p></p>
<p class="Code"> thisTest = lambda watcher:
runTest(watcher, myTestOpts, name, func, args)<o:p></o:p></p>
<p class="Code"> File
"/c/code/HEAD/testsuite/driver/testlib.py", line 678, in
runTest<o:p></o:p></p>
<p class="Code"> pool_sema.acquire()<o:p></o:p></p>
<p class="Code"> File "/usr/lib/python3.6/threading.py",
line 429, in acquire<o:p></o:p></p>
<p class="Code"> rc = True<o:p></o:p></p>
<p class="Code"> File "/usr/lib/python3.6/threading.py",
line 243, in __exit__<o:p></o:p></p>
<p class="Code"> return self._lock.__exit__(*args)<o:p></o:p></p>
<p class="Code"><b><span style="color:red">RuntimeError:
release unlocked lock</span></b><o:p></o:p></p>
<p class="Code">make: *** [../mk/test.mk:344: test] Error
1<o:p></o:p></p>
<p class="Code">make: Leaving directory
'/c/code/HEAD/testsuite/tests'<o:p></o:p></p>
<p class="Code">make: Entering directory
'/c/code/HEAD/testsuite/tests/stage1'<o:p></o:p></p>
<p class="MsoNormal"> <o:p></o:p></p>
<p class="MsoNormal">Does this ring any bells. It means I
can’t validate at all.<o:p></o:p></p>
<p class="MsoNormal">Thanks<o:p></o:p></p>
<p class="MsoNormal"> <o:p></o:p></p>
<p class="MsoNormal">Simon<o:p></o:p></p>
<p class="MsoNormal"
style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm"><span
style="mso-fareast-language:EN-GB"><br>
<br>
<o:p></o:p></span></p>
<pre>_______________________________________________<o:p></o:p></pre>
<pre>ghc-devs mailing list<o:p></o:p></pre>
<pre><a href="mailto:ghc-devs@haskell.org" moz-do-not-send="true">ghc-devs@haskell.org</a><o:p></o:p></pre>
<pre><a href="https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-devs&data=02%7C01%7Csimonpj%40microsoft.com%7C2fa86ac0a6a4462dfae308d64cac69e7%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636780700738857953&sdata=JV5yZ1AXzJoKMTYWi8HvgB60DzlKWhGXpxxLtAOZK5U%3D&reserved=0" moz-do-not-send="true">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><o:p></o:p></pre>
</blockquote>
<p class="MsoNormal"
style="margin:0cm;margin-bottom:.0001pt"><span
style="mso-fareast-language:EN-GB"><o:p> </o:p></span></p>
</div>
</div>
</div>
</blockquote>
<br>
</body>
</html>