Skip to content

Commit

Permalink
squash #PR 4799
Browse files Browse the repository at this point in the history
Make election behaviour mutable

Add transition_priority method to election class

Make use of transition_priority() in active_elections

Add testcase election_scheduler.transition_optimistic_to_priority
  • Loading branch information
gr0vity-dev committed Dec 3, 2024
1 parent 9f6e85d commit ae18ea2
Show file tree
Hide file tree
Showing 5 changed files with 107 additions and 5 deletions.
53 changes: 53 additions & 0 deletions nano/core_test/election_scheduler.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@
#include <nano/node/scheduler/component.hpp>
#include <nano/node/scheduler/priority.hpp>
#include <nano/secure/ledger.hpp>
#include <nano/test_common/chains.hpp>
#include <nano/test_common/system.hpp>
#include <nano/test_common/testutil.hpp>

Expand Down Expand Up @@ -157,6 +158,58 @@ TEST (election_scheduler, activate_one_flush)
ASSERT_TIMELY (5s, node.active.election (send1->qualified_root ()));
}

/*
* Tests that an optimistic election can be transitioned to a priority election.
*
* The test:
* 1. Creates a chain of 2 blocks with an optimistic election for the second block
* 2. Confirms the first block in the chain
* 3. Attempts to start a priority election for the second block
* 4. Verifies that the existing optimistic election is transitioned to priority
* 5. Verifies a new vote is broadcast after the transition
*/
TEST (election_scheduler, transition_optimistic_to_priority)
{
nano::test::system system;
nano::node_config config = system.default_config ();
config.optimistic_scheduler.gap_threshold = 1;
config.enable_voting = true;
config.hinted_scheduler.enable = false;
config.network_params.network.vote_broadcast_interval = 15000ms;
auto & node = *system.add_node (config);

// Add representative
const nano::uint128_t rep_weight = nano::Knano_ratio * 100;
nano::keypair rep = nano::test::setup_rep (system, node, rep_weight);
system.wallet (0)->insert_adhoc (rep.prv);

// Create a chain of blocks - and trigger an optimistic election for the last block
const int howmany_blocks = 2;
auto chains = nano::test::setup_chains (system, node, /* single chain */ 1, howmany_blocks, nano::dev::genesis_key, /* do not confirm */ false);
auto & [account, blocks] = chains.front ();

// Wait for optimistic election to start for last block
auto const & block = blocks.back ();
ASSERT_TIMELY (5s, node.vote_router.active (block->hash ()));
auto election = node.active.election (block->qualified_root ());
ASSERT_EQ (election->behavior (), nano::election_behavior::optimistic);

// Confirm first block to allow upgrading second block's election
nano::test::confirm (node.ledger, blocks.at (howmany_blocks - 1));

// Attempt to start priority election for second block
node.stats.clear ();
ASSERT_EQ (0, node.stats.count (nano::stat::type::election, nano::stat::detail::broadcast_vote));
node.active.insert (block, nano::election_behavior::priority);

// Verify priority transition
ASSERT_EQ (election->behavior (), nano::election_behavior::priority);
ASSERT_EQ (1, node.stats.count (nano::stat::type::active_elections, nano::stat::detail::transition_priority));
// Verify vote broadcast after transitioning
ASSERT_TIMELY_EQ (1s, 1, node.stats.count (nano::stat::type::election, nano::stat::detail::broadcast_vote));
ASSERT_TRUE (node.active.active (*block));
}

/**
* Tests that the election scheduler and the active transactions container (AEC)
* work in sync with regards to the node configuration value "active_elections.size".
Expand Down
2 changes: 2 additions & 0 deletions nano/lib/stats_enums.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -425,6 +425,8 @@ enum class detail
// active
insert,
insert_failed,
transition_priority,
transition_priority_failed,
election_cleanup,

// active_elections
Expand Down
30 changes: 28 additions & 2 deletions nano/node/active_elections.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -400,6 +400,7 @@ nano::election_insertion_result nano::active_elections::insert (std::shared_ptr<
return result;
}

auto active_state = false;
auto const root = block_a->qualified_root ();
auto const hash = block_a->hash ();
auto const existing = roots.get<tag_root> ().find (root);
Expand All @@ -420,16 +421,24 @@ nano::election_insertion_result nano::active_elections::insert (std::shared_ptr<
debug_assert (count_by_behavior[result.election->behavior ()] >= 0);
count_by_behavior[result.election->behavior ()]++;

// If block is not in vote cache, transition to active immediately
if (node.vote_cache.find (hash).empty ())
{
result.election->transition_active ();
active_state = true;
}

node.stats.inc (nano::stat::type::active_elections, nano::stat::detail::started);
node.stats.inc (nano::stat::type::active_elections_started, to_stat_detail (election_behavior_a));

node.logger.trace (nano::log::type::active_elections, nano::log::detail::active_started,
nano::log::arg{ "behavior", election_behavior_a },
nano::log::arg{ "election", result.election });

node.logger.debug (nano::log::type::active_elections, "Started new election for block: {} (behavior: {})",
node.logger.debug (nano::log::type::active_elections, "Started new election for block: {} (behavior: {}, active: {})",
hash.to_string (),
to_string (election_behavior_a));
to_string (election_behavior_a),
active_state);
}
else
{
Expand All @@ -439,6 +448,23 @@ nano::election_insertion_result nano::active_elections::insert (std::shared_ptr<
else
{
result.election = existing->election;

// Upgrade to priority election to enable immediate vote broadcasting.
auto previous_behavior = result.election->behavior ();
if (election_behavior_a == nano::election_behavior::priority && previous_behavior != nano::election_behavior::priority)
{
bool transitioned = result.election->transition_priority ();
if (transitioned)
{
count_by_behavior[previous_behavior]--;
count_by_behavior[election_behavior_a]++;
node.stats.inc (nano::stat::type::active_elections, nano::stat::detail::transition_priority);
}
else
{
node.stats.inc (nano::stat::type::active_elections, nano::stat::detail::transition_priority_failed);
}
}
}

lock.unlock ();
Expand Down
24 changes: 22 additions & 2 deletions nano/node/election.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -152,7 +152,7 @@ bool nano::election::state_change (nano::election_state expected_a, nano::electi

std::chrono::milliseconds nano::election::confirm_req_time () const
{
switch (behavior ())
switch (behavior_m)
{
case election_behavior::manual:
case election_behavior::priority:
Expand Down Expand Up @@ -183,6 +183,25 @@ void nano::election::transition_active ()
state_change (nano::election_state::passive, nano::election_state::active);
}

bool nano::election::transition_priority ()
{
nano::lock_guard<nano::mutex> guard{ mutex };

if (behavior_m == nano::election_behavior::priority || behavior_m == nano::election_behavior::manual)
{
return false;
}

behavior_m = nano::election_behavior::priority;
last_vote = std::chrono::steady_clock::time_point{}; // allow new outgoing votes immediately

node.logger.debug (nano::log::type::election, "Transitioned election behavior to priority from {} for root: {}",
to_string (behavior_m),
qualified_root.to_string ());

return true;
}

void nano::election::cancel ()
{
nano::lock_guard<nano::mutex> guard{ mutex };
Expand Down Expand Up @@ -314,7 +333,7 @@ bool nano::election::transition_time (nano::confirmation_solicitor & solicitor_a

std::chrono::milliseconds nano::election::time_to_live () const
{
switch (behavior ())
switch (behavior_m)
{
case election_behavior::manual:
case election_behavior::priority:
Expand Down Expand Up @@ -769,6 +788,7 @@ std::vector<nano::vote_with_weight_info> nano::election::votes_with_weight () co

nano::election_behavior nano::election::behavior () const
{
nano::lock_guard<nano::mutex> guard{ mutex };
return behavior_m;
}

Expand Down
3 changes: 2 additions & 1 deletion nano/node/election.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -87,6 +87,7 @@ class election final : public std::enable_shared_from_this<election>
public: // State transitions
bool transition_time (nano::confirmation_solicitor &);
void transition_active ();
bool transition_priority ();
void cancel ();

public: // Status
Expand Down Expand Up @@ -180,7 +181,7 @@ class election final : public std::enable_shared_from_this<election>
mutable nano::uint128_t final_weight{ 0 };
mutable std::unordered_map<nano::block_hash, nano::uint128_t> last_tally;

nano::election_behavior const behavior_m;
nano::election_behavior behavior_m;
std::chrono::steady_clock::time_point const election_start{ std::chrono::steady_clock::now () };

mutable nano::mutex mutex;
Expand Down

0 comments on commit ae18ea2

Please sign in to comment.