docs(blogpost): multi-version sim blog post#2986
Conversation
Deploying hydro with
|
| Latest commit: |
5260442
|
| Status: | ✅ Deploy successful! |
| Preview URL: | https://3444589d.hydroflow.pages.dev |
| Branch Preview URL: | https://push-svrsxtlp.hydroflow.pages.dev |
0a73e53 to
6022536
Compare
| unexpected output: [0] | ||
| ``` | ||
|
|
||
| The simulator also produces a trace of decisions it made to show you how it came to that output, so it is easy to debug the behavior exactly. |
There was a problem hiding this comment.
Would be nice to show the trace here!
There was a problem hiding this comment.
I thought so too but I think the trace is not that interesting because in this case it's a pretty obvious bug that doesn't come about through an unexpected interaction with non-determinism. it also reveals a bunch of internal stuff like the membership tracking code which i think probably would need a lot of explanation.
There was a problem hiding this comment.
Until we're able to clean up the trace, it might be helpful for Hydro users to be told how to read it
6022536 to
aae0af9
Compare
akainth015
left a comment
akainth015
left a comment
There was a problem hiding this comment.
I think it's publish-able, and that the posted comments would improve it.
| .source_iter(q!([Request { value: 1 }])) // New version sends 1 | ||
| .broadcast( | ||
| &servers_v2, | ||
| TCP.fail_stop().bincode().name("requests"), | ||
| nondet!(/** cluster membership discovery is non-deterministic */), | ||
| ) | ||
| .map(q!(|message| message.value ^ 0)) // New version xors against 0 |
There was a problem hiding this comment.
I'm a fan of this example, nice pick! It's easy to understand
aae0af9 to
63d9d8d
Compare
shadaj
left a comment
shadaj
left a comment
There was a problem hiding this comment.
Looks great! Two notes for self-directed polish:
- The summary that shows up in the blog list should probably be a bit longer
- Some of the paragraphs are quite long, which makes them difficult to parse. Would be nice to split them up into smaller paragraphs.
63d9d8d to
5260442
Compare
3 participants
No description provided.