💾 Archived View for dmerej.info › blog › 0109-symlinks-and-so-on-linux.gmi captured on 2022-04-29 at 11:27:09. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2022-04-28)
-=-=-=-=-=-=-
2020, Apr 18 - Dimitri Merejkowsky License: CC By 4.0
I've seen this happen countless times.
First, a Linux user asks for help about an error looking like this:
Error when running `bar`: `libfoo.so.5: no such file or directory`
Then, someone who's had the same issue suggests creating a symlink from `libfoo.so.6` to `libfoo.so.5`.
And then I come across the dialog some time later and I start crying.
Why do I cry - it looks like the problem is solved, right?
Well, despite the appearances, the problem is *not* solved, and doing this is a *terrible idea* in general - like planting a ticking time bomb in the street you live or shooting yourself in the foot because you've got a plantar wart.
But to understand why we need to talk about the language C, shared libraries, soname bumps, Linux distributions, and package management.
And because I love telling stories, *you*, dear reader, will be the hero in this one.
Let's assume a group of people you don't really know (let's called them *The Experts*), wrote a piece of C code than can get the answer to the Ultimate Question of Life, the Universe, and Everything.
For obvious reasons, they want to keep the source code private, so here's what they did:
// in answer.h #pragma once #ifdef __cplusplus extern "C" { #endif char* get_answer(); #ifdef __cplusplus } #endif
$ gcc -shared libanswer.so answer.c
That way, everyone who needs to get the answer to the Ultimate Question of Life, the Universe, and Everything can buy the `libanswer.so` compiled library and the `answer.h` header and call the `get_answer()` function - let's see how.
You've bought the `libanswer.so` and `answer.h` files from The Experts and have put them next to a file you've wrote named `print-answer.c`:
// in print-answer.c #include <stdio.h> #include <answer.h> int main() { char* answer = get_answer(); printf("The answer is %s\n", answer); return 0; }
You were told that `gcc` can compile C code and *link against* shared libraries if you put them on the command line, so you try and run this:
$ gcc libanswer.so print-answer.c -o print-answer
But it does not work, and you get the following error message:
print-answer.c:2:10: fatal error: answer.h: No such file or directory
Wait a minute - the `answer.h` file is *right there* - what does that mean, "No such file or directory"?.
After a bit of research, you discover that `gcc` uses a list of paths called the "include path" where it looks for headers. You check on your machine, and sure enough, `/usr/include/` is one of the elements of this list, and `stdio.h` is in `/usr/include/stdio.h`, which explains why `gcc` did not complain about the first include.
To fix the compilation error, you add the `-I .` option to the command line so that current directory is added to the list of include paths:
$ gcc -I . libanswer.so print-answer.c -o print-answer
And then it compiles.
Now you try and run the `print-answer` program, but you get a new error message:
$ ./print-answer error while loading shared libraries: libanswer.so cannot open shared object file: No such file or directory
It's the same error message as in the introduction and **the operating system is lying to us**. The file `libanswer.so` is right there! What's happening there?
After more investigation, you figure it out: when you compiled the `print-answer` executable, there was a small piece of binary inside it that recorded the *name* of the `.so` file it was linked against. You can check it by running the `readelf` command and display the *dynamic section* of your program:
$ readelf -d ./print-answer Dynamic section at offset 0x2de8 contains 27 entries: Tag Type Name/Value 0x0000000000000001 (NEEDED) Shared library: [libanswer.so] 0x0000000000000001 (NEEDED) Shared library: [libc.so.6] ...
In a way, the `print-answer` program "knows" that it *needs* `libanswer.so` to run. Crucially, it does not know nor cares about where `libanswer.so` really *is*.
Then, when you run `./print-answer`, the operating system sees the name of the shared library in the dynamic section and tries to locate it. Like `gcc`, it finds `libc.so.6` by itself (in `/usr/lib/libc.so.6` for instance) - but it's unable to find the `libanswer.so` shared library in the current directory.
Fortunately, you can fix that by using a special environment variable called `LD_LIBRARY_PATH`:
$ LD_LIBRARY_PATH=. ./print-answer The answer is 42
This time, the operating system looks for `libanswer.so` in the current directory, finds it, and when required, invokes the code for the `get_answer()` function from the shared library.
That gets you thinking - you did not have to do any of this for `print-answer` to find the `libc.so` library and the `stdio.h` header.
without having to copy/paste the header and the shared library, and remember all the various `gcc` options?
Let's assume The Experts realized that their business model was not going to work and decided to publish their source files for free instead. Yay open source!
Here's the contents of their `answer.c` file:
#include <answer.h> #include <stdio.h> #include <string.h> char * get_answer() { // Disappointing, I know int r = 6 * 7; char buf[3]; snprintf(buf, 3, "%d", r); return strdup(buf); }
Since you are an Arch Linux user, you decide to lookup documentation about the `pacman` package manager and how generate and publish Arch Linux packages .
After a while, you manage to write a working `PGKBUILD` for `libanswer`:
pkgname=libanswer pkgver=1.0 pkgrel=1 pkgdesc="Answer the Ultimate Question" arch=('x86_64') ... build() { gcc -I . -shared answer.c -o libanswer.so } package () { mkdir -p $pkgdir/usr/{include,lib} install answer.h $pkgdir/usr/include/ install libanswer.so $pkgdir/usr/lib }
Then you build the package with `makepkg`
$ makepkg ==> Making package: libanswer 1.0-1 ... ==> Finished making: libanswer 1.0-1
Everything goes well, and you now have a file named `libanswer-1.0-1-x86_64.pkg.tar.xz` next to your `PGKBUILD`.
You install the package with `pacman`:
$ sudo pacman -U libanswer-1.0-1-x86_64.pkg.tar.xz
Then you find out that you can compile and run `print-answer.c` from anywhere in the system using the following commands:
$ gcc print-answer.c -lanswer -o ./print-answer $ ./print-answer The answer is 42
This time you need only the *name* of the library (the part without the `lib` prefix and the `.so` suffix) after the `-l` option. You do *not* have to worry about include paths or use the `LD_LIBRARY_PATH` environment variable - neat!
What you've accomplished is called *packaging the `answer` library*, and it's what *package maintainers* do - well done.
Impressed by your packaging skills, the Arch Linux maintainers allow you to publish your package in official repositories, which means everyone using Arch Linux is now able to install the `libanswer` package in just one command!
A few days later, The Experts release a new version of their library (1.1), containing a nice optimization:
char* get_answer() { return strdup("42"); }
Since you are the maintainer of the `libanswer` package, you quickly update the PKGBUILD and publish a new release.
-pkgver=1.0 +pkgver=1.1 pkgrel=1 pkgdesc="Answers the Ultimate Question" arch=('x86_64') source=(...)
You build and install the package on your machine and check it still works:
$ makepkg $ sudo pacman -U libanswer-1.1-1-x86_64.pkg.tar.xz
And then you publish the new version of the `libanswer` package.
That's where Linux distributions really shine (and the whole reason we use shared libraries in the first place). Once the new package is published, *any* Arch Linux user who installs it will get the latest version of `libanswer.so` in their system, and all the programs that were linked against it will use the latest version - this is especially important if the new version contains a security bug fix for instance.
A week later, The Experts realize they don't really need to return a string from the `get_answer()` function, and that a simple `int` would suffice.
So they modify both their header and source files:
- char* get_answer(); + int get_answer();
#include <answer.h> int get_answer() { return 42; }
And they publish a release note:
# The answer project ## Version 2.0
Upon hearing the good news, you download the latest sources of the project, and you modify your `print-answer.c` source file to use the latest version of the library:
#include <stdio.h> #include <answer.h> int main() { int answer = get_answer(); printf("The answer is %d\n", answer); }
You compile everything and check the code still works:
$ gcc -I . -shared answer.c -o libanswer.so $ gcc -I . libanswer.so print-answer.c -o ./print-answer $ LD_LIBRARY_PATH=. ./print-answer The answer is 42
Time to publish the v2!
-pkgver=1.0 +pkgver=2.0 pkgrel=1 pkgdesc="Answers the Ultimate Question" arch=('x86_64') source=(...)
$ makepkg $ sudo pacman -U libanswer-2.0-1-x86_64.pkg.tar.xz
Easy as pie - satisfied, you publish the new package and go to bed.
The next morning you receive the following e-mail:
Subject : latest libanswer package update broke display-answer-pp program Hello, I'm using `display-answer-pp` version 0.4, and when I updated `libanswer` to the version 2.0, I got the following error: ./display-answer-pp zsh: segmentation fault (core dumped) ./display-answer-pp Downgrading the `libanswer` package fixes the problem. Please advise. Signed: Bob
Welcome to the joys of packaging!
You've never heard of the `display-answer-pp` package - what is going on?
After a bit of research, you find out that someone wrote a `display-answer-pp` program using your `libanswer` package and published it on the official Arch Linux repositories a few days ago.
Here's what the code for `display-answer-pp` looks like - it's a single `C++` file:
#include <answer.h> #include <iostream> int main() { auto answer = get_answer(); std::cout << "The answer is: " << answer << std::endl; return 0; }
So what happened?
Well, the problem is that you forgot to coordinate with your fellow packagers!
You see, when `display-answer-pp` was being packaged, the `get_answer()` function was returning a `char*`. When you published `answer` version 2.0, the code for the function `get_answer()` started returning an `int` instead.
So when Bob updated `libanswer` after having installed `display-answer-pp`, and tried to re-run the program, all hell break loose, because the compiled C++ code expected a *pointer* to a string and got an *int* instead.
In other terms, the *application *binary* interface* (or ABI for short) of the `libanswer` library broke.
Unfortunately, there's only one way to fix an ABI breakage: you need to *recompile* everything that was linked against the old version of the library.
That's one of the main issues package maintainers have to solve. They need two very different features when it comes to libraries updates:
Here's how Arch maintainers solve this problem. In our example, they would have published `libanswer` v2 in a special repository named "staging". Then, they would have rebuild every package that depends on `libanswer` (so both `print-answer` and `display-answer-pp`) and pushed those to the staging repository.
Finally, after a period of testing, they would have moved `libanswer`, `print-answer` and `display-answer-pp` in the official repositories in one swift update. They would have used a *to do list* like this one[1] to coordinate the packaging tasks.
1: https://www.archlinux.org/todo/hdf5-1120-release/
This means that if you try and update `libanswer` without upgrading *every other package* that depends on it, you risk breaking your installation - and that's why partial updates are not supported on Arch Linux.
Debian maintainers use another strategy. When they package a library, they include its version number in the name of the package. What's more, they have a separate *development* package that contains the files required for compiling programs that use the library. They also use a compilation trick called the `soname` option.
Let's see how this works.
First, they tell `gcc` to use the correct soname option when linking the library :
$ gcc -I . answer.c -shared -Wl,-soname=libanswer.so.1 -o libanswer.so.1
They use the outcome of the build to generate two packages:
Then, they build `display-answer-pp` for the first time, using the `libanswer-dev` package:
$ g++ -lanswer display-answer.cpp -o ./display-answer-pp
Because `libanswer.so` was built with the `-soname=libanswer.so.1` option, the `display-answer-pp` binary now *knows* that it needs `libanswer.so.1` at runtime:
$ readelf -d display-answer-pp Tag Type Name/value 0x0000000000000001 (NEEDED) Shared library: [libanswer.so.1] ...
When the v2 version of `libanswer` is published by The Experts, they rebuild the shared library with an appropriate soname:
$ gcc -I . answer.c -shared -Wl,-soname=libanswer.so.2 -o libanswer.so.2
They use the outcome of the build to *update* the `libanswer-dev` package and to create a *brand new* `libanswer2` package.
At this point:
Then, they build `display-answer-pp` for the second time, using the updated `libanswer-dev` package:
$ g++ -lanswer display-answer.cpp -o ./display-answer
This time, `display-answer-pp` knows that it needs `libanswer.so.2` at runtime:
$ readelf -d display-answer-pp Tag Type Name/value 0x0000000000000001 (NEEDED) Shared library: [libanswer.so.2] ...
Let's sum up: