Timeout in EnclaveBank

[petervdonovan]

The following was observed in a branch that (to my knowledge) only made changes relevant to the C target. See this run for details.

Failed: src\enclave\EnclaveBank.lf
    -----------------------------------------------------------------------------
    Reason: Test timed out.
    Compilation output:
    Generating code for: file:/D:/a/lingua-franca/lingua-franca/test/Cpp/src/enclave/EnclaveBank.lf
    ******** mode: STANDALONE
    ******** generated sources: D:\a\lingua-franca\lingua-franca\test\Cpp\src-gen\enclave\EnclaveBank
    Path: D:\a\lingua-franca\lingua-franca\test\Cpp\src-gen\enclave\EnclaveBank D:\a\lingua-franca\lingua-franca\test\Cpp\src-gen\enclave\EnclaveBank
    --- Current working directory: D:\a\lingua-franca\lingua-franca\test\Cpp\build
    --- Executing command: cmake --version
    cmake version 3.26.3

    CMake suite maintained and supported by Kitware (kitware.com/cmake).
    --- Current working directory: D:\a\lingua-franca\lingua-franca\test\Cpp\build
    --- Executing command: cmake -DCMAKE_BUILD_TYPE=Test -DCMAKE_INSTALL_PREFIX=D:/a/lingua-franca/lingua-franca/test/Cpp -DCMAKE_INSTALL_BINDIR=bin/enclave -DREACTOR_CPP_VALIDATE=ON -DREACTOR_CPP_PRINT_STATISTICS=OFF -DREACTOR_CPP_TRACE=OFF -DREACTOR_CPP_LOG_LEVEL=4 -DLF_SRC_PKG_PATH=D:\a\lingua-franca\lingua-franca\test\Cpp D:/a/lingua-franca/lingua-franca/test/Cpp/src-gen
    -- Building for: Visual Studio 17 2022
    -- The CXX compiler identification is MSVC 19.35.32217.1
    -- Detecting CXX compiler ABI info
    -- Detecting CXX compiler ABI info - done
    -- Check for working CXX compiler: C:/Program Files/Microsoft Visual Studio/2022/Enterprise/VC/Tools/MSVC/14.35.32215/bin/HostX64/x64/cl.exe - skipped
    -- Detecting CXX compile features
    -- Detecting CXX compile features - done
    Not producing code coverage information since the selected compiler is no gcc
    -- Performing Test CMAKE_HAVE_LIBC_PTHREAD
    -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed
    -- Looking for pthread_create in pthreads
    -- Looking for pthread_create in pthreads - not found
    -- Looking for pthread_create in pthread
    -- Looking for pthread_create in pthread - not found
    -- Found Threads: TRUE  
    -- Configuring done (30.5s)
    -- Generating done (0.0s)
    -- Build files have been written to: D:/a/lingua-franca/lingua-franca/test/Cpp/build
    --- Current working directory: D:\a\lingua-franca\lingua-franca\test\Cpp\build
    --- Executing command: cmake --build . --target EnclaveBank --parallel 2 --config Debug
    MSBuild version 17.6.3+07e294721 for .NET Framework

      Checking Build System
      Building Custom Rule D:/a/lingua-franca/lingua-franca/test/Cpp/src-gen/reactor-cpp-default/lib/CMakeLists.txt
      action.cc
      assert.cc
      environment.cc
      logical_time.cc
      port.cc
      reaction.cc
      reactor.cc
      scheduler.cc
      time.cc
      multiport.cc
      Generating Code...
      Auto build dll exports
         Creating library D:/a/lingua-franca/lingua-franca/test/Cpp/build/reactor-cpp-default/lib/Debug/reactor-cpp-default.lib and object D:/a/lingua-franca/lingua-franca/test/Cpp/build/reactor-cpp-default/lib/Debug/reactor-cpp-default.exp
      reactor-cpp-default.vcxproj -> D:\a\lingua-franca\lingua-franca\test\Cpp\build\reactor-cpp-default\lib\Debug\reactor-cpp-default.dll
      Building Custom Rule D:/a/lingua-franca/lingua-franca/test/Cpp/src-gen/enclave/EnclaveBank/CMakeLists.txt
      Node.cc
    D:\a\lingua-franca\lingua-franca\test\Cpp\src-gen\enclave\EnclaveBank\enclave\EnclaveBank\Node.cc(80,33): warning C4100: 'a': unreferenced formal parameter [D:\a\lingua-franca\lingua-franca\test\Cpp\build\enclave\EnclaveBank\EnclaveBank.vcxproj]
      EnclaveBank.cc
      _lf_preamble.cc
      main.cc
      Generating Code...
    D:\a\lingua-franca\lingua-franca\test\Cpp\src-gen\enclave\EnclaveBank\__include__\time_parser.hh(182): warning C4702: unreachable code [D:\a\lingua-franca\lingua-franca\test\Cpp\build\enclave\EnclaveBank\EnclaveBank.vcxproj]
      EnclaveBank.vcxproj -> D:\a\lingua-franca\lingua-franca\test\Cpp\build\enclave\EnclaveBank\Debug\EnclaveBank.exe
    INFO: 'a': unreferenced formal parameter [D:\a\lingua-franca\lingua-franca\test\Cpp\build\enclave\EnclaveBank\EnclaveBank.vcxproj] [Node.cc:80:33]
    INFO: unreachable code [D:\a\lingua-franca\lingua-franca\test\Cpp\build\enclave\EnclaveBank\EnclaveBank.vcxproj] [time_parser.hh:182:0]
    --- Current working directory: D:\a\lingua-franca\lingua-franca\test\Cpp\build
    --- Executing command: cmake --build . --target install --parallel 2 --config Debug
    MSBuild version 17.6.3+07e294721 for .NET Framework

      -- Install configuration: "Debug"
    SUCCESS (compiling generated C++ code)
    Generated source code is in D:\a\lingua-franca\lingua-franca\test\Cpp\src-gen\enclave\EnclaveBank
    Compiled binary is in D:\a\lingua-franca\lingua-franca\test\Cpp\bin\enclave

    Execution output:
    heduler ) Send termination signal to all workers
    [DEBUG] (Scheduler ) Wakeup 1 workers
    [DEBUG] (Scheduler ) Worker 1 wakes up
    [DEBUG] (Worker  1) terminates
    [DEBUG] (Worker  0) terminates

    +---------------------------------------------------------------------------+

[cmnrd]

Thanks for reporting this. I also encountered similar failures recently. Here is another one reported by Marten: https://github.com/lf-lang/lingua-franca/actions/runs/5196323040/jobs/9369916609?pr=1807.

I will keep an eye on this and hope to find the root cause soon. I suspect that there is a deadlock and/or a race in the startup procedure.