From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 1C566BB81 for ; Wed, 28 Dec 2005 10:15:26 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jBS9FPCO015991 for ; Wed, 28 Dec 2005 10:15:25 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA05043 for ; Wed, 28 Dec 2005 10:15:24 +0100 (MET) Received: from smtp8.wanadoo.fr (smtp8.wanadoo.fr [193.252.22.23]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jBS9FO2x015983 for ; Wed, 28 Dec 2005 10:15:24 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf0804.wanadoo.fr (SMTP Server) with ESMTP id 87D0B1C0039A for ; Wed, 28 Dec 2005 10:15:24 +0100 (CET) Received: from pegasos (AStrasbourg-251-1-13-240.w82-126.abo.wanadoo.fr [82.126.203.240]) by mwinf0804.wanadoo.fr (SMTP Server) with ESMTP id 6B2341C00386; Wed, 28 Dec 2005 10:15:24 +0100 (CET) X-ME-UUID: 20051228091524438.6B2341C00386@mwinf0804.wanadoo.fr Received: from sven by pegasos with local (Exim 4.50) id 1ErXON-0003Mi-V0; Wed, 28 Dec 2005 10:14:43 +0100 Date: Wed, 28 Dec 2005 10:14:37 +0100 To: Xavier Leroy Cc: skaller , caml-list@inria.fr Subject: Re: [Caml-list] PIC Message-ID: <20051228091437.GA12864@localhost.localdomain> References: <1135476423.28426.45.camel@rosella> <43B1116C.5060407@inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <43B1116C.5060407@inria.fr> User-Agent: Mutt/1.5.9i From: Sven Luther X-Miltered: at concorde with ID 43B257AD.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43B257AC.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 sven:01 luther:01 sven:01 luther:01 -fpic:01 ocamlopt:01 loader:01 powerpc:01 unix:01 wrote:01 arbitrary:01 dynamic:03 dynamic:03 necessarily:03 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On Tue, Dec 27, 2005 at 11:03:24AM +0100, Xavier Leroy wrote: > The reason it works particularly well for x86 is that dynamic loaders > for x86 (both under Unix/Linux and Windows) can relocate arbitrary > code, not necessarily PIC code. This is unfortunately not the case > for all target architectures. In particular, dynamic loaders for > x86_64 (AMD64) are much less forgiving. The -fPIC option to ocamlopt > you mention was added to the AMD64 code generator in an attempt to > generate "more position-independent" code. However, it does not quite > work yet. A difficulty is the paucity of documentation on what, > exactly, the Linux AMD64 dynamic loader can relocate. What is the situation for other architectures, in particular, i would be interested in the powerpc case. Friendly, Sven Luther