瓦尔格林德错误来自 boost::asio

我在分析我的程序时遇到了valgrind报告的奇怪错误。你能帮我找到他们的来源吗？

最小示例

主.cpp：

#define BOOST_ASIO_ENABLE_HANDLER_TRACKING
#include "foo.h"
#include <iostream>
int main()
{
boost::asio::io_service ioService;
Foo foo(ioService);
ioService.run();
return EXIT_SUCCESS;
}

傅炯：

#include <boost/asio.hpp>
class Foo
{
private:
boost::asio::ip::tcp::resolver resolver_;
public:
Foo(boost::asio::io_service & ioService);
virtual ~Foo()
{}
};

foo.cpp：

#include "foo.h"
Foo::Foo(boost::asio::io_service & ioService) : resolver_(ioService)
{
}

当使用g++ -g3 -O0 -lboost_system -lpthread -o main ./main.cpp ./foo.cpp编译并使用valgrind ./main执行时，valgrind 会报告 5 个无效写入类型的错误。

==14905== Memcheck, a memory error detector
==14905== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==14905== Using Valgrind-3.15.0 and LibVEX; rerun with -h for copyright info
==14905== Command: ./main
==14905== 
==14905== Invalid write of size 1
==14905==    at 0x406724: boost::asio::detail::scheduler::scheduler(boost::asio::execution_context&, int) (scheduler.ipp:103)
==14905==    by 0x40CBF6: boost::asio::io_context::io_context(int) (io_context.ipp:44)
==14905==    by 0x40CE22: boost::asio::detail::resolver_service_base::resolver_service_base(boost::asio::io_context&) (resolver_service_base.ipp:40)
==14905==    by 0x40DC6A: boost::asio::detail::resolver_service<boost::asio::ip::tcp>::resolver_service(boost::asio::io_context&) (resolver_service.hpp:58)
==14905==    by 0x40DA56: boost::asio::execution_context::service* boost::asio::detail::service_registry::create<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, boost::asio::io_context>(void*) (service_registry.hpp:87)
==14905==    by 0x40C88F: boost::asio::detail::service_registry::do_use_service(boost::asio::execution_context::service::key const&, boost::asio::execution_context::service* (*)(void*), void*) (service_registry.ipp:132)
==14905==    by 0x40D86D: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::detail::service_registry::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (service_registry.hpp:39)
==14905==    by 0x40D6A0: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (io_context.hpp:39)
==14905==    by 0x40D596: boost::asio::basic_io_object<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, true>::basic_io_object(boost::asio::io_context&) (basic_io_object.hpp:224)
==14905==    by 0x40D498: boost::asio::ip::basic_resolver<boost::asio::ip::tcp>::basic_resolver(boost::asio::io_context&) (basic_resolver.hpp:101)
==14905==    by 0x40C544: Foo::Foo(boost::asio::io_context&) (foo.cpp:3)
==14905==    by 0x402D79: main (main.cpp:10)
==14905==  Address 0x5f06110 is 0 bytes after a block of size 240 alloc'd
==14905==    at 0x4C2E94F: operator new(unsigned long) (in /usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==14905==    by 0x40CBE1: boost::asio::io_context::io_context(int) (io_context.ipp:44)
==14905==    by 0x40CE22: boost::asio::detail::resolver_service_base::resolver_service_base(boost::asio::io_context&) (resolver_service_base.ipp:40)
==14905==    by 0x40DC6A: boost::asio::detail::resolver_service<boost::asio::ip::tcp>::resolver_service(boost::asio::io_context&) (resolver_service.hpp:58)
==14905==    by 0x40DA56: boost::asio::execution_context::service* boost::asio::detail::service_registry::create<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, boost::asio::io_context>(void*) (service_registry.hpp:87)
==14905==    by 0x40C88F: boost::asio::detail::service_registry::do_use_service(boost::asio::execution_context::service::key const&, boost::asio::execution_context::service* (*)(void*), void*) (service_registry.ipp:132)
==14905==    by 0x40D86D: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::detail::service_registry::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (service_registry.hpp:39)
==14905==    by 0x40D6A0: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (io_context.hpp:39)
==14905==    by 0x40D596: boost::asio::basic_io_object<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, true>::basic_io_object(boost::asio::io_context&) (basic_io_object.hpp:224)
==14905==    by 0x40D498: boost::asio::ip::basic_resolver<boost::asio::ip::tcp>::basic_resolver(boost::asio::io_context&) (basic_resolver.hpp:101)
==14905==    by 0x40C544: Foo::Foo(boost::asio::io_context&) (foo.cpp:3)
==14905==    by 0x402D79: main (main.cpp:10)
==14905== 
==14905== Invalid write of size 1
==14905==    at 0x40672F: boost::asio::detail::scheduler::scheduler(boost::asio::execution_context&, int) (scheduler.ipp:103)
==14905==    by 0x40CBF6: boost::asio::io_context::io_context(int) (io_context.ipp:44)
==14905==    by 0x40CE22: boost::asio::detail::resolver_service_base::resolver_service_base(boost::asio::io_context&) (resolver_service_base.ipp:40)
==14905==    by 0x40DC6A: boost::asio::detail::resolver_service<boost::asio::ip::tcp>::resolver_service(boost::asio::io_context&) (resolver_service.hpp:58)
==14905==    by 0x40DA56: boost::asio::execution_context::service* boost::asio::detail::service_registry::create<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, boost::asio::io_context>(void*) (service_registry.hpp:87)
==14905==    by 0x40C88F: boost::asio::detail::service_registry::do_use_service(boost::asio::execution_context::service::key const&, boost::asio::execution_context::service* (*)(void*), void*) (service_registry.ipp:132)
==14905==    by 0x40D86D: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::detail::service_registry::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (service_registry.hpp:39)
==14905==    by 0x40D6A0: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (io_context.hpp:39)
==14905==    by 0x40D596: boost::asio::basic_io_object<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, true>::basic_io_object(boost::asio::io_context&) (basic_io_object.hpp:224)
==14905==    by 0x40D498: boost::asio::ip::basic_resolver<boost::asio::ip::tcp>::basic_resolver(boost::asio::io_context&) (basic_resolver.hpp:101)
==14905==    by 0x40C544: Foo::Foo(boost::asio::io_context&) (foo.cpp:3)
==14905==    by 0x402D79: main (main.cpp:10)
==14905==  Address 0x5f06111 is 1 bytes after a block of size 240 alloc'd
==14905==    at 0x4C2E94F: operator new(unsigned long) (in /usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==14905==    by 0x40CBE1: boost::asio::io_context::io_context(int) (io_context.ipp:44)
==14905==    by 0x40CE22: boost::asio::detail::resolver_service_base::resolver_service_base(boost::asio::io_context&) (resolver_service_base.ipp:40)
==14905==    by 0x40DC6A: boost::asio::detail::resolver_service<boost::asio::ip::tcp>::resolver_service(boost::asio::io_context&) (resolver_service.hpp:58)
==14905==    by 0x40DA56: boost::asio::execution_context::service* boost::asio::detail::service_registry::create<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, boost::asio::io_context>(void*) (service_registry.hpp:87)
==14905==    by 0x40C88F: boost::asio::detail::service_registry::do_use_service(boost::asio::execution_context::service::key const&, boost::asio::execution_context::service* (*)(void*), void*) (service_registry.ipp:132)
==14905==    by 0x40D86D: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::detail::service_registry::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (service_registry.hpp:39)
==14905==    by 0x40D6A0: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (io_context.hpp:39)
==14905==    by 0x40D596: boost::asio::basic_io_object<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, true>::basic_io_object(boost::asio::io_context&) (basic_io_object.hpp:224)
==14905==    by 0x40D498: boost::asio::ip::basic_resolver<boost::asio::ip::tcp>::basic_resolver(boost::asio::io_context&) (basic_resolver.hpp:101)
==14905==    by 0x40C544: Foo::Foo(boost::asio::io_context&) (foo.cpp:3)
==14905==    by 0x402D79: main (main.cpp:10)
==14905== 
==14905== Invalid write of size 4
==14905==    at 0x40673D: boost::asio::detail::scheduler::scheduler(boost::asio::execution_context&, int) (scheduler.ipp:103)
==14905==    by 0x40CBF6: boost::asio::io_context::io_context(int) (io_context.ipp:44)
==14905==    by 0x40CE22: boost::asio::detail::resolver_service_base::resolver_service_base(boost::asio::io_context&) (resolver_service_base.ipp:40)
==14905==    by 0x40DC6A: boost::asio::detail::resolver_service<boost::asio::ip::tcp>::resolver_service(boost::asio::io_context&) (resolver_service.hpp:58)
==14905==    by 0x40DA56: boost::asio::execution_context::service* boost::asio::detail::service_registry::create<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, boost::asio::io_context>(void*) (service_registry.hpp:87)
==14905==    by 0x40C88F: boost::asio::detail::service_registry::do_use_service(boost::asio::execution_context::service::key const&, boost::asio::execution_context::service* (*)(void*), void*) (service_registry.ipp:132)
==14905==    by 0x40D86D: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::detail::service_registry::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (service_registry.hpp:39)
==14905==    by 0x40D6A0: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (io_context.hpp:39)
==14905==    by 0x40D596: boost::asio::basic_io_object<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, true>::basic_io_object(boost::asio::io_context&) (basic_io_object.hpp:224)
==14905==    by 0x40D498: boost::asio::ip::basic_resolver<boost::asio::ip::tcp>::basic_resolver(boost::asio::io_context&) (basic_resolver.hpp:101)
==14905==    by 0x40C544: Foo::Foo(boost::asio::io_context&) (foo.cpp:3)
==14905==    by 0x402D79: main (main.cpp:10)
==14905==  Address 0x5f06114 is 4 bytes after a block of size 240 alloc'd
==14905==    at 0x4C2E94F: operator new(unsigned long) (in /usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==14905==    by 0x40CBE1: boost::asio::io_context::io_context(int) (io_context.ipp:44)
==14905==    by 0x40CE22: boost::asio::detail::resolver_service_base::resolver_service_base(boost::asio::io_context&) (resolver_service_base.ipp:40)
==14905==    by 0x40DC6A: boost::asio::detail::resolver_service<boost::asio::ip::tcp>::resolver_service(boost::asio::io_context&) (resolver_service.hpp:58)
==14905==    by 0x40DA56: boost::asio::execution_context::service* boost::asio::detail::service_registry::create<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, boost::asio::io_context>(void*) (service_registry.hpp:87)
==14905==    by 0x40C88F: boost::asio::detail::service_registry::do_use_service(boost::asio::execution_context::service::key const&, boost::asio::execution_context::service* (*)(void*), void*) (service_registry.ipp:132)
==14905==    by 0x40D86D: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::detail::service_registry::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (service_registry.hpp:39)
==14905==    by 0x40D6A0: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (io_context.hpp:39)
==14905==    by 0x40D596: boost::asio::basic_io_object<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, true>::basic_io_object(boost::asio::io_context&) (basic_io_object.hpp:224)
==14905==    by 0x40D498: boost::asio::ip::basic_resolver<boost::asio::ip::tcp>::basic_resolver(boost::asio::io_context&) (basic_resolver.hpp:101)
==14905==    by 0x40C544: Foo::Foo(boost::asio::io_context&) (foo.cpp:3)
==14905==    by 0x402D79: main (main.cpp:10)
==14905== 
@asio|1589278153.511608|0|resolver@0x1ffefff910.cancel
==14905== Invalid write of size 1
==14905==    at 0x406D20: boost::asio::detail::scheduler::stop_all_threads(boost::asio::detail::conditionally_enabled_mutex::scoped_lock&) (scheduler.ipp:543)
==14905==    by 0x406A9E: boost::asio::detail::scheduler::stop() (scheduler.ipp:257)
==14905==    by 0x40CC67: boost::asio::io_context::stop() (io_context.ipp:121)
==14905==    by 0x40CF79: boost::asio::detail::resolver_service_base::base_shutdown() (resolver_service_base.ipp:58)
==14905==    by 0x40DFD9: boost::asio::detail::resolver_service<boost::asio::ip::tcp>::shutdown() (resolver_service.hpp:65)
==14905==    by 0x405335: boost::asio::detail::service_registry::shutdown_services() (service_registry.ipp:44)
==14905==    by 0x40568C: boost::asio::execution_context::shutdown() (execution_context.ipp:41)
==14905==    by 0x405630: boost::asio::execution_context::~execution_context() (execution_context.ipp:34)
==14905==    by 0x4070A1: boost::asio::io_context::~io_context() (io_context.ipp:55)
==14905==    by 0x402DA2: main (main.cpp:9)
==14905==  Address 0x5f06110 is 0 bytes after a block of size 240 alloc'd
==14905==    at 0x4C2E94F: operator new(unsigned long) (in /usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==14905==    by 0x40CBE1: boost::asio::io_context::io_context(int) (io_context.ipp:44)
==14905==    by 0x40CE22: boost::asio::detail::resolver_service_base::resolver_service_base(boost::asio::io_context&) (resolver_service_base.ipp:40)
==14905==    by 0x40DC6A: boost::asio::detail::resolver_service<boost::asio::ip::tcp>::resolver_service(boost::asio::io_context&) (resolver_service.hpp:58)
==14905==    by 0x40DA56: boost::asio::execution_context::service* boost::asio::detail::service_registry::create<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, boost::asio::io_context>(void*) (service_registry.hpp:87)
==14905==    by 0x40C88F: boost::asio::detail::service_registry::do_use_service(boost::asio::execution_context::service::key const&, boost::asio::execution_context::service* (*)(void*), void*) (service_registry.ipp:132)
==14905==    by 0x40D86D: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::detail::service_registry::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (service_registry.hpp:39)
==14905==    by 0x40D6A0: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (io_context.hpp:39)
==14905==    by 0x40D596: boost::asio::basic_io_object<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, true>::basic_io_object(boost::asio::io_context&) (basic_io_object.hpp:224)
==14905==    by 0x40D498: boost::asio::ip::basic_resolver<boost::asio::ip::tcp>::basic_resolver(boost::asio::io_context&) (basic_resolver.hpp:101)
==14905==    by 0x40C544: Foo::Foo(boost::asio::io_context&) (foo.cpp:3)
==14905==    by 0x402D79: main (main.cpp:10)
==14905== 
==14905== Invalid write of size 1
==14905==    at 0x4067E2: boost::asio::detail::scheduler::shutdown() (scheduler.ipp:111)
==14905==    by 0x405335: boost::asio::detail::service_registry::shutdown_services() (service_registry.ipp:44)
==14905==    by 0x40568C: boost::asio::execution_context::shutdown() (execution_context.ipp:41)
==14905==    by 0x405630: boost::asio::execution_context::~execution_context() (execution_context.ipp:34)
==14905==    by 0x4070A1: boost::asio::io_context::~io_context() (io_context.ipp:55)
==14905==    by 0x40D37A: boost::asio::detail::scoped_ptr<boost::asio::io_context>::reset(boost::asio::io_context*) (scoped_ptr.hpp:63)
==14905==    by 0x40CFD5: boost::asio::detail::resolver_service_base::base_shutdown() (resolver_service_base.ipp:64)
==14905==    by 0x40DFD9: boost::asio::detail::resolver_service<boost::asio::ip::tcp>::shutdown() (resolver_service.hpp:65)
==14905==    by 0x405335: boost::asio::detail::service_registry::shutdown_services() (service_registry.ipp:44)
==14905==    by 0x40568C: boost::asio::execution_context::shutdown() (execution_context.ipp:41)
==14905==    by 0x405630: boost::asio::execution_context::~execution_context() (execution_context.ipp:34)
==14905==    by 0x4070A1: boost::asio::io_context::~io_context() (io_context.ipp:55)
==14905==  Address 0x5f06111 is 1 bytes after a block of size 240 alloc'd
==14905==    at 0x4C2E94F: operator new(unsigned long) (in /usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==14905==    by 0x40CBE1: boost::asio::io_context::io_context(int) (io_context.ipp:44)
==14905==    by 0x40CE22: boost::asio::detail::resolver_service_base::resolver_service_base(boost::asio::io_context&) (resolver_service_base.ipp:40)
==14905==    by 0x40DC6A: boost::asio::detail::resolver_service<boost::asio::ip::tcp>::resolver_service(boost::asio::io_context&) (resolver_service.hpp:58)
==14905==    by 0x40DA56: boost::asio::execution_context::service* boost::asio::detail::service_registry::create<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, boost::asio::io_context>(void*) (service_registry.hpp:87)
==14905==    by 0x40C88F: boost::asio::detail::service_registry::do_use_service(boost::asio::execution_context::service::key const&, boost::asio::execution_context::service* (*)(void*), void*) (service_registry.ipp:132)
==14905==    by 0x40D86D: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::detail::service_registry::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (service_registry.hpp:39)
==14905==    by 0x40D6A0: boost::asio::detail::resolver_service<boost::asio::ip::tcp>& boost::asio::use_service<boost::asio::detail::resolver_service<boost::asio::ip::tcp> >(boost::asio::io_context&) (io_context.hpp:39)
==14905==    by 0x40D596: boost::asio::basic_io_object<boost::asio::detail::resolver_service<boost::asio::ip::tcp>, true>::basic_io_object(boost::asio::io_context&) (basic_io_object.hpp:224)
==14905==    by 0x40D498: boost::asio::ip::basic_resolver<boost::asio::ip::tcp>::basic_resolver(boost::asio::io_context&) (basic_resolver.hpp:101)
==14905==    by 0x40C544: Foo::Foo(boost::asio::io_context&) (foo.cpp:3)
==14905==    by 0x402D79: main (main.cpp:10)
==14905== 
==14905== 
==14905== HEAP SUMMARY:
==14905==     in use at exit: 1 bytes in 1 blocks
==14905==   total heap usage: 18 allocs, 17 frees, 79,744 bytes allocated
==14905== 
==14905== LEAK SUMMARY:
==14905==    definitely lost: 0 bytes in 0 blocks
==14905==    indirectly lost: 0 bytes in 0 blocks
==14905==      possibly lost: 0 bytes in 0 blocks
==14905==    still reachable: 1 bytes in 1 blocks
==14905==         suppressed: 0 bytes in 0 blocks
==14905== Rerun with --leak-check=full to see details of leaked memory
==14905== 
==14905== For lists of detected and suppressed errors, rerun with: -s
==14905== ERROR SUMMARY: 5 errors from 5 contexts (suppressed: 0 from 0)

我在openSUSE Leap 15.1，valgrind 3.15.0和boost 1.66.0上使用g++ 8.2.1(也用1.71.0测试过(。

一些意见

• 如果没有宏BOOST_ASIO_ENABLE_HANDLER_TRACKING，则不会报告任何错误。
• 如果构造函数Foo()的主体位于 foo.h 中(即整个代码位于一个编译单元中(，则不会报告任何错误。
• 在类 Foo 中没有resolver_，则不会报告任何错误。

更大的图景
我注意到我的一个更复杂的程序有时会忽略信号(也由 boost：：asio 处理(。所以我添加了BOOST_ASIO_ENABLE_HANDLER_TRACKING，它开始崩溃(反复(，valgrind 开始报告"无效写入"错误(随后是"跳转到无效地址"类型的错误(。

猜测

• 宏BOOST_ASIO_ENABLE_HANDLER_TRACKING揭示了 boost：：asio 中的一个错误，这导致我的信号在没有宏的情况下被忽略。
• 瓦尔格林德产生误报。
• 最有可能的是：我的代码包含一个不可原谅的明显错误，我还看不到。