Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Optimize] Cache the latest leader #3115

Merged
merged 3 commits into from
Mar 9, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
3 changes: 2 additions & 1 deletion node/bft/ledger-service/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ edition = "2021"

[features]
default = [ ]
ledger = [ "parking_lot", "rand", "tokio", "tracing" ]
ledger = [ "lru", "parking_lot", "rand", "tokio", "tracing" ]
ledger-write = [ ]
mock = [ "parking_lot", "tracing" ]
prover = [ ]
Expand All @@ -34,6 +34,7 @@ features = [ "serde", "rayon" ]

[dependencies.lru]
version = "0.12"
optional = true

[dependencies.parking_lot]
version = "0.12"
Expand Down
18 changes: 15 additions & 3 deletions node/bft/ledger-service/src/ledger.rs
Original file line number Diff line number Diff line change
Expand Up @@ -22,12 +22,12 @@ use snarkvm::{
store::ConsensusStorage,
Ledger,
},
prelude::{bail, Field, Network, Result},
prelude::{bail, Address, Field, Network, Result},
};

use indexmap::IndexMap;
use lru::LruCache;
use parking_lot::Mutex;
use parking_lot::{Mutex, RwLock};
use std::{
fmt,
ops::Range,
Expand All @@ -41,10 +41,12 @@ use std::{
const COMMITTEE_CACHE_SIZE: usize = 16;

/// A core ledger service.
#[allow(clippy::type_complexity)]
pub struct CoreLedgerService<N: Network, C: ConsensusStorage<N>> {
ledger: Ledger<N, C>,
coinbase_verifying_key: Arc<CoinbaseVerifyingKey<N>>,
committee_cache: Arc<Mutex<LruCache<u64, Committee<N>>>>,
latest_leader: Arc<RwLock<Option<(u64, Address<N>)>>>,
shutdown: Arc<AtomicBool>,
}

Expand All @@ -53,7 +55,7 @@ impl<N: Network, C: ConsensusStorage<N>> CoreLedgerService<N, C> {
pub fn new(ledger: Ledger<N, C>, shutdown: Arc<AtomicBool>) -> Self {
let coinbase_verifying_key = Arc::new(ledger.coinbase_puzzle().coinbase_verifying_key().clone());
let committee_cache = Arc::new(Mutex::new(LruCache::new(COMMITTEE_CACHE_SIZE.try_into().unwrap())));
Self { ledger, coinbase_verifying_key, committee_cache, shutdown }
Self { ledger, coinbase_verifying_key, committee_cache, latest_leader: Default::default(), shutdown }
}
}

Expand Down Expand Up @@ -81,6 +83,16 @@ impl<N: Network, C: ConsensusStorage<N>> LedgerService<N> for CoreLedgerService<
self.ledger.latest_block()
}

/// Returns the latest cached leader and its associated round.
fn latest_leader(&self) -> Option<(u64, Address<N>)> {
*self.latest_leader.read()
}

/// Updates the latest cached leader and its associated round.
fn update_latest_leader(&self, round: u64, leader: Address<N>) {
*self.latest_leader.write() = Some((round, leader));
}

/// Returns `true` if the given block height exists in the ledger.
fn contains_block_height(&self, height: u32) -> bool {
self.ledger.contains_block_height(height).unwrap_or(false)
Expand Down
10 changes: 9 additions & 1 deletion node/bft/ledger-service/src/mock.rs
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ use snarkvm::{
committee::Committee,
narwhal::{BatchCertificate, Data, Subdag, Transmission, TransmissionID},
},
prelude::{bail, ensure, Field, Network, Result},
prelude::{bail, ensure, Address, Field, Network, Result},
};

use indexmap::IndexMap;
Expand Down Expand Up @@ -68,6 +68,14 @@ impl<N: Network> LedgerService<N> for MockLedgerService<N> {
unreachable!("MockLedgerService does not support latest_block")
}

/// Returns the latest cached leader and its associated round.
fn latest_leader(&self) -> Option<(u64, Address<N>)> {
None
}

/// Updates the latest cached leader and its associated round.
fn update_latest_leader(&self, _round: u64, _leader: Address<N>) {}

/// Returns `true` if the given block height exists in the canonical ledger.
fn contains_block_height(&self, height: u32) -> bool {
self.height_to_hash.lock().contains_key(&height)
Expand Down
12 changes: 11 additions & 1 deletion node/bft/ledger-service/src/prover.rs
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ use snarkvm::{
committee::Committee,
narwhal::{BatchCertificate, Data, Subdag, Transmission, TransmissionID},
},
prelude::{bail, Field, Network, Result},
prelude::{bail, Address, Field, Network, Result},
};

use indexmap::IndexMap;
Expand Down Expand Up @@ -56,6 +56,16 @@ impl<N: Network> LedgerService<N> for ProverLedgerService<N> {
unreachable!("Latest block does not exist in prover")
}

/// Returns the latest cached leader and its associated round.
fn latest_leader(&self) -> Option<(u64, Address<N>)> {
unreachable!("Latest leader does not exist in prover");
}

/// Updates the latest cached leader and its associated round.
fn update_latest_leader(&self, _round: u64, _leader: Address<N>) {
unreachable!("Latest leader does not exist in prover");
}

/// Returns `true` if the given block height exists in the ledger.
fn contains_block_height(&self, _height: u32) -> bool {
false
Expand Down
8 changes: 7 additions & 1 deletion node/bft/ledger-service/src/traits.rs
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ use snarkvm::{
committee::Committee,
narwhal::{BatchCertificate, Data, Subdag, Transmission, TransmissionID},
},
prelude::{Field, Network, Result},
prelude::{Address, Field, Network, Result},
};

use indexmap::IndexMap;
Expand All @@ -36,6 +36,12 @@ pub trait LedgerService<N: Network>: Debug + Send + Sync {
/// Returns the latest block in the ledger.
fn latest_block(&self) -> Block<N>;

/// Returns the latest cached leader and its associated round.
fn latest_leader(&self) -> Option<(u64, Address<N>)>;

/// Updates the latest cached leader and its associated round.
fn update_latest_leader(&self, round: u64, leader: Address<N>);

/// Returns `true` if the given block height exists in the ledger.
fn contains_block_height(&self, height: u32) -> bool;

Expand Down
12 changes: 11 additions & 1 deletion node/bft/ledger-service/src/translucent.rs
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ use snarkvm::{
store::ConsensusStorage,
Ledger,
},
prelude::{narwhal::BatchCertificate, Field, Network, Result},
prelude::{narwhal::BatchCertificate, Address, Field, Network, Result},
};
use std::{
fmt,
Expand Down Expand Up @@ -67,6 +67,16 @@ impl<N: Network, C: ConsensusStorage<N>> LedgerService<N> for TranslucentLedgerS
self.inner.latest_block()
}

/// Returns the latest cached leader and its associated round.
fn latest_leader(&self) -> Option<(u64, Address<N>)> {
self.inner.latest_leader()
}

/// Updates the latest cached leader and its associated round.
fn update_latest_leader(&self, round: u64, leader: Address<N>) {
self.inner.update_latest_leader(round, leader);
}

/// Returns `true` if the given block height exists in the ledger.
fn contains_block_height(&self, height: u32) -> bool {
self.inner.contains_block_height(height)
Expand Down
61 changes: 48 additions & 13 deletions node/bft/src/bft.rs
Original file line number Diff line number Diff line change
Expand Up @@ -298,11 +298,22 @@ impl<N: Network> BFT<N> {
}
};
// Determine the leader of the current round.
let leader = match committee_lookback.get_leader(current_round) {
Ok(leader) => leader,
Err(e) => {
error!("BFT failed to compute the leader for the even round {current_round} - {e}");
return false;
let leader = match self.ledger().latest_leader() {
Some((cached_round, cached_leader)) if cached_round == current_round => cached_leader,
_ => {
// Compute the leader for the current round.
let computed_leader = match committee_lookback.get_leader(current_round) {
Ok(leader) => leader,
Err(e) => {
error!("BFT failed to compute the leader for the even round {current_round} - {e}");
return false;
}
};

// Cache the computed leader.
self.ledger().update_latest_leader(current_round, computed_leader);

computed_leader
}
};
// Find and set the leader certificate, if the leader was present in the current even round.
Expand Down Expand Up @@ -453,10 +464,23 @@ impl<N: Network> BFT<N> {
let Ok(committee_lookback) = self.ledger().get_committee_lookback_for_round(commit_round) else {
bail!("BFT failed to retrieve the committee with lag for commit round {commit_round}");
};
// Compute the leader for the commit round.
let Ok(leader) = committee_lookback.get_leader(commit_round) else {
bail!("BFT failed to compute the leader for commit round {commit_round}");

// Either retrieve the cached leader or compute it.
let leader = match self.ledger().latest_leader() {
Some((cached_round, cached_leader)) if cached_round == commit_round => cached_leader,
_ => {
// Compute the leader for the commit round.
let Ok(computed_leader) = committee_lookback.get_leader(commit_round) else {
bail!("BFT failed to compute the leader for commit round {commit_round}");
};

// Cache the computed leader.
self.ledger().update_latest_leader(commit_round, computed_leader);

computed_leader
}
};

// Retrieve the leader certificate for the commit round.
let Some(leader_certificate) = self.dag.read().get_certificate_for_round_with_author(commit_round, leader)
else {
Expand Down Expand Up @@ -514,11 +538,22 @@ impl<N: Network> BFT<N> {
bail!("BFT failed to retrieve a previous committee lookback for the even round {round} - {e}");
}
};
// Compute the leader address for the leader round.
let leader = match previous_committee_lookback.get_leader(round) {
Ok(leader) => leader,
Err(e) => {
bail!("BFT failed to compute the leader for the even round {round} - {e}");
// Either retrieve the cached leader or compute it.
let leader = match self.ledger().latest_leader() {
Some((cached_round, cached_leader)) if cached_round == round => cached_leader,
_ => {
// Compute the leader for the commit round.
let computed_leader = match previous_committee_lookback.get_leader(round) {
Ok(leader) => leader,
Err(e) => {
bail!("BFT failed to compute the leader for the even round {round} - {e}");
}
};

// Cache the computed leader.
self.ledger().update_latest_leader(round, computed_leader);

computed_leader
}
};
// Retrieve the previous leader certificate.
Expand Down
3 changes: 3 additions & 0 deletions node/bft/src/worker.rs
Original file line number Diff line number Diff line change
Expand Up @@ -477,6 +477,7 @@ mod tests {
committee::Committee,
narwhal::{BatchCertificate, Subdag, Transmission, TransmissionID},
},
prelude::Address,
};

use bytes::Bytes;
Expand Down Expand Up @@ -505,6 +506,8 @@ mod tests {
fn latest_round(&self) -> u64;
fn latest_block_height(&self) -> u32;
fn latest_block(&self) -> Block<N>;
fn latest_leader(&self) -> Option<(u64, Address<N>)>;
fn update_latest_leader(&self, round: u64, leader: Address<N>);
fn contains_block_height(&self, height: u32) -> bool;
fn get_block_height(&self, hash: &N::BlockHash) -> Result<u32>;
fn get_block_hash(&self, height: u32) -> Result<N::BlockHash>;
Expand Down