Skip to content

Commit 216225c

Browse files
authored
Merge pull request #1359 from tnull/2022-03-real-random-shuffle
Randomize candidate paths during route selection.
2 parents 4e89e57 + ff7ec0c commit 216225c

File tree

1 file changed

+46
-36
lines changed

1 file changed

+46
-36
lines changed

lightning/src/routing/router.rs

Lines changed: 46 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -332,11 +332,9 @@ struct RouteGraphNode {
332332
impl cmp::Ord for RouteGraphNode {
333333
fn cmp(&self, other: &RouteGraphNode) -> cmp::Ordering {
334334
let other_score = cmp::max(other.lowest_fee_to_peer_through_node, other.path_htlc_minimum_msat)
335-
.checked_add(other.path_penalty_msat)
336-
.unwrap_or_else(|| u64::max_value());
335+
.saturating_add(other.path_penalty_msat);
337336
let self_score = cmp::max(self.lowest_fee_to_peer_through_node, self.path_htlc_minimum_msat)
338-
.checked_add(self.path_penalty_msat)
339-
.unwrap_or_else(|| u64::max_value());
337+
.saturating_add(self.path_penalty_msat);
340338
other_score.cmp(&self_score).then_with(|| other.node_id.cmp(&self.node_id))
341339
}
342340
}
@@ -495,6 +493,10 @@ impl<'a> PaymentPath<'a> {
495493
self.hops.last().unwrap().0.fee_msat
496494
}
497495

496+
fn get_path_penalty_msat(&self) -> u64 {
497+
self.hops.first().map(|h| h.0.path_penalty_msat).unwrap_or(u64::max_value())
498+
}
499+
498500
fn get_total_fee_paid_msat(&self) -> u64 {
499501
if self.hops.len() < 1 {
500502
return 0;
@@ -645,7 +647,7 @@ where L::Target: Logger {
645647
pub(crate) fn get_route<L: Deref, S: Score>(
646648
our_node_pubkey: &PublicKey, payment_params: &PaymentParameters, network_graph: &ReadOnlyNetworkGraph,
647649
first_hops: Option<&[&ChannelDetails]>, final_value_msat: u64, final_cltv_expiry_delta: u32,
648-
logger: L, scorer: &S, _random_seed_bytes: &[u8; 32]
650+
logger: L, scorer: &S, random_seed_bytes: &[u8; 32]
649651
) -> Result<Route, LightningError>
650652
where L::Target: Logger {
651653
let payee_node_id = NodeId::from_pubkey(&payment_params.payee_pubkey);
@@ -856,7 +858,7 @@ where L::Target: Logger {
856858
.entry(short_channel_id)
857859
.or_insert_with(|| $candidate.effective_capacity().as_msat());
858860

859-
// It is tricky to substract $next_hops_fee_msat from available liquidity here.
861+
// It is tricky to subtract $next_hops_fee_msat from available liquidity here.
860862
// It may be misleading because we might later choose to reduce the value transferred
861863
// over these channels, and the channel which was insufficient might become sufficient.
862864
// Worst case: we drop a good channel here because it can't cover the high following
@@ -896,8 +898,7 @@ where L::Target: Logger {
896898
.checked_sub(2*MEDIAN_HOP_CLTV_EXPIRY_DELTA)
897899
.unwrap_or(payment_params.max_total_cltv_expiry_delta - final_cltv_expiry_delta);
898900
let hop_total_cltv_delta = ($next_hops_cltv_delta as u32)
899-
.checked_add($candidate.cltv_expiry_delta())
900-
.unwrap_or(u32::max_value());
901+
.saturating_add($candidate.cltv_expiry_delta());
901902
let doesnt_exceed_cltv_delta_limit = hop_total_cltv_delta <= max_total_cltv_expiry_delta;
902903

903904
let value_contribution_msat = cmp::min(available_value_contribution_msat, $next_hops_value_contribution);
@@ -1004,9 +1005,9 @@ where L::Target: Logger {
10041005
}
10051006
}
10061007

1007-
let path_penalty_msat = $next_hops_path_penalty_msat.checked_add(
1008-
scorer.channel_penalty_msat(short_channel_id, amount_to_transfer_over_msat, *available_liquidity_msat,
1009-
&$src_node_id, &$dest_node_id)).unwrap_or_else(|| u64::max_value());
1008+
let path_penalty_msat = $next_hops_path_penalty_msat.saturating_add(
1009+
scorer.channel_penalty_msat(short_channel_id, amount_to_transfer_over_msat,
1010+
*available_liquidity_msat, &$src_node_id, &$dest_node_id));
10101011
let new_graph_node = RouteGraphNode {
10111012
node_id: $src_node_id,
10121013
lowest_fee_to_peer_through_node: total_fee_msat,
@@ -1034,11 +1035,9 @@ where L::Target: Logger {
10341035
// the fees included in $next_hops_path_htlc_minimum_msat, but also
10351036
// can't use something that may decrease on future hops.
10361037
let old_cost = cmp::max(old_entry.total_fee_msat, old_entry.path_htlc_minimum_msat)
1037-
.checked_add(old_entry.path_penalty_msat)
1038-
.unwrap_or_else(|| u64::max_value());
1038+
.saturating_add(old_entry.path_penalty_msat);
10391039
let new_cost = cmp::max(total_fee_msat, path_htlc_minimum_msat)
1040-
.checked_add(path_penalty_msat)
1041-
.unwrap_or_else(|| u64::max_value());
1040+
.saturating_add(path_penalty_msat);
10421041

10431042
if !old_entry.was_processed && new_cost < old_cost {
10441043
targets.push(new_graph_node);
@@ -1222,12 +1221,10 @@ where L::Target: Logger {
12221221
.unwrap_or_else(|| CandidateRouteHop::PrivateHop { hint: hop });
12231222
let capacity_msat = candidate.effective_capacity().as_msat();
12241223
aggregate_next_hops_path_penalty_msat = aggregate_next_hops_path_penalty_msat
1225-
.checked_add(scorer.channel_penalty_msat(hop.short_channel_id, final_value_msat, capacity_msat, &source, &target))
1226-
.unwrap_or_else(|| u64::max_value());
1224+
.saturating_add(scorer.channel_penalty_msat(hop.short_channel_id, final_value_msat, capacity_msat, &source, &target));
12271225

12281226
aggregate_next_hops_cltv_delta = aggregate_next_hops_cltv_delta
1229-
.checked_add(hop.cltv_expiry_delta as u32)
1230-
.unwrap_or_else(|| u32::max_value());
1227+
.saturating_add(hop.cltv_expiry_delta as u32);
12311228

12321229
if !add_entry!(candidate, source, target, aggregate_next_hops_fee_msat, path_value_msat, aggregate_next_hops_path_htlc_minimum_msat, aggregate_next_hops_path_penalty_msat, aggregate_next_hops_cltv_delta) {
12331230
// If this hop was not used then there is no use checking the preceding hops
@@ -1465,24 +1462,31 @@ where L::Target: Logger {
14651462
}
14661463

14671464
// Sort by total fees and take the best paths.
1468-
payment_paths.sort_by_key(|path| path.get_total_fee_paid_msat());
1465+
payment_paths.sort_unstable_by_key(|path| path.get_total_fee_paid_msat());
14691466
if payment_paths.len() > 50 {
14701467
payment_paths.truncate(50);
14711468
}
14721469

14731470
// Draw multiple sufficient routes by randomly combining the selected paths.
14741471
let mut drawn_routes = Vec::new();
1475-
for i in 0..payment_paths.len() {
1472+
let mut prng = ChaCha20::new(random_seed_bytes, &[0u8; 12]);
1473+
let mut random_index_bytes = [0u8; ::core::mem::size_of::<usize>()];
1474+
1475+
let num_permutations = payment_paths.len();
1476+
for _ in 0..num_permutations {
14761477
let mut cur_route = Vec::<PaymentPath>::new();
14771478
let mut aggregate_route_value_msat = 0;
14781479

14791480
// Step (6).
1480-
// TODO: real random shuffle
1481-
// Currently just starts with i_th and goes up to i-1_th in a looped way.
1482-
let cur_payment_paths = [&payment_paths[i..], &payment_paths[..i]].concat();
1481+
// Do a Fisher-Yates shuffle to create a random permutation of the payment paths
1482+
for cur_index in (1..payment_paths.len()).rev() {
1483+
prng.process_in_place(&mut random_index_bytes);
1484+
let random_index = usize::from_be_bytes(random_index_bytes).wrapping_rem(cur_index+1);
1485+
payment_paths.swap(cur_index, random_index);
1486+
}
14831487

14841488
// Step (7).
1485-
for payment_path in cur_payment_paths {
1489+
for payment_path in &payment_paths {
14861490
cur_route.push(payment_path.clone());
14871491
aggregate_route_value_msat += payment_path.get_value_msat();
14881492
if aggregate_route_value_msat > final_value_msat {
@@ -1492,12 +1496,17 @@ where L::Target: Logger {
14921496
// also makes routing more reliable.
14931497
let mut overpaid_value_msat = aggregate_route_value_msat - final_value_msat;
14941498

1495-
// First, drop some expensive low-value paths entirely if possible.
1496-
// Sort by value so that we drop many really-low values first, since
1497-
// fewer paths is better: the payment is less likely to fail.
1498-
// TODO: this could also be optimized by also sorting by feerate_per_sat_routed,
1499-
// so that the sender pays less fees overall. And also htlc_minimum_msat.
1500-
cur_route.sort_by_key(|path| path.get_value_msat());
1499+
// First, we drop some expensive low-value paths entirely if possible, since fewer
1500+
// paths is better: the payment is less likely to fail. In order to do so, we sort
1501+
// by value and fall back to total fees paid, i.e., in case of equal values we
1502+
// prefer lower cost paths.
1503+
cur_route.sort_unstable_by(|a, b| {
1504+
a.get_value_msat().cmp(&b.get_value_msat())
1505+
// Reverse ordering for fees, so we drop higher-fee paths first
1506+
.then_with(|| b.get_total_fee_paid_msat().saturating_add(b.get_path_penalty_msat())
1507+
.cmp(&a.get_total_fee_paid_msat().saturating_add(a.get_path_penalty_msat())))
1508+
});
1509+
15011510
// We should make sure that at least 1 path left.
15021511
let mut paths_left = cur_route.len();
15031512
cur_route.retain(|path| {
@@ -1521,13 +1530,14 @@ where L::Target: Logger {
15211530
assert!(cur_route.len() > 0);
15221531

15231532
// Step (8).
1524-
// Now, substract the overpaid value from the most-expensive path.
1533+
// Now, subtract the overpaid value from the most-expensive path.
15251534
// TODO: this could also be optimized by also sorting by feerate_per_sat_routed,
15261535
// so that the sender pays less fees overall. And also htlc_minimum_msat.
1527-
cur_route.sort_by_key(|path| { path.hops.iter().map(|hop| hop.0.candidate.fees().proportional_millionths as u64).sum::<u64>() });
1536+
cur_route.sort_unstable_by_key(|path| { path.hops.iter().map(|hop| hop.0.candidate.fees().proportional_millionths as u64).sum::<u64>() });
15281537
let expensive_payment_path = cur_route.first_mut().unwrap();
1529-
// We already dropped all the small channels above, meaning all the
1530-
// remaining channels are larger than remaining overpaid_value_msat.
1538+
1539+
// We already dropped all the small value paths above, meaning all the
1540+
// remaining paths are larger than remaining overpaid_value_msat.
15311541
// Thus, this can't be negative.
15321542
let expensive_path_new_value_msat = expensive_payment_path.get_value_msat() - overpaid_value_msat;
15331543
expensive_payment_path.update_value_and_recompute_fees(expensive_path_new_value_msat);
@@ -1539,7 +1549,7 @@ where L::Target: Logger {
15391549

15401550
// Step (9).
15411551
// Select the best route by lowest total fee.
1542-
drawn_routes.sort_by_key(|paths| paths.iter().map(|path| path.get_total_fee_paid_msat()).sum::<u64>());
1552+
drawn_routes.sort_unstable_by_key(|paths| paths.iter().map(|path| path.get_total_fee_paid_msat()).sum::<u64>());
15431553
let mut selected_paths = Vec::<Vec<Result<RouteHop, LightningError>>>::new();
15441554
for payment_path in drawn_routes.first().unwrap() {
15451555
let mut path = payment_path.hops.iter().map(|(payment_hop, node_features)| {

0 commit comments

Comments
 (0)