Merge branch 'main' into feature/distributed-erlang

Author: bettio

.github/workflows/build-and-test.yaml

@@ -34,7 +34,8 @@ concurrency:
 
 jobs:
   build-and-test:
-    runs-on: ${{ matrix.os }}
+    runs-on: ${{ matrix.os || 'ubuntu-24.04' }}
+    container: ${{ matrix.container }}
     strategy:
 
       fail-fast: false
@@ -57,21 +58,21 @@ jobs:
         - cc: "gcc-7"
           cxx: "g++-7"
           compiler_pkgs: "gcc-7 g++-7"
-          os: "ubuntu-20.04"
+          container: "ubuntu:20.04"
           otp: "27"
           elixir_version: "1.17"
           rebar3_version: "3.24.0"
         - cc: "gcc-8"
           cxx: "g++-8"
           compiler_pkgs: "gcc-8 g++-8"
-          os: "ubuntu-20.04"
+          container: "ubuntu:20.04"
           otp: "27"
           elixir_version: "1.17"
           rebar3_version: "3.24.0"
         - cc: "gcc-9"
           cxx: "g++-9"
           compiler_pkgs: "gcc-9 g++-9"
-          os: "ubuntu-20.04"
+          container: "ubuntu:20.04"
           # otp: all
         - cc: "gcc-10"
           cxx: "g++-10"
@@ -119,13 +120,13 @@ jobs:
           cxx: "clang++-10"
           compiler_pkgs: "clang-10"
           cmake_opts_other: "-DAVM_WARNINGS_ARE_ERRORS=ON"
-          os: "ubuntu-20.04"
+          container: "ubuntu:20.04"
           # otp: all
         - cc: "clang-11"
           cxx: "clang++-11"
           compiler_pkgs: "clang-11"
           cmake_opts_other: "-DAVM_WARNINGS_ARE_ERRORS=ON"
-          os: "ubuntu-20.04"
+          container: "ubuntu:20.04"
           otp: "27"
           elixir_version: "1.17"
           rebar3_version: "3.24.0"
@@ -195,37 +196,41 @@ jobs:
           rebar3_version: "3.24.0"
 
         # Old versions of OTP/Elixir
-        - os: "ubuntu-20.04"
+        - container: "ubuntu:20.04"
           cc: "cc"
           cxx: "c++"
           cflags: ""
           otp: "21"
           elixir_version: "1.7"
           rebar3_version: "3.15.2"
+          compiler_pkgs: "g++"
 
-        - os: "ubuntu-20.04"
+        - container: "ubuntu:20.04"
           cc: "cc"
           cxx: "c++"
           cflags: ""
           otp: "22"
           elixir_version: "1.8"
           rebar3_version: "3.18.0"
+          compiler_pkgs: "g++"
 
-        - os: "ubuntu-20.04"
+        - container: "ubuntu:20.04"
           cc: "cc"
           cxx: "c++"
           cflags: ""
           otp: "23"
           elixir_version: "1.11"
           rebar3_version: "3.20.0"
+          compiler_pkgs: "g++"
 
-        - os: "ubuntu-22.04"
+        - container: "ubuntu:20.04"
           cc: "cc"
           cxx: "c++"
           cflags: ""
           otp: "24"
           elixir_version: "1.14"
           rebar3_version: "3.23.0"
+          compiler_pkgs: "g++"
 
         - os: "ubuntu-24.04"
           cc: "cc"
@@ -235,13 +240,14 @@ jobs:
           rebar3_version: "3.24.0"
 
         # Additional default compiler builds
-        - os: "ubuntu-20.04"
+        - container: "ubuntu:20.04"
           cc: "cc"
           cxx: "c++"
           cflags: ""
           otp: "27"
           elixir_version: "1.17"
           rebar3_version: "3.24.0"
+          compiler_pkgs: "g++"
 
         - os: "ubuntu-22.04"
           cc: "cc"
@@ -271,7 +277,7 @@ jobs:
           compiler_pkgs: "clang-18"
 
         # Additional 32 bits build
-        - os: "ubuntu-20.04"
+        - container: "ubuntu:20.04"
           cc: "gcc-10"
           cxx: "g++-10"
           cflags: "-m32 -O3"
@@ -285,13 +291,30 @@ jobs:
             libc6-dbg:i386 zlib1g-dev:i386 libmbedtls-dev:i386"
 
     env:
+      ImageOS: ${{ matrix.container == 'ubuntu:20.04' && 'ubuntu20' || matrix.os == 'ubuntu-20.04' && 'ubuntu20' || matrix.os == 'ubuntu-22.04' && 'ubuntu22' || matrix.os == 'ubuntu-24.04' && 'ubuntu24' || 'ubuntu24' }}
       CC: ${{ matrix.cc }}
       CXX: ${{ matrix.cxx }}
       CFLAGS: ${{ matrix.cflags }}
       CXXFLAGS: ${{ matrix.cflags }}
+      DEBIAN_FRONTEND: noninteractive
+      TZ: "Etc/UTC"
 
     steps:
     # Setup
+    - name: "Install deps for containers"
+      if: matrix.container != ''
+      run: apt-get update && apt-get install -y --no-install-recommends sudo unzip git tzdata
+
+    - name: "Add i386 architecture"
+      if: matrix.arch == 'i386'
+      run: sudo dpkg --add-architecture i386
+
+    - name: "APT update"
+      run: sudo apt update -y
+
+    - name: "Install deps"
+      run: sudo apt install -y ${{ matrix.compiler_pkgs}} cmake gperf zlib1g-dev doxygen valgrind libmbedtls-dev
+
     - name: "Checkout repo"
       uses: actions/checkout@v4
       with:
@@ -308,16 +331,6 @@ jobs:
           https://repo.hex.pm
           https://cdn.jsdelivr.net/hex
 
-    - name: "Add i386 architecture"
-      if: matrix.arch == 'i386'
-      run: sudo dpkg --add-architecture i386
-
-    - name: "APT update"
-      run: sudo apt update -y
-
-    - name: "Install deps"
-      run: sudo apt install -y ${{ matrix.compiler_pkgs}} cmake gperf zlib1g-dev doxygen valgrind libmbedtls-dev
-
     # Builder info
     - name: "System info"
       run: |
@@ -436,10 +449,12 @@ jobs:
       working-directory: build
       run: |
         ulimit -c unlimited
-        if command -v elixirc &> /dev/null
+        if command -v elixirc >/dev/null 2>&1 && command -v elixir >/dev/null 2>&1
         then
           valgrind --error-exitcode=1 ./src/AtomVM ./tests/libs/exavmlib/Tests.avm
           ./src/AtomVM ./tests/libs/exavmlib/Tests.avm
+        else
+          echo "Elixir not installed, skipping Elixir tests"
         fi
 
     - name: "Install and smoke test"

CHANGELOG.md

@@ -39,6 +39,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Added `erlang:get/0` and `erlang:erase/0`.
 - Added `erlang:unique_integer/0` and `erlang:unique_integer/1`
 - Added support for 'ets:delete/1'.
+- Added `lists:flatmap/2`
+- Added `io:fwrite/1,2,3` and `io:format/3` as well as few io functions required by remote shell
+- Added `code:is_loaded/1` and `code:which/1`
+- Added several `io_lib` functions including `io_lib:fwrite/2` and `io_lib:write_atom/1`
+- Added `init:get_argument/1`, `init:get_plain_arguments/0` and `init:notify_when_started/1`
 - Added `application:get_env/2`
 
 ### Changed
@@ -113,6 +118,7 @@ memory error
 - Fix `is_function/2` guard
 - Fixed segfault when calling `lists:reverse/1` (#1600)
 - Fixed nif_atomvm_posix_read GC bug
+- Fixed `erlang:is_number/1` function, now returns true also for floats
 
 ### Changed
 

libs/estdlib/src/CMakeLists.txt

@@ -48,6 +48,7 @@ set(ERLANG_MODULES
     net_kernel
     net_kernel_sup
     inet
+    init
     io_lib
     io
     lists

libs/estdlib/src/code.erl

@@ -29,7 +29,9 @@
     all_loaded/0,
     load_abs/1,
     load_binary/3,
-    ensure_loaded/1
+    ensure_loaded/1,
+    which/1,
+    is_loaded/1
 ]).
 
 %%-----------------------------------------------------------------------------
@@ -58,7 +60,7 @@ all_loaded() ->
     erlang:nif_error(undefined).
 
 %%-----------------------------------------------------------------------------
-%% @param   Filename    path to the beam to open, without .beams suffix
+%% @param   Filename    path to the beam to open, without .beam suffix
 %% @returns A tuple with the name of the module
 %% @doc     Load a module from a path.
 %% Error return result type is different from Erlang/OTP.
@@ -98,3 +100,35 @@ load_binary(_Module, _Filename, _Binary) ->
     Module :: atom().
 ensure_loaded(_Module) ->
     erlang:nif_error(undefined).
+
+%%-----------------------------------------------------------------------------
+%% @param   Module      module to test
+%% @returns Tuple `{file, preloaded}' if module is loaded or `false'
+%% @doc     Determine if a module is loaded. AtomVM works in
+%% an embedded-like mode where modules are loaded at start-up but modules
+%% can be loaded explicitely as well (especially from a binary with `load_binary/3').
+%% @end
+%%-----------------------------------------------------------------------------
+is_loaded(Module) ->
+    case ?MODULE:ensure_loaded(Module) of
+        {module, _Module} ->
+            {file, preloaded};
+        {error, _} ->
+            false
+    end.
+
+%%-----------------------------------------------------------------------------
+%% @param   Module      module to test
+%% @returns `preloaded' if module is loaded or `false'
+%% @doc     Determine if a module is loaded. There currently is no way to
+%% distinguish a module that was loaded with `load_binary/3' or that was
+%% preloaded at startup.
+%% @end
+%%-----------------------------------------------------------------------------
+which(Module) ->
+    case ?MODULE:ensure_loaded(Module) of
+        {module, _Module} ->
+            preloaded;
+        {error, _} ->
+            non_existing
+    end.

libs/estdlib/src/erlang.erl

@@ -57,6 +57,7 @@
     list_to_integer/1,
     list_to_integer/2,
     list_to_tuple/1,
+    iolist_size/1,
     iolist_to_binary/1,
     binary_to_atom/1,
     binary_to_atom/2,
@@ -682,13 +683,24 @@ list_to_integer(_String, _Base) ->
 list_to_tuple(_List) ->
     erlang:nif_error(undefined).
 
+%%-----------------------------------------------------------------------------
+%% @equiv   byte_size(iolist_to_binary(IOList))
+%% @param   IOList  IO list to compute the binary size of
+%% @returns the number of bytes of IOList if it was convered to `binary()'
+%% @doc     Compute the length in bytes of the IO list or `binary()'
+%% @end
+%%-----------------------------------------------------------------------------
+-spec iolist_size(IOList :: iodata()) -> non_neg_integer().
+iolist_size(_IOList) ->
+    erlang:nif_error(undefined).
+
 %%-----------------------------------------------------------------------------
 %% @param   IOList  IO list to convert to binary
 %% @returns a binary with the bytes of the IO list
 %% @doc     Convert an IO list to binary.
 %% @end
 %%-----------------------------------------------------------------------------
--spec iolist_to_binary(IOList :: iolist()) -> binary().
+-spec iolist_to_binary(IOList :: iodata()) -> binary().
 iolist_to_binary(_IOList) ->
     erlang:nif_error(undefined).
 

libs/estdlib/src/init.erl

@@ -0,0 +1,61 @@
+%
+% This file is part of AtomVM.
+%
+% Copyright 2025 Paul Guyot <[email protected]>
+%
+% Licensed under the Apache License, Version 2.0 (the "License");
+% you may not use this file except in compliance with the License.
+% You may obtain a copy of the License at
+%
+%    http://www.apache.org/licenses/LICENSE-2.0
+%
+% Unless required by applicable law or agreed to in writing, software
+% distributed under the License is distributed on an "AS IS" BASIS,
+% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+% See the License for the specific language governing permissions and
+% limitations under the License.
+%
+% SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later
+%
+
+%%-----------------------------------------------------------------------------
+%% @doc An implementation of the Erlang/OTP init interface.
+%%
+%% This module implements a strict subset of the Erlang/OTP init
+%% interface.
+%% @end
+%%-----------------------------------------------------------------------------
+-module(init).
+
+-export([
+    get_argument/1,
+    get_plain_arguments/0,
+    notify_when_started/1
+]).
+
+%%-----------------------------------------------------------------------------
+%% @param Flag flag to get values for
+%% @return `error' if no value is associated with provided flag or values in
+%% order of the command line
+%% @doc Returns values associated with a given command-line user flag.
+%% Currently always returns `error' on AtomVM.
+%% @end
+%%-----------------------------------------------------------------------------
+-spec get_argument(Flag :: atom()) -> {ok, [string()]} | error.
+get_argument(_Flag) ->
+    error.
+
+%%-----------------------------------------------------------------------------
+%% @return plain command-line arguments as a list of strings.
+%% @doc Gets plain command-line arguments.
+%% Currently always returns `[]' on AtomVM.
+%% @end
+%%-----------------------------------------------------------------------------
+-spec get_plain_arguments() -> [string()].
+get_plain_arguments() ->
+    [].
+
+%% @private
+-spec notify_when_started(Pid :: pid()) -> ok | started.
+notify_when_started(_Pid) ->
+    started.