#signal #scope #reactive #run-time #value #subscriber #docs

reactive-signals

reactive-signals is a dx-first scope-based fine-grained reactive system

4 releases

0.1.0-alpha.4 Apr 5, 2023

#1148 in Data structures

MIT license

160KB
4K SLoC

reactive-signals

FOR WORKING DOC LINKS, READ THIS AT DOCS.RS

reactive-signals is a dx-first scope-based fine-grained reactive system. It is based on the excellent ideas in leptos_reactive but is written from scratch to provide the simplest API and mental model possible for developers.

This documentation assumes that you know Leptos and are familiar with the concepts of reactivity.

  • TBD (to be done) means that the feature will be added in the future.
  • TBC (to be confirmed) means that it is a possible future addition

Note: This project is not yet ready for use! It needs a full test coverage first.

Features

  • Slim and powerful API surface. Essentially: Scope, Signal, signal!.
  • Developer experience: You create reactive signals and they update automatically in a predictable manner. There's not much more to know.
  • Memory and performance overhead that is so low that a developer doesn't need to worry about it.
  • An easy-to-use [signal!] macro for creating all kinds of signals including data and functional signals, server-side and client-side signals etc.
  • [Signal]s produce a reactive value, for data signals, it's the inner data and for functional signals, it's the value produced by the function. Subscribers are notified when the value is updated, or for a value that implements [PartialEq], when it is changed.
  • Type-safe attached data to scopes. See the [Scope] doc.TBD
  • 4 times less memory overhead and 3.5 times faster (worst case) than leptos_reactive. See Benchmarks below.
  • Push-pull updates: Guarantees that the nodes are only updated once and only if necessary. See the end of the reactively readme for more information.TBC
  • Tokio tracing compatibility.TBC
  • async signals with runtimes using a custom async runtime when running in a web browser and tokio when running in a server. See the [signal!] doc.TBC
  • Mirror the leptos_reactive API with deprecations that give instructions on how to upgrade to give a smooth upgrade experience. If there's interest, of course.TBC
  • Production-class test-coverage.TBC
  • See Evolutions for more possible features.

Examples

See the examples in Scope, Signal, signal!.

Cargo features

  • unsafe-cell: Internally, the reactive-signals use RefCell for interior mutability. Once reactive-signals is mature and if your app is well tested, then UnsafeCell can be used, resulting in a performance improvement of around 40% and a reduction in memory use by some 20%.

Evolutions

  • Timetravel. Due to how reactive-signals is structured it is possible to create state snapshots that can be used to create a real-time visualization of the signals, grouped by their scope with edges between connected signals. Each outside action or event would trigger a new state snapshot. A state snapshot would be visualized by highlighting the triggering signal and all its dependencies recursively. When the signal's value implements Debug or Display it can be used to visualize its content.
  • Polled signals. Option to register signals for polling so that a runtime vec will contain all changed signals since the last polling. This could be used to group DOM updates into one update per frame avoiding the overhead of many small and costly calls out of the WASM. The usefulness of it for Leptos would need to be investigated.
  • Remote shim (speculative). Everything that goes in or out of a WASM is converted between Rust and JS data. It should be possible to put a shim in that serializes it to a remote app. Why do such a thing? It would help to make full hot-reloading possible and to apply various tricks for greatly speeding up the compile times.

Benchmarks

Measurements have been rounded for ease of reading and reasoning. They measure ScopeInner and SignalInner (not part of public API) which are where the data is stored as Scope and Signal only has index (integer) data

Performance

These measurements have been produced using criterion by measuring on 1000 instances and calculating the time for one. It has been measured on a Macbook M1.

What Time With unsafe-cell
Create a ScopeInner 10 ns 8 ns
Create a SignalInner 55 ns 50 ns
Notify a subscriber 25 ns 15 ns

The leptos_reactive profiling example "Leptos create 1000 signals" measures 245 µs. The same measures 70 µs using reactive-signals. That makes for a 3.5 times improvement.

Memory use

These measurements has been produced using dhat by creating 1000 instances and calculating the size of one.

What Heap use With unsafe-cell
ScopeInner 40 bytes 32 bytes
SignalInner 80 bytes 70 bytes
Subscription* 8 bytes 12 bytes

* The memory use for each signal subscription.

In leptos_reactive, 1000 signals and one memo uses 400kb and in reactive-signals creating 1000 function signals each with a subscription uses 100kb. In other words, reactive-signals use 4 times less memory than leptos_reactive

Please see the benches, examples and tests for full details.

A personal note & the future of reactive-signals

I have spent a lot of time on reactive-signals which have been entirely self-funded. Unfortunately, I cannot continue like that (I would love to, though!).

The future of reactive-signals depends on you and if you want to fund the features listed with a TBC.

I have created a fundraiser for it.

I'm open to any type of freelance contract work that would allow me to continue developing and maintaining the open-source projects I have and plan to do. See my services.

See my other open-source projects.

Feel free to reach out if you are interested!

Dependencies

~0–13MB
~155K SLoC