tisonkun commented on PR #20242: URL: https://github.com/apache/pulsar/pull/20242#issuecomment-1537479452
> tool Generally, I just write in text :D It's about: 1. Define the actors. 2. Describe at T_N, what actor takes what action 3. The order of T_N 4. What actions cause race condition But any tool you searched is acceptable as long as the diagram is clear (with text, reviewers manually dump to diagram). -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@pulsar.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org