O que causa uma falha aleatória no boost :: coroutine?
Eu tenho um aplicativo multithread que usaboost :: asio eboost :: coroutine através da sua integração emboost :: asio. Cada thread tem seu próprioio_service objeto. O único estado compartilhado entre os encadeamentos é o conjunto de conexões bloqueado commutex quando a conexão é obtida ou retornada de / para o conjunto de conexões. Quando não há conexões suficientes na piscina, empurro infinitasasio :: stead_tiemer na estrutura interna da piscina e esperando de forma assíncrona e euproduzindo da função couroutine. Quando outro encadeamento retorna a conexão com o pool, verifica se há temporizadores em espera, obtém o temporizador em espera da estrutura interna, obtém seuio_service objeto e lança uma lambda que ativa o cronômetro para retomar a corotina suspensa. Eu tenho falhas aleatórias no aplicativo. Eu tento investigar o problema comvalgrind. Ele encontra alguns problemas, mas não consigo entendê-los porque eles acontecem emboost :: coroutine eboost :: asio internos. Aqui estão fragmentos do meu código e devalgrind resultado. Alguém pode ver e explicar o problema?
Aqui está o código de chamada:
template <class ContextsType>
void executeRequests(ContextsType& avlRequestContexts)
{
AvlRequestDataList allRequests;
for(auto& requestContext : avlRequestContexts)
{
if(!requestContext.pullProvider || !requestContext.toAskGDS())
continue;
auto& requests = requestContext.pullProvider->getRequestsData();
copy(requests.begin(), requests.end(), back_inserter(allRequests));
}
if(allRequests.size() == 0)
return;
boost::asio::io_service ioService;
curl::AsioMultiplexer multiplexer(ioService);
for(auto& request : allRequests)
{
using namespace boost::asio;
spawn(ioService, [&multiplexer, &request](yield_context yield)
{
request->prepare(multiplexer, yield);
});
}
while(true)
{
try
{
VLOG_DEBUG(avlGeneralLogger, "executeRequests: Starting ASIO event loop.");
ioService.run();
VLOG_DEBUG(avlGeneralLogger, "executeRequests: ASIO event loop finished.");
break;
}
catch(const std::exception& e)
{
VLOG_ERROR(avlGeneralLogger, "executeRequests: Error while executing GDS request: " << e.what());
}
catch(...)
{
VLOG_ERROR(avlGeneralLogger, "executeRequests: Unknown error while executing GDS request.");
}
}
}
Aqui está oprepare
implementação de função que é chamada no lambda gerado:
void AvlRequestData::prepareImpl(curl::AsioMultiplexer& multiplexer,
boost::asio::yield_context yield)
{
auto& ioService = multiplexer.getIoService();
_connection = _pool.getConnection(ioService, yield);
_connection->prepareRequest(xmlRequest, xmlResponse, requestTimeoutMS);
multiplexer.addEasyHandle(_connection->getHandle(),
[this](const curl::EasyHandleResult& result)
{
if(0 == result.responseCode)
returnQuota();
VLOG_DEBUG(lastSeatLogger, "Response " << id << ": " << xmlResponse);
_pool.addConnection(std::move(_connection));
});
}
void AvlRequestData::prepare(curl::AsioMultiplexer& multiplexer,
boost::asio::yield_context yield)
{
try
{
prepareImpl(multiplexer, yield);
}
catch(const std::exception& e)
{
VLOG_ERROR(lastSeatLogger, "Error wile preparing request: " << e.what());
returnQuota();
}
catch(...)
{
VLOG_ERROR(lastSeatLogger, "Unknown error while preparing request.");
returnQuota();
}
}
oreturnQuota
função é puro método virtual doAvlRequestData
classe e sua implementação para oTravelportRequestData
A classe usada em todos os meus testes é a seguinte:
void returnQuota() const override
{
auto& avlQuotaManager = AvlQuotaManager::getInstance();
avlQuotaManager.consumeQuotaTravelport(-1);
}
Aqui estãoempurrar epop métodos do conjunto de conexões.
auto AvlConnectionPool::getConnection(
TimerPtr timer,
asio::yield_context yield) -> ConnectionPtr
{
lock_guard<mutex> lock(_mutex);
while(_connections.empty())
{
_timers.emplace_back(timer);
timer->expires_from_now(
asio::steady_timer::clock_type::duration::max());
_mutex.unlock();
coroutineAsyncWait(*timer, yield);
_mutex.lock();
}
ConnectionPtr connection = std::move(_connections.front());
_connections.pop_front();
VLOG_TRACE(defaultLogger, str(format("Getted connection from pool: %s. Connections count %d.")
% _connectionPoolName % _connections.size()));
++_connectionsGiven;
return connection;
}
void AvlConnectionPool::addConnection(ConnectionPtr connection,
Side side /* = Back */)
{
lock_guard<mutex> lock(_mutex);
if(Front == side)
_connections.emplace_front(std::move(connection));
else
_connections.emplace_back(std::move(connection));
VLOG_TRACE(defaultLogger, str(format("Added connection to pool: %s. Connections count %d.")
% _connectionPoolName % _connections.size()));
if(_timers.empty())
return;
auto timer = _timers.back();
_timers.pop_back();
auto& ioService = timer->get_io_service();
ioService.post([timer](){ timer->cancel(); });
VLOG_TRACE(defaultLogger, str(format("Connection pool %s: Waiting thread resumed.")
% _connectionPoolName));
}
Esta é a implementação decoroutineAsyncWait.
inline void coroutineAsyncWait(boost::asio::steady_timer& timer,
boost::asio::yield_context yield)
{
boost::system::error_code ec;
timer.async_wait(yield[ec]);
if(ec && ec != boost::asio::error::operation_aborted)
throw std::runtime_error(ec.message());
}
E finalmente a primeira parte dovalgrind resultado:
== 8189 == Tópico 41:
== 8189 == Leitura inválida do tamanho 8
== 8189 == em 0x995F84: aumento de void :: coroutines :: detalhe :: trampoline_push_void, void, boost :: asio :: detail :: coro_entry_point, void (espaço de nome anônimo) :: executeRequests>> (std :: vector <( espaço de nome anônimo) :: AvlRequestContext, std :: alocador <(espaço de nome anônimo) :: AvlRequestContext>> &) :: {lambda (boost :: asio :: basic_yield_context>) # 1}> &, boost :: coroutines :: basic_standard_stack_allocator > (longo) (trampoline_push.hpp: 65)
== 8189 == O endereço 0x2e3b5528 não está empilhado, alocado ou (recentemente) livre
Quando eu usovalgrind com o depurador conectado, ele para na função a seguir emtrampoline_push.hpp noboost :: coroutine biblioteca.
53│ template< typename Coro >
54│ void trampoline_push_void( intptr_t vp)
55│ {
56│ typedef typename Coro::param_type param_type;
57│
58│ BOOST_ASSERT( vp);
59│
60│ param_type * param(
61│ reinterpret_cast< param_type * >( vp) );
62│ BOOST_ASSERT( 0 != param);
63│
64│ Coro * coro(
65├> reinterpret_cast< Coro * >( param->coro) );
66│ BOOST_ASSERT( 0 != coro);
67│
68│ coro->run();
69│ }