2021-02-15 07:17:52 +00:00
|
|
|
//! Provides a timer which runs in the tail-end of each slot and maybe advances the state of the
|
|
|
|
//! head block forward a single slot.
|
|
|
|
//!
|
|
|
|
//! This provides an optimization with the following benefits:
|
|
|
|
//!
|
|
|
|
//! 1. Removes the burden of a single, mandatory `per_slot_processing` call from the leading-edge of
|
|
|
|
//! block processing. This helps import blocks faster.
|
|
|
|
//! 2. Allows the node to learn of the shuffling for the next epoch, before the first block from
|
|
|
|
//! that epoch has arrived. This helps reduce gossip block propagation times.
|
|
|
|
//!
|
|
|
|
//! The downsides to this optimization are:
|
|
|
|
//!
|
|
|
|
//! 1. We are required to store an additional `BeaconState` for the head block. This consumes
|
|
|
|
//! memory.
|
|
|
|
//! 2. There's a possibility that the head block is never built upon, causing wasted CPU cycles.
|
|
|
|
use crate::validator_monitor::HISTORIC_EPOCHS as VALIDATOR_MONITOR_HISTORIC_EPOCHS;
|
|
|
|
use crate::{
|
2021-03-17 05:09:57 +00:00
|
|
|
beacon_chain::{ATTESTATION_CACHE_LOCK_TIMEOUT, BLOCK_PROCESSING_CACHE_LOCK_TIMEOUT},
|
|
|
|
snapshot_cache::StateAdvance,
|
|
|
|
BeaconChain, BeaconChainError, BeaconChainTypes,
|
2021-02-15 07:17:52 +00:00
|
|
|
};
|
|
|
|
use slog::{debug, error, warn, Logger};
|
|
|
|
use slot_clock::SlotClock;
|
|
|
|
use state_processing::per_slot_processing;
|
|
|
|
use std::sync::{
|
|
|
|
atomic::{AtomicBool, Ordering},
|
|
|
|
Arc,
|
|
|
|
};
|
|
|
|
use task_executor::TaskExecutor;
|
Run fork choice before block proposal (#3168)
## Issue Addressed
Upcoming spec change https://github.com/ethereum/consensus-specs/pull/2878
## Proposed Changes
1. Run fork choice at the start of every slot, and wait for this run to complete before proposing a block.
2. As an optimisation, also run fork choice 3/4 of the way through the slot (at 9s), _dequeueing attestations for the next slot_.
3. Remove the fork choice run from the state advance timer that occurred before advancing the state.
## Additional Info
### Block Proposal Accuracy
This change makes us more likely to propose on top of the correct head in the presence of re-orgs with proposer boost in play. The main scenario that this change is designed to address is described in the linked spec issue.
### Attestation Accuracy
This change _also_ makes us more likely to attest to the correct head. Currently in the case of a skipped slot at `slot` we only run fork choice 9s into `slot - 1`. This means the attestations from `slot - 1` aren't taken into consideration, and any boost applied to the block from `slot - 1` is not removed (it should be). In the language of the linked spec issue, this means we are liable to attest to C, even when the majority voting weight has already caused a re-org to B.
### Why remove the call before the state advance?
If we've run fork choice at the start of the slot then it has already dequeued all the attestations from the previous slot, which are the only ones eligible to influence the head in the current slot. Running fork choice again is unnecessary (unless we run it for the next slot and try to pre-empt a re-org, but I don't currently think this is a great idea).
### Performance
Based on Prater testing this adds about 5-25ms of runtime to block proposal times, which are 500-1000ms on average (and spike to 5s+ sometimes due to state handling issues :cry: ). I believe this is a small enough penalty to enable it by default, with the option to disable it via the new flag `--fork-choice-before-proposal-timeout 0`. Upcoming work on block packing and state representation will also reduce block production times in general, while removing the spikes.
### Implementation
Fork choice gets invoked at the start of the slot via the `per_slot_task` function called from the slot timer. It then uses a condition variable to signal to block production that fork choice has been updated. This is a bit funky, but it seems to work. One downside of the timer-based approach is that it doesn't happen automatically in most of the tests. The test added by this PR has to trigger the run manually.
2022-05-20 05:02:11 +00:00
|
|
|
use tokio::time::{sleep, sleep_until, Instant};
|
2021-03-17 05:09:57 +00:00
|
|
|
use types::{AttestationShufflingId, EthSpec, Hash256, RelativeEpoch, Slot};
|
2021-02-15 07:17:52 +00:00
|
|
|
|
|
|
|
/// If the head slot is more than `MAX_ADVANCE_DISTANCE` from the current slot, then don't perform
|
|
|
|
/// the state advancement.
|
|
|
|
///
|
|
|
|
/// This avoids doing unnecessary work whilst the node is syncing or has perhaps been put to sleep
|
|
|
|
/// for some period of time.
|
|
|
|
const MAX_ADVANCE_DISTANCE: u64 = 4;
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
enum Error {
|
|
|
|
BeaconChain(BeaconChainError),
|
|
|
|
HeadMissingFromSnapshotCache(Hash256),
|
2021-12-03 04:44:30 +00:00
|
|
|
MaxDistanceExceeded {
|
|
|
|
current_slot: Slot,
|
|
|
|
head_slot: Slot,
|
|
|
|
},
|
|
|
|
StateAlreadyAdvanced {
|
|
|
|
block_root: Hash256,
|
|
|
|
},
|
|
|
|
BadStateSlot {
|
|
|
|
_state_slot: Slot,
|
|
|
|
_block_slot: Slot,
|
|
|
|
},
|
2021-02-15 07:17:52 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl From<BeaconChainError> for Error {
|
|
|
|
fn from(e: BeaconChainError) -> Self {
|
|
|
|
Self::BeaconChain(e)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Provides a simple thread-safe lock to be used for task co-ordination. Practically equivalent to
|
|
|
|
/// `Mutex<()>`.
|
|
|
|
#[derive(Clone)]
|
|
|
|
struct Lock(Arc<AtomicBool>);
|
|
|
|
|
|
|
|
impl Lock {
|
|
|
|
/// Instantiate an unlocked self.
|
|
|
|
pub fn new() -> Self {
|
|
|
|
Self(Arc::new(AtomicBool::new(false)))
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Lock self, returning `true` if the lock was already set.
|
|
|
|
pub fn lock(&self) -> bool {
|
|
|
|
self.0.fetch_or(true, Ordering::SeqCst)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Unlock self.
|
|
|
|
pub fn unlock(&self) {
|
|
|
|
self.0.store(false, Ordering::SeqCst);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Spawns the timer described in the module-level documentation.
|
|
|
|
pub fn spawn_state_advance_timer<T: BeaconChainTypes>(
|
|
|
|
executor: TaskExecutor,
|
|
|
|
beacon_chain: Arc<BeaconChain<T>>,
|
|
|
|
log: Logger,
|
|
|
|
) {
|
|
|
|
executor.spawn(
|
|
|
|
state_advance_timer(executor.clone(), beacon_chain, log),
|
|
|
|
"state_advance_timer",
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Provides the timer described in the module-level documentation.
|
|
|
|
async fn state_advance_timer<T: BeaconChainTypes>(
|
|
|
|
executor: TaskExecutor,
|
|
|
|
beacon_chain: Arc<BeaconChain<T>>,
|
|
|
|
log: Logger,
|
|
|
|
) {
|
|
|
|
let is_running = Lock::new();
|
|
|
|
let slot_clock = &beacon_chain.slot_clock;
|
|
|
|
let slot_duration = slot_clock.slot_duration();
|
|
|
|
|
|
|
|
loop {
|
Run fork choice before block proposal (#3168)
## Issue Addressed
Upcoming spec change https://github.com/ethereum/consensus-specs/pull/2878
## Proposed Changes
1. Run fork choice at the start of every slot, and wait for this run to complete before proposing a block.
2. As an optimisation, also run fork choice 3/4 of the way through the slot (at 9s), _dequeueing attestations for the next slot_.
3. Remove the fork choice run from the state advance timer that occurred before advancing the state.
## Additional Info
### Block Proposal Accuracy
This change makes us more likely to propose on top of the correct head in the presence of re-orgs with proposer boost in play. The main scenario that this change is designed to address is described in the linked spec issue.
### Attestation Accuracy
This change _also_ makes us more likely to attest to the correct head. Currently in the case of a skipped slot at `slot` we only run fork choice 9s into `slot - 1`. This means the attestations from `slot - 1` aren't taken into consideration, and any boost applied to the block from `slot - 1` is not removed (it should be). In the language of the linked spec issue, this means we are liable to attest to C, even when the majority voting weight has already caused a re-org to B.
### Why remove the call before the state advance?
If we've run fork choice at the start of the slot then it has already dequeued all the attestations from the previous slot, which are the only ones eligible to influence the head in the current slot. Running fork choice again is unnecessary (unless we run it for the next slot and try to pre-empt a re-org, but I don't currently think this is a great idea).
### Performance
Based on Prater testing this adds about 5-25ms of runtime to block proposal times, which are 500-1000ms on average (and spike to 5s+ sometimes due to state handling issues :cry: ). I believe this is a small enough penalty to enable it by default, with the option to disable it via the new flag `--fork-choice-before-proposal-timeout 0`. Upcoming work on block packing and state representation will also reduce block production times in general, while removing the spikes.
### Implementation
Fork choice gets invoked at the start of the slot via the `per_slot_task` function called from the slot timer. It then uses a condition variable to signal to block production that fork choice has been updated. This is a bit funky, but it seems to work. One downside of the timer-based approach is that it doesn't happen automatically in most of the tests. The test added by this PR has to trigger the run manually.
2022-05-20 05:02:11 +00:00
|
|
|
let duration_to_next_slot = match beacon_chain.slot_clock.duration_to_next_slot() {
|
|
|
|
Some(duration) => duration,
|
2021-02-15 07:17:52 +00:00
|
|
|
None => {
|
|
|
|
error!(log, "Failed to read slot clock");
|
|
|
|
// If we can't read the slot clock, just wait another slot.
|
|
|
|
sleep(slot_duration).await;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
Run fork choice before block proposal (#3168)
## Issue Addressed
Upcoming spec change https://github.com/ethereum/consensus-specs/pull/2878
## Proposed Changes
1. Run fork choice at the start of every slot, and wait for this run to complete before proposing a block.
2. As an optimisation, also run fork choice 3/4 of the way through the slot (at 9s), _dequeueing attestations for the next slot_.
3. Remove the fork choice run from the state advance timer that occurred before advancing the state.
## Additional Info
### Block Proposal Accuracy
This change makes us more likely to propose on top of the correct head in the presence of re-orgs with proposer boost in play. The main scenario that this change is designed to address is described in the linked spec issue.
### Attestation Accuracy
This change _also_ makes us more likely to attest to the correct head. Currently in the case of a skipped slot at `slot` we only run fork choice 9s into `slot - 1`. This means the attestations from `slot - 1` aren't taken into consideration, and any boost applied to the block from `slot - 1` is not removed (it should be). In the language of the linked spec issue, this means we are liable to attest to C, even when the majority voting weight has already caused a re-org to B.
### Why remove the call before the state advance?
If we've run fork choice at the start of the slot then it has already dequeued all the attestations from the previous slot, which are the only ones eligible to influence the head in the current slot. Running fork choice again is unnecessary (unless we run it for the next slot and try to pre-empt a re-org, but I don't currently think this is a great idea).
### Performance
Based on Prater testing this adds about 5-25ms of runtime to block proposal times, which are 500-1000ms on average (and spike to 5s+ sometimes due to state handling issues :cry: ). I believe this is a small enough penalty to enable it by default, with the option to disable it via the new flag `--fork-choice-before-proposal-timeout 0`. Upcoming work on block packing and state representation will also reduce block production times in general, while removing the spikes.
### Implementation
Fork choice gets invoked at the start of the slot via the `per_slot_task` function called from the slot timer. It then uses a condition variable to signal to block production that fork choice has been updated. This is a bit funky, but it seems to work. One downside of the timer-based approach is that it doesn't happen automatically in most of the tests. The test added by this PR has to trigger the run manually.
2022-05-20 05:02:11 +00:00
|
|
|
// Run the state advance 3/4 of the way through the slot (9s on mainnet).
|
|
|
|
let state_advance_offset = slot_duration / 4;
|
|
|
|
let state_advance_instant = if duration_to_next_slot > state_advance_offset {
|
|
|
|
Instant::now() + duration_to_next_slot - state_advance_offset
|
|
|
|
} else {
|
|
|
|
// Skip the state advance for the current slot and wait until the next one.
|
|
|
|
Instant::now() + duration_to_next_slot + slot_duration - state_advance_offset
|
|
|
|
};
|
|
|
|
|
|
|
|
// Run fork choice 23/24s of the way through the slot (11.5s on mainnet).
|
|
|
|
// We need to run after the state advance, so use the same condition as above.
|
|
|
|
let fork_choice_offset = slot_duration / 24;
|
|
|
|
let fork_choice_instant = if duration_to_next_slot > state_advance_offset {
|
|
|
|
Instant::now() + duration_to_next_slot - fork_choice_offset
|
|
|
|
} else {
|
|
|
|
Instant::now() + duration_to_next_slot + slot_duration - fork_choice_offset
|
|
|
|
};
|
|
|
|
|
|
|
|
// Wait for the state advance.
|
|
|
|
sleep_until(state_advance_instant).await;
|
|
|
|
|
|
|
|
// Compute the current slot here at approx 3/4 through the slot. Even though this slot is
|
|
|
|
// only used by fork choice we need to calculate it here rather than after the state
|
|
|
|
// advance, in case the state advance flows over into the next slot.
|
|
|
|
let current_slot = match beacon_chain.slot() {
|
|
|
|
Ok(slot) => slot,
|
|
|
|
Err(e) => {
|
|
|
|
warn!(
|
|
|
|
log,
|
|
|
|
"Unable to determine slot in state advance timer";
|
|
|
|
"error" => ?e
|
|
|
|
);
|
|
|
|
// If we can't read the slot clock, just wait another slot.
|
|
|
|
sleep(slot_duration).await;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
// Only spawn the state advance task if the lock was previously free.
|
2021-02-15 07:17:52 +00:00
|
|
|
if !is_running.lock() {
|
|
|
|
let log = log.clone();
|
|
|
|
let beacon_chain = beacon_chain.clone();
|
|
|
|
let is_running = is_running.clone();
|
|
|
|
|
|
|
|
executor.spawn_blocking(
|
|
|
|
move || {
|
|
|
|
match advance_head(&beacon_chain, &log) {
|
|
|
|
Ok(()) => (),
|
|
|
|
Err(Error::BeaconChain(e)) => error!(
|
|
|
|
log,
|
|
|
|
"Failed to advance head state";
|
|
|
|
"error" => ?e
|
|
|
|
),
|
|
|
|
Err(Error::StateAlreadyAdvanced { block_root }) => debug!(
|
|
|
|
log,
|
|
|
|
"State already advanced on slot";
|
|
|
|
"block_root" => ?block_root
|
|
|
|
),
|
|
|
|
Err(Error::MaxDistanceExceeded {
|
|
|
|
current_slot,
|
|
|
|
head_slot,
|
|
|
|
}) => debug!(
|
|
|
|
log,
|
|
|
|
"Refused to advance head state";
|
|
|
|
"head_slot" => head_slot,
|
|
|
|
"current_slot" => current_slot,
|
|
|
|
),
|
|
|
|
other => warn!(
|
|
|
|
log,
|
|
|
|
"Did not advance head state";
|
|
|
|
"reason" => ?other
|
|
|
|
),
|
|
|
|
};
|
|
|
|
|
|
|
|
// Permit this blocking task to spawn again, next time the timer fires.
|
|
|
|
is_running.unlock();
|
|
|
|
},
|
|
|
|
"state_advance_blocking",
|
|
|
|
);
|
|
|
|
} else {
|
|
|
|
warn!(
|
|
|
|
log,
|
|
|
|
"State advance routine overloaded";
|
|
|
|
"msg" => "system resources may be overloaded"
|
|
|
|
)
|
|
|
|
}
|
Run fork choice before block proposal (#3168)
## Issue Addressed
Upcoming spec change https://github.com/ethereum/consensus-specs/pull/2878
## Proposed Changes
1. Run fork choice at the start of every slot, and wait for this run to complete before proposing a block.
2. As an optimisation, also run fork choice 3/4 of the way through the slot (at 9s), _dequeueing attestations for the next slot_.
3. Remove the fork choice run from the state advance timer that occurred before advancing the state.
## Additional Info
### Block Proposal Accuracy
This change makes us more likely to propose on top of the correct head in the presence of re-orgs with proposer boost in play. The main scenario that this change is designed to address is described in the linked spec issue.
### Attestation Accuracy
This change _also_ makes us more likely to attest to the correct head. Currently in the case of a skipped slot at `slot` we only run fork choice 9s into `slot - 1`. This means the attestations from `slot - 1` aren't taken into consideration, and any boost applied to the block from `slot - 1` is not removed (it should be). In the language of the linked spec issue, this means we are liable to attest to C, even when the majority voting weight has already caused a re-org to B.
### Why remove the call before the state advance?
If we've run fork choice at the start of the slot then it has already dequeued all the attestations from the previous slot, which are the only ones eligible to influence the head in the current slot. Running fork choice again is unnecessary (unless we run it for the next slot and try to pre-empt a re-org, but I don't currently think this is a great idea).
### Performance
Based on Prater testing this adds about 5-25ms of runtime to block proposal times, which are 500-1000ms on average (and spike to 5s+ sometimes due to state handling issues :cry: ). I believe this is a small enough penalty to enable it by default, with the option to disable it via the new flag `--fork-choice-before-proposal-timeout 0`. Upcoming work on block packing and state representation will also reduce block production times in general, while removing the spikes.
### Implementation
Fork choice gets invoked at the start of the slot via the `per_slot_task` function called from the slot timer. It then uses a condition variable to signal to block production that fork choice has been updated. This is a bit funky, but it seems to work. One downside of the timer-based approach is that it doesn't happen automatically in most of the tests. The test added by this PR has to trigger the run manually.
2022-05-20 05:02:11 +00:00
|
|
|
|
|
|
|
// Run fork choice pre-emptively for the next slot. This processes most of the attestations
|
|
|
|
// from this slot off the hot path of block verification and production.
|
|
|
|
// Wait for the fork choice instant (which may already be past).
|
|
|
|
sleep_until(fork_choice_instant).await;
|
|
|
|
|
|
|
|
let log = log.clone();
|
|
|
|
let beacon_chain = beacon_chain.clone();
|
|
|
|
let next_slot = current_slot + 1;
|
|
|
|
executor.spawn_blocking(
|
|
|
|
move || {
|
|
|
|
if let Err(e) = beacon_chain.fork_choice_at_slot(next_slot) {
|
|
|
|
warn!(
|
|
|
|
log,
|
|
|
|
"Error updating fork choice for next slot";
|
|
|
|
"error" => ?e,
|
|
|
|
"slot" => next_slot,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Signal block proposal for the next slot (if it happens to be waiting).
|
|
|
|
if let Some(tx) = &beacon_chain.fork_choice_signal_tx {
|
|
|
|
if let Err(e) = tx.notify_fork_choice_complete(next_slot) {
|
|
|
|
warn!(
|
|
|
|
log,
|
|
|
|
"Error signalling fork choice waiter";
|
|
|
|
"error" => ?e,
|
|
|
|
"slot" => next_slot,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
},
|
|
|
|
"fork_choice_advance",
|
|
|
|
);
|
2021-02-15 07:17:52 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Reads the `snapshot_cache` from the `beacon_chain` and attempts to take a clone of the
|
|
|
|
/// `BeaconState` of the head block. If it obtains this clone, the state will be advanced a single
|
|
|
|
/// slot then placed back in the `snapshot_cache` to be used for block verification.
|
|
|
|
///
|
|
|
|
/// See the module-level documentation for rationale.
|
|
|
|
fn advance_head<T: BeaconChainTypes>(
|
2022-05-04 23:30:34 +00:00
|
|
|
beacon_chain: &Arc<BeaconChain<T>>,
|
2021-02-15 07:17:52 +00:00
|
|
|
log: &Logger,
|
|
|
|
) -> Result<(), Error> {
|
|
|
|
let current_slot = beacon_chain.slot()?;
|
|
|
|
|
|
|
|
// These brackets ensure that the `head_slot` value is dropped before we run fork choice and
|
|
|
|
// potentially invalidate it.
|
|
|
|
//
|
|
|
|
// Fork-choice is not run *before* this function to avoid unnecessary calls whilst syncing.
|
|
|
|
{
|
|
|
|
let head_slot = beacon_chain.head_info()?.slot;
|
|
|
|
|
|
|
|
// Don't run this when syncing or if lagging too far behind.
|
|
|
|
if head_slot + MAX_ADVANCE_DISTANCE < current_slot {
|
|
|
|
return Err(Error::MaxDistanceExceeded {
|
|
|
|
current_slot,
|
|
|
|
head_slot,
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let head_root = beacon_chain.head_info()?.block_root;
|
|
|
|
|
|
|
|
let (head_slot, head_state_root, mut state) = match beacon_chain
|
|
|
|
.snapshot_cache
|
|
|
|
.try_write_for(BLOCK_PROCESSING_CACHE_LOCK_TIMEOUT)
|
|
|
|
.ok_or(BeaconChainError::SnapshotCacheLockTimeout)?
|
|
|
|
.get_for_state_advance(head_root)
|
|
|
|
{
|
|
|
|
StateAdvance::AlreadyAdvanced => {
|
|
|
|
return Err(Error::StateAlreadyAdvanced {
|
|
|
|
block_root: head_root,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
StateAdvance::BlockNotFound => return Err(Error::HeadMissingFromSnapshotCache(head_root)),
|
|
|
|
StateAdvance::State {
|
|
|
|
state,
|
|
|
|
state_root,
|
|
|
|
block_slot,
|
|
|
|
} => (block_slot, state_root, *state),
|
|
|
|
};
|
|
|
|
|
2021-07-09 06:15:32 +00:00
|
|
|
let initial_slot = state.slot();
|
2021-02-15 07:17:52 +00:00
|
|
|
let initial_epoch = state.current_epoch();
|
|
|
|
|
2021-07-09 06:15:32 +00:00
|
|
|
let state_root = if state.slot() == head_slot {
|
2021-02-15 07:17:52 +00:00
|
|
|
Some(head_state_root)
|
|
|
|
} else {
|
|
|
|
// Protect against advancing a state more than a single slot.
|
|
|
|
//
|
|
|
|
// Advancing more than one slot without storing the intermediate state would corrupt the
|
|
|
|
// database. Future works might store temporary, intermediate states inside this function.
|
|
|
|
return Err(Error::BadStateSlot {
|
2021-12-03 04:44:30 +00:00
|
|
|
_block_slot: head_slot,
|
|
|
|
_state_slot: state.slot(),
|
2021-02-15 07:17:52 +00:00
|
|
|
});
|
|
|
|
};
|
|
|
|
|
|
|
|
// Advance the state a single slot.
|
|
|
|
if let Some(summary) = per_slot_processing(&mut state, state_root, &beacon_chain.spec)
|
|
|
|
.map_err(BeaconChainError::from)?
|
|
|
|
{
|
2021-07-27 07:01:01 +00:00
|
|
|
// Expose Prometheus metrics.
|
|
|
|
if let Err(e) = summary.observe_metrics() {
|
|
|
|
error!(
|
|
|
|
log,
|
|
|
|
"Failed to observe epoch summary metrics";
|
|
|
|
"src" => "state_advance_timer",
|
|
|
|
"error" => ?e
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2021-02-15 07:17:52 +00:00
|
|
|
// Only notify the validator monitor for recent blocks.
|
|
|
|
if state.current_epoch() + VALIDATOR_MONITOR_HISTORIC_EPOCHS as u64
|
|
|
|
>= current_slot.epoch(T::EthSpec::slots_per_epoch())
|
|
|
|
{
|
|
|
|
// Potentially create logs/metrics for locally monitored validators.
|
2021-07-27 07:01:01 +00:00
|
|
|
if let Err(e) = beacon_chain
|
2021-02-15 07:17:52 +00:00
|
|
|
.validator_monitor
|
|
|
|
.read()
|
2021-07-27 07:01:01 +00:00
|
|
|
.process_validator_statuses(state.current_epoch(), &summary, &beacon_chain.spec)
|
|
|
|
{
|
|
|
|
error!(
|
|
|
|
log,
|
|
|
|
"Unable to process validator statuses";
|
|
|
|
"error" => ?e
|
|
|
|
);
|
|
|
|
}
|
2021-02-15 07:17:52 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
debug!(
|
|
|
|
log,
|
|
|
|
"Advanced head state one slot";
|
|
|
|
"head_root" => ?head_root,
|
2021-07-09 06:15:32 +00:00
|
|
|
"state_slot" => state.slot(),
|
2021-02-15 07:17:52 +00:00
|
|
|
"current_slot" => current_slot,
|
|
|
|
);
|
|
|
|
|
2021-03-17 05:09:57 +00:00
|
|
|
// Build the current epoch cache, to prepare to compute proposer duties.
|
|
|
|
state
|
|
|
|
.build_committee_cache(RelativeEpoch::Current, &beacon_chain.spec)
|
|
|
|
.map_err(BeaconChainError::from)?;
|
|
|
|
// Build the next epoch cache, to prepare to compute attester duties.
|
|
|
|
state
|
|
|
|
.build_committee_cache(RelativeEpoch::Next, &beacon_chain.spec)
|
|
|
|
.map_err(BeaconChainError::from)?;
|
|
|
|
|
|
|
|
// If the `pre_state` is in a later epoch than `state`, pre-emptively add the proposer shuffling
|
|
|
|
// for the state's current epoch and the committee cache for the state's next epoch.
|
|
|
|
if initial_epoch < state.current_epoch() {
|
|
|
|
// Update the proposer cache.
|
|
|
|
//
|
|
|
|
// We supply the `head_root` as the decision block since the prior `if` statement guarantees
|
|
|
|
// the head root is the latest block from the prior epoch.
|
2021-02-15 07:17:52 +00:00
|
|
|
beacon_chain
|
|
|
|
.beacon_proposer_cache
|
|
|
|
.lock()
|
|
|
|
.insert(
|
|
|
|
state.current_epoch(),
|
|
|
|
head_root,
|
|
|
|
state
|
|
|
|
.get_beacon_proposer_indices(&beacon_chain.spec)
|
|
|
|
.map_err(BeaconChainError::from)?,
|
2021-07-09 06:15:32 +00:00
|
|
|
state.fork(),
|
2021-02-15 07:17:52 +00:00
|
|
|
)
|
|
|
|
.map_err(BeaconChainError::from)?;
|
2021-03-17 05:09:57 +00:00
|
|
|
|
|
|
|
// Update the attester cache.
|
|
|
|
let shuffling_id = AttestationShufflingId::new(head_root, &state, RelativeEpoch::Next)
|
|
|
|
.map_err(BeaconChainError::from)?;
|
|
|
|
let committee_cache = state
|
|
|
|
.committee_cache(RelativeEpoch::Next)
|
|
|
|
.map_err(BeaconChainError::from)?;
|
|
|
|
beacon_chain
|
|
|
|
.shuffling_cache
|
|
|
|
.try_write_for(ATTESTATION_CACHE_LOCK_TIMEOUT)
|
|
|
|
.ok_or(BeaconChainError::AttestationCacheLockTimeout)?
|
|
|
|
.insert(shuffling_id.clone(), committee_cache);
|
|
|
|
|
|
|
|
debug!(
|
|
|
|
log,
|
|
|
|
"Primed proposer and attester caches";
|
|
|
|
"head_root" => ?head_root,
|
|
|
|
"next_epoch_shuffling_root" => ?shuffling_id.shuffling_decision_block,
|
|
|
|
"state_epoch" => state.current_epoch(),
|
|
|
|
"current_epoch" => current_slot.epoch(T::EthSpec::slots_per_epoch()),
|
|
|
|
);
|
2021-02-15 07:17:52 +00:00
|
|
|
}
|
|
|
|
|
2021-07-29 04:38:26 +00:00
|
|
|
// Apply the state to the attester cache, if the cache deems it interesting.
|
|
|
|
beacon_chain
|
|
|
|
.attester_cache
|
|
|
|
.maybe_cache_state(&state, head_root, &beacon_chain.spec)
|
|
|
|
.map_err(BeaconChainError::from)?;
|
|
|
|
|
2021-07-09 06:15:32 +00:00
|
|
|
let final_slot = state.slot();
|
2021-02-15 07:17:52 +00:00
|
|
|
|
|
|
|
// Insert the advanced state back into the snapshot cache.
|
|
|
|
beacon_chain
|
|
|
|
.snapshot_cache
|
|
|
|
.try_write_for(BLOCK_PROCESSING_CACHE_LOCK_TIMEOUT)
|
|
|
|
.ok_or(BeaconChainError::SnapshotCacheLockTimeout)?
|
|
|
|
.update_pre_state(head_root, state)
|
|
|
|
.ok_or(Error::HeadMissingFromSnapshotCache(head_root))?;
|
|
|
|
|
2021-02-21 23:47:53 +00:00
|
|
|
// If we have moved into the next slot whilst processing the state then this function is going
|
|
|
|
// to become ineffective and likely become a hindrance as we're stealing the tree hash cache
|
|
|
|
// from the snapshot cache (which may force the next block to rebuild a new one).
|
|
|
|
//
|
|
|
|
// If this warning occurs very frequently on well-resourced machines then we should consider
|
|
|
|
// starting it earlier in the slot. Otherwise, it's a good indication that the machine is too
|
|
|
|
// slow/overloaded and will be useful information for the user.
|
|
|
|
let starting_slot = current_slot;
|
2021-02-15 07:17:52 +00:00
|
|
|
let current_slot = beacon_chain.slot()?;
|
2021-02-21 23:47:53 +00:00
|
|
|
if starting_slot < current_slot {
|
2021-02-15 07:17:52 +00:00
|
|
|
warn!(
|
|
|
|
log,
|
|
|
|
"State advance too slow";
|
|
|
|
"head_root" => %head_root,
|
|
|
|
"advanced_slot" => final_slot,
|
|
|
|
"current_slot" => current_slot,
|
2021-02-21 23:47:53 +00:00
|
|
|
"starting_slot" => starting_slot,
|
2021-02-15 07:17:52 +00:00
|
|
|
"msg" => "system resources may be overloaded",
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
debug!(
|
|
|
|
log,
|
|
|
|
"Completed state advance";
|
|
|
|
"head_root" => ?head_root,
|
|
|
|
"advanced_slot" => final_slot,
|
|
|
|
"initial_slot" => initial_slot,
|
|
|
|
);
|
|
|
|
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
|
|
|
use super::*;
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn lock() {
|
|
|
|
let lock = Lock::new();
|
2021-06-18 05:58:01 +00:00
|
|
|
assert!(!lock.lock());
|
|
|
|
assert!(lock.lock());
|
|
|
|
assert!(lock.lock());
|
2021-02-15 07:17:52 +00:00
|
|
|
lock.unlock();
|
2021-06-18 05:58:01 +00:00
|
|
|
assert!(!lock.lock());
|
|
|
|
assert!(lock.lock());
|
2021-02-15 07:17:52 +00:00
|
|
|
}
|
|
|
|
}
|