1The goal of the libc crate is to have CI running everywhere to have the 2strongest guarantees about the definitions that this library contains, and as a 3result the CI is pretty complicated and also pretty large! Hopefully this can 4serve as a guide through the sea of scripts in this directory and elsewhere in 5this project. 6 7Note that this documentation is quite outdated. See CI config and scripts 8in the `ci` directory how we run CI now. 9 10# Files 11 12First up, let's talk about the files in this directory: 13 14* `run-docker.sh` - a shell script run by most builders, it will execute 15 `run.sh` inside a Docker container configured for the target. 16 17* `run.sh` - the actual script which runs tests for a particular architecture. 18 19* `dox.sh` - build the documentation of the crate and publish it to gh-pages. 20 21# CI Systems 22 23Currently this repository leverages a combination of Azure Pipelines and Cirrus CI 24for running tests. You can find tested triples in [Pipelines config] or [Cirrus config]. 25 26The Windows triples are all pretty standard, they just set up their environment 27then run tests, no need for downloading any extra target libs (we just download 28the right installer). The Intel Linux/OSX builds are similar in that we just 29download the right target libs and run tests. Note that the Intel Linux/OSX 30builds are run on stable/beta/nightly, but are the only ones that do so. 31 32The remaining architectures look like: 33 34* Android runs in a [docker image][android-docker] with an emulator, the NDK, 35 and the SDK already set up. The entire build happens within the docker image. 36* The MIPS, ARM, and AArch64 builds all use the QEMU userspace emulator to run 37 the generated binary to actually verify the tests pass. 38* The MUSL build just has to download a MUSL compiler and target libraries and 39 then otherwise runs tests normally. 40* iOS builds need an extra linker flag currently, but beyond that they're built 41 as standard as everything else. 42* The rumprun target builds an entire kernel from the test suite and then runs 43 it inside QEMU using the serial console to test whether it succeeded or 44 failed. 45* The BSD builds, currently OpenBSD and FreeBSD, use QEMU to boot up a system 46 and compile/run tests. More information on that below. 47 48[Pipelines config]: https://github.com/rust-lang/libc/blob/master/ci/azure.yml 49[Cirrus config]: https://github.com/rust-lang/libc/blob/master/.cirrus.yml 50[android-docker]: https://github.com/rust-lang/libc/blob/master/ci/docker/x86_64-linux-android/Dockerfile 51 52## QEMU 53 54Lots of the architectures tested here use QEMU in the tests, so it's worth going 55over all the crazy capabilities QEMU has and the various flavors in which we use 56it! 57 58First up, QEMU has userspace emulation where it doesn't boot a full kernel, it 59just runs a binary from another architecture (using the `qemu-<arch>` wrappers). 60We provide it the runtime path for the dynamically loaded system libraries, 61however. This strategy is used for all Linux architectures that aren't intel. 62Note that one downside of this QEMU system is that threads are barely 63implemented, so we're careful to not spawn many threads. 64 65For the rumprun target the only output is a kernel image, so we just use that 66plus the `rumpbake` command to create a full kernel image which is then run from 67within QEMU. 68 69Finally, the fun part, the BSDs. Quite a few hoops are jumped through to get CI 70working for these platforms, but the gist of it looks like: 71 72* Cross compiling from Linux to any of the BSDs seems to be quite non-standard. 73 We may be able to get it working but it might be difficult at that point to 74 ensure that the libc definitions align with what you'd get on the BSD itself. 75 As a result, we try to do compiles within the BSD distro. 76* We resort to userspace emulation (QEMU). 77 78With all that in mind, the way BSD is tested looks like: 79 801. Download a pre-prepared image for the OS being tested. 812. Generate the tests for the OS being tested. This involves running the `ctest` 82 library over libc to generate a Rust file and a C file which will then be 83 compiled into the final test. 843. Generate a disk image which will later be mounted by the OS being tested. 85 This image is mostly just the libc directory, but some modifications are made 86 to compile the generated files from step 2. 874. The kernel is booted in QEMU, and it is configured to detect the libc-test 88 image being available, run the test script, and then shut down afterwards. 895. Look for whether the tests passed in the serial console output of the kernel. 90 91There's some pretty specific instructions for setting up each image (detailed 92below), but the main gist of this is that we must avoid a vanilla `cargo run` 93inside of the `libc-test` directory (which is what it's intended for) because 94that would compile `syntex_syntax`, a large library, with userspace emulation. 95This invariably times out on CI, so we can't do that. 96 97Once all those hoops are jumped through, however, we can be happy that we're 98testing almost everything! 99 100Below are some details of how to set up the initial OS images which are 101downloaded. Each image must be enabled have input/output over the serial 102console, log in automatically at the serial console, detect if a second drive in 103QEMU is available, and if so mount it, run a script (it'll specifically be 104`run-qemu.sh` in this folder which is copied into the generated image talked 105about above), and then shut down. 106 107### QEMU Setup - FreeBSD 108 1091. [Download the latest stable amd64-bootonly release ISO](https://www.freebsd.org/where.html). 110 E.g. FreeBSD-11.1-RELEASE-amd64-bootonly.iso 1112. Create the disk image: `qemu-img create -f qcow2 FreeBSD-11.1-RELEASE-amd64.qcow2 2G` 1123. Boot the machine: `qemu-system-x86_64 -cdrom FreeBSD-11.1-RELEASE-amd64-bootonly.iso -drive if=virtio,file=FreeBSD-11.1-RELEASE-amd64.qcow2 -net nic,model=virtio -net user` 1134. Run the installer, and install FreeBSD: 114 1. Install 115 1. Continue with default keymap 116 1. Set Hostname: freebsd-ci 117 1. Distribution Select: 118 1. Uncheck lib32 119 1. Uncheck ports 120 1. Network Configuration: vtnet0 121 1. Configure IPv4? Yes 122 1. DHCP? Yes 123 1. Configure IPv6? No 124 1. Resolver Configuration: Ok 125 1. Mirror Selection: Main Site 126 1. Partitioning: Auto (UFS) 127 1. Partition: Entire Disk 128 1. Partition Scheme: MBR 129 1. App Partition: Ok 130 1. Partition Editor: Finish 131 1. Confirmation: Commit 132 1. Wait for sets to install 133 1. Set the root password to nothing (press enter twice) 134 1. Set time zone to UTC 135 1. Set Date: Skip 136 1. Set Time: Skip 137 1. System Configuration: 138 1. Disable sshd 139 1. Disable dumpdev 140 1. System Hardening 141 1. Disable Sendmail service 142 1. Add User Accounts: No 143 1. Final Configuration: Exit 144 1. Manual Configuration: Yes 145 1. `echo 'console="comconsole"' >> /boot/loader.conf` 146 1. `echo 'autoboot_delay="0"' >> /boot/loader.conf` 147 1. `echo 'ext2fs_load="YES"' >> /boot/loader.conf` 148 1. Look at `/etc/ttys`, see what getty argument is for `ttyu0` (E.g. `3wire`) 149 1. Edit `/etc/gettytab` (with `vi` for example), look for `ttyu0` argument, 150 prepend `:al=root` to the line beneath to have the machine auto-login as 151 root. E.g. 152 153 3wire:\ 154 :np:nc:sp#0: 155 becomes: 156 157 3wire:\ 158 :al=root:np:nc:sp#0: 159 160 1. Edit `/root/.login` and put this in it: 161 162 [ -e /dev/vtbd1 ] || exit 0 163 mount -t ext2fs /dev/vtbd1 /mnt 164 sh /mnt/run.sh /mnt 165 poweroff 166 167 1. Exit the post install shell: `exit` 168 1. Back in in the installer choose Reboot 169 1. If all went well the machine should reboot and show a login prompt. 170 If you switch to the serial console by choosing View > serial0 in 171 the qemu menu, you should be logged in as root. 172 1. Shutdown the machine: `shutdown -p now` 173 174Helpful links 175 176* https://en.wikibooks.org/wiki/QEMU/Images 177* https://blog.nekoconeko.nl/blog/2015/06/04/creating-an-openstack-freebsd-image.html 178* https://www.freebsd.org/doc/handbook/serialconsole-setup.html 179 180### QEMU setup - OpenBSD 181 1821. Download CD installer 1832. `qemu-img create -f qcow2 foo.qcow2 2G` 1843. `qemu -cdrom foo.iso -drive if=virtio,file=foo.qcow2 -net nic,model=virtio -net user` 1854. run installer 1865. `echo 'set tty com0' >> /etc/boot.conf` 1876. `echo 'boot' >> /etc/boot.conf` 1887. Modify /etc/ttys, change the `tty00` at the end from 'unknown off' to 189 'vt220 on secure' 1908. Modify same line in /etc/ttys to have `"/root/foo.sh"` as the shell 1919. Add this script to `/root/foo.sh` 192 193``` 194#!/bin/sh 195exec 1>/dev/tty00 196exec 2>&1 197 198if mount -t ext2fs /dev/sd1c /mnt; then 199 sh /mnt/run.sh /mnt 200 shutdown -ph now 201fi 202 203# limited shell... 204exec /bin/sh < /dev/tty00 205``` 206 20710. `chmod +x /root/foo.sh` 208 209Helpful links: 210 211* https://en.wikibooks.org/wiki/QEMU/Images 212* http://www.openbsd.org/faq/faq7.html#SerCon 213 214# Questions? 215 216Hopefully that's at least somewhat of an introduction to everything going on 217here, and feel free to ping @alexcrichton with questions! 218