https://github.com/tchajed/mailboat

Verified mail server
https://github.com/tchajed/mailboat

mailserver verification

Last synced: 5 months ago
JSON representation

Verified mail server

• Host: GitHub
• URL: https://github.com/tchajed/mailboat
• Owner: tchajed
• License: mit
• Created: 2019-04-01T15:09:07.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2023-02-25T04:31:35.000Z (almost 3 years ago)
• Last Synced: 2025-08-14T16:52:45.299Z (6 months ago)
• Topics: mailserver, verification
• Language: Go
• Homepage:
• Size: 67.4 KB
• Stars: 4
• Watchers: 5
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Mailboat: a verified mail server

[![Build Status](https://travis-ci.com/tchajed/mailboat.svg?branch=master)](https://travis-ci.com/tchajed/mailboat)

Mailboat is a qmail-like mail server with a proof in [Perennial](https://github.com/mit-pdos/perennial). The proof shows that delivering, reading, and deleting mail are atomic with respect to other threads and crashes, and that operations are durable as soon as they return.

## Benchmarking

Run `./scripts/run-mailboat.sh` to run a mixed-workload benchmark, which is output from the test `TestMixedLoad`.