7c73d98125
- corrections in the calculations for latency and throughput points in `validate-causal-json.py`
- `omnitrace-causal` LD_PRELOAD libpthread
- ensures omnitrace is always wrapping libpthread.so pthread symbols
- minimal experiment delay
- always sleep 10 milliseconds before starting experiments
- ensures ~10 samples are taken to determine the sampling rate
- fixes issue with deadlocks on condition variables
- overhaul of `causal::component::blocking_gotcha` and `causal::component::unblocking_gotcha` components
- these components enforce the processing/crediting of delays before/after a thread is suspended
- these components wrap functions `pthread_cond_wait`, `pthread_cond_signal`, `pthread_mutex_lock`, etc.
- Fully implemented correct handling of processing/crediting delays based on return values and arguments
- E.g. skip crediting delay if `pthread_mutex_trylock` fail acquiring lock
- E.g. `kill`, `sigwait`, etc. check to make sure they are only applied if the PID matches its PID
## Condition Variable Deadlock Fix
In parallel applications using condition variables, it was found that the causal profiling was virtually guaranteed to deadlock. Although it was difficult to prove, evidence suggested that this was due to the work that was being done while taking a sample was causing notification to the condition variable to be lost. This was alleviated by the following updates:
- Separate out the part of `causal::backtrace::sample(int)` which calculates the sampling rate into small `sample_rate` component
- This component is essentially "always on" during sampling
- Added bundle of components invoked by `causal_sampler_t` during sampling
- Added two function calls to support disabling and re-enabling calls to `causal::backtrace::sample(int)` on a per-thread basis
- `causal::sampling::block_backtrace_samples()`
- `causal::sampling::unblock_backtrace_samples()`
- These two function now surround the wrappee functions of `blocking_gotcha` and `unblocking_gotcha`
**This solution was experimentally validated with a Geant4 application which uses a tasking model which makes _numerous_ calls to wait on a condition variables** (it was this application which exposed the bug)
* Fix validate-causal-json.py
- corrections in the calculations for latency and throughput points
* Update timemory submodule
- support for thread-local trait::runtime_enabled
* omnitrace-causal: LD_PRELOAD pthread library
- ensures omnitrace is always wrapping libpthread.so pthread symbols
* initial experiment delay
- always sleep 10 milliseconds before starting experiments
- ensures ~10 samples are taken to determine the sampling rate
* sample_rate component + block_backtrace_samples
- separate out the part of backtrace::sample which calculates the sampling rate into small sample_rate component
- add sample_rate component to causal_bundle_t used by causal_sampler_t
- causal::sampling::block_backtrace_samples() disables backtrace samples from being taken on a thread
- causal::sampling::unblock_backtrace_samples() enables backtrace samples from being taken on a thread
- above two function surround calls to function wrapped by blocking_gotcha and unblocking_gotcha
- the work happening in backtrace::sample when within these calls
produced deadlocks for condition variables (notifications to
condition variables were lost)
* blocking/unblocking gotcha updates
- overhaul of blocking_gotcha and unblocking_gotcha
- added fast_gotcha trait: replace function calls instead of wrapping
- when wrappees are called, backtrace samples are suppressed (thread-local)
- properly handle kill, sigwait, sigwaitinfo, sigtimedwait
- properly handle all instances of applying postblock based on return value
* Fix calculation of OMNITRACE_MAX_THREADS
* removed unnecessary checks in causal::delay
* Updated timemory with internal compiler error fix
258 lines
8.5 KiB
C++
258 lines
8.5 KiB
C++
// MIT License
|
|
//
|
|
// Copyright (c) 2022 Advanced Micro Devices, Inc. All Rights Reserved.
|
|
//
|
|
// Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
// of this software and associated documentation files (the "Software"), to deal
|
|
// in the Software without restriction, including without limitation the rights
|
|
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
// copies of the Software, and to permit persons to whom the Software is
|
|
// furnished to do so, subject to the following conditions:
|
|
//
|
|
// The above copyright notice and this permission notice shall be included in all
|
|
// copies or substantial portions of the Software.
|
|
//
|
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
// SOFTWARE.
|
|
|
|
#include "library/causal/components/blocking_gotcha.hpp"
|
|
#include "core/config.hpp"
|
|
#include "core/debug.hpp"
|
|
#include "core/state.hpp"
|
|
#include "library/causal/components/causal_gotcha.hpp"
|
|
#include "library/causal/delay.hpp"
|
|
#include "library/causal/experiment.hpp"
|
|
#include "library/causal/sampling.hpp"
|
|
#include "library/runtime.hpp"
|
|
|
|
#include <timemory/components/macros.hpp>
|
|
#include <timemory/hash/types.hpp>
|
|
#include <timemory/utility/types.hpp>
|
|
|
|
#include <atomic>
|
|
#include <csignal>
|
|
#include <cstdint>
|
|
#include <pthread.h>
|
|
#include <stdexcept>
|
|
|
|
#pragma weak pthread_join
|
|
#pragma weak pthread_mutex_lock
|
|
#pragma weak pthread_spin_lock
|
|
#pragma weak pthread_cond_wait
|
|
#pragma weak pthread_rwlock_rdlock
|
|
#pragma weak pthread_rwlock_wrlock
|
|
#pragma weak pthread_tryjoin_np
|
|
#pragma weak pthread_timedjoin_np
|
|
#pragma weak pthread_cond_timedwait
|
|
#pragma weak pthread_rwlock_timedrdlock
|
|
#pragma weak pthread_rwlock_timedwrlock
|
|
#pragma weak pthread_mutex_trylock
|
|
#pragma weak pthread_spin_trylock
|
|
#pragma weak pthread_rwlock_trywrlock
|
|
#pragma weak sigwait
|
|
#pragma weak sigwaitinfo
|
|
#pragma weak sigtimedwait
|
|
#pragma weak sigsuspend
|
|
|
|
namespace omnitrace
|
|
{
|
|
namespace causal
|
|
{
|
|
namespace component
|
|
{
|
|
std::string
|
|
blocking_gotcha::label()
|
|
{
|
|
return "causal_blocking_gotcha";
|
|
}
|
|
|
|
std::string
|
|
blocking_gotcha::description()
|
|
{
|
|
return "Handles executing all necessary pauses before the thread performs some "
|
|
"blocking function";
|
|
}
|
|
|
|
void
|
|
blocking_gotcha::preinit()
|
|
{
|
|
configure();
|
|
}
|
|
|
|
void
|
|
blocking_gotcha::configure()
|
|
{
|
|
blocking_gotcha_t::get_initializer() = []() {
|
|
if(!config::get_use_causal()) return;
|
|
|
|
// postblock(true)
|
|
// - pthread_join
|
|
// - pthread_mutex_lock
|
|
// - pthread_cond_wait
|
|
// - pthread_barrier_wait
|
|
// - pthread_rwlock_rdlock
|
|
// - pthread_rwlock_wrlock
|
|
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 0, pthread_join);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 1, pthread_mutex_lock);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 2, pthread_spin_lock);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 3, pthread_cond_wait);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 4, pthread_rwlock_rdlock);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 5, pthread_rwlock_wrlock);
|
|
|
|
// postblock(result == 0)
|
|
// - pthread_tryjoin_np
|
|
// - pthread_timedjoin_np
|
|
// - pthread_cond_timedwait
|
|
// - pthread_rwlock_timedrdlock
|
|
// - pthread_rwlock_timedwrlock
|
|
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 6, pthread_tryjoin_np);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 7, pthread_timedjoin_np);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 8, pthread_cond_timedwait);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 9, pthread_rwlock_timedrdlock);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 10, pthread_rwlock_timedwrlock);
|
|
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 11, pthread_mutex_trylock);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 12, pthread_spin_trylock);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 13, pthread_rwlock_trywrlock);
|
|
|
|
// postblock(...)
|
|
// - sigwait
|
|
// - sigwaitinfo
|
|
// - sigtimedwait
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 14, sigwait);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 15, sigwaitinfo);
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 16, sigtimedwait);
|
|
|
|
// other
|
|
TIMEMORY_C_GOTCHA(blocking_gotcha_t, 17, sigsuspend);
|
|
};
|
|
}
|
|
|
|
void
|
|
blocking_gotcha::shutdown()
|
|
{
|
|
blocking_gotcha_t::disable();
|
|
}
|
|
|
|
template <typename Ret, typename... Args>
|
|
Ret
|
|
blocking_gotcha::operator()(const comp::gotcha_data& _data, Ret (*_func)(Args...),
|
|
Args... _args) const noexcept
|
|
{
|
|
int64_t _delay_value = causal::delay::get_global().load(std::memory_order_relaxed);
|
|
|
|
causal::sampling::block_backtrace_samples();
|
|
auto _ret = (*_func)(_args...);
|
|
causal::sampling::unblock_backtrace_samples();
|
|
|
|
if(get_thread_state() < ::omnitrace::ThreadState::Internal)
|
|
{
|
|
if(_data.index <= 5)
|
|
causal::delay::postblock(_delay_value);
|
|
else if(_ret == 0 && _data.index >= 6 && _data.index <= 13)
|
|
causal::delay::postblock(_delay_value);
|
|
else
|
|
OMNITRACE_FAIL_F("Error! unexpected index %zu ('%s')\n", _data.index,
|
|
_data.tool_id.c_str());
|
|
}
|
|
|
|
return _ret;
|
|
}
|
|
|
|
int
|
|
blocking_gotcha::operator()(const comp::gotcha_data&, int (*)(const sigset_t*, int*),
|
|
const sigset_t* _set_v, int* _sig) const noexcept
|
|
{
|
|
auto _active = get_thread_state() < ::omnitrace::ThreadState::Internal;
|
|
|
|
sigset_t _set = *_set_v;
|
|
causal_gotcha::remove_signals(&_set);
|
|
siginfo_t _info;
|
|
|
|
int64_t _delay_value = (_active) ? causal::delay::get_global().load() : 0;
|
|
|
|
auto* _data = blocking_gotcha_t::at(16);
|
|
auto f_sigwaitinfo = reinterpret_cast<decltype(&sigwaitinfo)>(_data->wrappee);
|
|
|
|
causal::sampling::block_backtrace_samples();
|
|
auto _ret = (*f_sigwaitinfo)(&_set, &_info);
|
|
causal::sampling::unblock_backtrace_samples();
|
|
|
|
// Woken up by another thread if the call did not fail and this is waking process
|
|
if(_active && _ret != -1 && _info.si_pid == process::get_id())
|
|
causal::delay::postblock(_delay_value);
|
|
|
|
if(_ret == -1)
|
|
return errno; // If there was an error, return the error code
|
|
else
|
|
*_sig = _ret; // sig is declared as non-null so skip check
|
|
|
|
return 0;
|
|
}
|
|
|
|
int
|
|
blocking_gotcha::operator()(const comp::gotcha_data&,
|
|
int (*_func)(const sigset_t*, siginfo_t*),
|
|
const sigset_t* _set_v, siginfo_t* _info_v) const noexcept
|
|
{
|
|
auto _active = get_thread_state() < ::omnitrace::ThreadState::Internal;
|
|
|
|
sigset_t _set = *_set_v;
|
|
causal_gotcha::remove_signals(&_set);
|
|
siginfo_t _info;
|
|
|
|
int64_t _delay_value = (_active) ? causal::delay::get_global().load() : 0;
|
|
|
|
causal::sampling::block_backtrace_samples();
|
|
auto _ret = (*_func)(&_set, &_info);
|
|
causal::sampling::unblock_backtrace_samples();
|
|
|
|
// Woken up by another thread if the call did not fail and this is waking process
|
|
if(_active && _ret > 0 && _info.si_pid == process::get_id())
|
|
causal::delay::postblock(_delay_value);
|
|
|
|
if(_ret > 0 && _info_v) *_info_v = _info;
|
|
|
|
return _ret;
|
|
}
|
|
|
|
int
|
|
blocking_gotcha::operator()(const comp::gotcha_data&,
|
|
int (*_func)(const sigset_t*, siginfo_t*,
|
|
const struct timespec*),
|
|
const sigset_t* _set_v, siginfo_t* _info_v,
|
|
const struct timespec* _wait_v) const noexcept
|
|
{
|
|
auto _active = get_thread_state() < ::omnitrace::ThreadState::Internal;
|
|
|
|
sigset_t _set = *_set_v;
|
|
causal_gotcha::remove_signals(&_set);
|
|
siginfo_t _info;
|
|
|
|
int64_t _delay_value = (_active) ? causal::delay::get_global().load() : 0;
|
|
|
|
causal::sampling::block_backtrace_samples();
|
|
auto _ret = (*_func)(&_set, &_info, _wait_v);
|
|
causal::sampling::unblock_backtrace_samples();
|
|
|
|
// Woken up by another thread if the call did not fail and this is waking process
|
|
if(_active && _ret > 0 && _info.si_pid == process::get_id())
|
|
causal::delay::postblock(_delay_value);
|
|
|
|
if(_ret > 0 && _info_v) *_info_v = _info;
|
|
|
|
return _ret;
|
|
}
|
|
} // namespace component
|
|
} // namespace causal
|
|
} // namespace omnitrace
|
|
|
|
TIMEMORY_INVOKE_PREINIT(omnitrace::causal::component::blocking_gotcha)
|