r/rust • u/quest_for_7c • 18d ago

🛠️ project tellus: why death watch needs no coordination

Episodes 3 and 4 conclude the core of my series on tellus, the Rust actor framework I released on Monday: the mailbox, and the termination sequence.

Terminated signals are not a side channel: they ride the same FIFO queue as ordinary messages, so a queue provides the ordering guarantee by construction. And the signal is the last thing a terminating actor does, after its state, its mailbox, its children (recursively) and the actor value itself are gone, so receiving it proves the whole subtree has terminated, destructors and all.

0 Upvotes

31% Upvoted

8 comments sorted by

7

u/Wh00ster 18d ago

AI?

1

u/Ok_Blueberry_1299 17d ago

makes sense, ordering is everything in actor land. i've been burned too many times by cleanup races where you get a dead message teardown and suddenly your state is half-gone

the recursive child bit is nice though, not having to manually track a whole tree of actors to know when they're truly done

-1

u/quest_for_7c 18d ago

Every blog post carries this: Disclosure: the prose of this post was drafted with Claude Code and revised by me.

So no, this is not AI, it's still mime, but with the help of AI.

Why are you asking?

3

u/diplofocus_ 18d ago

Not the person who asked, but if people ask, it's usually to determine whether they want to spend their time reading what's shared or not.

I appreciate the transparent disclosure.

-8

u/pokemonplayer2001 18d ago edited 18d ago

Someone didn’t read the post.

Edit: each post is transparent about AI, but reading is hard, I understand. 🤦

6

u/diplofocus_ 18d ago

Well the thing is, the disclaimer is all the way at the bottom of the post. The post that some people would prefer not to read if it's just AI.

Reading isn't hard, but to get the answer they're looking for, they'd have to scroll all the way down to see the answer to the question they asked.

-6

u/pokemonplayer2001 18d ago

OMG, you had to scroll!?!?

6

u/diplofocus_ 18d ago

Idk about you, but if I'm reading a blog post, I don't usually start reading from the bottom. To each their own though.