Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

Commit

Permalink
Merge remote-tracking branch 'origin/master' into bkchr-fix-up-runtim…
Browse files Browse the repository at this point in the history
…e-hold-reason
  • Loading branch information
parity-processbot committed May 24, 2023
2 parents 1e4f5c2 + 41982b5 commit 7d3afbb
Show file tree
Hide file tree
Showing 9 changed files with 266 additions and 212 deletions.
368 changes: 184 additions & 184 deletions Cargo.lock

Large diffs are not rendered by default.

11 changes: 11 additions & 0 deletions node/collation-generation/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,17 @@
// along with Polkadot. If not, see <http://www.gnu.org/licenses/>.

//! The collation generation subsystem is the interface between polkadot and the collators.
//!
//! # Protocol
//!
//! On every `ActiveLeavesUpdate`:
//!
//! * If there is no collation generation config, ignore.
//! * Otherwise, for each `activated` head in the update:
//! * Determine if the para is scheduled on any core by fetching the `availability_cores` Runtime API.
//! * Use the Runtime API subsystem to fetch the full validation data.
//! * Invoke the `collator`, and use its outputs to produce a [`CandidateReceipt`], signed with the configuration's `key`.
//! * Dispatch a [`CollatorProtocolMessage::DistributeCollation`](receipt, pov)`.
#![deny(missing_docs)]

Expand Down
8 changes: 6 additions & 2 deletions node/network/availability-recovery/src/tests.rs
Original file line number Diff line number Diff line change
Expand Up @@ -172,7 +172,9 @@ async fn overseer_signal(
.send(FromOrchestra::Signal(signal))
.timeout(TIMEOUT)
.await
.expect("10ms is more than enough for sending signals.");
.unwrap_or_else(|| {
panic!("{}ms is more than enough for sending signals.", TIMEOUT.as_millis())
});
}

async fn overseer_send(
Expand All @@ -184,7 +186,9 @@ async fn overseer_send(
.send(FromOrchestra::Communication { msg })
.timeout(TIMEOUT)
.await
.expect("10ms is more than enough for sending messages.");
.unwrap_or_else(|| {
panic!("{}ms is more than enough for sending messages.", TIMEOUT.as_millis())
});
}

async fn overseer_recv(
Expand Down
11 changes: 6 additions & 5 deletions node/network/bitfield-distribution/src/tests.rs
Original file line number Diff line number Diff line change
Expand Up @@ -41,11 +41,12 @@ use sp_keystore::{testing::MemoryKeystore, Keystore, KeystorePtr};

use std::{iter::FromIterator as _, sync::Arc, time::Duration};

const TIMEOUT: Duration = Duration::from_millis(50);
macro_rules! launch {
($fut:expr) => {
$fut.timeout(Duration::from_millis(10))
.await
.expect("10ms is more than enough for sending messages.")
$fut.timeout(TIMEOUT).await.unwrap_or_else(|| {
panic!("{}ms is more than enough for sending messages.", TIMEOUT.as_millis())
});
};
}

Expand Down Expand Up @@ -220,7 +221,7 @@ fn receive_invalid_signature() {
));

// reputation doesn't change due to one_job_per_validator check
assert!(handle.recv().timeout(Duration::from_millis(10)).await.is_none());
assert!(handle.recv().timeout(TIMEOUT).await.is_none());

launch!(handle_network_msg(
&mut ctx,
Expand Down Expand Up @@ -523,7 +524,7 @@ fn do_not_relay_message_twice() {
);

// There shouldn't be any other message
assert!(handle.recv().timeout(Duration::from_millis(10)).await.is_none());
assert!(handle.recv().timeout(TIMEOUT).await.is_none());
});
}

Expand Down
3 changes: 3 additions & 0 deletions roadmap/implementers-guide/src/node/collators/README.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
# Collators

Collators are special nodes which bridge a parachain to the relay chain. They are simultaneously full nodes of the parachain, and at least light clients of the relay chain. Their overall contribution to the system is the generation of Proofs of Validity for parachain candidates.

The **Collation Generation** subsystem triggers collators to produce collations
and then forwards them to **Collator Protocol** to circulate to validators.
Original file line number Diff line number Diff line change
Expand Up @@ -4,17 +4,32 @@ The collation generation subsystem is executed on collator nodes and produces ca

## Protocol

Input: `CollationGenerationMessage`
Collation generation for Parachains currently works in the following way:

```rust
enum CollationGenerationMessage {
Initialize(CollationGenerationConfig),
}
```
1. A new relay chain block is imported.
2. The collation generation subsystem checks if the core associated to
the parachain is free and if yes, continues.
3. Collation generation calls our collator callback to generate a PoV.
4. Authoring logic determines if the current node should build a PoV.
5. Build new PoV and give it back to collation generation.

## Messages

No more than one initialization message should ever be sent to the collation generation subsystem.
### Incoming

Output: `CollationDistributionMessage`
- `ActiveLeaves`
- Notification of a change in the set of active leaves.
- Triggers collation generation procedure outlined in "Protocol" section.
- `CollationGenerationMessage::Initialize`
- Initializes the subsystem. Carries a config.
- No more than one initialization message should ever be sent to the collation
generation subsystem.
- Sent by a collator to initialize this subsystem.

### Outgoing

- `CollatorProtocolMessage::DistributeCollation`
- Provides a generated collation to distribute to validators.

## Functionality

Expand Down Expand Up @@ -94,15 +109,34 @@ pub struct CollationGenerationConfig {

The configuration should be optional, to allow for the case where the node is not run with the capability to collate.

On `ActiveLeavesUpdate`:
### Summary in plain English

- **Collation (output of a collator)**

- Contains the PoV (proof to verify the state transition of the
parachain) and other data.

- **Collation result**

- Contains the collation, and an optional result sender for a
collation-seconded signal.

- **Collation seconded signal**

- The signal that is returned when a collation was seconded by a
validator.

- **Collation function**

- Called with the relay chain block the parablock will be built on top
of.
- Called with the validation data.
- Provides information about the state of the parachain on the relay
chain.

- **Collation generation config**

* If there is no collation generation config, ignore.
* Otherwise, for each `activated` head in the update:
* Determine if the para is scheduled on any core by fetching the `availability_cores` Runtime API.
* Determine an occupied core assumption to make about the para. Scheduled cores can make `OccupiedCoreAssumption::Free`.
* Use the Runtime API subsystem to fetch the full validation data.
* Invoke the `collator`, and use its outputs to produce a `CandidateReceipt`, signed with the configuration's `key`.
* Dispatch a [`CollatorProtocolMessage`][CPM]`::DistributeCollation(receipt, pov)`.
- Contains collator's authentication key, collator function, and
parachain ID.

[CP]: collator-protocol.md
[CPM]: ../../types/overseer-protocol.md#collatorprotocolmessage
3 changes: 0 additions & 3 deletions runtime/rococo/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1281,12 +1281,9 @@ impl pallet_beefy::Config for Runtime {
pallet_beefy::EquivocationReportSystem<Self, Offences, Historical, ReportLongevity>;
}

type MmrHash = <Keccak256 as sp_runtime::traits::Hash>::Output;

impl pallet_mmr::Config for Runtime {
const INDEXING_PREFIX: &'static [u8] = mmr::INDEXING_PREFIX;
type Hashing = Keccak256;
type Hash = MmrHash;
type OnNewRoot = pallet_beefy_mmr::DepositBeefyDigest<Runtime>;
type WeightInfo = ();
type LeafData = pallet_beefy_mmr::Pallet<Runtime>;
Expand Down
4 changes: 4 additions & 0 deletions utils/staking-miner/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
[[bin]]
name = "staking-miner"
path = "src/main.rs"

[package]
name = "staking-miner"
version.workspace = true
Expand Down
2 changes: 1 addition & 1 deletion utils/staking-miner/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ staking-miner --help

You can build from the root of the Polkadot repository using:
```
cargo build --release --locked --package staking-miner
cargo build --profile production --locked --package staking-miner --bin staking-miner
```

## Docker
Expand Down

0 comments on commit 7d3afbb

Please sign in to comment.