Remove a FIXME in ReliabilitySpec
Home /
Input Output /
hydra-poc
Sep 22, 10-11 PM (0)
Sep 22, 11-12 AM (0)
Sep 23, 12-1 AM (0)
Sep 23, 1-2 AM (0)
Sep 23, 2-3 AM (0)
Sep 23, 3-4 AM (1)
Sep 23, 4-5 AM (0)
Sep 23, 5-6 AM (0)
Sep 23, 6-7 AM (0)
Sep 23, 7-8 AM (0)
Sep 23, 8-9 AM (0)
Sep 23, 9-10 AM (0)
Sep 23, 10-11 AM (0)
Sep 23, 11-12 PM (0)
Sep 23, 12-1 PM (0)
Sep 23, 1-2 PM (0)
Sep 23, 2-3 PM (0)
Sep 23, 3-4 PM (0)
Sep 23, 4-5 PM (0)
Sep 23, 5-6 PM (0)
Sep 23, 6-7 PM (0)
Sep 23, 7-8 PM (0)
Sep 23, 8-9 PM (0)
Sep 23, 9-10 PM (0)
Sep 23, 10-11 PM (0)
Sep 23, 11-12 AM (0)
Sep 24, 12-1 AM (0)
Sep 24, 1-2 AM (0)
Sep 24, 2-3 AM (0)
Sep 24, 3-4 AM (1)
Sep 24, 4-5 AM (0)
Sep 24, 5-6 AM (0)
Sep 24, 6-7 AM (0)
Sep 24, 7-8 AM (0)
Sep 24, 8-9 AM (0)
Sep 24, 9-10 AM (0)
Sep 24, 10-11 AM (0)
Sep 24, 11-12 PM (0)
Sep 24, 12-1 PM (0)
Sep 24, 1-2 PM (0)
Sep 24, 2-3 PM (0)
Sep 24, 3-4 PM (0)
Sep 24, 4-5 PM (0)
Sep 24, 5-6 PM (0)
Sep 24, 6-7 PM (0)
Sep 24, 7-8 PM (0)
Sep 24, 8-9 PM (0)
Sep 24, 9-10 PM (0)
Sep 24, 10-11 PM (0)
Sep 24, 11-12 AM (0)
Sep 25, 12-1 AM (0)
Sep 25, 1-2 AM (0)
Sep 25, 2-3 AM (0)
Sep 25, 3-4 AM (1)
Sep 25, 4-5 AM (0)
Sep 25, 5-6 AM (1)
Sep 25, 6-7 AM (0)
Sep 25, 7-8 AM (1)
Sep 25, 8-9 AM (0)
Sep 25, 9-10 AM (0)
Sep 25, 10-11 AM (2)
Sep 25, 11-12 PM (1)
Sep 25, 12-1 PM (0)
Sep 25, 1-2 PM (0)
Sep 25, 2-3 PM (1)
Sep 25, 3-4 PM (5)
Sep 25, 4-5 PM (1)
Sep 25, 5-6 PM (1)
Sep 25, 6-7 PM (0)
Sep 25, 7-8 PM (0)
Sep 25, 8-9 PM (0)
Sep 25, 9-10 PM (0)
Sep 25, 10-11 PM (0)
Sep 25, 11-12 AM (0)
Sep 26, 12-1 AM (0)
Sep 26, 1-2 AM (0)
Sep 26, 2-3 AM (0)
Sep 26, 3-4 AM (1)
Sep 26, 4-5 AM (0)
Sep 26, 5-6 AM (0)
Sep 26, 6-7 AM (0)
Sep 26, 7-8 AM (1)
Sep 26, 8-9 AM (1)
Sep 26, 9-10 AM (0)
Sep 26, 10-11 AM (1)
Sep 26, 11-12 PM (9)
Sep 26, 12-1 PM (0)
Sep 26, 1-2 PM (0)
Sep 26, 2-3 PM (0)
Sep 26, 3-4 PM (0)
Sep 26, 4-5 PM (0)
Sep 26, 5-6 PM (0)
Sep 26, 6-7 PM (0)
Sep 26, 7-8 PM (0)
Sep 26, 8-9 PM (2)
Sep 26, 9-10 PM (0)
Sep 26, 10-11 PM (0)
Sep 26, 11-12 AM (0)
Sep 27, 12-1 AM (0)
Sep 27, 1-2 AM (0)
Sep 27, 2-3 AM (0)
Sep 27, 3-4 AM (1)
Sep 27, 4-5 AM (0)
Sep 27, 5-6 AM (0)
Sep 27, 6-7 AM (4)
Sep 27, 7-8 AM (2)
Sep 27, 8-9 AM (4)
Sep 27, 9-10 AM (4)
Sep 27, 10-11 AM (1)
Sep 27, 11-12 PM (3)
Sep 27, 12-1 PM (1)
Sep 27, 1-2 PM (1)
Sep 27, 2-3 PM (1)
Sep 27, 3-4 PM (0)
Sep 27, 4-5 PM (0)
Sep 27, 5-6 PM (0)
Sep 27, 6-7 PM (0)
Sep 27, 7-8 PM (0)
Sep 27, 8-9 PM (0)
Sep 27, 9-10 PM (0)
Sep 27, 10-11 PM (0)
Sep 27, 11-12 AM (0)
Sep 28, 12-1 AM (0)
Sep 28, 1-2 AM (0)
Sep 28, 2-3 AM (0)
Sep 28, 3-4 AM (0)
Sep 28, 4-5 AM (0)
Sep 28, 5-6 AM (0)
Sep 28, 6-7 AM (0)
Sep 28, 7-8 AM (0)
Sep 28, 8-9 AM (0)
Sep 28, 9-10 AM (0)
Sep 28, 10-11 AM (0)
Sep 28, 11-12 PM (0)
Sep 28, 12-1 PM (0)
Sep 28, 1-2 PM (3)
Sep 28, 2-3 PM (0)
Sep 28, 3-4 PM (0)
Sep 28, 4-5 PM (0)
Sep 28, 5-6 PM (0)
Sep 28, 6-7 PM (0)
Sep 28, 7-8 PM (0)
Sep 28, 8-9 PM (0)
Sep 28, 9-10 PM (0)
Sep 28, 10-11 PM (0)
Sep 28, 11-12 AM (0)
Sep 29, 12-1 AM (0)
Sep 29, 1-2 AM (0)
Sep 29, 2-3 AM (0)
Sep 29, 3-4 AM (0)
Sep 29, 4-5 AM (0)
Sep 29, 5-6 AM (0)
Sep 29, 6-7 AM (1)
Sep 29, 7-8 AM (1)
Sep 29, 8-9 AM (0)
Sep 29, 9-10 AM (0)
Sep 29, 10-11 AM (0)
Sep 29, 11-12 PM (0)
Sep 29, 12-1 PM (0)
Sep 29, 1-2 PM (0)
Sep 29, 2-3 PM (0)
Sep 29, 3-4 PM (0)
Sep 29, 4-5 PM (0)
Sep 29, 5-6 PM (0)
Sep 29, 6-7 PM (0)
Sep 29, 7-8 PM (0)
Sep 29, 8-9 PM (0)
Sep 29, 9-10 PM (0)
Sep 29, 10-11 PM (0)
58 commits this week
Sep 22, 2023
-
Sep 29, 2023
WIP: Refactor reliability spec
Always insert a "real" message index to seenMessages TVar
- Previously we assummed each new broadcasted message index was n + 1 and now we take the message index from the acks we constructed.
Remove myself from the conclusion section todo
WIP: FIX: do not stuck the head if two peers are lagging behind each other
If Alice is lagging behind Bob and Bob is lagging behind Alice then nobody would resend any message to its peer. Here we remove one condition to unlock this.
WIP: FIX: do not stuck the head if two peers are lagging behind each other
If Alice is lagging behind Bob and Bob is lagging behind Alice then nobody would resend any message to its peer. Here we remove one condition to unlock this.
Peel one layer of useless encapsulation
Generate both Bob and Alice messages randomly
Refactor test, trying to make them more readable
deploy: 0a2cdbd243a061aa52f28e992ff571ea80e2e1aa
Merge pull request #1090 from input-output-hk/ch1bo/kupo-integration-test
Make hydra-cluster --devnet open a head
Generate both Bob and Alice messages randomly
deploy: ff32d5394ebdce540890523ec8fd0b84b420c5fe
Refactor test, trying to make them more readable
Write the created wallet key to disk
- We want to be able to connect using hydra-tui thus need the location of generated key.
Make hydra-cluster --devnet open a head and wait
This may become handy when doing integration tests with indexers or as a development sandbox.
Merge pull request #1088 from input-output-hk/abailly-iohk/security-policy
Updated security policy and vulnerability disclosure policy
Introduce network failure for Bob messages too
FIX bug: do not increase local vector clock when receiving Ping
Bug was exposed by running: ``` cabal test hydra-node --test-options '-m Reliability --seed 1054015251' ``` The problem was caused by Bob increasing his local view of received messsages from Alice from 15 to 16 when receiving a Ping from Alice when, actually, he never received this message 16 before. As a consequence, Alice would not resend message 16 or, when she resends message 16, Bob would ignore it anyway as it's expecting :x
Alice and Bob where not writing fast enough
At least not fast enough compared to the time we were giving their messages to arrive. Sending a message once every ten seconds and expecting all the messages to reach the peer in less than 100 seconds does not always work.
Write the created wallet key to disk
- We want to be able to connect using hydra-tui thus need the location of generated key.
Remove section about legal protection
Co-authored-by: Pascal Grange <[email protected]>
Draft security vulnerability disclosure policy