Skip to content

Latest commit

 

History

History
597 lines (451 loc) · 21.6 KB

DEVELOPMENT.md

File metadata and controls

597 lines (451 loc) · 21.6 KB

Developing Erlang/OTP

The Erlang/OTP development repository is quite large and the make system contains a lot of functionality to help when developing. This howto will try to showcase the most important features of the make system.

The guide is mostly aimed towards development on a Unix platform, but most things should work also work using WSL on Windows. The guide also assumes that you are working in the git repositiory. Many of the scripts and tools described here are not available in the prebuilt tar archive that you can download for each release.

WARNING: Only some of APIs mentioned in this guide are supported. This means that they may be removed or changed without prior notice, so do not depend on them in CI. For supported make targets see the Install howto and the Testing howto.

The make system is not always as robust as one might like, so if for any reason something does not work, try doing a git clean -Xfdq and start from the beginning again. This normally only needs to be done when you jump in between different git branches, but it can a good thing to keep in mind whenever things do not work as you expect them to.

NOTE: This instructions may vary for different versions of Erlang/OTP, so make sure to read the instructions for the version that you are working with.

  1. Short version
  2. Preparations
    1. Faster builds
  3. Configuring
    1. Help
  4. Building and testing
    1. Build and test a specific application
    2. Preloaded and Primary Bootstrap
    3. Types and Flavors
    4. cerl
    5. Static analysis
  5. Running test cases
  6. Writing and building documentation
    1. Validating documentation
  7. Github Actions
    1. Debugging github actions failures
  8. Using Docker
    1. Gidpod.io or VSCode dev container

Short version

First make sure you have done all preparations then do this:

git clone -b maint [email protected]:erlang/otp
cd otp && export ERL_TOP=`pwd`
./otp_build configure && make

When you have done changes, added tests or updated documentation, build and test like this:

cd lib/$APPLICATION_NAME
make            # Rebuid application
make test       # Run application tests
make dialyzer   # Run dialyzer
make docs       # Build the docs
make xmllint    # Run xmllint on the docs

Then enable Github Actions and push the changes to your fork of Erlang/OTP to check that you have not missed anything.

Preparations

Before you start working you need to clone the Erlang/OTP git repository and install any dependencies that you do not have. See Required Utilities and Optional Utilities in INSTALL.md for a list of utilities to install. (Windows has its own INSTALL Guide with its own Required Utilities).

Then you need to set ERL_TOP to point at the repository you are developing in. Not all make commands needs this environment variable set, but many do so it is good to get into the habit of always setting it.

cd /path/to/repository/otp
export ERL_TOP=`pwd`

Make sure that you have read the Contributing to Erlang/OTP guide if you intend to make a contribution to Erlang/OTP.

Faster builds

Both configure and make take advantage of running in parallel if told to, so in order to speed up your development environment make sure to set:

## Change N to be at least the number of cores or hyper-threads available
export MAKEFLAGS=-jN

The Erlang compiler can be run using a Compile Server, this can cut from the total build time of Erlang/OTP by quite a lot, especially if you have a relatively slow machine. To enable set this environment variable:

export ERLC_USE_SERVER=true

Re-building all application in Erlang/OTP can take a while so it is possible to build only a subset of the applications. This is done by setting either OTP_SMALL_BUILD or OTP_TINY_BUILD to true when doing make at the top level. However, the simplest way is probably to just use the ./otp_build wrapper that takes the options -t (tiny) or -a (all) and defaults to a small build.

# You need to have done ./configure before calling make or boot.
OTP_TINY_BUILD=true make      ## Equivalent to ./otp_build boot -t
OTP_SMALL_BUILD=true make     ## Equivalent to ./otp_build boot
./otp_build boot -a           ## Equivalent to make

Configuring

You run configure by issuing the command:

./otp_build configure

On all operating systems except Windows you can also just run:

./configure

If you change any Makefiles you will need to re-run configure. If you update any configure.ac scripts you need to update the configure scripts.

Help

The toplevel configure will give help about the features that it provides. To get a full list of all features you need to use:

./configure --help=r

There is documentation for what most of the options mean in the INSTALL.md howto.

Building and testing

After you have done configure, you can do

make

on the top of this repository. That will compile all of Erlang/OTP.

You can also build a specific application:

make stdlib
make common_test

These make commands do not manage any dependencies, so if an application needs something from another you need to make sure that it is built. It is therefore good practice to first build all of Erlang/OTP and then build just the one that you are updating.

You can also run tests from the top:

make test                # Run all tests, takes a **very** long time
make stdlib_test         # Run only stdlib tests, takes less time
                         # Run only lists_SUITE, takes even less time
make stdlib_test ARGS="-suite lists_SUITE"
                         # Run only member testcase in lists_SUITE
make stdlib_test ARGS="-suite lists_SUITE -case member"

See ct_run for a list of all options that you can pass to ARGS.

You can run static analysis test:

make dialyzer            # Checks all of Erlang/OTP source code
make xmllint             # Checks all documentation for xmllint errors

Most of the above targets also works for a "phony" target called emulator that represents erts and all its tools. So you can do this:

make emulator            # Build erts, epmd etc
make emulator_test       # Run all emulator tests

If you want to pass a run-time flag to the emulator running the tests you can use the ERL_ARGS flags to make test. For example if you want to run tests using off heap message queue data for all process you would do this:

ERL_ARGS="+hmqd off_heap" make emulator_test

Build and test a specific application

You can also build the application from within itself. Like this:

cd lib/stdlib && make

Each application has a bunch of make targets that you can use.

make                                # build all source for this application
make test                           # run all tests for this application
make test ARGS="-suite lists_SUITE" # run the lists_SUITE tests
make dialyzer                       # run dialyzer for this application
make docs                           # build all docs for this application
make docs DOC_TARGETS="html"        # build html docs for this application
make xmllint                        # run xmllint on the docs for this application

If you want to view what the documentation looks like for only your application you can do this:

(cd doc/src && make local_docs)

and then view doc/html/index.html.

Preloaded and Primary Bootstrap

The Erlang code loader and compiler are written in Erlang, so in order to bootstrap the system a number of compiled .beam files are commited into the Erlang/OTP git repository.

The Erlang code located in erts/preloaded/src is compiled into the VM and used to load enough code so that the code loader in the kernel application can be loaded. If you update any of that code you need to do a special preloaded update for the changes to take effect. This is done like this:

./otp_build update_preloaded [--no-commit]
make  # Need to rebuild system after the preloaded has been updated

You need to have a working Erlang compiler in your path for this to work. In order to be able to compile the Erlang/OTP source code, there also needs to be a basic Erlang compiler committed into git. This is what is called the primary bootstrap. It is quite rare that you need to update this, but if you are extending the Erlang language and would like to use the new extensions in the Erlang/OTP source code you it needs to be updated. As an example, when we added maps to Erlang we first needed to have a commited primary bootstrap that could compile code with maps, before we actually could use maps anywhere. To update the primary bootstrap you do like this:

./otp_build update_primary [--no-commit]

NOTE: When submitting a PR to Erlang/OTP you will be asked to not include any commit updating preloaded or the primary bootstrap. This is because we cannot review the contents of binary files and thus cannot make sure they do not contain any malicious data.

Types and Flavors

Erlang can be built using different types and flavors. Mostly the types and flavors change how the Erlang VM itself is built, but some also effect how application are built. Some of the types/flavors are:

  • Types
    • opt (default)
    • debug
    • lcnt
    • valgrind
    • asan
    • gcov
  • Flavor
    • emu
    • jit (default if available)

To build using a type and or flavor you just pass it as a variable to make. For example:

make TYPE=debug
make FLAVOR=emu
make TYPE=lcnt FLAVOR=emu

As you can see it is possible to combine type and flavor to create many different versions of Erlang. You can then run these different versions by passing the -emu_type and/or -emu_flavor flags to erl. That is:

erl -emu_type lcnt
erl -emu_flavor emu -emu_type debug

When running valgrind, asan or gcov those tools create special output files that need to be processed. To work with these files there is a special erl program called cerl that is only available in the source tree. You can read more about it in the cerl section later in this guide.

If you want to run the tests with a special flavor or type, the easiest way to do that is by setting the TYPE or FLAVOR when calling make. For example if you want to run the emulator tests using the debug emulator you can do it like this:

make emulator_test TYPE=debug

NOTE: Before you run tests using a TYPE or FLAVOR you need to build the entire Erlang/OTP repo using that TYPE or FLAVOR. That is make TYPE=debug for the example above.

cerl

cerl is a program available in $ERL_TOP/bin/ that has a number of features useful when developing the Erlang run-time system. It work just as normal erl, but accepts a couple of extra command line switches. Any other command line arguments passed to cerl will be passed on the Erlang as normal. The extra command line switches are:

  • -debug
    • Start a debug run-time system.
  • -lcnt
    • Start a lock count run-time system.
  • -valgrind
    • Start valgrind with the correct settings and use the valgrind type.
    • Set environment variable VALGRIND_LOG_XML to true if want xml valgrind logs.
    • Set environment variable VALGRIND_LOG_DIR to where you want valgrind logs.
    • Set environment variable VALGRIND_MISC_FLAGS for any extra valgrind flags you want to pass.
  • -asan
    • Start Clang Address Sanitizer with the the correct settings and use the asan type.
    • Set environment variable ASAN_LOG_DIR to where you want the logs.
    • Set environment variable ASAN_OPTIONS for any extra asan options you want to pass.
  • -gcov
    • Start a gcov run-time system.
  • -gdb
    • Start an Emacs gdb debugging session. Can be combined with -debug.
  • -core /path/to/core/file
    • Start an Emacs gdb debugging session for the core specified.
  • -rgdb
    • Start a gdb debugging session in the current terminal. Can be combined with -debug.
  • -rcore /path/to/core/file
    • Start a gdb debugging session in the current terminal for the core specified.
  • -lldb
    • Start a lldb debugging session in the current terminal.
  • -rr
    • Start Erlang under rr to record all events. Can be combined with -debug.
  • -rr replay [session]
    • Load a recording session using rr replay, if no session is specified the latest run session is laoded.

If you want to run tests using cerl (for example if you want to run asan on the nif_SUITE in emulator) you cannot use the make test approach to testing as that uses ct_run under the hood and ct_run does not support customizing the emulator start script. Instead you need to use the approach described in Run tests with Address Sanitizer.

Static analysis

From the top level of Erlang/OTP you can run:

make xmllint
make dialyzer
make format-check

This will check that the documentation is correct and that there are no dialyzer errors. See also Validating documentation for more details.

Running test cases

There is a detailed description about how to run tests in TESTING.md.

Writing and building documentation

Most of the Erlang/OTP documentation is written in XML files located in lib/$APPLICATION_NAME/doc/src. The format of the XML is described in the ErlDocgen User's Guide.

There is also some documentation that is written using edoc.

To view the documentation the simplest way is to release it. NOTE: The Erlang/OTP repository needs to have been built before you can build the documentation.

make release_docs

and then you can view release/*/doc/index.html in your favourite browser and make sure that it looks nice.

This takes a while though and to speed up the edit-view cycle you can either limit what parts of the documentation is built using DOC_TARGETS. For example:

make release_docs DOC_TARGETS=html

The different DOC_TARGETS built are html, man, pdf and chunks.

You can also build the docs only for a single application. For example:

cd lib/stdlib/doc/src && make local_docs DOC_TARGETS=html

and then view the results at lib/stdlib/doc/html/index.html.

Validating documentation

In order to make sure that the documentation is correct you need to also validate it. Just building the documentation does not mean that it is correct. There are two steps that you need to do in order to validate the docs.

First run the xmllint. This makes sure that the xml follows the Erlang/OTP dtd and does some extra checks to make sure all links are correct.

You run the xmllint like this:

make xmllint                    # Run it at the top level
cd lib/stdlib && make xmllint   # Run it for only a single application

When the xml has been verified you also need to make sure that there are no broken links in the documentation. This is done by running otp_html_check.

You run otp_html_check like this:

make release_docs DOC_TARGETS="html pdf"  # First we need to release the pdf+html docs
$ERL_TOP/scripts/otp_html_check $(pwd)/release/$($ERL_TOP/erts/autoconf/config.guess) doc/index.html

The output of otp_html_check will print a list of broken links and anchors, for example:

**** Files not used (that I can see)
....

**** Broken links

Broken Link: /lib/kernel-8.3.1/doc/html/inet.html -> "/lib/kernel-8.3.1/doc/html/files.html"

**** References to missing anchors

Missing Anchor: "/lib/kernel-8.3.1/doc/html/files.html#native_name_encoding-0" from /lib/kernel-8.3.1/doc/html/inet.html
Missing Anchor: "/lib/kernel-8.3.1/doc/html/inet.html#type-ip_addres" from /lib/kernel-8.3.1/doc/html/inet.html

The Files not used section is mostly used to debug the documentation build process, so it can be ignored most of the time. The other to sections should however be empty for the documentation to be correct.

All this validation is also done by Github Actions.

Github Actions

Erlang/OTP uses Github Actions as a preliminary CI to check that nothing fundamental has been broken by the change.

You can enable Github Actions on your own github fork in order to run the tests before opening a PR to the main repository.

Github Actions does too many checks to list them all but the primary ones are:

  • Build on Ubuntu Linux and Windows
  • Cross build to Debian Linux on powerpc and iOS
  • Build and validate documentation
  • Run dialyzer on all of Erlang/OTP
  • Run the tests of the changed application

Each run generates a bunch of artifacts. The most important ones are:

  • test_results
    • An archive containing all the logs from all tests that have been run. Navigate to make_test_dir/ct_logs/index.html within the archive to view the Common Test summary of the tests.
  • otp_win32_installer
    • A windows installer with the changes you have made.
  • otp_doc_html
    • The HTML docs with the changes you have made.

Debugging Github Actions failures

Debugging Github Actions is at best a very time-consuming endevour. So if there is an error in the build or tests that you don't easily understand I would recommend that you try to reproduce it locally.

This is of course not always possible, for instance if it only fails on Windows and you do not have access to a Windows machine, but it may the worth it as the leadtime of re-running a test is roughly 30 minutes. See the other sections of this guide for details on how to build and run tests locally.

If testcases fail when running Github Actions, it is best to start by inspecting the logs of the test runs. The logs are attached to the finished run as test_results. You will find more details about why a testcase failed in the logs.

Using Docker

In order to get a reproduceable environment for building and testing you can use docker. If you are not familiar with how to use it I would recommend reading up a bit and trying some simple examples yourself before using it to build and test Erlang/OTP.

There is a pre-built ubuntu base image available on github, but you can also build it locally if you want to.

Using the pre-built base you build an image like this:

docker login ghcr.io
git archive --prefix otp/ -o .github/otp.tar.gz HEAD
docker build -t my_otp_image -f .github/dockerfiles/Dockerfile.64-bit .github/

This will fetch the ubuntu base image and build a 64-bit Erlang/OTP. You need to login to the github container registry in order to fetch the base image. If you want to build the base image locally you can do that like this:

docker build -t ghcr.io/erlang/otp/ubuntu-base \
  --build-arg BASE=ubuntu:20.04 --build-arg USER=otptest --build-arg uid=$(id -u) \
  --build-arg GROUP=uucp --build-arg gid=$(id -g) \
  -f .github/dockerfiles/Dockerfile.ubuntu-base .github/

Which approach is fastest depends on the speed of your internet connection.

When you have built the docker image you can run tests in it like this:

docker run my_otp_image "make stdlib_test"

or if you want to persist the test results outside the container:

mkdir -m 777 make_test_dir   ## The 777 mode is needed to avoid permission problems
docker run --init -v $PWD/make_test_dir:/buildroot/otp/lib/stdlib/make_test_dir \
  my_otp_image "make stdlib_test"

The Common Test logs will be placed in make_test_dir/ct_logs.

Gidpod.io or VSCode dev container

This git repository is also prepared to run using Gitpod or VSCode Devcontainer.

The support for these environments is very early so it will be a bit unstable.

To access the gitpod for Erlang/OTP you just navigate to https://gitpod.io/#https://github.com/erlang/otp.

When using a VSCode dev container, you only need to open VSCode in the Erlang/OTP repository and you should get a popup that asks if you want to run in a dev container.

The gitpod and dev container both use the base ubuntu image built in Using Docker. So it should be possible to run all tests inside the containers with all test dependencies available.

WARNING: Using VSCode dev container on macOS can be very slow because of limitations in the filesystem. So I would recommend either using gitpod or just work locally without the dev container on macOS.