Compare commits
8
Commits
actor-fs
...
6a136c1b17
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
6a136c1b17 | ||
|
|
3e90cd73d3 | ||
|
|
845c961f4f | ||
|
|
d6d3c9a2f2 | ||
|
|
0951ba18e1 | ||
|
|
d0876626df | ||
|
|
c1f182d9b6 | ||
|
|
49453fa9af |
@@ -1,4 +1,4 @@
|
|||||||
# Runs on the Nix runner on nexus (label `nixos`, host executor).
|
# Runs on a self-hosted Nix runner (label `nixos`, host executor).
|
||||||
name: ci
|
name: ci
|
||||||
on: [push, pull_request]
|
on: [push, pull_request]
|
||||||
|
|
||||||
|
|||||||
+30
-3
@@ -68,7 +68,7 @@ Each instance sees three folders:
|
|||||||
| `/actor` | read-only | the `actor/` folder of the world |
|
| `/actor` | read-only | the `actor/` folder of the world |
|
||||||
|
|
||||||
`/actor/<id>/` holds everything about an actor: `actor.wasm`, `actor.json`
|
`/actor/<id>/` holds everything about an actor: `actor.wasm`, `actor.json`
|
||||||
(installed version, running, subscriptions), `source/`, `public/`, `data/`,
|
(installed version, running, subscriptions, tapped), `source/`, `public/`, `data/`,
|
||||||
`stderr.log`, and `versions/<n>/`. `ls /actor` lists all actors.
|
`stderr.log`, and `versions/<n>/`. `ls /actor` lists all actors.
|
||||||
|
|
||||||
Files are plain POSIX files: a write is visible at once. To publish a file
|
Files are plain POSIX files: a write is visible at once. To publish a file
|
||||||
@@ -85,6 +85,13 @@ Every actor can read and write them. The host turns each file operation into a
|
|||||||
message from `fs` to `<id>` and waits up to 10 seconds for the reply. `path`
|
message from `fs` to `<id>` and waits up to 10 seconds for the reply. `path`
|
||||||
is relative to `fs/` and starts with `/` (the folder itself is `/`).
|
is relative to `fs/` and starts with `/` (the folder itself is `/`).
|
||||||
|
|
||||||
|
To make this virtual directory discoverable, an actor that serves it declares
|
||||||
|
`Actor-served files` and `fs_read` in its leading `//!` documentation in
|
||||||
|
`source/src/main.rs`. The host uses that declaration when listing
|
||||||
|
`/actor/<id>/`; it does not probe every actor (which could stall on actors that
|
||||||
|
do not handle filesystem messages). This is discovery metadata only: opening
|
||||||
|
and reading the path still requires a valid `fs_read` reply.
|
||||||
|
|
||||||
| Request | Reply |
|
| Request | Reply |
|
||||||
| --- | --- |
|
| --- | --- |
|
||||||
| `{"type": "fs_read", "path"}` | `{"type": "fs_file", "text"}` (or `"base64"` instead of `"text"`), or `{"type": "fs_dir", "entries": [{"name", "type": "file" \| "dir"}]}` |
|
| `{"type": "fs_read", "path"}` | `{"type": "fs_file", "text"}` (or `"base64"` instead of `"text"`), or `{"type": "fs_dir", "entries": [{"name", "type": "file" \| "dir"}]}` |
|
||||||
@@ -109,8 +116,8 @@ Any request can be answered with `{"type": "fs_error", "errno": "no-entry"}`.
|
|||||||
|
|
||||||
Requests to `broker`. The answer is a message whose `reply_to` is the ID of
|
Requests to `broker`. The answer is a message whose `reply_to` is the ID of
|
||||||
the request: the request's `type` in past tense (`spawned`, `upgraded`,
|
the request: the request's `type` in past tense (`spawned`, `upgraded`,
|
||||||
`rolled_back`, `stopped`, `started`, `subscribed`, `unsubscribed`,
|
`rolled_back`, `stopped`, `started`, `removed`, `subscribed`, `unsubscribed`,
|
||||||
`scanned`, `exiting`), or `{"type": "error", "reason": "..."}`.
|
`tapping`, `untapped`, `scanned`, `exiting`), or `{"type": "error", "reason": "..."}`.
|
||||||
|
|
||||||
| `type` | Fields | Effect |
|
| `type` | Fields | Effect |
|
||||||
| --- | --- | --- |
|
| --- | --- | --- |
|
||||||
@@ -118,12 +125,32 @@ the request: the request's `type` in past tense (`spawned`, `upgraded`,
|
|||||||
| `upgrade` | `actor`, `wasm`, `source`?, `built_by`? | test, then swap the version |
|
| `upgrade` | `actor`, `wasm`, `source`?, `built_by`? | test, then swap the version |
|
||||||
| `rollback` | `actor`, `version` | go back to an older version |
|
| `rollback` | `actor`, `version` | go back to an older version |
|
||||||
| `stop`, `start` | `actor` | stop or start an actor |
|
| `stop`, `start` | `actor` | stop or start an actor |
|
||||||
|
| `remove` | `actor` | stop the actor (normal shutdown), then delete its whole folder `/actor/<id>/` (all versions, `data/`, `public/`, logs); answer `{"type": "removed", "actor"}`. Messages to it are then undeliverable, and the ID can be spawned again. An unknown actor or a native one (`broker`, `console`, `cargo`, `fs`) is an `error` |
|
||||||
| `subscribe`, `unsubscribe` | `actor` | receive (or not) what `actor` publishes |
|
| `subscribe`, `unsubscribe` | `actor` | receive (or not) what `actor` publishes |
|
||||||
|
| `tap`, `untap` | | receive (or not) a copy of every message the broker routes |
|
||||||
| `scan` | | boot new or changed `actor.wasm` files |
|
| `scan` | | boot new or changed `actor.wasm` files |
|
||||||
| `exit` | | answer `exiting`, stop every actor, and end the `sausage` process (a wrapper like `nix run .#loop` starts it again, updated) |
|
| `exit` | | answer `exiting`, stop every actor, and end the `sausage` process (a wrapper like `nix run .#loop` starts it again, updated) |
|
||||||
|
|
||||||
Paths are `/actor/...`, or the sender's `/public/...` or `/data/...`.
|
Paths are `/actor/...`, or the sender's `/public/...` or `/data/...`.
|
||||||
|
|
||||||
|
**Taps.** After `tap`, the sender gets a copy of every message that the
|
||||||
|
broker routes (direct messages, replies, and publishes, between any actors,
|
||||||
|
including its own), for debugging, logging, or a live view of the world:
|
||||||
|
|
||||||
|
```json
|
||||||
|
{"type": "tapped", "message": {"id": "m-17", "from": "console", "to": "agent", "reply_to": null, "body": {...}}, "ts": 1792132579067}
|
||||||
|
```
|
||||||
|
|
||||||
|
- `to` is `null` for a publish: one copy per publish, not per subscriber.
|
||||||
|
- `ts` is the time of routing, in milliseconds since the Unix epoch.
|
||||||
|
- Copies come from `broker`. They are not routed themselves, so they are
|
||||||
|
never tapped, and each message is tapped once per tapper.
|
||||||
|
- A copy that does not fit into the tapper's mailbox is dropped; routing
|
||||||
|
never waits for a tapper, and nobody gets `undeliverable` for a copy.
|
||||||
|
- Never answer a copy: the answer would be tapped again, forever.
|
||||||
|
- Like subscriptions, a tap is saved in `actor.json` (`"tapped": true`) and
|
||||||
|
survives restarts and upgrades. `untap` ends it.
|
||||||
|
|
||||||
**Versions.** A new version (from `spawn`, `upgrade`, or a changed
|
**Versions.** A new version (from `spawn`, `upgrade`, or a changed
|
||||||
`actor.wasm` on disk) is tested first, while the old version keeps running.
|
`actor.wasm` on disk) is tested first, while the old version keeps running.
|
||||||
Only when its tests pass does the broker copy it to `versions/<n>/`
|
Only when its tests pass does the broker copy it to `versions/<n>/`
|
||||||
|
|||||||
@@ -10,28 +10,43 @@ change its own code.
|
|||||||
|
|
||||||
## Start
|
## Start
|
||||||
|
|
||||||
You need [Nix](https://nixos.org/download) with flakes.
|
You need [Nix](https://nixos.org/download) with flakes, and an API token for
|
||||||
|
an LLM (OpenAI Responses or Anthropic Messages API). No clone needed:
|
||||||
|
|
||||||
```sh
|
```sh
|
||||||
nix run -- init # creates ./world and builds the agent (a few minutes)
|
nix run git+https://gitea.surma.technology/surma/sausage
|
||||||
nix run -- run # starts the world and a console
|
```
|
||||||
|
|
||||||
|
This creates a world in `./world` the first time (it builds the agent, which
|
||||||
|
takes a few minutes), then starts it with a console. Later runs start the
|
||||||
|
existing world. The two steps on their own:
|
||||||
|
|
||||||
|
```sh
|
||||||
|
nix run git+https://gitea.surma.technology/surma/sausage -- init # creates ./world and builds the agent
|
||||||
|
nix run git+https://gitea.surma.technology/surma/sausage -- run # starts the world and a console
|
||||||
```
|
```
|
||||||
|
|
||||||
`init` asks for the API shape (`openai-responses` or `anthropic-messages`),
|
`init` asks for the API shape (`openai-responses` or `anthropic-messages`),
|
||||||
the base URL, the model, and the token. It reads `SAUSAGE_API`,
|
the base URL, the model, and the token. It reads `SAUSAGE_API`,
|
||||||
`SAUSAGE_BASE_URL`, `SAUSAGE_MODEL`, and `SAUSAGE_API_TOKEN` first. The
|
`SAUSAGE_BASE_URL`, `SAUSAGE_MODEL`, and `SAUSAGE_API_TOKEN` first. The
|
||||||
values go to `world/actor/agent/data/config.json`. Both commands take another
|
values go to `world/actor/agent/data/config.json`. Both commands take another
|
||||||
folder as an argument, for example `nix run -- run my-world`.
|
folder as an argument, for example `... -- run my-world`.
|
||||||
|
|
||||||
To keep a world on the newest version, run it in a loop:
|
To keep a world on the newest version, run it in a loop:
|
||||||
|
|
||||||
```sh
|
```sh
|
||||||
nix run .#loop -- my-world # or .#loop-internal (Gitea on the LAN)
|
nix run git+https://gitea.surma.technology/surma/sausage#loop # ./world, created if needed
|
||||||
|
nix run git+https://gitea.surma.technology/surma/sausage#loop -- my-world # an existing world
|
||||||
```
|
```
|
||||||
|
|
||||||
The loop runs `nix run --refresh git+ssh://…/surma/sausage -- run my-world`.
|
The loop runs `nix run --refresh git+https://gitea.surma.technology/surma/sausage -- run my-world`.
|
||||||
When the host crashes or an actor sends `@broker {"type":"exit"}`, the loop
|
When the host crashes or an actor sends `@broker {"type":"exit"}`, the loop
|
||||||
fetches the newest commit and starts it again. `/quit` ends the loop.
|
fetches the newest commit and starts it again. `/quit` ends the loop. Set
|
||||||
|
`SAUSAGE_FLAKE` to run another flake URL instead, for example your fork.
|
||||||
|
|
||||||
|
From a clone (`git clone https://gitea.surma.technology/surma/sausage`), the
|
||||||
|
same commands are `nix run`, `nix run -- init`, `nix run -- run` and
|
||||||
|
`nix run .#loop`.
|
||||||
|
|
||||||
In the console:
|
In the console:
|
||||||
|
|
||||||
|
|||||||
+76
-14
@@ -1,6 +1,7 @@
|
|||||||
//! The broker: message routing, mailboxes, subscriptions, the version store,
|
//! The broker: message routing, mailboxes, subscriptions, taps, the version
|
||||||
//! and the requests to `broker` (spawn, upgrade, rollback, stop, start,
|
//! store, and the requests to `broker` (spawn, upgrade, rollback, stop, start,
|
||||||
//! subscribe, unsubscribe, scan, exit). `supervisor.rs` runs each WASM actor.
|
//! remove, subscribe, unsubscribe, tap, untap, scan, exit). `supervisor.rs`
|
||||||
|
//! runs each WASM actor.
|
||||||
//!
|
//!
|
||||||
//! The broker accepts only `.wasm` files. It does not know any source language.
|
//! The broker accepts only `.wasm` files. It does not know any source language.
|
||||||
//! The world folder is the source of truth: `scan` boots every
|
//! The world folder is the source of truth: `scan` boots every
|
||||||
@@ -133,17 +134,23 @@ impl Broker {
|
|||||||
Some(own) => format!("{from}/{own}"),
|
Some(own) => format!("{from}/{own}"),
|
||||||
None => format!("m-{}", self.seq.fetch_add(1, Ordering::Relaxed)),
|
None => format!("m-{}", self.seq.fetch_add(1, Ordering::Relaxed)),
|
||||||
};
|
};
|
||||||
let recipients: Vec<String> = match to {
|
let (recipients, tappers) = {
|
||||||
Some(to) => vec![to.to_string()],
|
let metas = self.metas.lock().unwrap();
|
||||||
None => self
|
let recipients: Vec<String> = match to {
|
||||||
.metas
|
Some(to) => vec![to.to_string()],
|
||||||
.lock()
|
None => metas
|
||||||
.unwrap()
|
.iter()
|
||||||
.iter()
|
.filter(|(_, m)| m.subscriptions.contains(from))
|
||||||
.filter(|(_, m)| m.subscriptions.contains(from))
|
.map(|(id, _)| id.clone())
|
||||||
.map(|(id, _)| id.clone())
|
.collect(),
|
||||||
.collect(),
|
};
|
||||||
|
let tappers: Vec<String> = metas.iter().filter(|(_, m)| m.tapped).map(|(id, _)| id.clone()).collect();
|
||||||
|
(recipients, tappers)
|
||||||
};
|
};
|
||||||
|
if !tappers.is_empty() {
|
||||||
|
let message = json!({"id": id, "from": from, "to": to, "reply_to": reply_to, "body": body});
|
||||||
|
self.tap(&tappers, message);
|
||||||
|
}
|
||||||
for to in recipients {
|
for to in recipients {
|
||||||
self.deliver(Envelope {
|
self.deliver(Envelope {
|
||||||
id: id.clone(),
|
id: id.clone(),
|
||||||
@@ -156,6 +163,25 @@ impl Broker {
|
|||||||
id
|
id
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Give every tapper a copy of one routed message. Copies skip `send`, so
|
||||||
|
/// they are never tapped themselves; a full mailbox drops the copy.
|
||||||
|
fn tap(&self, tappers: &[String], message: Value) {
|
||||||
|
let ts = std::time::SystemTime::now().duration_since(std::time::UNIX_EPOCH).map_or(0, |d| d.as_millis() as u64);
|
||||||
|
let body = json!({"type": "tapped", "message": message, "ts": ts});
|
||||||
|
let mailboxes = self.mailboxes.lock().unwrap();
|
||||||
|
for tapper in tappers {
|
||||||
|
if let Some(tx) = mailboxes.get(tapper) {
|
||||||
|
let _ = tx.try_send(Envelope {
|
||||||
|
id: format!("m-{}", self.seq.fetch_add(1, Ordering::Relaxed)),
|
||||||
|
from: "broker".into(),
|
||||||
|
to: tapper.clone(),
|
||||||
|
reply_to: None,
|
||||||
|
body: body.clone(),
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
/// Route one stdout line of a WASM actor.
|
/// Route one stdout line of a WASM actor.
|
||||||
pub fn route_line(&self, from: &str, line: &str) {
|
pub fn route_line(&self, from: &str, line: &str) {
|
||||||
let line = line.trim();
|
let line = line.trim();
|
||||||
@@ -351,6 +377,35 @@ impl Broker {
|
|||||||
Ok(result)
|
Ok(result)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Stop an actor (normal shutdown) and delete its folder `actor/<id>/`.
|
||||||
|
/// Afterwards the ID is unknown: messages to it are undeliverable, and
|
||||||
|
/// it can be spawned again from scratch.
|
||||||
|
pub async fn remove_actor(&self, id: &str) -> Result<Value> {
|
||||||
|
if NATIVE.contains(&id) {
|
||||||
|
bail!("{id} is part of the host and cannot be removed");
|
||||||
|
}
|
||||||
|
if !world::valid_id(id) {
|
||||||
|
bail!("invalid actor ID {id:?}");
|
||||||
|
}
|
||||||
|
let lock = self.op_lock(id);
|
||||||
|
let _guard = lock.lock().await;
|
||||||
|
let dir = self.world.actor_dir(id);
|
||||||
|
if !self.is_supervised(id) && !dir.is_dir() {
|
||||||
|
bail!("no actor with ID {id}");
|
||||||
|
}
|
||||||
|
if self.is_supervised(id) {
|
||||||
|
self.control(id, |reply| Control::Shutdown { reply }).await?;
|
||||||
|
}
|
||||||
|
// Without its mailbox, messages to `id` are undeliverable.
|
||||||
|
self.controls.lock().unwrap().remove(id);
|
||||||
|
self.mailboxes.lock().unwrap().remove(id);
|
||||||
|
self.metas.lock().unwrap().remove(id);
|
||||||
|
if dir.exists() {
|
||||||
|
std::fs::remove_dir_all(&dir).with_context(|| format!("delete {}", dir.display()))?;
|
||||||
|
}
|
||||||
|
Ok(json!({"type": "removed", "actor": id}))
|
||||||
|
}
|
||||||
|
|
||||||
/// Boot the actors in `actor/`. Called at start and on `scan`.
|
/// Boot the actors in `actor/`. Called at start and on `scan`.
|
||||||
///
|
///
|
||||||
/// - An `actor.wasm` equal to the installed version starts as is.
|
/// - An `actor.wasm` equal to the installed version starts as is.
|
||||||
@@ -455,6 +510,7 @@ impl Broker {
|
|||||||
}
|
}
|
||||||
"stop" => self.control(&actor()?, |reply| Control::Stop { reply }).await,
|
"stop" => self.control(&actor()?, |reply| Control::Stop { reply }).await,
|
||||||
"start" => self.control(&actor()?, |reply| Control::Start { reply }).await,
|
"start" => self.control(&actor()?, |reply| Control::Start { reply }).await,
|
||||||
|
"remove" => self.remove_actor(&actor()?).await,
|
||||||
"subscribe" | "unsubscribe" => {
|
"subscribe" | "unsubscribe" => {
|
||||||
let publisher = actor()?;
|
let publisher = actor()?;
|
||||||
let on = ty == "subscribe";
|
let on = ty == "subscribe";
|
||||||
@@ -467,6 +523,12 @@ impl Broker {
|
|||||||
})?;
|
})?;
|
||||||
Ok(json!({"type": format!("{ty}d"), "actor": publisher}))
|
Ok(json!({"type": format!("{ty}d"), "actor": publisher}))
|
||||||
}
|
}
|
||||||
|
"tap" | "untap" => {
|
||||||
|
let on = ty == "tap";
|
||||||
|
self.update_meta(&env.from, |m| m.tapped = on)?;
|
||||||
|
let answer = if on { "tapping" } else { "untapped" };
|
||||||
|
Ok(json!({"type": answer}))
|
||||||
|
}
|
||||||
"scan" => Ok(json!({"type": "scanned", "changes": self.scan().await})),
|
"scan" => Ok(json!({"type": "scanned", "changes": self.scan().await})),
|
||||||
"exit" => {
|
"exit" => {
|
||||||
self.log("broker", &format!("exit requested by {}", env.from));
|
self.log("broker", &format!("exit requested by {}", env.from));
|
||||||
@@ -474,7 +536,7 @@ impl Broker {
|
|||||||
self.exit.notify_one();
|
self.exit.notify_one();
|
||||||
Ok(json!({"type": "exiting"}))
|
Ok(json!({"type": "exiting"}))
|
||||||
}
|
}
|
||||||
other => bail!("unknown broker request {other:?}. Known: spawn, upgrade, rollback, stop, start, subscribe, unsubscribe, scan, exit"),
|
other => bail!("unknown broker request {other:?}. Known: spawn, upgrade, rollback, stop, start, remove, subscribe, unsubscribe, tap, untap, scan, exit"),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
+13
-3
@@ -12,11 +12,13 @@ use sausage::{Host, cargo_actor, console};
|
|||||||
/// The source of the agent actor. `init` builds it like any other actor.
|
/// The source of the agent actor. `init` builds it like any other actor.
|
||||||
static AGENT_SOURCE: Dir<'_> = include_dir!("$CARGO_MANIFEST_DIR/../agent");
|
static AGENT_SOURCE: Dir<'_> = include_dir!("$CARGO_MANIFEST_DIR/../agent");
|
||||||
|
|
||||||
|
// Without a command, `sausage` runs the world in `./world` and creates it
|
||||||
|
// first (like `init`) if it does not exist yet.
|
||||||
#[derive(Parser)]
|
#[derive(Parser)]
|
||||||
#[command(version, about)]
|
#[command(version, about)]
|
||||||
struct Cli {
|
struct Cli {
|
||||||
#[command(subcommand)]
|
#[command(subcommand)]
|
||||||
command: Cmd,
|
command: Option<Cmd>,
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Subcommand)]
|
#[derive(Subcommand)]
|
||||||
@@ -112,7 +114,15 @@ async fn run(dir: PathBuf) -> Result<()> {
|
|||||||
#[tokio::main]
|
#[tokio::main]
|
||||||
async fn main() -> Result<()> {
|
async fn main() -> Result<()> {
|
||||||
match Cli::parse().command {
|
match Cli::parse().command {
|
||||||
Cmd::Init { dir } => init(dir).await,
|
Some(Cmd::Init { dir }) => init(dir).await,
|
||||||
Cmd::Run { dir } => run(dir).await,
|
Some(Cmd::Run { dir }) => run(dir).await,
|
||||||
|
None => {
|
||||||
|
let dir = PathBuf::from("world");
|
||||||
|
if !dir.join("actor").is_dir() {
|
||||||
|
println!("No world in ./world yet, creating it (same as `sausage init`).");
|
||||||
|
init(dir.clone()).await?;
|
||||||
|
}
|
||||||
|
run(dir).await
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
+95
-15
@@ -4,7 +4,8 @@
|
|||||||
//! This module wraps the `wasi:filesystem` implementation of `wasmtime-wasi`.
|
//! This module wraps the `wasi:filesystem` implementation of `wasmtime-wasi`.
|
||||||
//! A path under `/actor/<id>/fs/` does not reach the disk: the host asks the
|
//! A path under `/actor/<id>/fs/` does not reach the disk: the host asks the
|
||||||
//! actor `<id>` with a message from `fs` and waits up to `ASK_TIMEOUT` for
|
//! actor `<id>` with a message from `fs` and waits up to `ASK_TIMEOUT` for
|
||||||
//! the reply. Every other path goes to `wasmtime-wasi` unchanged.
|
//! the reply. Other paths go to `wasmtime-wasi` unchanged except that an
|
||||||
|
//! actor directory listing advertises `fs/` when its source docs declare it.
|
||||||
//!
|
//!
|
||||||
//! - `fs_read {path}` -> `fs_file {text | base64}`, `fs_dir {entries: [{name, type}]}`
|
//! - `fs_read {path}` -> `fs_file {text | base64}`, `fs_dir {entries: [{name, type}]}`
|
||||||
//! - `fs_write {path, text | base64}`, `fs_mkdir {path}`, `fs_remove {path}`,
|
//! - `fs_write {path, text | base64}`, `fs_mkdir {path}`, `fs_remove {path}`,
|
||||||
@@ -14,7 +15,7 @@
|
|||||||
//! A file is read once when it is opened. After a change, it is written back
|
//! A file is read once when it is opened. After a change, it is written back
|
||||||
//! in one `fs_write` when it is synced or closed.
|
//! in one `fs_write` when it is synced or closed.
|
||||||
|
|
||||||
use std::collections::HashSet;
|
use std::collections::HashMap;
|
||||||
use std::hash::{Hash, Hasher};
|
use std::hash::{Hash, Hasher};
|
||||||
use std::sync::atomic::{AtomicBool, Ordering};
|
use std::sync::atomic::{AtomicBool, Ordering};
|
||||||
use std::sync::{Arc, Mutex, Weak};
|
use std::sync::{Arc, Mutex, Weak};
|
||||||
@@ -41,13 +42,14 @@ pub struct VfsState {
|
|||||||
broker: Weak<Broker>,
|
broker: Weak<Broker>,
|
||||||
/// The actor of this instance, for notes in its `stderr.log`.
|
/// The actor of this instance, for notes in its `stderr.log`.
|
||||||
me: String,
|
me: String,
|
||||||
/// Descriptors of the `/actor` preopen.
|
/// Native directory descriptors and their absolute paths. Keeping every
|
||||||
roots: HashSet<u32>,
|
/// `/actor` child (not only the preopen) lets `fs/` work after traversal.
|
||||||
|
dirs: HashMap<u32, String>,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl VfsState {
|
impl VfsState {
|
||||||
pub fn new(broker: Weak<Broker>, me: String) -> Self {
|
pub fn new(broker: Weak<Broker>, me: String) -> Self {
|
||||||
Self { broker, me, roots: HashSet::new() }
|
Self { broker, me, dirs: HashMap::new() }
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -199,6 +201,33 @@ fn join(base: &str, rel: &str) -> String {
|
|||||||
format!("/{}", parts.join("/"))
|
format!("/{}", parts.join("/"))
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Split a global path under an actor's virtual `fs/` into its owner and
|
||||||
|
/// actor-relative path.
|
||||||
|
fn actor_fs_path(full: &str) -> Option<(String, String)> {
|
||||||
|
let rest = full.strip_prefix("/actor/")?;
|
||||||
|
let (actor, rest) = rest.split_once('/')?;
|
||||||
|
let (fs, path) = rest.split_once('/').unwrap_or((rest, ""));
|
||||||
|
(fs == "fs" && !actor.is_empty()).then(|| (actor.to_string(), format!("/{path}")))
|
||||||
|
}
|
||||||
|
|
||||||
|
fn actor_root(path: &str) -> Option<&str> {
|
||||||
|
let actor = path.strip_prefix("/actor/")?;
|
||||||
|
(!actor.is_empty() && !actor.contains('/')).then_some(actor)
|
||||||
|
}
|
||||||
|
|
||||||
|
/// An actor advertises its virtual filesystem in its leading `//!` docs.
|
||||||
|
/// This is discovery metadata; actual reads still go through `fs_read`.
|
||||||
|
fn declares_actor_fs(source: &str) -> bool {
|
||||||
|
let docs = source
|
||||||
|
.lines()
|
||||||
|
.take_while(|line| line.trim().starts_with("//!"))
|
||||||
|
.map(|line| line.trim().trim_start_matches("//!").trim())
|
||||||
|
.collect::<Vec<_>>()
|
||||||
|
.join(" ")
|
||||||
|
.to_ascii_lowercase();
|
||||||
|
docs.contains("actor-served files") && docs.contains("fs_read")
|
||||||
|
}
|
||||||
|
|
||||||
fn stat(type_: DescriptorType, size: u64) -> types::DescriptorStat {
|
fn stat(type_: DescriptorType, size: u64) -> types::DescriptorStat {
|
||||||
types::DescriptorStat {
|
types::DescriptorStat {
|
||||||
type_,
|
type_,
|
||||||
@@ -266,6 +295,14 @@ impl VfsView<'_> {
|
|||||||
Asker { broker: self.state.broker.upgrade(), me: self.state.me.clone() }
|
Asker { broker: self.state.broker.upgrade(), me: self.state.me.clone() }
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fn actor_serves_fs(&self, actor: &str) -> bool {
|
||||||
|
self.state
|
||||||
|
.broker
|
||||||
|
.upgrade()
|
||||||
|
.and_then(|broker| std::fs::read_to_string(broker.world.source_dir(actor).join("src/main.rs")).ok())
|
||||||
|
.is_some_and(|source| declares_actor_fs(&source))
|
||||||
|
}
|
||||||
|
|
||||||
fn virt(&mut self, fd: &Resource<types::Descriptor>) -> Option<Virt> {
|
fn virt(&mut self, fd: &Resource<types::Descriptor>) -> Option<Virt> {
|
||||||
self.inner.table.get_any_mut(fd.rep()).ok()?.downcast_ref::<Virt>().cloned()
|
self.inner.table.get_any_mut(fd.rep()).ok()?.downcast_ref::<Virt>().cloned()
|
||||||
}
|
}
|
||||||
@@ -282,16 +319,27 @@ impl VfsView<'_> {
|
|||||||
match self.virt(fd) {
|
match self.virt(fd) {
|
||||||
Some(Virt::Dir { actor, path: base }) => Some((actor, join(&base, path))),
|
Some(Virt::Dir { actor, path: base }) => Some((actor, join(&base, path))),
|
||||||
Some(Virt::File(f)) => Some((f.actor, join(&f.path, path))),
|
Some(Virt::File(f)) => Some((f.actor, join(&f.path, path))),
|
||||||
None if self.state.roots.contains(&fd.rep()) => {
|
None => {
|
||||||
let full = join("/", path);
|
let base = self.state.dirs.get(&fd.rep())?;
|
||||||
let mut parts = full.splitn(4, '/').skip(1);
|
actor_fs_path(&join(base, path))
|
||||||
let (actor, fs, rest) = (parts.next()?, parts.next()?, parts.next().unwrap_or(""));
|
|
||||||
(fs == "fs" && !actor.is_empty()).then(|| (actor.to_string(), format!("/{rest}")))
|
|
||||||
}
|
}
|
||||||
None => None,
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
async fn native_directory_entries(&mut self, fd: Resource<types::Descriptor>) -> FsResult<Vec<DirectoryEntry>> {
|
||||||
|
let stream = HostDescriptor::read_directory(&mut self.inner, fd).await?;
|
||||||
|
let stream_rep = stream.rep();
|
||||||
|
let mut entries = Vec::new();
|
||||||
|
loop {
|
||||||
|
match HostDirectoryEntryStream::read_directory_entry(&mut self.inner, Resource::new_borrow(stream_rep)).await? {
|
||||||
|
Some(entry) => entries.push(entry),
|
||||||
|
None => break,
|
||||||
|
}
|
||||||
|
}
|
||||||
|
HostDirectoryEntryStream::drop(&mut self.inner, stream).map_err(|_| ErrorCode::Io)?;
|
||||||
|
Ok(entries)
|
||||||
|
}
|
||||||
|
|
||||||
fn push(&mut self, v: Virt) -> FsResult<Resource<types::Descriptor>> {
|
fn push(&mut self, v: Virt) -> FsResult<Resource<types::Descriptor>> {
|
||||||
let r = self.inner.table.push(v)?;
|
let r = self.inner.table.push(v)?;
|
||||||
Ok(Resource::new_own(r.rep()))
|
Ok(Resource::new_own(r.rep()))
|
||||||
@@ -343,7 +391,7 @@ impl preopens::Host for VfsView<'_> {
|
|||||||
let dirs = preopens::Host::get_directories(&mut self.inner)?;
|
let dirs = preopens::Host::get_directories(&mut self.inner)?;
|
||||||
for (fd, name) in &dirs {
|
for (fd, name) in &dirs {
|
||||||
if name == "/actor" {
|
if name == "/actor" {
|
||||||
self.state.roots.insert(fd.rep());
|
self.state.dirs.insert(fd.rep(), "/actor".to_string());
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
Ok(dirs)
|
Ok(dirs)
|
||||||
@@ -453,7 +501,19 @@ impl HostDescriptor for VfsView<'_> {
|
|||||||
Node::File(_) => Err(ErrorCode::NotDirectory.into()),
|
Node::File(_) => Err(ErrorCode::NotDirectory.into()),
|
||||||
},
|
},
|
||||||
Some(Virt::File(_)) => Err(ErrorCode::NotDirectory.into()),
|
Some(Virt::File(_)) => Err(ErrorCode::NotDirectory.into()),
|
||||||
None => HostDescriptor::read_directory(&mut self.inner, fd).await,
|
None => {
|
||||||
|
let actor = self.state.dirs.get(&fd.rep()).and_then(|path| actor_root(path)).map(str::to_string);
|
||||||
|
if actor.as_deref().is_some_and(|id| self.actor_serves_fs(id)) {
|
||||||
|
let mut entries = self.native_directory_entries(fd).await?;
|
||||||
|
if !entries.iter().any(|entry| entry.name == "fs") {
|
||||||
|
entries.push(DirectoryEntry { type_: DescriptorType::Directory, name: "fs".to_string() });
|
||||||
|
}
|
||||||
|
let r = self.inner.table.push(VDir(entries.into_iter()))?;
|
||||||
|
Ok(Resource::new_own(r.rep()))
|
||||||
|
} else {
|
||||||
|
HostDescriptor::read_directory(&mut self.inner, fd).await
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -525,7 +585,16 @@ impl HostDescriptor for VfsView<'_> {
|
|||||||
) -> FsResult<Resource<types::Descriptor>> {
|
) -> FsResult<Resource<types::Descriptor>> {
|
||||||
match self.target(&fd, &path) {
|
match self.target(&fd, &path) {
|
||||||
Some((actor, path)) => self.open(actor, path, oflags, flags).await,
|
Some((actor, path)) => self.open(actor, path, oflags, flags).await,
|
||||||
None => HostDescriptor::open_at(&mut self.inner, fd, path_flags, path, oflags, flags).await,
|
None => {
|
||||||
|
let child_path = self.state.dirs.get(&fd.rep()).map(|base| join(base, &path));
|
||||||
|
let opened = HostDescriptor::open_at(&mut self.inner, fd, path_flags, path, oflags, flags).await?;
|
||||||
|
if let Some(path) = child_path {
|
||||||
|
if HostDescriptor::get_type(&mut self.inner, Resource::new_borrow(opened.rep())).await? == DescriptorType::Directory {
|
||||||
|
self.state.dirs.insert(opened.rep(), path);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Ok(opened)
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -538,7 +607,7 @@ impl HostDescriptor for VfsView<'_> {
|
|||||||
}
|
}
|
||||||
return Ok(());
|
return Ok(());
|
||||||
}
|
}
|
||||||
self.state.roots.remove(&fd.rep());
|
self.state.dirs.remove(&fd.rep());
|
||||||
HostDescriptor::drop(&mut self.inner, fd)
|
HostDescriptor::drop(&mut self.inner, fd)
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -698,6 +767,17 @@ fn base64_decode(text: &str) -> Option<Vec<u8>> {
|
|||||||
mod tests {
|
mod tests {
|
||||||
use super::*;
|
use super::*;
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn actor_fs_paths_and_discovery_docs() {
|
||||||
|
assert_eq!(actor_fs_path("/actor/brain/fs"), Some(("brain".to_string(), "/".to_string())));
|
||||||
|
assert_eq!(actor_fs_path("/actor/brain/fs/docs/readme.md"), Some(("brain".to_string(), "/docs/readme.md".to_string())));
|
||||||
|
assert_eq!(actor_fs_path("/actor/brain/public/fs/file"), None);
|
||||||
|
assert_eq!(actor_root("/actor/brain"), Some("brain"));
|
||||||
|
assert_eq!(actor_root("/actor/brain/fs"), None);
|
||||||
|
assert!(declares_actor_fs("//! brain\n//! Actor-served files include fs_read.\nfn main() {}"));
|
||||||
|
assert!(!declares_actor_fs("//! actor without fs support\nfn main() {}"));
|
||||||
|
}
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
fn base64_round_trip() {
|
fn base64_round_trip() {
|
||||||
for s in ["", "a", "ab", "abc", "abcd", "\u{0}\u{ff}binary"] {
|
for s in ["", "a", "ab", "abc", "abcd", "\u{0}\u{ff}binary"] {
|
||||||
|
|||||||
+4
-1
@@ -5,7 +5,7 @@
|
|||||||
//! <world>/
|
//! <world>/
|
||||||
//! actor/<id>/
|
//! actor/<id>/
|
||||||
//! actor.wasm the current version
|
//! actor.wasm the current version
|
||||||
//! actor.json version, running, subscriptions (broker)
|
//! actor.json version, running, subscriptions, tapped (broker)
|
||||||
//! source/ source of the current version
|
//! source/ source of the current version
|
||||||
//! public/ written by the actor, read-only for others
|
//! public/ written by the actor, read-only for others
|
||||||
//! data/ state, writable only by the actor
|
//! data/ state, writable only by the actor
|
||||||
@@ -43,6 +43,9 @@ pub struct ActorMeta {
|
|||||||
/// The actors whose published messages this actor receives.
|
/// The actors whose published messages this actor receives.
|
||||||
#[serde(default)]
|
#[serde(default)]
|
||||||
pub subscriptions: BTreeSet<String>,
|
pub subscriptions: BTreeSet<String>,
|
||||||
|
/// Whether this actor gets a copy of every routed message (`tap`).
|
||||||
|
#[serde(default)]
|
||||||
|
pub tapped: bool,
|
||||||
}
|
}
|
||||||
|
|
||||||
fn yes() -> bool {
|
fn yes() -> bool {
|
||||||
|
|||||||
@@ -0,0 +1,41 @@
|
|||||||
|
//! Tests of the `sausage` command line.
|
||||||
|
|
||||||
|
use std::path::PathBuf;
|
||||||
|
use std::process::{Command, Stdio};
|
||||||
|
use std::time::{SystemTime, UNIX_EPOCH};
|
||||||
|
|
||||||
|
fn empty_dir(label: &str) -> PathBuf {
|
||||||
|
let nonce = SystemTime::now().duration_since(UNIX_EPOCH).unwrap().as_nanos();
|
||||||
|
let dir = PathBuf::from(env!("CARGO_MANIFEST_DIR"))
|
||||||
|
.parent()
|
||||||
|
.unwrap()
|
||||||
|
.join("target/test-cli")
|
||||||
|
.join(format!("{label}-{}-{nonce}", std::process::id()));
|
||||||
|
std::fs::create_dir_all(&dir).unwrap();
|
||||||
|
dir
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Bare `sausage` (as in `nix run <flake>`) without a world starts `init`
|
||||||
|
/// for ./world instead of printing a usage error.
|
||||||
|
#[test]
|
||||||
|
fn bare_command_without_a_world_starts_init() {
|
||||||
|
let dir = empty_dir("bare");
|
||||||
|
let output = Command::new(env!("CARGO_BIN_EXE_sausage"))
|
||||||
|
.current_dir(&dir)
|
||||||
|
.env_remove("SAUSAGE_API")
|
||||||
|
.env_remove("SAUSAGE_BASE_URL")
|
||||||
|
.env_remove("SAUSAGE_MODEL")
|
||||||
|
.env_remove("SAUSAGE_API_TOKEN")
|
||||||
|
.stdin(Stdio::null())
|
||||||
|
.output()
|
||||||
|
.unwrap();
|
||||||
|
let stdout = String::from_utf8_lossy(&output.stdout);
|
||||||
|
let stderr = String::from_utf8_lossy(&output.stderr);
|
||||||
|
// With no answers on stdin, init stops at the first required value.
|
||||||
|
assert!(!output.status.success(), "stdout:\n{stdout}\nstderr:\n{stderr}");
|
||||||
|
assert!(stdout.contains("No world in ./world yet"), "stdout:\n{stdout}\nstderr:\n{stderr}");
|
||||||
|
assert!(stderr.contains("SAUSAGE_BASE_URL"), "stdout:\n{stdout}\nstderr:\n{stderr}");
|
||||||
|
assert!(!stderr.contains("Usage:"), "stderr:\n{stderr}");
|
||||||
|
// It asks before it creates anything.
|
||||||
|
assert!(!dir.join("world").exists());
|
||||||
|
}
|
||||||
@@ -246,6 +246,71 @@ async fn actors_serve_files_under_fs() {
|
|||||||
host.stop().await;
|
host.stop().await;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[tokio::test]
|
||||||
|
async fn actor_fs_is_discoverable_only_when_its_source_docs_advertise_it() {
|
||||||
|
let world = create_world("actor-fs-discovery");
|
||||||
|
let wasm = toolbox_wasm().clone();
|
||||||
|
let (host, mut mailbox) = start(&world).await;
|
||||||
|
|
||||||
|
let advertised = passing_source(&world, "advertised-fs");
|
||||||
|
std::fs::create_dir_all(advertised.join("src")).unwrap();
|
||||||
|
std::fs::write(
|
||||||
|
advertised.join("src/main.rs"),
|
||||||
|
"//! test actor\n//! Actor-served files: implements fs_read and fs_dir.\n",
|
||||||
|
)
|
||||||
|
.unwrap();
|
||||||
|
spawn_type(&host, &mut mailbox, "served", &wasm, &advertised).await;
|
||||||
|
|
||||||
|
let undocumented = passing_source(&world, "undocumented-fs");
|
||||||
|
std::fs::create_dir_all(undocumented.join("src")).unwrap();
|
||||||
|
std::fs::write(undocumented.join("src/main.rs"), "//! test actor without a virtual filesystem\n").unwrap();
|
||||||
|
spawn_type(&host, &mut mailbox, "plain", &wasm, &undocumented).await;
|
||||||
|
|
||||||
|
let reader_source = passing_source(&world, "fs-reader");
|
||||||
|
spawn_type(&host, &mut mailbox, "reader", &wasm, &reader_source).await;
|
||||||
|
|
||||||
|
let served_entries = ask_type(
|
||||||
|
&host,
|
||||||
|
&mut mailbox,
|
||||||
|
"reader",
|
||||||
|
json!({"type": "list", "path": "/actor/served"}),
|
||||||
|
"entries",
|
||||||
|
)
|
||||||
|
.await;
|
||||||
|
assert!(served_entries.body["names"].as_array().unwrap().iter().any(|name| name.as_str() == Some("fs")));
|
||||||
|
|
||||||
|
let plain_entries = ask_type(
|
||||||
|
&host,
|
||||||
|
&mut mailbox,
|
||||||
|
"reader",
|
||||||
|
json!({"type": "list", "path": "/actor/plain"}),
|
||||||
|
"entries",
|
||||||
|
)
|
||||||
|
.await;
|
||||||
|
assert!(!plain_entries.body["names"].as_array().unwrap().iter().any(|name| name.as_str() == Some("fs")));
|
||||||
|
|
||||||
|
let path = "/actor/served/fs/readme.txt";
|
||||||
|
ask_type(
|
||||||
|
&host,
|
||||||
|
&mut mailbox,
|
||||||
|
"reader",
|
||||||
|
json!({"type": "write", "path": path, "text": "virtual document"}),
|
||||||
|
"ok",
|
||||||
|
)
|
||||||
|
.await;
|
||||||
|
let document = ask_type(
|
||||||
|
&host,
|
||||||
|
&mut mailbox,
|
||||||
|
"reader",
|
||||||
|
json!({"type": "read", "path": path}),
|
||||||
|
"content",
|
||||||
|
)
|
||||||
|
.await;
|
||||||
|
assert_eq!(document.body["text"], "virtual document");
|
||||||
|
|
||||||
|
host.stop().await;
|
||||||
|
}
|
||||||
|
|
||||||
#[tokio::test]
|
#[tokio::test]
|
||||||
async fn files_are_plain_posix_files() {
|
async fn files_are_plain_posix_files() {
|
||||||
let (_, host, mut mailbox) = filesystem_world("posix").await;
|
let (_, host, mut mailbox) = filesystem_world("posix").await;
|
||||||
@@ -494,6 +559,62 @@ async fn explicit_rollback_keeps_current_data() {
|
|||||||
host.stop().await;
|
host.stop().await;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[tokio::test]
|
||||||
|
async fn remove_shuts_an_actor_down_and_deletes_its_folder() {
|
||||||
|
let world = create_world("remove");
|
||||||
|
let wasm = toolbox_wasm().clone();
|
||||||
|
let (host, mut mailbox) = start(&world).await;
|
||||||
|
let source = passing_source(&world, "source");
|
||||||
|
spawn_type(&host, &mut mailbox, "doomed", &wasm, &source).await;
|
||||||
|
let write = json!({"type": "write", "path": "/data/state", "text": "x"});
|
||||||
|
ask_type(&host, &mut mailbox, "doomed", write, "ok").await;
|
||||||
|
ask_type(&host, &mut mailbox, "doomed", json!({"type": "arm-shutdown"}), "armed").await;
|
||||||
|
|
||||||
|
// Normal shutdown: the actor gets "shutdown" and its last message is routed.
|
||||||
|
let id = host.broker.send("console", Some("broker"), None, None, json!({"type": "remove", "actor": "doomed"}));
|
||||||
|
let (mut removed, mut last_words) = (false, false);
|
||||||
|
tokio::time::timeout(Duration::from_secs(10), async {
|
||||||
|
while !removed || !last_words {
|
||||||
|
let message = mailbox.recv().await.expect("console mailbox closed");
|
||||||
|
if message.reply_to.as_deref() == Some(id.as_str()) {
|
||||||
|
assert_eq!(message.body, json!({"type": "removed", "actor": "doomed"}));
|
||||||
|
removed = true;
|
||||||
|
} else if message.reply_to.as_deref() == Some("broker/shutdown") {
|
||||||
|
assert_eq!(message.body["type"], "shutdown-reply");
|
||||||
|
last_words = true;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
})
|
||||||
|
.await
|
||||||
|
.expect("remove did not answer or did not shut the actor down");
|
||||||
|
assert!(!world.actor_dir("doomed").exists());
|
||||||
|
|
||||||
|
let gone = ask(&host, &mut mailbox, "doomed", json!({"type": "echo", "value": "hi"})).await;
|
||||||
|
assert_eq!(gone.body["type"], "undeliverable");
|
||||||
|
let again = request(&host, &mut mailbox, json!({"type": "remove", "actor": "doomed"})).await;
|
||||||
|
assert_eq!(again.body["type"], "error");
|
||||||
|
let broker = request(&host, &mut mailbox, json!({"type": "remove", "actor": "broker"})).await;
|
||||||
|
assert_eq!(broker.body["type"], "error");
|
||||||
|
assert!(world.actor_dir("broker").exists());
|
||||||
|
|
||||||
|
// The ID is free again: a new spawn starts at version 1 with empty data.
|
||||||
|
assert_eq!(spawn_type(&host, &mut mailbox, "doomed", &wasm, &source).await.body["version"], 1);
|
||||||
|
let read = json!({"type": "read", "path": "/data/state"});
|
||||||
|
ask_type(&host, &mut mailbox, "doomed", read, "error").await;
|
||||||
|
host.stop().await;
|
||||||
|
}
|
||||||
|
|
||||||
|
#[tokio::test]
|
||||||
|
async fn unknown_broker_request_lists_the_known_ones() {
|
||||||
|
let world = create_world("unknown-request");
|
||||||
|
let (host, mut mailbox) = start(&world).await;
|
||||||
|
let unknown = request(&host, &mut mailbox, json!({"type": "frobnicate"})).await;
|
||||||
|
assert_eq!(unknown.body["type"], "error");
|
||||||
|
let reason = unknown.body["reason"].as_str().unwrap();
|
||||||
|
assert!(reason.contains("remove") && reason.contains("tap"), "{reason}");
|
||||||
|
host.stop().await;
|
||||||
|
}
|
||||||
|
|
||||||
#[tokio::test]
|
#[tokio::test]
|
||||||
async fn cargo_actor_builds_valid_crates_and_reports_compiler_errors() {
|
async fn cargo_actor_builds_valid_crates_and_reports_compiler_errors() {
|
||||||
let world = create_world("cargo-actor");
|
let world = create_world("cargo-actor");
|
||||||
@@ -742,3 +863,114 @@ async fn running_actors_have_sockets_and_candidates_do_not() {
|
|||||||
assert_eq!(answer.body, json!({"type": "tcp", "line": "echo: hi"}));
|
assert_eq!(answer.body, json!({"type": "tcp", "line": "echo: hi"}));
|
||||||
host.stop().await;
|
host.stop().await;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Every message that arrives until the mailbox is quiet for `quiet`.
|
||||||
|
async fn drain(mailbox: &mut mpsc::Receiver<Envelope>, quiet: Duration) -> Vec<Envelope> {
|
||||||
|
let mut messages = Vec::new();
|
||||||
|
while let Ok(Some(message)) = tokio::time::timeout(quiet, mailbox.recv()).await {
|
||||||
|
messages.push(message);
|
||||||
|
}
|
||||||
|
messages
|
||||||
|
}
|
||||||
|
|
||||||
|
#[tokio::test]
|
||||||
|
async fn tap_copies_every_routed_message_once() {
|
||||||
|
let world = create_world("tap");
|
||||||
|
let wasm = toolbox_wasm().clone();
|
||||||
|
let (host, mut mailbox) = start(&world).await;
|
||||||
|
let source = passing_source(&world, "source");
|
||||||
|
spawn_type(&host, &mut mailbox, "tapped", &wasm, &source).await;
|
||||||
|
let subscribe = json!({"type": "subscribe", "actor": "tapped"});
|
||||||
|
assert_eq!(request(&host, &mut mailbox, subscribe).await.body["type"], "subscribed");
|
||||||
|
assert_eq!(request(&host, &mut mailbox, json!({"type": "tap"})).await.body["type"], "tapping");
|
||||||
|
|
||||||
|
let echo = json!({"type": "echo", "value": "hi"});
|
||||||
|
let echo_id = host.broker.send("console", Some("tapped"), None, None, echo.clone());
|
||||||
|
let publish = json!({"type": "publish", "value": "news"});
|
||||||
|
host.broker.send("console", Some("tapped"), None, None, publish);
|
||||||
|
let messages = drain(&mut mailbox, Duration::from_secs(2)).await;
|
||||||
|
let copies: Vec<&Value> = messages
|
||||||
|
.iter()
|
||||||
|
.filter(|m| m.from == "broker" && m.body["type"] == "tapped")
|
||||||
|
.map(|m| &m.body)
|
||||||
|
.collect();
|
||||||
|
// 4 copies (2 requests, 1 reply, 1 publish) + the reply + the publish itself.
|
||||||
|
assert_eq!((copies.len(), messages.len()), (4, 6), "{messages:?}");
|
||||||
|
for copy in &copies {
|
||||||
|
assert!(copy["ts"].as_u64().unwrap() > 0, "{copy}");
|
||||||
|
}
|
||||||
|
let count = |want: Value| copies.iter().filter(|c| c["message"] == want).count();
|
||||||
|
let request_copy = json!({"id": echo_id, "from": "console", "to": "tapped", "reply_to": null, "body": echo});
|
||||||
|
assert_eq!(count(request_copy), 1, "{copies:?}");
|
||||||
|
let reply_copies = copies
|
||||||
|
.iter()
|
||||||
|
.filter(|c| c["message"]["reply_to"] == echo_id.as_str() && c["message"]["from"] == "tapped" && c["message"]["to"] == "console")
|
||||||
|
.count();
|
||||||
|
assert_eq!(reply_copies, 1, "{copies:?}");
|
||||||
|
let publish_copy = copies.iter().find(|c| c["message"]["body"]["type"] == "published").expect("publish not tapped");
|
||||||
|
assert_eq!(publish_copy["message"]["from"], "tapped");
|
||||||
|
assert_eq!(publish_copy["message"]["to"], Value::Null);
|
||||||
|
|
||||||
|
assert_eq!(request(&host, &mut mailbox, json!({"type": "untap"})).await.body["type"], "untapped");
|
||||||
|
let echo_id = host.broker.send("console", Some("tapped"), None, None, json!({"type": "echo", "value": "quiet"}));
|
||||||
|
let messages = drain(&mut mailbox, Duration::from_secs(1)).await;
|
||||||
|
assert_eq!(messages.len(), 1, "{messages:?}");
|
||||||
|
assert_eq!(messages[0].reply_to.as_deref(), Some(echo_id.as_str()));
|
||||||
|
host.stop().await;
|
||||||
|
}
|
||||||
|
|
||||||
|
#[tokio::test]
|
||||||
|
async fn tap_survives_a_restart() {
|
||||||
|
let world = create_world("tap-restart");
|
||||||
|
let (host, mut mailbox) = start(&world).await;
|
||||||
|
assert_eq!(request(&host, &mut mailbox, json!({"type": "tap"})).await.body["type"], "tapping");
|
||||||
|
host.stop().await;
|
||||||
|
assert!(world.read_meta("console").tapped);
|
||||||
|
|
||||||
|
let (host, mut mailbox) = start(&world).await;
|
||||||
|
let id = host.broker.send("console", Some("nobody"), None, None, json!({"type": "hello"}));
|
||||||
|
let copy = tokio::time::timeout(Duration::from_secs(10), async {
|
||||||
|
loop {
|
||||||
|
let m = mailbox.recv().await.expect("console mailbox closed");
|
||||||
|
if m.body["type"] == "tapped" && m.body["message"]["id"] == id.as_str() {
|
||||||
|
return m;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
})
|
||||||
|
.await
|
||||||
|
.expect("no tapped copy after the restart");
|
||||||
|
assert_eq!(copy.body["message"]["to"], "nobody");
|
||||||
|
host.stop().await;
|
||||||
|
}
|
||||||
|
|
||||||
|
#[tokio::test]
|
||||||
|
async fn a_full_tapper_mailbox_drops_copies_without_blocking() {
|
||||||
|
let world = create_world("tap-full");
|
||||||
|
let (host, mut mailbox) = start(&world).await;
|
||||||
|
// "ghost" taps and never reads its mailbox.
|
||||||
|
let mut ghost = host.mailbox("ghost");
|
||||||
|
let mut sink = host.mailbox("sink");
|
||||||
|
host.broker.send("ghost", Some("broker"), None, None, json!({"type": "tap"}));
|
||||||
|
tokio::time::timeout(Duration::from_secs(10), async {
|
||||||
|
while !world.read_meta("ghost").tapped {
|
||||||
|
tokio::time::sleep(Duration::from_millis(10)).await;
|
||||||
|
}
|
||||||
|
})
|
||||||
|
.await
|
||||||
|
.expect("tap was not saved");
|
||||||
|
|
||||||
|
let total = sausage::broker::MAILBOX_SIZE + 500;
|
||||||
|
for n in 0..total {
|
||||||
|
host.broker.send("console", Some("sink"), None, None, json!({"type": "n", "n": n}));
|
||||||
|
assert_eq!(sink.try_recv().unwrap().body["n"], n);
|
||||||
|
}
|
||||||
|
assert!(mailbox.try_recv().is_err(), "a dropped copy reported something to the sender");
|
||||||
|
let mut held = 0;
|
||||||
|
while ghost.try_recv().is_ok() {
|
||||||
|
held += 1;
|
||||||
|
}
|
||||||
|
assert_eq!(held, sausage::broker::MAILBOX_SIZE);
|
||||||
|
host.broker.send("console", Some("sink"), None, None, json!({"type": "after"}));
|
||||||
|
assert_eq!(ghost.try_recv().unwrap().body["type"], "tapped");
|
||||||
|
host.stop().await;
|
||||||
|
}
|
||||||
|
|||||||
@@ -36,18 +36,19 @@
|
|||||||
meta.mainProgram = "sausage";
|
meta.mainProgram = "sausage";
|
||||||
};
|
};
|
||||||
# `nix run .#loop -- <world>` runs the newest `sausage run <world>`
|
# `nix run .#loop -- <world>` runs the newest `sausage run <world>`
|
||||||
# from the Gitea repo, again and again: after a crash or a broker
|
# (without a folder: bare `sausage`, i.e. ./world, created if needed)
|
||||||
|
# from the public repo, again and again: after a crash or a broker
|
||||||
# `exit` request it refreshes the flake and starts the host again,
|
# `exit` request it refreshes the flake and starts the host again,
|
||||||
# so the world updates itself. `/quit` (exit code 0) ends the loop.
|
# so the world updates itself. `/quit` (exit code 0) ends the loop.
|
||||||
# `--internal` (or `.#loop-internal`) uses Gitea's SSH port on the LAN.
|
# SAUSAGE_FLAKE overrides where it fetches from (any flake URL,
|
||||||
publicUrl = "git+ssh://containeruser@gitea.surma.technology:2222/surma/sausage";
|
# e.g. a fork or a local checkout).
|
||||||
internalUrl = "git+ssh://containeruser@10.0.0.2:2222/surma/sausage";
|
repoUrl = "git+https://gitea.surma.technology/surma/sausage";
|
||||||
loop = name: url: pkgs.writeShellScriptBin name ''
|
loop = pkgs.writeShellScriptBin "sausage-loop" ''
|
||||||
url="${url}"
|
url="''${SAUSAGE_FLAKE:-${repoUrl}}"
|
||||||
if [ "''${1:-}" = "--internal" ]; then url="${internalUrl}"; shift; fi
|
# No folder: bare `sausage` (creates ./world first if needed).
|
||||||
if [ $# -eq 0 ]; then set -- world; fi
|
if [ $# -gt 0 ]; then set -- run "$@"; fi
|
||||||
while true; do
|
while true; do
|
||||||
nix run --refresh "$url#default" -- run "$@"
|
nix run --refresh "$url#default" -- "$@"
|
||||||
code=$?
|
code=$?
|
||||||
if [ "$code" -eq 0 ]; then exit 0; fi
|
if [ "$code" -eq 0 ]; then exit 0; fi
|
||||||
echo "sausage-loop: sausage exited with $code, starting the newest version in 2 s …" >&2
|
echo "sausage-loop: sausage exited with $code, starting the newest version in 2 s …" >&2
|
||||||
@@ -72,8 +73,7 @@
|
|||||||
});
|
});
|
||||||
|
|
||||||
apps.default = { type = "app"; program = "${sausage}/bin/sausage"; };
|
apps.default = { type = "app"; program = "${sausage}/bin/sausage"; };
|
||||||
apps.loop = { type = "app"; program = "${loop "sausage-loop" publicUrl}/bin/sausage-loop"; };
|
apps.loop = { type = "app"; program = "${loop}/bin/sausage-loop"; };
|
||||||
apps.loop-internal = { type = "app"; program = "${loop "sausage-loop-internal" internalUrl}/bin/sausage-loop-internal"; };
|
|
||||||
|
|
||||||
devShells.default = pkgs.mkShell {
|
devShells.default = pkgs.mkShell {
|
||||||
packages = [ rust pkgs.wasmtime pkgs.wasm-tools ];
|
packages = [ rust pkgs.wasmtime pkgs.wasm-tools ];
|
||||||
|
|||||||
Reference in New Issue
Block a user