Re: Two Hoopl questions

2013-07-30 Thread Edward Z. Yang
What happens when you put a loop in your code? Edward Excerpts from Jan Stolarek's message of Tue Jul 30 08:34:44 -0700 2013: I'll allow myself to ask my second question again: 2) In my algorithm I need to initialize all of the blocks in a graph with bottom element of a lattice, except for

Re: Two Hoopl questions

2013-07-26 Thread Edward Z. Yang
Hello Jan, Re (1), there is an important invariant that your transformations should uphold to avoid infinite loops. This invariant is described in the Hoopl paper: • The lattice must have no infinite ascending chains; that is, every sequence of calls to fact_join must eventually return

Re: whitehole_spin: always 0?

2013-07-26 Thread Edward Z. Yang
Excerpts from Patrick Palka's message of Fri Jul 26 14:21:11 -0700 2013: Looks like whitehole_spin is _not_ always 0. Contention just seems to be really rare. I think the paper Parallel Generational-Copying Garbage Collection with a Block-Structured Heap can give some intuition on why

Re: Two Hoopl questions

2013-07-26 Thread Edward Z. Yang
Thank you Edward. I am aware of these requirements - my problem is writing the code in which these will always hold (I'm optimizing Cmm and hand-written Cmm files tend to cause many problems that don't appear in automatically generated Cmm). Having a debugging tool in form of Fuel would

Re: Perf tests which are better than expected on perf builds

2013-07-26 Thread Edward Z. Yang
OK, I ticket-ified this conversation, at some point I'll get around to this. Excerpts from Ian Lynagh's message of Sun Jul 21 03:25:50 -0700 2013: On Sat, Jul 20, 2013 at 11:26:10AM -0700, Edward Z. Yang wrote: These tests have been doing better than expected in the nightlies for some while

Segfault of profiled stage 2 GHC

2013-07-19 Thread Edward Z. Yang
Hey guys, I recently built a profiled GHC and noticed it was segfaulting. Has anyone else built a profiled GHC recently? Edward ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Re: Proposal: provide cas and barriers symbols even without -threaded

2013-07-18 Thread Edward Z. Yang
I want to note something, which is that if we did link in cas/store_load_barrier, then your lockfree queue would always be synchronized, even if you didn't compile with -threaded. Perhaps this is not a big deal, but it is generally nice to not pay the cost of synchronization when it is

Re: Heads up: darcs.haskell.org server changed

2013-07-14 Thread Edward Z. Yang
I think the new box may be missing some software; the pre-commit hooks are persistently failing. Excerpts from Ian Lynagh's message of Sat Jul 13 08:22:06 -0700 2013: On Sat, Jul 13, 2013 at 05:14:59PM +0200, Gabor Greif wrote: On 7/13/13, Ian Lynagh i...@well-typed.com wrote: SSH will

Re: Heads up: darcs.haskell.org server changed

2013-07-14 Thread Edward Z. Yang
I also kicked the GitHub mirroring (manually ran the command so the server key was added to the cache) so it should be working again too. Excerpts from Edward Z. Yang's message of Sun Jul 14 14:33:41 -0700 2013: OK, I patched it over by changing the shebang line to bash. I'll need someone to

Re: Heads up: darcs.haskell.org server changed

2013-07-14 Thread Edward Z. Yang
Hey Ian, can you fix the permissions on /srv/darcs/testsuite.git? Group needs the write bit. (chmod -R g+w /srv/darcs/testsuite.git) Edward Excerpts from Ian Lynagh's message of Sat Jul 13 08:22:06 -0700 2013: On Sat, Jul 13, 2013 at 05:14:59PM +0200, Gabor Greif wrote: On 7/13/13, Ian

Cannot log into darcs.haskell.org

2013-07-12 Thread Edward Z. Yang
Is anyone else seeing this? It seems to just be rejecting my SSH key. Edward ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Re: STM Commentary

2013-05-17 Thread Edward Z. Yang
Excerpts from Ian Lynagh's message of Fri May 17 13:19:00 -0700 2013: Why not put it on http://hackage.haskell.org/trac/ghc/wiki/Commentary/Rts/STM ? If you sign up for an account on the trac then you should be able to edit that page. Agreed! Please put it on the wiki. Thanks, Edward

Re: Registering GHC for Coverity SCAN

2013-05-08 Thread Edward Z. Yang
Austin brings up an interesting point, which is that the last time we had a security vulnerability situation was when it was discovered that CGI scripts could pass +RTS options to Haskell programs and get programs to do things that they shouldn't. And, AFAICT, we haven't ever had any CVEs issued

Re: Turning on -funbox-small-strict-fields by default in GHC 7.8

2013-04-25 Thread Edward Z. Yang
Reboxing would involve a two-word heap allocation. I guess it is not possible to argue that this cost would be amortized somewhere else, so you're right. Edward Excerpts from Johan Tibell's message of Thu Apr 25 16:01:49 -0700 2013: On Thu, Apr 25, 2013 at 1:41 PM, Edward Z. Yang ezy

Re: Per-generation lists of weak pointers

2013-04-20 Thread Edward Z. Yang
In your ticket, you mention this patch introduces a race condition. One possible fix is to have addCFinalizerToWeak# check if the pointer is already dead, and just run the finalizer immediately if it is. I think this preserves the semantics, but this needs to be checked closely. Edward

Re: [PATCH] md5.c: fix a typo in the size argument of memset

2013-04-16 Thread Edward Z. Yang
Pushed, thanks. Edward Excerpts from Michal Terepeta's message of Tue Apr 16 08:25:01 -0700 2013: Hi, Apparently GCC 4.8 has some new warnings that caught a typo in a memset call in libraries/base/cbits/md5.c. Patch attached. Cheers, Michal From

Re: [poll] ghc --make extension

2013-03-29 Thread Edward Z. Yang
Go ahead and open a ticket for this. Excerpts from Sergei Trofimovich's message of Sat Mar 23 23:36:49 -0700 2013: Hi guys! Today I've tried to write a minimal [1] test case for ghc on ia64 (it SIGSEGVs there). The test case consists of a .cmm and some .hs modues. I tried to build them

Re: Could not find 'Prelude'

2013-03-26 Thread Edward Z. Yang
, but perhaps someone should take a look at this, because I doubt I'm the only one who would have the problem. Thanks, Edward! Richard On Mar 26, 2013, at 10:48 PM, Edward Z. Yang ezy...@mit.edu wrote: I bet if you run ghc-pkg check it will say that base is broken due to a missing librts

Re: TICKY_TICKY symbol in rts's C code

2013-03-14 Thread Edward Z. Yang
TICKY_TICKY is the right #def to check, and it should work the straightforward way. Why doesn't #ifdef TICKY_TICKY #define MYBUMP(ctr,n) ctr = ctr + n #else #define MYBUMP(ctr,n) /* nothing */ #endif work? As a trick, you can check and make sure TICKY_TICKY is actually defined by inserting an

Resource limits for Haskell

2013-03-08 Thread Edward Z. Yang
Ever wanted to write this? -- | Forks a thread, but kills it if it has more than 'limit' -- bytes resident on the heap. forkIOWithSpaceLimit :: IO () - {- limit -} Int - IO ThreadId I have a proposal (and some unpublished experimental patches) which do just that. Check it out at:

Re: Resource limits for Haskell

2013-03-08 Thread Edward Z. Yang
Excerpts from Alexander Kjeldaas's message of Fri Mar 08 01:09:27 -0800 2013: The API has ccsDynamic, while the example uses newCostCentreStack. Oops, fixed. (Added the newCostCentreStack helper function). Would it be possible to attach a listener to GC-events and dynamically adjust the

Re: Resource limits for Haskell

2013-03-08 Thread Edward Z. Yang
Excerpts from Alexander Kjeldaas's message of Fri Mar 08 01:32:50 -0800 2013: Regarding timely, can this be exploited by a Safe Haskell tenant to obstruct invocation of the listener to exceed resource limits? Are there any guarantees that can be given? With the current scheduler

Re: Resource limits for Haskell

2013-03-08 Thread Edward Z. Yang
Excerpts from Andrew Adams-Moran's message of Fri Mar 08 07:01:29 -0800 2013: This would correspond to the ability to freeze Haskell threads in mid-execution; no MVar blocking necessary. This is not possible with the current RTS. I don't know how hard it would be to do. We have a way to

RE: I can't clone

2013-03-01 Thread Edward Z. Yang
They're symlinked together, so there's no difference. Excerpts from Simon Peyton-Jones's message of Fri Mar 01 09:49:24 -0800 2013: On the path through todays pain I ended up looking at lots of git config files. I thought the libraries were in http://darcs.haskell.org/packages, but they

<    1   2   3   4