0
0
Fork 0
mirror of https://github.com/matrix-construct/construct synced 2024-11-29 02:02:38 +01:00

ircd::net: Add a semaphore to the socket timer to invalidate queued callbacks.

This commit is contained in:
Jason Volk 2018-04-15 15:55:25 -07:00
parent 5be18475df
commit f4b2273a4b
2 changed files with 21 additions and 4 deletions

View file

@ -48,8 +48,10 @@ struct ircd::net::socket
ip::tcp::socket sd;
asio::ssl::stream<ip::tcp::socket &> ssl;
steady_timer timer;
stat in, out;
steady_timer timer;
uint64_t timer_sem[2] {0}; // handler, sender
bool timer_set {false}; // boolean lockout
bool timedout {false};
bool fini {false};

View file

@ -1337,7 +1337,7 @@ ircd::net::scope_timeout::scope_timeout(socket &socket,
socket.set_timeout(timeout, [callback(std::move(callback))]
(const error_code &ec)
{
const bool &timed_out{!ec};
const bool &timed_out{!ec}; // success = timeout
callback(timed_out);
});
}
@ -1808,7 +1808,13 @@ noexcept try
if(unlikely(wp.expired()))
return;
switch(ec.value())
// We increment our end of the timer semaphore. If the count is still
// behind the other end of the semaphore, this callback was sitting in
// the ios queue while the timer was given a new task; any effects here
// will be erroneously bleeding into the next timeout. However the callback
// is still invoked to satisfy the user's expectation for receiving it.
assert(timer_sem[0] < timer_sem[1]);
if(++timer_sem[0] == timer_sem[1] && timer_set) switch(ec.value())
{
// A 'success' for this handler means there was a timeout on the socket
case success:
@ -1835,6 +1841,7 @@ noexcept try
string(ec)
};
}
else ec = { operation_canceled, system_category() };
if(callback)
call_user(callback, ec);
@ -2232,11 +2239,11 @@ noexcept
duration_cast<milliseconds>(exp)
};
timer_set = false;
timedout = false;
boost::system::error_code ec;
timer.cancel(ec);
assert(!ec);
assert(timedout == false);
return ret;
}
@ -2259,6 +2266,14 @@ ircd::net::socket::set_timeout(const milliseconds &t,
std::bind(&socket::handle_timeout, this, weak_from(*this), std::move(callback), ph::_1)
};
// The sending-side of the semaphore is incremented here to invalidate any
// pending/queued callbacks to handle_timeout as to not conflict now. The
// required companion boolean timer_set is also lit here.
assert(timer_sem[0] <= timer_sem[1]);
assert(timer_set == false);
assert(timedout == false);
++timer_sem[1];
timer_set = true;
timer.expires_from_now(t);
timer.async_wait(std::move(handler));
}