Re: [Haskell-cafe] Re: Re: Hackage on Linux

2010-08-28 Thread Magnus Therning
On 28/08/10 02:15, Ivan Lazar Miljenovic wrote:
 On 28 August 2010 11:09, Brandon S Allbery KF8NH allb...@ece.cmu.edu wrote:
 -BEGIN PGP SIGNED MESSAGE-
 Hash: SHA1
 On 8/27/10 05:58 , Simon Farnsworth wrote:
 If you don't mind, I'd like a proper reference for this; looking at the
 Linux kernel documentation as you suggest tells me that the kernelspace to
 userspace ABI is supposed to be 100% stable, such that I can take all the
 binaries (including shared libraries) from an i386 Linux 2.0 system, and
 run them in a chroot on my x86-64 Linux 2.6.35 system.

 Maybe it's supposed to be, but even with more recent stuff (like, say,
 binary GHC releases --- which use glibc shared even if Haskell libs aren't)
 I quite often see programs fail to run because the kernel changed something
 and the kernel/userspace interface changed as a result.  A written policy
 is worthless if it isn't followed.

 Well, I have no need to recompile glibc and packages that depend upon it
 every time I update my kernel...  So maybe glibc changes, but not the kernel
 AFAICT.

I've been following this part of the discussion with some interest.  Mainly
because I've been a Linux user since kernel version 1.2, and I've
*never* had
any of the problems people mention here.  So I'm wondering, what are you
doing
to your systems?

/M

-- 
Magnus Therning(OpenPGP: 0xAB4DFBA4)
magnus@therning.org   Jabber: magnus@therning.org
http://therning.org/magnus identi.ca|twitter: magthe



signature.asc
Description: OpenPGP digital signature
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


[Haskell-cafe] Re: Re: Hackage on Linux

2010-08-27 Thread Simon Farnsworth
Brandon S Allbery KF8NH wrote:

 On 8/26/10 10:23 , David Leimbach wrote:
 Go, for example, has no shared libraries, and the runtime fits in every
 binary.  It does not even depend on libc.  Go binaries call the system
 call interface of the kernel, and the net result is that I get to test my
 go code, deploy it, and not worry about the state of deployed go
 environments quite so much as I do in the presence of shared libraries.
 
 Um.  That's a really good way to have all your programs stop working when
 the Linux kernel interface changes yet again (ABIs? We don't need no
 steenking ABIs! --- see in /usr/src/linux/Documentation).  Solaris is
 similar; the only approved interface is via libc and you must link to it
 shared if you want your program to work across versions/releases.
 
If you don't mind, I'd like a proper reference for this; looking at the 
Linux kernel documentation as you suggest tells me that the kernelspace to 
userspace ABI is supposed to be 100% stable, such that I can take all the 
binaries (including shared libraries) from an i386 Linux 2.0 system, and run 
them in a chroot on my x86-64 Linux 2.6.35 system.

It's the in-kernel ABI (for loadable kernel modules and the like) that's not 
guaranteed to remain stable.
-- 
Simon

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] Re: Re: Hackage on Linux

2010-08-27 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

On 8/27/10 05:58 , Simon Farnsworth wrote:
 If you don't mind, I'd like a proper reference for this; looking at the 
 Linux kernel documentation as you suggest tells me that the kernelspace to 
 userspace ABI is supposed to be 100% stable, such that I can take all the 
 binaries (including shared libraries) from an i386 Linux 2.0 system, and run 
 them in a chroot on my x86-64 Linux 2.6.35 system.

Maybe it's supposed to be, but even with more recent stuff (like, say,
binary GHC releases --- which use glibc shared even if Haskell libs aren't)
I quite often see programs fail to run because the kernel changed something
and the kernel/userspace interface changed as a result.  A written policy is
worthless if it isn't followed.

- -- 
brandon s. allbery [linux,solaris,freebsd,perl]  allb...@kf8nh.com
system administrator  [openafs,heimdal,too many hats]  allb...@ece.cmu.edu
electrical and computer engineering, carnegie mellon university  KF8NH
-BEGIN PGP SIGNATURE-
Version: GnuPG v2.0.10 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAkx4YbcACgkQIn7hlCsL25UXhACgrteurjouZAdrdj4+yzsXGLJd
fOoAn0L73V7CYA5yfsiLfaBLsJLVI7l+
=d6UD
-END PGP SIGNATURE-
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] Re: Re: Hackage on Linux

2010-08-27 Thread Ivan Lazar Miljenovic
On 28 August 2010 11:09, Brandon S Allbery KF8NH allb...@ece.cmu.edu wrote:
 -BEGIN PGP SIGNED MESSAGE-
 Hash: SHA1

 On 8/27/10 05:58 , Simon Farnsworth wrote:
 If you don't mind, I'd like a proper reference for this; looking at the
 Linux kernel documentation as you suggest tells me that the kernelspace to
 userspace ABI is supposed to be 100% stable, such that I can take all the
 binaries (including shared libraries) from an i386 Linux 2.0 system, and run
 them in a chroot on my x86-64 Linux 2.6.35 system.

 Maybe it's supposed to be, but even with more recent stuff (like, say,
 binary GHC releases --- which use glibc shared even if Haskell libs aren't)
 I quite often see programs fail to run because the kernel changed something
 and the kernel/userspace interface changed as a result.  A written policy is
 worthless if it isn't followed.

Well, I have no need to recompile glibc and packages that depend upon
it every time I update my kernel...  So maybe glibc changes, but not
the kernel AFAICT.

-- 
Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com
IvanMiljenovic.wordpress.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe