Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[libunwind][WebAssembly] Omit unused parts of libunwind.cpp for Wasm #73196

Merged
merged 1 commit into from
Nov 30, 2023

Conversation

aheejin
Copy link
Member

@aheejin aheejin commented Nov 23, 2023

Wasm doesn't use most of that file; Wasm does not allow access of system registers and those functionalities are provided from the VM.

@aheejin aheejin requested a review from a team as a code owner November 23, 2023 02:22
@llvmbot
Copy link
Member

llvmbot commented Nov 23, 2023

@llvm/pr-subscribers-libunwind

Author: Heejin Ahn (aheejin)

Changes

Wasm doesn't use that file; Wasm does not allow access of system registers and those functionalities are provided from the VM. Wasm only uses
https://github.com/llvm/llvm-project/blob/main/libunwind/src/Unwind-wasm.c, which implements a few interface functions.


Full diff: https://github.com/llvm/llvm-project/pull/73196.diff

1 Files Affected:

  • (modified) libunwind/src/libunwind.cpp (+3-2)
diff --git a/libunwind/src/libunwind.cpp b/libunwind/src/libunwind.cpp
index 1bd18659b7860c0..cd610377b63de8d 100644
--- a/libunwind/src/libunwind.cpp
+++ b/libunwind/src/libunwind.cpp
@@ -26,7 +26,7 @@
 #include <sanitizer/asan_interface.h>
 #endif
 
-#if !defined(__USING_SJLJ_EXCEPTIONS__)
+#if !defined(__USING_SJLJ_EXCEPTIONS__) || !defined(__USING_WASM_EXCEPTIONS__)
 #include "AddressSpace.hpp"
 #include "UnwindCursor.hpp"
 
@@ -347,7 +347,8 @@ void __unw_remove_dynamic_eh_frame_section(unw_word_t eh_frame_start) {
 }
 
 #endif // defined(_LIBUNWIND_SUPPORT_DWARF_UNWIND)
-#endif // !defined(__USING_SJLJ_EXCEPTIONS__)
+#endif // !defined(__USING_SJLJ_EXCEPTIONS__) ||
+       // !defined(__USING_WASM_EXCEPTIONS__)
 
 #ifdef __APPLE__
 

Copy link
Member

@arichardson arichardson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The commit message is slightly misleading, it appears there are some parts of the file that are actually used?

@arichardson
Copy link
Member

The commit message is slightly misleading, it appears there are some parts of the file that are actually used?

Other than this, the change looks good to me.

@aheejin
Copy link
Member Author

aheejin commented Nov 28, 2023

The commit message is slightly misleading, it appears there are some parts of the file that are actually used?

As the commit message says, we only use https://github.com/llvm/llvm-project/blob/main/libunwind/src/Unwind-wasm.c and not libunwind.cpp. We don't use any parts of libunwind.cpp. Do you have any suggestions on how to improve the message to make it clearer?

@arichardson
Copy link
Member

The commit message is slightly misleading, it appears there are some parts of the file that are actually used?

As the commit message says, we only use https://github.com/llvm/llvm-project/blob/main/libunwind/src/Unwind-wasm.c and not libunwind.cpp. We don't use any parts of libunwind.cpp. Do you have any suggestions on how to improve the message to make it clearer?

Looking at the file, there is some code that will still be compiled for wasm (at least for debug builds). If those functions are also not used for wasm they should be ifdef'd out as well?

Commit message could be something like Omit unused parts of libunwind.cpp for WASM.

@aheejin
Copy link
Member Author

aheejin commented Nov 28, 2023

Hmm, yes, I thought we didn't build libunwind.cpp because the code next to the part I excluded was wrapped with #ifdef __APPLE__:

#ifdef __APPLE__
namespace libunwind {
static constexpr size_t MAX_DYNAMIC_UNWIND_SECTIONS_FINDERS = 8;
static RWMutex findDynamicUnwindSectionsLock;
static size_t numDynamicUnwindSectionsFinders = 0;
static unw_find_dynamic_unwind_sections
dynamicUnwindSectionsFinders[MAX_DYNAMIC_UNWIND_SECTIONS_FINDERS] = {0};
bool findDynamicUnwindSections(void *addr, unw_dynamic_unwind_sections *info) {
bool found = false;
findDynamicUnwindSectionsLock.lock_shared();
for (size_t i = 0; i != numDynamicUnwindSectionsFinders; ++i) {
if (dynamicUnwindSectionsFinders[i]((unw_word_t)addr, info)) {
found = true;
break;
}
}
findDynamicUnwindSectionsLock.unlock_shared();
return found;
}
} // namespace libunwind
int __unw_add_find_dynamic_unwind_sections(
unw_find_dynamic_unwind_sections find_dynamic_unwind_sections) {
findDynamicUnwindSectionsLock.lock();
// Check that we have enough space...
if (numDynamicUnwindSectionsFinders == MAX_DYNAMIC_UNWIND_SECTIONS_FINDERS) {
findDynamicUnwindSectionsLock.unlock();
return UNW_ENOMEM;
}
// Check for value already present...
for (size_t i = 0; i != numDynamicUnwindSectionsFinders; ++i) {
if (dynamicUnwindSectionsFinders[i] == find_dynamic_unwind_sections) {
findDynamicUnwindSectionsLock.unlock();
return UNW_EINVAL;
}
}
// Success -- add callback entry.
dynamicUnwindSectionsFinders[numDynamicUnwindSectionsFinders++] =
find_dynamic_unwind_sections;
findDynamicUnwindSectionsLock.unlock();
return UNW_ESUCCESS;
}
int __unw_remove_find_dynamic_unwind_sections(
unw_find_dynamic_unwind_sections find_dynamic_unwind_sections) {
findDynamicUnwindSectionsLock.lock();
// Find index to remove.
size_t finderIdx = numDynamicUnwindSectionsFinders;
for (size_t i = 0; i != numDynamicUnwindSectionsFinders; ++i) {
if (dynamicUnwindSectionsFinders[i] == find_dynamic_unwind_sections) {
finderIdx = i;
break;
}
}
// If no such registration is present then error out.
if (finderIdx == numDynamicUnwindSectionsFinders) {
findDynamicUnwindSectionsLock.unlock();
return UNW_EINVAL;
}
// Remove entry.
for (size_t i = finderIdx; i != numDynamicUnwindSectionsFinders - 1; ++i)
dynamicUnwindSectionsFinders[i] = dynamicUnwindSectionsFinders[i + 1];
dynamicUnwindSectionsFinders[--numDynamicUnwindSectionsFinders] = nullptr;
findDynamicUnwindSectionsLock.unlock();
return UNW_ESUCCESS;
}
#endif // __APPLE__

But yeah then we build the logAPI part:

// Add logging hooks in Debug builds only
#ifndef NDEBUG
#include <stdlib.h>
_LIBUNWIND_HIDDEN
bool logAPIs() {
// do manual lock to avoid use of _cxa_guard_acquire or initializers
static bool checked = false;
static bool log = false;
if (!checked) {
log = (getenv("LIBUNWIND_PRINT_APIS") != NULL);
checked = true;
}
return log;
}
_LIBUNWIND_HIDDEN
bool logUnwinding() {
// do manual lock to avoid use of _cxa_guard_acquire or initializers
static bool checked = false;
static bool log = false;
if (!checked) {
log = (getenv("LIBUNWIND_PRINT_UNWINDING") != NULL);
checked = true;
}
return log;
}
_LIBUNWIND_HIDDEN
bool logDWARF() {
// do manual lock to avoid use of _cxa_guard_acquire or initializers
static bool checked = false;
static bool log = false;
if (!checked) {
log = (getenv("LIBUNWIND_PRINT_DWARF") != NULL);
checked = true;
}
return log;
}
#endif // NDEBUG

Will fix the message accordingly.

@aheejin aheejin changed the title [libunwind][WebAssembly] Don't build libunwind.cpp [libunwind][WebAssembly] Omit unused parts of libunwind.cpp for Wasm Nov 28, 2023
Wasm doesn't use most of that file; Wasm does not allow access of system
registers and those functionalities are provided from the VM.
@aheejin aheejin force-pushed the wasm_exclude_libunwind branch from f26f6ec to cb110ab Compare November 28, 2023 19:24
@aheejin
Copy link
Member Author

aheejin commented Nov 30, 2023

I think the CI failures are unrelated. Merging.

@aheejin aheejin merged commit e88a2f1 into llvm:main Nov 30, 2023
35 of 38 checks passed
@aheejin aheejin deleted the wasm_exclude_libunwind branch November 30, 2023 02:04
@trcrsired
Copy link

image
Not working

@aheejin
Copy link
Member Author

aheejin commented Dec 13, 2023

@trcrsired When we use it in Emscripten, we build it with -D__USING_WASM_EXCEPTIONS__. Does that work? I'm not sure which toolchain and libraries you are using though. (It looks you are using WASI, but does WASI have the EH support? Does it allow usage with llvm libunwind?)

Copy link
Contributor

@kaz7 kaz7 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please correct this code. Thank you!

@@ -26,7 +26,7 @@
#include <sanitizer/asan_interface.h>
#endif

#if !defined(__USING_SJLJ_EXCEPTIONS__)
#if !defined(__USING_SJLJ_EXCEPTIONS__) || !defined(__USING_WASM_EXCEPTIONS__)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This must be #if !defined(__USING_SJLJ_EXCEPTIONS__) && !defined(__USING_WASM_EXCEPTIONS__) since we don't want to compile this code for either sjlj or wasm users. not (sjlj || wasm) is equal to not(sjlj) && not(wasm) as you know...

VE use only SjLj, so it should be warnned by the buildbot for VE, but our buildbot has been stopped last 2 months. I've noticed this problem when I've been trying to recover our buildbot. ;-)

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sorry, fixed in #78230.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot!!

aheejin added a commit to aheejin/emscripten that referenced this pull request Mar 25, 2024
Most of the changes seem irrelevant to us given that we only use
`Uniwnd-wasm.cpp`. Changes related to Wasm are what I submitted upstream
for adding the file to `CMakeLists.txt` and fixing some guards:
llvm/llvm-project#67770
llvm/llvm-project#73196
llvm/llvm-project#78230
aheejin added a commit to emscripten-core/emscripten that referenced this pull request Mar 26, 2024
Most of the changes seem irrelevant to us given that we only use
`Uniwnd-wasm.cpp`. Changes related to Wasm are what I submitted upstream
for adding the file to `CMakeLists.txt` and fixing some guards:
llvm/llvm-project#67770
llvm/llvm-project#73196
llvm/llvm-project#78230
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants