From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtpng1.m.smailru.net (smtpng1.m.smailru.net [94.100.181.251]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by dev.tarantool.org (Postfix) with ESMTPS id AE47A43E8A7 for ; Fri, 27 Mar 2020 13:54:09 +0300 (MSK) From: Igor Munkin Date: Fri, 27 Mar 2020 13:47:49 +0300 Message-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit Subject: [Tarantool-patches] [PATCH luajit 0/2] Trace abort on FFI sandwich or mode change List-Id: Tarantool development patches List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Sergey Ostanevich , Vladislav Shpilevoy , Kirill Yukhin Cc: tarantool-patches@dev.tarantool.org This series closes two issues related to the JIT machinery behaviour: * "FFI sandwich"(*) detection is introduced. If sandwich is detected while trace recording the recording is aborted. The sandwich detected while mcode execution leads to the platform panic. * luaJIT_setmode call is prohibited while mcode execution and leads to the platform panic. (*) The following stack mix is called FFI sandwich. | Lua-FFI -> ะก routine -> Lua-C API -> Lua VM This sort of re-entrancy is explicitly not supported by LuaJIT compiler. For more info see [1]. Branch: https://github.com/tarantool/luajit/tree/imun/ffi-sandwich [1]: https://github.com/tarantool/tarantool/issues/4427 Igor Munkin (2): jit: abort trace recording and execution for C API jit: abort trace execution on JIT mode change src/lj_api.c | 35 ++++++++++---- src/lj_dispatch.c | 5 ++ src/lj_errmsg.h | 2 + test/gh-4427-ffi-sandwich/CMakeLists.txt | 1 + test/gh-4427-ffi-sandwich/libsandwich.c | 59 ++++++++++++++++++++++++ test/gh-4427-ffi-sandwich/test.lua | 26 +++++++++++ test/lj-flush-on-trace/CMakeLists.txt | 1 + test/lj-flush-on-trace/libflush.c | 31 +++++++++++++ test/lj-flush-on-trace/test.lua | 25 ++++++++++ 9 files changed, 176 insertions(+), 9 deletions(-) create mode 100644 test/gh-4427-ffi-sandwich/CMakeLists.txt create mode 100644 test/gh-4427-ffi-sandwich/libsandwich.c create mode 100644 test/gh-4427-ffi-sandwich/test.lua create mode 100644 test/lj-flush-on-trace/CMakeLists.txt create mode 100644 test/lj-flush-on-trace/libflush.c create mode 100644 test/lj-flush-on-trace/test.lua -- 2.25.0