From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from [87.239.111.99] (localhost [127.0.0.1]) by dev.tarantool.org (Postfix) with ESMTP id 7698B6ECE3; Sun, 12 Jun 2022 01:41:01 +0300 (MSK) DKIM-Filter: OpenDKIM Filter v2.11.0 dev.tarantool.org 7698B6ECE3 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=tarantool.org; s=dev; t=1654987261; bh=/KNlGznz7NcpjFb1cg6Bt1yfdRjBmy7WSa0jpQlhQ2A=; h=To:Date:Subject:List-Id:List-Unsubscribe:List-Archive:List-Post: List-Help:List-Subscribe:From:Reply-To:From; b=zFLOV/B+VUTIkZ+/CyNx+FgQ5ARJch77pcluvUxbUq0u3/09k1kb2p9t/XSuS+ir5 erbYblK1cMvs4un8VHFG5dq3Q6iqvApCx6U9Dx5CGBb+iMEUEEEA/mtGtQeZMEh1m/ ld6J2qu7xG/L0YFv4QXuOv3OjZZO3fszW4V05wCI= Received: from mail-lf1-f53.google.com (mail-lf1-f53.google.com [209.85.167.53]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by dev.tarantool.org (Postfix) with ESMTPS id D586F6ECE3 for ; Sun, 12 Jun 2022 01:40:59 +0300 (MSK) DKIM-Filter: OpenDKIM Filter v2.11.0 dev.tarantool.org D586F6ECE3 Received: by mail-lf1-f53.google.com with SMTP id a29so3638121lfk.2 for ; Sat, 11 Jun 2022 15:40:59 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=lbgxJISTaLQScvHWdg3MpHUgq34pUS5YNmIiFs/0pyU=; b=p+ge/Lb7pFkUN0WQwBqPhxubXrpgPxBx9HXqjROUyZqZLxk+Pe8v5vRH/TZTSdG2pf 7EpFVMX36OaiSCrmebjxqXF07x2XISSIJin9rxsARfaY3AfTEvKR0dEy7AaWchxZ3Twk 4u03xFNr7efOU93o1M46nF51P/VtjHvx+QcMOFF4qMU/sTZPfz80JkAkEf2PTJYrzKAr bNrF9b/5T3jo5Q7QUeJistb4r7NOdzinYi7s2xToO71opCmR+HFEcEtKTfWz97Vlr7Pk aILusfqegNyvoiuZBkoDTnj7mbgI7G7cB1C+R9KlIA1EHBtaxQ8jqThDH1I+DWmbfNtw b1dw== X-Gm-Message-State: AOAM5314E+7YYIAb8MKIAOY7pAeHf0J2qcgItIdTl1u5Bkj4jhtZvZ1t EcMJzkX1Pf5QGQc18piINjkwlY7sEyaNHw== X-Google-Smtp-Source: ABdhPJy8vGrx3EHe9+u3bU2zlBg0FaDywYmQJJsq6simaMMcTnOYnaRuK99S/Ztc1VSgOLzkDDXueg== X-Received: by 2002:a05:6512:3992:b0:47c:48fc:3c62 with SMTP id j18-20020a056512399200b0047c48fc3c62mr9658463lfu.102.1654987258677; Sat, 11 Jun 2022 15:40:58 -0700 (PDT) Received: from localhost.localdomain (109-252-140-49.dynamic.spd-mgts.ru. [109.252.140.49]) by smtp.gmail.com with ESMTPSA id c4-20020a19e344000000b00478ea0e4f66sm405567lfk.169.2022.06.11.15.40.57 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 11 Jun 2022 15:40:58 -0700 (PDT) X-Google-Original-From: Maxim Kokryashkin To: tarantool-patches@dev.tarantool.org, imun@tarantool.org, skaplun@tarantool.org Date: Sun, 12 Jun 2022 01:40:54 +0300 Message-Id: <20220611224054.379999-1-m.kokryashkin@tarantool.org> X-Mailer: git-send-email 2.36.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Subject: [Tarantool-patches] [PATCH luajit] sysprof: replace `backtrace` with libunwind X-BeenThere: tarantool-patches@dev.tarantool.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Tarantool development patches List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , From: Maxim Kokryashkin via Tarantool-patches Reply-To: Maxim Kokryashkin Errors-To: tarantool-patches-bounces@dev.tarantool.org Sender: "Tarantool-patches" `backtrace` fails to unwind the host stack in LuaJIT, since there is no frame pointers during the vm calls. Sometimes, those failures cause crashes. This commit replaces it with the libunwind-based unwinder, which makes use of additional runtime info to provide robust unwinding without any frame pointers. Also, this commit enables C API tests, which used to crash with `backtrace`. Part of tarantool/tarantool#781 --- Branch: https://github.com/tarantool/luajit/tree/fckxorg/sysprof-libunwind PR: https://github.com/tarantool/tarantool/pull/7198 CMakeLists.txt | 38 ++++++-- cmake/FindLibUnwind.cmake | 86 +++++++++++++++++++ cmake/GetLibUnwindVersion.cmake | 12 +++ src/CMakeLists.txt | 4 + src/lj_sysprof.c | 51 ++++++++--- test/luajit-test-init.lua | 41 +++++++++ test/tarantool-tests/CMakeLists.txt | 6 ++ .../misclib-sysprof-capi.test.lua | 12 +-- .../misclib-sysprof-lapi.test.lua | 5 +- 9 files changed, 225 insertions(+), 30 deletions(-) create mode 100644 cmake/FindLibUnwind.cmake create mode 100644 cmake/GetLibUnwindVersion.cmake diff --git a/CMakeLists.txt b/CMakeLists.txt index 659ee879..d62d5b34 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -89,12 +89,7 @@ if(CMAKE_LIBRARY_ARCHITECTURE) AppendFlags(TARGET_C_FLAGS -DLUA_MULTILIB='"lib/${CMAKE_LIBRARY_ARCHITECTURE}"') endif() -# Since the assembler part does NOT maintain a frame pointer, it's -# pointless to slow down the C part by not omitting it. Debugging, -# tracebacks and unwinding are not affected -- the assembler part -# has frame unwind information and GCC emits it where needed (x64) -# or with -g. -AppendFlags(CMAKE_C_FLAGS -fomit-frame-pointer -fno-stack-protector) +AppendFlags(CMAKE_C_FLAGS -fno-stack-protector) # Redefined to benefit from expanding macros in gdb. set(CMAKE_C_FLAGS_DEBUG "-g -ggdb3") @@ -188,6 +183,37 @@ endif() option(LUAJIT_DISABLE_SYSPROF "LuaJIT platform and Lua profiler support" OFF) if(LUAJIT_DISABLE_SYSPROF) AppendFlags(TARGET_C_FLAGS -DLUAJIT_DISABLE_SYSPROF) + AppendFlags(CMAKE_C_FLAGS -fomit-frame-pointer) +else() + if(CMAKE_SYSTEM_NAME STREQUAL "Linux" AND + ( + CMAKE_SYSTEM_PROCESSOR STREQUAL "i386" OR + CMAKE_SYSTEM_PROCESSOR STREQUAL "i686" OR + CMAKE_SYSTEM_PROCESSOR STREQUAL "x86_64" + ) + ) + # XXX: Libunwind can be provided externally. + if(NOT LIBUNWIND_LIBRARIES) + find_package(LibUnwind MODULE QUIET) + endif() + + if(NOT LIBUNWIND_FOUND AND NOT LIBUNWIND_LIBRARIES) + set(LUAJIT_DISABLE_SYSPROF ON) + AppendFlags(TARGET_C_FLAGS -DLUAJIT_DISABLE_SYSPROF) + AppendFlags(CMAKE_C_FLAGS -fomit-frame-pointer) + message(STATUS "Libunwind was not found, sysprof is disabled") + + # XXX: CMake sets those variables globally, so using the `unset` here + # doesn't really clear them out of the parent scope. As stated in the + # `unset` documentation, to force a variable reference of the form ${VAR} + # to return an empty string, you need to use `set( "")`. + set(LIBUNWIND_INCLUDE_DIR "" PARENT_SCOPE) + set(LIBUNWIND_LIBRARIES "" PARENT_SCOPE) + set(LIBUNWIND_FOUND FALSE PARENT_SCOPE) + else() + AppendFlags(CMAKE_C_FLAGS -fno-omit-frame-pointer -fasynchronous-unwind-tables) + endif() + endif() endif() # Switch to harder (and slower) hash function when a collision diff --git a/cmake/FindLibUnwind.cmake b/cmake/FindLibUnwind.cmake new file mode 100644 index 00000000..70221c12 --- /dev/null +++ b/cmake/FindLibUnwind.cmake @@ -0,0 +1,86 @@ +#[========================================================================[.rst: +FindLibUnwind +-------- +Finds the libunwind library. + +Result Variables +^^^^^^^^^^^^^^^^ +``LIBUNWIND_FOUND`` + True if the system has the libunwind library. +``LIBUNWIND_VERSION`` + The version of the libunwind library which was found. +``LIBUNWIND_INCLUDE_DIR`` + Include directory needed to use libunwind. +``LIBUNWIND_LIBRARIES`` + Libraries needed to link to libunwind. + +Cache Variables +^^^^^^^^^^^^^^^ +``LIBUNWIND_INCLUDE_DIR`` + The directory containing ``libunwind.h``. +``LIBUNWIND_LIBRARIES`` + The paths to the libunwind libraries. +#]========================================================================] + +include(FindPackageHandleStandardArgs) +include(GetLibUnwindVersion) + +find_package(PkgConfig QUIET) +pkg_check_modules(PC_LIBUNWIND QUIET libunwind) + +find_path(LIBUNWIND_INCLUDE_DIR libunwind.h ${PC_LIBUNWIND_INCLUDE_DIRS}) +if(LIBUNWIND_INCLUDE_DIR) + include_directories(${LIBUNWIND_INCLUDE_DIR}) +endif() + +if(BUILD_STATIC AND NOT APPLE) + set(LIBUNWIND_LIBRARY_NAME libunwind.a) +else() + # Only a dynamic version of libunwind is available on macOS: also, we + # should link against the umbrella framework `System` — otherwise `ld` will + # complain that it cannot link directly with libunwind.tbd. + set(LIBUNWIND_LIBRARY_NAME System unwind) +endif() +find_library(LIBUNWIND_LIBRARY NAMES ${LIBUNWIND_LIBRARY_NAME} + PATHS ${PC_LIBUNWIND_LIBRARY_DIRS}) + +if(APPLE) + set(LIBUNWIND_LIBRARIES ${LIBUNWIND_LIBRARY}) +else() + if(BUILD_STATIC) + set(LIBUNWIND_PLATFORM_LIBRARY_NAME + "libunwind-${CMAKE_SYSTEM_PROCESSOR}.a") + else() + set(LIBUNWIND_PLATFORM_LIBRARY_NAME + "unwind-${CMAKE_SYSTEM_PROCESSOR}") + endif() + find_library(LIBUNWIND_PLATFORM_LIBRARY ${LIBUNWIND_PLATFORM_LIBRARY_NAME} + ${PC_LIBUNWIND_LIBRARY_DIRS}) + set(LIBUNWIND_LIBRARIES ${LIBUNWIND_LIBRARY} ${LIBUNWIND_PLATFORM_LIBRARY}) +endif() + +if(BUILD_STATIC) + # libunwind could have been built with liblzma dependency: + # https://github.com/libunwind/libunwind/blob/4feb1152d1c4aaafbb2d504dbe34c6db5b6fe9f2/configure.ac#L302-L317 + pkg_check_modules(PC_LIBLZMA QUIET liblzma) + find_library(LIBLZMA_LIBRARY liblzma.a ${PC_LIBLZMA_LIBRARY_DIRS}) + if(NOT LIBLZMA_LIBRARY STREQUAL "LIBLZMA_LIBRARY-NOTFOUND") + message(STATUS "liblzma found") + set(LIBUNWIND_LIBRARIES ${LIBUNWIND_LIBRARIES} ${LIBLZMA_LIBRARY}) + endif() + # Ditto, + # https://github.com/libunwind/libunwind/blob/4feb1152d1c4aaafbb2d504dbe34c6db5b6fe9f2/configure.ac#L319-L334 + set(LIBUNWIND_LIBRARIES ${LIBUNWIND_LIBRARIES} ZLIB::ZLIB) +endif() + +if(PC_LIBUNWIND_VERSION) + set(LIBUNWIND_VERSION ${PC_LIBUNWIND_VERSION}) +else() + GetLibUnwindVersion(LIBUNWIND_VERSION) +endif() + +find_package_handle_standard_args(LibUnwind + VERSION_VAR LIBUNWIND_VERSION + REQUIRED_VARS LIBUNWIND_INCLUDE_DIR LIBUNWIND_LIBRARIES) + +mark_as_advanced(LIBUNWIND_INCLUDE_DIR LIBUNWIND_LIBRARIES) diff --git a/cmake/GetLibUnwindVersion.cmake b/cmake/GetLibUnwindVersion.cmake new file mode 100644 index 00000000..af833478 --- /dev/null +++ b/cmake/GetLibUnwindVersion.cmake @@ -0,0 +1,12 @@ +function(GetLibUnwindVersion _LIBUNWIND_VERSION) + set(_LIBUNWIND_VERSION_HEADER "${LIBUNWIND_INCLUDE_DIR}/libunwind-common.h") + if(LIBUNWIND_LIBRARY AND EXISTS ${_LIBUNWIND_VERSION_HEADER}) + file(READ ${_LIBUNWIND_VERSION_HEADER} + _LIBUNWIND_VERSION_HEADER_CONTENTS) + string(REGEX MATCH + "#define UNW_VERSION_MAJOR[ \t]+([0-9]+)\n#define UNW_VERSION_MINOR[ \t]+([0-9]+)" + _VERSION_REGEX "${_LIBUNWIND_VERSION_HEADER_CONTENTS}") + set(${_LIBUNWIND_VERSION} "${CMAKE_MATCH_1}.${CMAKE_MATCH_2}" + PARENT_SCOPE) + endif() +endfunction() diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 1a3f106a..9e004a44 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -283,6 +283,10 @@ add_dependencies(core_shared buildvm_output) list(APPEND TARGET_LIBS m) +if(NOT LUAJIT_DISABLE_SYSPROF) + list(APPEND TARGET_LIBS ${LIBUNWIND_LIBRARIES}) +endif() + set(LIB_OBJECTS_STATIC $ $ diff --git a/src/lj_sysprof.c b/src/lj_sysprof.c index a4a70146..20604b90 100644 --- a/src/lj_sysprof.c +++ b/src/lj_sysprof.c @@ -26,7 +26,9 @@ #include #include -#include + +#define UNW_LOCAL_ONLY +#include /* ** Number of profiler frames we need to omit during stack @@ -85,6 +87,34 @@ static struct sysprof sysprof = {0}; /* --- Stream ------------------------------------------------------------- */ +static ssize_t collect_stack(void **buffer, int size) +{ + int frame_no = 0; + unw_context_t unw_ctx; + unw_cursor_t unw_cur; + + int rc = unw_getcontext(&unw_ctx); + if (rc != 0) + return -1; + + rc = unw_init_local(&unw_cur, &unw_ctx); + if (rc != 0) + return -1; + + for (; frame_no < size; ++frame_no) { + unw_word_t ip; + rc = unw_get_reg(&unw_cur, UNW_REG_IP, &ip); + if (rc != 0) + return -1; + + buffer[frame_no] = (void *)ip; + rc = unw_step(&unw_cur); + if (rc <= 0) + break; + } + return frame_no; +} + static const uint8_t ljp_header[] = {'l', 'j', 'p', LJP_FORMAT_VERSION, 0x0, 0x0, 0x0}; @@ -197,10 +227,11 @@ static void default_backtrace_host(void *(writer)(int frame_no, void *addr)) int max_depth = sp->opt.mode == LUAM_SYSPROF_LEAF ? SYSPROF_HANDLER_STACK_DEPTH + 1 : SYSPROF_BACKTRACE_FRAME_MAX; - const int depth = backtrace(backtrace_buf, max_depth); + const int depth = collect_stack(backtrace_buf, max_depth); int level; lua_assert(depth <= max_depth); + lua_assert(depth != -1); for (level = SYSPROF_HANDLER_STACK_DEPTH; level < depth; ++level) { if (!writer(level - SYSPROF_HANDLER_STACK_DEPTH + 1, backtrace_buf[level])) return; @@ -410,20 +441,12 @@ int lj_sysprof_set_backtracer(luam_Sysprof_backtracer backtracer) { if (sp->state != SPS_IDLE) return PROFILE_ERRUSE; - if (backtracer == NULL) { + + if (backtracer == NULL) sp->backtracer = default_backtrace_host; - /* - ** XXX: `backtrace` is not signal-safe, according to man, - ** because it is lazy loaded on the first call, which triggers - ** allocations. We need to call `backtrace` before starting profiling - ** to avoid lazy loading. - */ - void *dummy = NULL; - backtrace(&dummy, 1); - } - else { + else sp->backtracer = backtracer; - } + if (!is_unconfigured(sp)) { sp->state = SPS_IDLE; } diff --git a/test/luajit-test-init.lua b/test/luajit-test-init.lua index acd3d60e..37606e49 100644 --- a/test/luajit-test-init.lua +++ b/test/luajit-test-init.lua @@ -18,3 +18,44 @@ end function _dofile(filename) return dofile(path_to_sources..filename) end + +-- XXX: Some tests need more complicated skipconds that can be implemented +-- in Lua, so this function checks if the test was marked as excluded via CLI +-- arg. + +-- luacheck: no global + function is_excluded() + if #arg == 0 then + return false + end + + local exclusions = nil + for i = 1, #arg do + local excl_arg = string.match(arg[i], '--exclude=({.+})') + + if excl_arg == nil then + break + end + + assert(exclusions == nil, '--exclude was already provided') + + local excl_f, err = loadstring('return ' .. excl_arg) + assert(excl_f, err) + + local excl = excl_f() + assert(type(excl) == 'table', '--exclude option must provide a valid array') + exclusions = excl + end + + if exclusions == nil then + return false + end + + local basename = string.match(arg[0], '[%w%-]+%.test%.lua') + for _, name in ipairs(exclusions) do + if basename == name .. '.test.lua' then + return true + end + end + return false +end diff --git a/test/tarantool-tests/CMakeLists.txt b/test/tarantool-tests/CMakeLists.txt index e4d7134a..7bb07251 100644 --- a/test/tarantool-tests/CMakeLists.txt +++ b/test/tarantool-tests/CMakeLists.txt @@ -84,6 +84,11 @@ set(LUA_TEST_ENV "LUA_CPATH=\"${LUA_CPATH}\;\;\"" ) +if(LUAJIT_DISABLE_SYSPROF) + string(CONCAT LUA_EXCLUDE_TESTS [[\{\"misclib-sysprof-lapi\",]] + [[\"misclib-sysprof-capi\"\}]]) +endif() + if(CMAKE_VERBOSE_MAKEFILE) list(APPEND LUA_TEST_FLAGS --verbose) endif() @@ -132,6 +137,7 @@ add_custom_command(TARGET tarantool-tests --exec '${LUAJIT_TEST_COMMAND}' --ext ${LUA_TEST_SUFFIX} ${LUA_TEST_FLAGS} + :: --exclude=${LUA_EXCLUDE_TESTS} WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR} ) diff --git a/test/tarantool-tests/misclib-sysprof-capi.test.lua b/test/tarantool-tests/misclib-sysprof-capi.test.lua index afb99cf2..a5c5b77d 100644 --- a/test/tarantool-tests/misclib-sysprof-capi.test.lua +++ b/test/tarantool-tests/misclib-sysprof-capi.test.lua @@ -1,10 +1,11 @@ -- Sysprof is implemented for x86 and x64 architectures only. local ffi = require("ffi") +-- luacheck: globals is_excluded require("utils").skipcond( jit.arch ~= "x86" and jit.arch ~= "x64" or jit.os ~= "Linux" - or ffi.abi("gc64"), + or ffi.abi("gc64") or is_excluded(), jit.arch.." architecture or "..jit.os.. - " OS is NIY for sysprof" + " OS is NIY for sysprof, or the test suite was excluded" ) local testsysprof = require("testsysprof") @@ -15,15 +16,11 @@ local jit = require('jit') jit.off() local test = tap.test("clib-misc-sysprof") -test:plan(2) +test:plan(4) test:ok(testsysprof.base()) test:ok(testsysprof.validation()) --- FIXME: The following two tests are disabled because sometimes --- `backtrace` dynamically loads a platform-specific unwinder, which is --- not signal-safe. ---[[ local function lua_payload(n) if n <= 1 then return n @@ -56,5 +53,4 @@ jit.on() jit.flush() test:ok(testsysprof.profile_func(payload)) ---]] os.exit(test:check() and 0 or 1) diff --git a/test/tarantool-tests/misclib-sysprof-lapi.test.lua b/test/tarantool-tests/misclib-sysprof-lapi.test.lua index 2f53d771..2e1fa2c9 100644 --- a/test/tarantool-tests/misclib-sysprof-lapi.test.lua +++ b/test/tarantool-tests/misclib-sysprof-lapi.test.lua @@ -1,10 +1,11 @@ -- Sysprof is implemented for x86 and x64 architectures only. local ffi = require("ffi") +-- luacheck: globals is_excluded require("utils").skipcond( jit.arch ~= "x86" and jit.arch ~= "x64" or jit.os ~= "Linux" - or ffi.abi("gc64"), + or ffi.abi("gc64") or is_excluded(), jit.arch.." architecture or "..jit.os.. - " OS is NIY for sysprof" + " OS is NIY for sysprof, or the test suite was excluded" ) local tap = require("tap") -- 2.36.1