[lldb/PlatformPOSIX] Change LoadImage default to RTLD_LAZY (reapply)

In general, it seems like the debugger should allow programs to load & run with
libraries as far as possible, instead of defaulting to being super-picky about
unavailable symbols.

This is critical on macOS/Darwin, as libswiftCore.dylib may 1) export a version
symbol using @available markup and then 2) expect that other exported APIs are
only dynamically used once the version symbol is checked. We can't open a
version of the library built with a bleeding-edge SDK on an older OS without
RTLD_LAXY (or pervasive/expensive @available markup added to dyld APIs).

This was previously committed as cb8c1ee269 and reverted due to
unknown failures on the Linux bots. This version adds additional asserts
to check that the shared objects are where we expect them & that calling
f1() from libt1 produces the expected value. The Linux failure is
tracked by https://bugs.llvm.org/show_bug.cgi?id=49656.

See: https://lists.llvm.org/pipermail/lldb-dev/2021-March/016796.html

Differential Revision: https://reviews.llvm.org/D98879
This commit is contained in:
Vedant Kumar 2021-03-18 11:12:17 -07:00
parent 94a793f096
commit 4bd2bfb6ec
9 changed files with 106 additions and 2 deletions

View File

@ -578,7 +578,19 @@ PlatformPOSIX::MakeLoadImageUtilityFunction(ExecutionContext &exe_ctx,
// __lldb_dlopen_result for consistency. The wrapper returns a void * but
// doesn't use it because UtilityFunctions don't work with void returns at
// present.
//
// Use lazy binding so as to not make dlopen()'s success conditional on
// forcing every symbol in the library.
//
// In general, the debugger should allow programs to load & run with
// libraries as far as they can, instead of defaulting to being super-picky
// about unavailable symbols.
//
// The value "1" appears to imply lazy binding (RTLD_LAZY) on both Darwin
// and other POSIX OSes.
static const char *dlopen_wrapper_code = R"(
const int RTLD_LAZY = 1;
struct __lldb_dlopen_result {
void *image_ptr;
const char *error_str;
@ -595,7 +607,7 @@ PlatformPOSIX::MakeLoadImageUtilityFunction(ExecutionContext &exe_ctx,
{
// This is the case where the name is the full path:
if (!path_strings) {
result_ptr->image_ptr = dlopen(name, 2);
result_ptr->image_ptr = dlopen(name, RTLD_LAZY);
if (result_ptr->image_ptr)
result_ptr->error_str = nullptr;
return nullptr;
@ -609,7 +621,7 @@ PlatformPOSIX::MakeLoadImageUtilityFunction(ExecutionContext &exe_ctx,
buffer[path_len] = '/';
char *target_ptr = buffer+path_len+1;
memcpy((void *) target_ptr, (void *) name, name_len + 1);
result_ptr->image_ptr = dlopen(buffer, 2);
result_ptr->image_ptr = dlopen(buffer, RTLD_LAZY);
if (result_ptr->image_ptr) {
result_ptr->error_str = nullptr;
break;

View File

@ -0,0 +1 @@
2.777875e+00 functionalities/load_lazy/TestLoadUsingLazyBind.py

View File

@ -0,0 +1,18 @@
CXX_SOURCES := main.cpp
USE_LIBDL := 1
all: t2_0 t2_1 t1 a.out
include Makefile.rules
t1: t2_0
$(MAKE) VPATH=$(SRCDIR) -f $(MAKEFILE_RULES) \
DYLIB_ONLY=YES DYLIB_C_SOURCES=t1.c DYLIB_NAME=t1 LD_EXTRAS="-L. -lt2_0"
t2_0:
$(MAKE) VPATH=$(SRCDIR) -f $(MAKEFILE_RULES) \
DYLIB_ONLY=YES DYLIB_C_SOURCES=t2_0.c DYLIB_NAME=t2_0
t2_1:
$(MAKE) VPATH=$(SRCDIR) -f $(MAKEFILE_RULES) \
DYLIB_ONLY=YES DYLIB_C_SOURCES=t2_1.c DYLIB_NAME=t2_1

View File

@ -0,0 +1,65 @@
"""
Test that SBProcess.LoadImageUsingPaths uses RTLD_LAZY
"""
import os
import shutil
import lldb
from lldbsuite.test.decorators import *
from lldbsuite.test.lldbtest import *
from lldbsuite.test import lldbutil
class LoadUsingLazyBind(TestBase):
mydir = TestBase.compute_mydir(__file__)
NO_DEBUG_INFO_TESTCASE = True
@skipIfRemote
@skipIfWindows # The Windows platform doesn't implement DoLoadImage.
# Failing for unknown reasons on Linux, see
# https://bugs.llvm.org/show_bug.cgi?id=49656.
@skipUnlessDarwin
def test_load_using_lazy_bind(self):
"""Test that we load using RTLD_LAZY"""
self.build()
wd = os.path.realpath(self.getBuildDir())
ext = '.so'
if self.platformIsDarwin():
ext = '.dylib'
def make_lib_path(name):
libpath = os.path.join(wd, name + ext)
self.assertTrue(os.path.exists(libpath))
return libpath
libt1 = make_lib_path('libt1')
libt2_0 = make_lib_path('libt2_0')
libt2_1 = make_lib_path('libt2_1')
# Overwrite t2_0 with t2_1 to delete the definition of `use`.
shutil.copy(libt2_1, libt2_0)
# Launch a process and break
(target, process, thread, _) = lldbutil.run_to_source_breakpoint(self,
"break here",
lldb.SBFileSpec("main.cpp"))
# Load libt1; should fail unless we use RTLD_LAZY
error = lldb.SBError()
lib_spec = lldb.SBFileSpec('libt1' + ext)
paths = lldb.SBStringList()
paths.AppendString(wd)
out_spec = lldb.SBFileSpec()
token = process.LoadImageUsingPaths(lib_spec, paths, out_spec, error)
self.assertNotEqual(token, lldb.LLDB_INVALID_IMAGE_TOKEN, "Got a valid token")
# Calling `f1()` should return 5.
frame = thread.GetFrameAtIndex(0)
val = frame.EvaluateExpression("f1()")
self.assertTrue(val.IsValid())
self.assertEquals(val.GetValueAsSigned(-1), 5)

View File

@ -0,0 +1 @@
basic_process

View File

@ -0,0 +1,3 @@
int main() {
return 0; // break here
}

View File

@ -0,0 +1,3 @@
extern void use();
int f1() { return 5; }
void f2() { use(); }

View File

@ -0,0 +1 @@
void use() {}