Enso Operating System
Sample
```rust
extern crate kernel;
use kernel::io::poll::;
use kernel::io::tcp::;
use kernel::io::server::;
use kernel::io::console::;
fn main() {
let x = std::thread::spawn(|| net());
let y = std::thread::spawn(|| console());
x.join();
}
fn net() {
let addr = "127.0.0.1:8000".parse::().ok().expect("Parser Error");
let sock = TcpListener::bind(&addr).ok().expect("Failed to bind address");
let mut poll = Poll::new().expect("Failed to create Poll");
let mut net = Server::new(sock);
net.run(&mut poll).expect("Failed to run server");
}
fn console() {
let mut poll = Poll::new().expect("Failed to create Poll");
let mut con = Console::new();
con.run(&mut poll);
}
```
Features
- MIO Compatible Network Server with Connections
- Future and Stream rich combinators
- Session Types and π-calculus semantics
- MPSC, SPMC, SPSC queues
- 10-40ns latency
- Free from Dependencies
Test Network Server
$ cargo build
$ cargo test
$ ./target/debug/server
IO Server started
Console is listening...
Server run loop starting...
In another process:
$ ./target/debug/client
Test Console Server
$ rlwrap ./target/debug/console
Console is listening...
ENSO
Message: "ENSO"
Test Session Types
$ ./target/debug/fix
Reading
- Kohei Honda Session Types and π-calculus http://mrg.doc.ic.ac.uk/kohei/
- Rust version http://munksgaard.me/laumann-munksgaard-larsen.pdf
- Haskell Version http://users.eecs.northwestern.edu/~jesse/pubs/haskell-session-types/session08.pdf
Credits
- Viktor Sovietov
- Anton Kundenko
- Ievgenii Lysiuchenko
- Mykola Oleksiienko
- Maxim Sokhatsky