search

input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.
15 stars 4 forks source link

New API for typed-protocols #52

Closed coot closed 3 days ago

coot commented 1 month ago

Takes lessons learned in #3, but preserving original (parallel) pipelining design.

The original pipelining is limited to transitions which can be fulfilled by remote transitions, this could be lifted by the more general scheme of tracking pipelined transition at type level done in #3 in the future. But what's important we run the receiver for pipelined transition in parallel, which preserves performance. Below is the comparison of plain and modified cardano-node-9.1.0 syncing mainet:

block-acc-size-9 1 0

coot commented 4 weeks ago

I removed typed-protocols-doc from GHA for now, since it doesn't build against typed-protocols-0.2.0.0.

coot commented 3 days ago

^ I rebased the branch on top of recent main branch (which requires some rather simple conflict resultion).