Thomas Leonard personal blog
Using TLA+ to Understand Xen Vchan
The vchan protocol is used to stream data between virtual machines on a Xen host without needing any locks. It is largely undocumented. The TLA …
- Points
- 148
- HN comments
- 12
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSystems & Performance2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 3, 2019 | Using TLA+ to Understand Xen Vchan by technion | 148 | 12 |
