Messages in this thread | | | From | Miguel Ojeda <> | Date | Wed, 5 May 2021 15:53:41 +0200 | Subject | Re: Very slow clang kernel config .. |
| |
On Wed, May 5, 2021 at 1:06 PM David Laight <David.Laight@aculab.com> wrote: > > The problem isn't the packages that come with the distribution.
My question was in the context of Adrian's emails who were mentioning issues for Linux distribution etc.
> The problem is 3rd party programs supplied as binaries. > They have 2 big requirements: > 1) The same binary will run on all distributions (newer than some cutoff).
This is fine with the "everything statically linked" model.
> 2) Any serious bug fixes in system libraries get picked up when the > distribution updates the library.
For 3rd party software, this is usually done through an auto-update mechanism of some kind. And since the vendor typically provides everything, including dependencies (even libc in some cases!), they can afford to statically link the world.
That model, of course, has issues -- the vendor may go out of business, may be slow with security updates, etc.
But this is all orthogonal to Rust -- I replied mainly because it was mentioned that Rust brought new issues to the table, which isn't true.
> There is also the possibility that the implementation of some > function differs between distributions. > So you absolutely need to use the version from the installed system > not whatever was in some static library on the actual build machine. > > Both of these need stable ABI and shared libraries.
Not really. If you go for the "statically linked" model for your application, you only need to care about the syscall layer (or equivalent higher-level layers in e.g. Windows/macOS).
If you trust vendors a bit, you can instead go for "statically linked except for major system libraries" (like libc or libm in Linux). This is what Rust does by default for the glibc x86_64 target.
Given that nowadays statically linking is convenient, affordable and improves performance, it seems like the right decision.
> Remember, as far as userspace is concerned, foo.h is the definition > for 'foo' and foo.so is the current implementation. > (yes, I know a little bit of info is taken from foo.so on the build > system - but that ought to be absolutely minimal.)
No, that is only the C model for shared libraries.
C++ has had templates for decades now and no "C++ ABI" so far covers them. Thus, if you want to provide templates as a library, they cannot be "pre-compiled" and so the implementation is kept in the header.
This actually turned out to be quite convenient and nowadays many libraries are developed as "header-only", in fact. Moreover, recently the C++ standard introduced new features that simplify taking this approach, e.g. C++17 `inline` variables.
Rust has the same issue with generics, but improves the situation a bit: there is no need to reparse everything, every time, from scratch, for each translation unit that uses a library with templates (which is quite an issue for C++, with big projects going out of their way to reduce the trees of includes).
Cheers, Miguel
| |