<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head><body bgcolor="#FFFFFF" text="#000000">I just took a look at the
implementation and it looks like you are right Cheng.<br>
<br>
I opened a ticket here: <a
href="https://gitlab.haskell.org/ghc/ghc/issues/17893">https://gitlab.haskell.org/ghc/ghc/issues/17893</a><br>
<br>
<br>
<span>Carter Schonwald schrieb am 02.03.2020 um 06:27:</span><br>
<blockquote type="cite"
cite="mid:CAHYVw0x2L5Roz9Yv5HxfxNALU3tLffzBa_gBzuQn3_jk40_XNw@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<div><div dir="auto">The simplest way to answer this is if you can
help us construct a program, whether as Haskell or cmm, which tickles
the failure you suspect is there ? </div></div>
<div dir="auto"><br></div>
<div dir="auto">The rts definitely gets less love overall. And
there’s fewer folks involved in those layers overall. </div>
<div dir="auto"><br></div>
<div dir="auto"><br></div>
<div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On
Wed, Feb 26, 2020 at 10:03 AM Shao, Cheng <<a
href="mailto:cheng.shao@tweag.io" moz-do-not-send="true">cheng.shao@tweag.io</a>>
wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
<br>
When an MVar# primop blocks, it jumps to a function in<br>
HeapStackCheck.cmm which pushes a RET_SMALL stack frame before<br>
returning to the scheduler (e.g. the takeMVar# primop jumps to<br>
stg_block_takemvar for stack adjustment). But these functions directly<br>
bump Sp without checking for possible stack overflow, I wonder if it<br>
is a bug?<br>
<br>
Cheers,<br>
Cheng<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank"
moz-do-not-send="true">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs"
rel="noreferrer" target="_blank" moz-do-not-send="true">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br></blockquote></div></div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
ghc-devs mailing list
<a class="moz-txt-link-abbreviated" href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>
</pre>
</blockquote>
<br>
</body></html>