Skip to main content

· 2 min read
Marcin Szamotulski

Overview of sprint 72

cardano-node release: 10.0

We have been working on the cardano-node-10.0 release.

Tx-Submission

We have been running an experimental build of cardano-node with new tx-sumbission logic ouroboros-network#3311. Some performance bottlenecks have been found by Karl Knutsson (CF), but not deadlocks or race conditions.

Preparations for removal of Non-P2P network code

In order to prepare for removal of the network stack we addressed two issues:

On the way we also addressed a few technical debt items:

Documentation

We updated the documentation of the peer-sharing mini-protocol: ouroboros-network#4981, ouroboros-network#4983.

We updated the SECURITY.md file according to the IntersectMBO's Open-Source Committee guidance, ouroboros-network#4986.

io-sim

· 2 min read
Alexey Kuleshevich

High level summary

We implemented the remaining improvements and fixes discovered in Conway, to be fixed during the bootstrap period:

* protection against deposit loses
* ensuring that DReps exist before delegating
* updates to SPO vote threshold calculation
* improved well-formedness check

Additionally, we added two new rules: Mempool and HardFork, that will allow us to flexibly add processing logic in the future. We also dropped pointers for Conway and enhanced predicate failure reporting for pre-Conway eras.

Finally, we added more tests - both unit and conformance tests.

Low level summary

  • pull-4647 - Drop pointers from UMap in Conway
  • pull-4642 - Mempool rule
  • pull-4553 - Address issues in auto-generated CDDL specification
  • pull-4650 - Check ppuCoinsPerUTxOBytes well-formedness
  • pull-4648 - Updated conformance to work with new MAlonzo types
  • pull-4653 - Improve color output in Imp spec
  • pull-4603 - Add more tests for voting behaviour
  • pull-4639 - Prevent non-registered return accounts for proposals' deposits and TreasuryWithdrawals
  • pull-4632 - Export Unsafe constructors for TxBody, TxBodyRaw and MemoBytes
  • pull-4654 - Add applyTxOpts to ApplyTx
  • pull-4657 - HardFork rule
  • pull-4659 - Change how SPO votes are counted
  • pull-4660 - UTXO conformance with Babbage transactions
  • pull-4652 - Ensure dreps exist prior to delegation
  • pull-4649 - Mismatch type for predicate failures
  • pull-4676 - constrained-generators: (++.) and singleton_ for lists
  • pull-4679 - Fixes for release

· 2 min read
Jean-Philippe Raynaud

High level overview

The Mithril team continued working on decentralizing the signature orchestration of the Mithril network. They completed the implementation of the autonomous computation of the messages to be signed by the signer and worked on adapting the way some signing configuration is broadcast to the signers. They also kept working on preparing for the new Pythagoras Mithril era.

Finally, they started working on refactoring the Prometheus metrics in the signer, fixed some minor bugs, implemented some optimizations on the node logs and the aggregator REST API, and made the Cardano transaction client stable.

Low level overview

  • Completed the issue Signer computes what to sign on its own #1925
  • Completed the issue Upgrade to Cardano 9.2.1 #1968
  • Completed the issue Handle signatures sent too late in the signer #1976
  • Completed the issue Refactor Certifier service to sign and send signatures in signer #1945
  • Completed the issue Make epoch non optional in RegisterSignerMessage #1956
  • Completed the issue Configuration of block producer and relays is broken in infra #1984
  • Completed the issue Mithril explorer does not display properly on Chrome for Android phone #1944 #1944
  • Worked on the issue Aggregator uses stored signing configurations when creating signed entity type #1961
  • Worked on the issue Prepare new Pythagoras Mithril era #1946
  • Worked on the issue Refactor Prometheus metrics for signer #1990
  • Worked on the issue Aggregator uses stored signing configurations when creating signed entity type #1961
  • Worked on the issue Enhance readability of node logs #1981
  • Worked on the issue Make Cardano transactions stable in client #1952
  • Worked on the issue Remove chain calls from register-signer route #1982

· One min read
Kostas Dermentzis

High level summary

The DBSync team has fixed issues of the latest release, related to offchain data, wrong pool_stat fields, invalidated votes. We also added a requested feauture, which optionally adds a new address table, separating the address from the tx_out table. Finally we worked with the ledger team for memory improvements and introducing ledger events for DBSync.

Lower level summary

Older missing summary

Previously, the DBSync team prepared release 13.5.0.2 which passes the HF and brings all new governance functionality.

· 3 min read
Michael Karg

High level summary

  • Benchmarking: New GHC9 benchmarks for Node 9.2.
  • Development: Progress on Governance action workload.
  • Workbench: Switch to Haskell-based profile content generation is imminent, along with significant code cleanup.
  • Tracing: New major release: cardano-tracer-0.3; metrics alignment is ongoing.
  • Consensus QTAs: Automation setup and implementation for beacon is complete, entering testing.

Low level overview

Benchmarking

The GHC team has been busy investigating the optimization behaviour of GHC9 vs GHC8 on the Cardano code base. It appears that speculative evaluation (a feature absent from GHC8) can, in some cases, lead to overeager evaluation - and hence to an unnecessary performance impact on the system. We've created a build of the Node with a patched version of GHC9.6 which disables speculative evaluation for these cases only - and then we've run our release benchmark workloads on a cluster of those nodes. The raw data is still under analysis, but initial results look promising.

Development

The new governance action / voting workload for cluster-wide benchmarks is still under works. Our submission service tx-generator is now able to assume the identity of all registered DReps to sign votes. Currently, we're working on defining (and correctly throttling) a stream of those votes, such that a constant number of open proposals keep receiving votes throughout the entire benchmarking run.

Workbench

The Haskell service to create benchmarking profile content, cardano-profile, has been in beta use for some time now. It has proven to be much more maintainable, and its approach to declare profile content is much more principled than the existing implementation with jq / bash. We've decided to switch to that service for good, including a final validation of all possible profiles between implementations. In the same go, we'll take the opportunity to remove some bulky parts of workbench which were motivated by the jq implementation, as well as simplify the corresponding nix evaluations (and redundant shell invocations).

Tracing

Further adjustments to the metrics naming schema in the new tracing system is ongoing.

For cardano-tracer, several PRs have successfully landed. EKG monitoring is now capable of serving many metrics stores from just one process. Prometheus exposition has been made OpenMetrics compliant. The space leaks in the forwarding backend have been verifiably closed, and the log rotation issue has been resolved. Thus, cardano-tracer will see (alongside the next Node release) a new major release 0.3. This release is considered to be 100% production-ready.

Consensus QTAs

beacon - a first step in building a benchmarking framework based on Delta-Q system design - has received a fully functional automation. According to the design we settled on 3 months ago, it's now possible to test, manage, and deploy a nix service for a self-hosted GitHub runner which performs beacon benchmarks on pre-defined workload fragments. The runner can be triggered automatically or manually. As the nix service will likely share a host with other, potentially resource intensive tasks, a locking mechanism is implemented to prevent distortion of the measurements. The automation is now entering testing phase.