Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar | Owner: Type: task | Status: new Priority: high | Milestone: 7.8.1 Component: GHCi | Version: 6.10.4 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby: 5987 |Blocking: 781, 1883, 2283, 3242, 5435, 7097, 7134, 7207 Related:| -+-- Changes (by igloo): * blocking: 781, 1883, 2283, 3242, 7097, 7134, 7207 = 781, 1883, 2283, 3242, 5435, 7097, 7134, 7207 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar | Owner: Type: task | Status: new Priority: high | Milestone: 7.8.1 Component: GHCi | Version: 6.10.4 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby: 5987 |Blocking: 781, 1883, 2283, 3242, 7097, 7134, 7207 Related:| -+-- Comment(by simonmar): Problem 3 is that Cabal doesn't track ways properly yet, although hopefully the [wiki:GSocMultipleInstances] project will address that. I quite like the idea of building `.o` and `.dyn_o` at the same time, and sharing the `.hi` file between the two. That would at least reduce the pain of having to build things twice. This could then be the default mode of compilation in Cabal. I still think the right way to fix this is to enable `-dynamic` by default on Unix systems (pending some performance measurements), after we have fixed Cabal to track ways. On Windows, Ian's idea of building with `-dynamic` but linking statically sounds interesting. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar | Owner: Type: task | Status: new Priority: high | Milestone: 7.6.1 Component: GHCi | Version: 6.10.4 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby:|Blocking: 781 Related:| -+-- Comment(by igloo): I think this is where we are: * Dynamically linking GHC is relatively easy (compared to dynamically linking executables in general). GHC already ships with the actual dynamic libraries, so we can use assemblies on Windows, $ORIGIN on ELF and @loader_path on OS X to find the dynlibs with a relative path. * To load .o files in the working directory compiled by the user, ghci can link them into a DLL in /tmp and then dlopen that DLL * Problem 1: The .o files in the working directory would need to be built the dyn way * Problem 2: #5987: There are currently too many symbols to make a ghc DLL on Windows One solution (easy to implement, but not very user-friendly) to problem 1 would be to require that users use -dynamic when compiling things they want ghci to be able to use. Perhaps another would be for ghc to make both `.o` and `.dyn_o` by default. I think the two ways are identical apart from the final codegen phase. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar | Owner: Type: task | Status: new Priority: high | Milestone: 7.6.1 Component: GHCi | Version: 6.10.4 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby:|Blocking: 781, 7207 Related:| -+-- Changes (by igloo): * blocking: 781 = 781, 7207 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar | Owner: Type: task | Status: new Priority: high | Milestone: 7.6.1 Component: GHCi | Version: 6.10.4 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby: 5987 |Blocking: 781, 1883, 2283, 3242, 7097, 7134, 7207 Related:| -+-- Changes (by igloo): * blocking: 781, 7207 = 781, 1883, 2283, 3242, 7097, 7134, 7207 * blockedby: = 5987 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar | Owner: Type: task | Status: new Priority: high | Milestone: 7.8.1 Component: GHCi | Version: 6.10.4 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby: 5987 |Blocking: 781, 1883, 2283, 3242, 7097, 7134, 7207 Related:| -+-- Changes (by igloo): * milestone: 7.6.1 = 7.8.1 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar |Owner: Type: task | Status: new Priority: high |Milestone: 7.6.1 Component: GHCi | Version: 6.10.4 Keywords:| Testcase: Blockedby:| Difficulty: Unknown Os: Unknown/Multiple | Blocking: 781 Architecture: Unknown/Multiple | Failure: None/Unknown -+-- Changes (by igloo): * milestone: 7.4.1 = 7.6.1 Comment: Punting. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar |Owner: Type: task | Status: new Priority: high |Milestone: 7.4.1 Component: GHCi | Version: 6.10.4 Keywords:| Testcase: Blockedby:| Difficulty: Unknown Os: Unknown/Multiple | Blocking: 781 Architecture: Unknown/Multiple | Failure: None/Unknown -+-- Changes (by dterei): * cc: dterei (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar |Owner: Type: task | Status: new Priority: high |Milestone: 7.2.1 Component: GHCi | Version: 6.10.4 Keywords:| Testcase: Blockedby:| Difficulty: Unknown Os: Unknown/Multiple | Blocking: 781 Architecture: Unknown/Multiple | Failure: None/Unknown -+-- Comment(by simonmar): This has just become more important since we ran into an arbitrary limit in the OS X object file format: [http://www.haskell.org/pipermail/cvs- ghc/2010-September/055908.html]. Here's a rough plan of action: * measure the performance impact of dynamic linking. If the impact is too much, fixing that is a blocking issue. We can't ship a separate static GHC binary, because GHC needs to use TH, so GHC itself has to be dynamic. * make a build system switch to enable dynamic-by-default * make GHC report whether it is a dynamic-default compiler, in the --info output. * modify Cabal to use --enable-*-dynamic and --disable-library-vanilla, if GHC is dynamic. * implement loading of object files by first calling 'gcc -shared' (or equiv. ld command line), and then `dlopen()`. Measure the performance impact of that. Figure out whether we need to cache the results of `gcc -shared` or regenerate them into `$TMPDIR` each time. * enable dynamic-by-default for some platforms. * Later: we need to track ways properly in Cabal and the package database. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar |Owner: Type: task | Status: new Priority: high |Milestone: 7.2.1 Component: GHCi | Version: 6.10.4 Keywords:| Testcase: Blockedby:| Difficulty: Unknown Os: Unknown/Multiple | Blocking: 781 Architecture: Unknown/Multiple | Failure: None/Unknown -+-- Comment(by simonmar): Furthermore: * If the user mentions a .c file on the command line, we have to compile that with `-fPIC` too. The same goes for our `_stub` files. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar |Owner: Type: task | Status: new Priority: high |Milestone: 7.2.1 Component: GHCi | Version: 6.10.4 Keywords:| Testcase: Blockedby:| Difficulty: Unknown Os: Unknown/Multiple | Blocking: Architecture: Unknown/Multiple | Failure: None/Unknown -+-- Changes (by simonpj): * milestone: 7.0.1 = 7.2.1 Comment: Bumping this to 7.2. We just aren't going to get this done for 7.0. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it
-+--
Reporter: simonmar |Owner:
Type: task | Status: new
Priority: high |Milestone: 6.14.1
Component: GHCi | Version: 6.10.4
Keywords:| Difficulty: Unknown
Os: Unknown/Multiple | Testcase:
Architecture: Unknown/Multiple | Failure: None/Unknown
-+--
Comment(by simonmar):
Some progress towards this:
{{{
Wed Apr 28 21:52:41 BST 2010 Simon Marlow marlo...@gmail.com
* Add $(GhcDynamic) knob, set to YES to get stage2 linked with -dynamic
Default currently NO.
Validate passed with GhcDynamic=YES on x86/Linux here.
The compiler is currently slower on x86 when linked -dynamic,
because the GC inner loop has been adversely affected by -fPIC, I'm
looking into how to fix it.
}}}
The compiler really is slower when linked dynamically, at least on x86,
because of the overhead of `-fPIC` - the GC is significantly slower. I
looked into it but didn't find a way to fix it. We might have to ship
separate GHC and GHCi binaries on x86; I expect this to be better on
x86_64, but haven't measured it yet.
Currently, Cabal doesn't build packages dynamically by default, and this
will become an accute issue when GHCi is linked dynamically. We need to
do the package system changes needed to register each way separately, so
that 'cabal install --enable-dynamic' works properly. Either that or
Cabal has to enable dynamic by default.
GHCi is quicker to start up when dynamically linked: 0.1s vs. 0.23s.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:4
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it -+-- Reporter: simonmar |Owner: Type: task | Status: new Priority: high |Milestone: 6.14.1 Component: GHCi | Version: 6.10.4 Keywords:| Difficulty: Unknown Os: Unknown/Multiple | Testcase: Architecture: Unknown/Multiple | Failure: None/Unknown -+-- Changes (by PHO): * cc: p...@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it ---+ Reporter: simonmar | Owner: Type: task | Status: new Priority: high | Milestone: 6.14.1 Component: GHCi |Version: 6.10.4 Resolution:| Keywords: Difficulty: Unknown | Os: Unknown/Multiple Testcase:| Architecture: Unknown/Multiple Failure: None/Unknown | ---+ Changes (by hgolden): * cc: howard_b_gol...@yahoo.com (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3658: Dynamically link GHCi on platforms that support it
#3658: Dynamically link GHCi on platforms that support it ---+ Reporter: simonmar | Owner: Type: task | Status: new Priority: high | Milestone: 6.14.1 Component: GHCi |Version: 6.10.4 Resolution:| Keywords: Difficulty: Unknown | Os: Unknown/Multiple Testcase:| Architecture: Unknown/Multiple Failure: None/Unknown | ---+ Changes (by morrow): * cc: mor...@moonpatio.com (added) * failure: = None/Unknown -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3658#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
