A Sans I/O WebRTC implementation in Rust.
This is a Sans I/O implementation meaning the Rtc instance itself is not doing any network
talking. Furthermore it has no internal threads or async tasks. All operations are happening from the
calls of the public API.
This is deliberately not a standard RTCPeerConnection API since that isn't a great fit for Rust.
See more details in below section.
We are discussing str0m things on Zulip. Join us using this invitation link. Or browse the discussions anonymously at str0m.zulipchat.com
The chat example shows how to connect multiple browsers
together and act as an SFU (Selective Forwarding Unit). The example
multiplexes all traffic over one server UDP socket and uses two threads
(one for the web server, and one for the SFU loop).
For the browser to do WebRTC, all traffic must be under TLS. The
project ships with a self-signed certificate that is used for the
examples. The certificate is for hostname str0m.test since TLD .test
should never resolve to a real DNS name.
cargo run --example chat
The log should prompt you to connect a browser to https://10.0.0.103:3000 – this will most likely cause a security warning that you must get the browser to accept.
The http-post example roughly illustrates how to receive
media data from a browser client. The example is single threaded and
is a bit simpler than the chat. It is a good starting point to understand the API.
cargo run --example http-post
To see how str0m is used in a real project, check out BitWHIP – a CLI WebRTC Agent written in Rust.
For passive connections, i.e. where the media and initial OFFER is made by a remote peer, we need these steps to open the connection.
// Instantiate a new Rtc instance.
let mut rtc = Rtc::new();
// Add some ICE candidate such as a locally bound UDP port.
let addr = "1.2.3.4:5000".parse().unwrap();
let candidate = Candidate::host(addr, "udp").unwrap();
rtc.add_local_candidate(candidate);
// Accept an incoming offer from the remote peer
// and get the corresponding answer.
let offer = todo!();
let answer = rtc.sdp_api().accept_offer(offer).unwrap();
// Forward the answer to the remote peer.
// Go to _run loop_Active connections means we are making the inital OFFER and waiting for a remote ANSWER to start the connection.
// Instantiate a new Rtc instance.
let mut rtc = Rtc::new();
// Add some ICE candidate such as a locally bound UDP port.
let addr = "1.2.3.4:5000".parse().unwrap();
let candidate = Candidate::host(addr, "udp").unwrap();
rtc.add_local_candidate(candidate);
// Create a `SdpApi`. The change lets us make multiple changes
// before sending the offer.
let mut change = rtc.sdp_api();
// Do some change. A valid OFFER needs at least one "m-line" (media).
let mid = change.add_media(MediaKind::Audio, Direction::SendRecv, None, None);
// Get the offer.
let (offer, pending) = change.apply().unwrap();
// Forward the offer to the remote peer and await the answer.
// How to transfer this is outside the scope for this library.
let answer = todo!();
// Apply answer.
rtc.sdp_api().accept_answer(pending, answer).unwrap();
// Go to _run loop_Driving the state of the Rtc forward is a run loop that, regardless of sync or async,
looks like this.
// Buffer for reading incoming UDP packets.
let mut buf = vec![0; 2000];
// A UdpSocket we obtained _somehow_.
let socket: UdpSocket = todo!();
loop {
// Poll output until we get a timeout. The timeout means we
// are either awaiting UDP socket input or the timeout to happen.
let timeout = match rtc.poll_output().unwrap() {
// Stop polling when we get the timeout.
Output::Timeout(v) => v,
// Transmit this data to the remote peer. Typically via
// a UDP socket. The destination IP comes from the ICE
// agent. It might change during the session.
Output::Transmit(v) => {
socket.send_to(&v.contents, v.destination).unwrap();
continue;
}
// Events are mainly incoming media data from the remote
// peer, but also data channel data and statistics.
Output::Event(v) => {
// Abort if we disconnect.
if v == Event::IceConnectionStateChange(IceConnectionState::Disconnected) {
return;
}
// TODO: handle more cases of v here, such as incoming media data.
continue;
}
};
// Duration until timeout.
let duration = timeout - Instant::now();
// socket.set_read_timeout(Some(0)) is not ok
if duration.is_zero() {
// Drive time forwards in rtc straight away.
rtc.handle_input(Input::Timeout(Instant::now())).unwrap();
continue;
}
socket.set_read_timeout(Some(duration)).unwrap();
// Scale up buffer to receive an entire UDP packet.
buf.resize(2000, 0);
// Try to receive. Because we have a timeout on the socket,
// we will either receive a packet, or timeout.
// This is where having an async loop shines. We can await multiple things to
// happen such as outgoing media data, the timeout and incoming network traffic.
// When using async there is no need to set timeout on the socket.
let input = match socket.recv_from(&mut buf) {
Ok((n, source)) => {
// UDP data received.
buf.truncate(n);
Input::Receive(
Instant::now(),
Receive {
proto: Protocol::Udp,
source,
destination: socket.local_addr().unwrap(),
contents: buf.as_slice().try_into().unwrap(),
},
)
}
Err(e) => match e.kind() {
// Expected error for set_read_timeout().
// One for windows, one for the rest.
ErrorKind::WouldBlock
| ErrorKind::TimedOut => Input::Timeout(Instant::now()),
e => {
eprintln!("Error: {:?}", e);
return; // abort
}
},
};
// Input is either a Timeout or Receive of data. Both drive the state forward.
rtc.handle_input(input).unwrap();
}When creating the media, we can decide which codecs to support, and they are negotiated with the remote side. Each codec corresponds to a "payload type" (PT). To send media data we need to figure out which PT to use when sending.
// Obtain mid from Event::MediaAdded
let mid: Mid = todo!();
// Create a media writer for the mid.
let writer = rtc.writer(mid).unwrap();
// Get the payload type (pt) for the wanted codec.
let pt = writer.payload_params().nth(0).unwrap().pt();
// Write the data
let wallclock = todo!(); // Absolute time of the data
let media_time = todo!(); // Media time, in RTP time
let data: &[u8] = todo!(); // Actual data
writer.write(pt, wallclock, media_time, data).unwrap();str0m has three main concepts of time. "now", media time and wallclock.
Some calls in str0m, such as Rtc::handle_input takes a now argument
that is a std::time::Instant. These calls "drive the time forward" in
the internal state. This is used for everything like deciding when
to produce various feedback reports (RTCP) to remote peers, to
bandwidth estimation (BWE) and statistics.
Str0m has no internal clock calls. I.e. str0m never calls
Instant::now() itself. All time is external input. That means it's
possible to construct test cases driving an Rtc instance faster
than realtime (see the integration tests).
Each RTP header has a 32 bit number that str0m calls media time. Media time is in some time base that is dependent on the codec, however all codecs in str0m use 90_000Hz for video and 48_000Hz for audio.
For video the MediaTime type is <timestamp>/90_000 str0m extends
the 32 bit number in the RTP header to 64 bit taking into account
"rollover". 64 bit is such a large number the user doesn't need to
think about rollovers.
With wallclock str0m means the time a sample of media was produced at an originating source. I.e. if we are talking into a microphone the wallclock is the NTP time the sound is sampled.
We can't know the exact wallclock for media from a remote peer since not every device is synchronized with NTP. Every sender does periodically produce a Sender Report (SR) that contains the peer's idea of its wallclock, however this number can be very wrong compared to "real" NTP time.
Furthermore, not all remote devices will have a linear idea of time passing that exactly matches the local time. A minute on the remote peer might not be exactly one minute locally.
These timestamps become important when handling simultaneous audio from multiple peers.
When writing media we need to provide str0m with an estimated wallclock.
The simplest strategy is to only trust local time and use arrival time
of the incoming UDP packet. Another simple strategy is to lock some
time T at the first UDP packet, and then offset each wallclock using
MediaTime, i.e. for video we could have T + <media time>/90_000
A production worthy SFU probably needs an even more sophisticated strategy weighing in all possible time sources to get a good estimate of the remote wallclock for a packet.
Str0m was originally developed by Martin Algesten of Lookback. We use str0m for a specific use case: str0m as a server SFU (as opposed to peer-2-peer). That means we are heavily testing and developing the parts needed for our use case. Str0m is intended to be an all-purpose WebRTC library, which means it also works for peer-2-peer, though that aspect has received less testing.
Performance is very good, there have been some work the discover and optimize bottlenecks. Such efforts are of course never ending with diminishing returns. While there are no glaringly obvious performance bottlenecks, more work is always welcome – both algorithmically and allocation/cloning in hot paths etc.
Output from the Rtc instance can be grouped into three kinds.
- Events (such as receiving media or data channel data).
- Network output. Data to be sent, typically from a UDP socket.
- Timeouts. Indicates when the instance next expects a time input.
Input to the Rtc instance is:
- User operations (such as sending media or data channel data).
- Network input. Typically read from a UDP socket.
- Timeouts. As obtained from the output above.
The correct use can be seen in the above Run loop or in the examples.
Sans I/O is a pattern where we turn both network input/output as well as time passing into external input to the API. This means str0m has no internal threads, just an enormous state machine that is driven forward by different kinds of input.
Str0m defaults to the "sample level" which treats the RTP as an internal detail. The user will thus mainly interact with:
Event::MediaDatato receive full "samples" (audio frames or video frames).Writer::writeto write full samples.Writer::request_keyframeto request keyframes.
All codecs such as h264, vp8, vp9 and opus outputs what we call "Samples". A sample has a very specific meaning for audio, but this project uses it in a broader sense, where a sample is either a video or audio time stamped chunk of encoded data that typically represents a chunk of audio, or one single frame for video.
Samples are not suitable to use directly in UDP (RTP) packets - for one they are too big. Samples are therefore further chunked up by codec specific payloaders into RTP packets.
Str0m also provides an RTP level API. This would be similar to many other RTP libraries where the RTP packets themselves are the the API surface towards the user (when building an SFU one would often talk about "forwarding RTP packets", while with str0m we can also "forward samples"). Using this API requires a deeper knowledge of RTP and WebRTC.
To enable RTP mode
let rtc = Rtc::builder()
// Enable RTP mode for this Rtc instance.
// This disables `MediaEvent` and the `Writer::write` API.
.set_rtp_mode(true)
.build();RTP mode gives us some new API points.
Event::RtpPacketemitted for every incoming RTP packet. Empty packets for bandwidth estimation are silently discarded.StreamTx::write_rtpto write outgoing RTP packets.StreamRx::request_keyframeto request keyframes from remote.
The ICE RFC talks about "gathering ice candidates". This means inspecting the local network interfaces and potentially binding UDP sockets on each usable interface. Since str0m is Sans I/O, this part is outside the scope of what str0m does. How the user figures out local IP addresses, via config or via looking up local NICs is not something str0m cares about.
TURN is a way of obtaining IP addresses that can be used as fallback in case direct connections fail. We consider TURN similar to enumerating local network interfaces – it's a way of obtaining sockets.
All discovered candidates, be they local (NIC) or remote sockets (TURN), are added to str0m and str0m will perform the task of ICE agent, forming "candidate pairs" and figuring out the best connection while the actual task of sending the network traffic is left to the user.
Rust shines when we can eschew locks and heavily rely &mut for data
write access. Since str0m has no internal threads, we never have to
deal with shared data. Furthermore the the internals of the library is
organized such that we don't need multiple references to the same
entities. In str0m there are no Rc, Mutex, mpsc, Arc(*), or
other locks.
This means all input to the lib can be modelled as
handle_something(&mut self, something).
(*) Ok. There is one Arc if you use Windows where we also require openssl.
The library deliberately steps away from the "standard" WebRTC API as seen in JavaScript and/or webrtc-rs (or Pion in Go). There are few reasons for this.
First, in the standard API, events are callbacks, which are not a
great fit for Rust. Callbacks require some kind of reference
(ownership?) over the entity the callback is being dispatched
upon. I.e. if in Rust we want pc.addEventListener(x), x needs
to be wholly owned by pc, or have some shared reference (like
Arc). Shared references means shared data, and to get mutable shared
data, we will need some kind of lock. i.e. Arc<Mutex<EventListener>>
or similar.
As an alternative we could turn all events into mpsc channels, but
listening to multiple channels is awkward without async.
Second, in the standard API, entities like RTCPeerConnection and
RTCRtpTransceiver, are easily clonable and/or long lived
references. I.e. pc.getTranscievers() returns objects that can be
retained and owned by the caller. This pattern is fine for garbage
collected or reference counted languages, but not great with Rust.
Str0m adheres to fail-fast. That means rather than brushing state bugs under the carpet, it panics. We make a distinction between errors and bugs.
- Errors are as a result of incorrect or impossible to understand user input.
- Bugs are broken internal invariants (assumptions).
If you scan the str0m code you find a few unwrap() (or expect()). These
will (should) always be accompanied by a code comment that explains why the
unwrap is okay. This is an internal invariant, a state assumption that
str0m is responsible for maintaining.
We do not believe it's correct to change every unwrap()/expect() into
unwrap_or_else(), if let Some(x) = x { ... } etc, because doing so
brushes an actual problem (an incorrect assumption) under the carpet. Trying
to hobble along with an incorrect state would at best result in broken
behavior, at worst a security risk!
Panics are our friends: panic means bug
And also: str0m should never panic on any user input. If you encounter a panic, please report it!
Panics should be incredibly rare, or we have a serious problem as a project. For an SFU, it might not be ideal if str0m encounters a bug and brings the entire server down with it.
For those who want an extra level of safety, we recommend looking at catch_unwind
to safely discard a faulty Rtc instance. Since Rtc has no internal threads, locks or async
tasks, discarding the instance never risk poisoning locks or other issues that can happen
when catching a panic.
Below is a brief comparison of features between libWebRTC and str0m to help you determine if str0m is suitable for your project.
| Feature | str0m | libWebRTC |
|---|---|---|
| Peer Connection API | ❌ | ✅ |
| SDP | ✅ | ✅ |
| ICE | ✅ | ✅ |
| Data Channels | ✅ | ✅ |
| Send/Recv Reports | ✅ | ✅ |
| Transport Wide CC | ✅ | ✅ |
| Bandwidth Estimation | ✅ | ✅ |
| Simulcast | ✅ | ✅ |
| NACK | ✅ | ✅ |
| Packetize | ✅ | ✅ |
| Fixed Depacketize Buffer | ✅ | ✅ |
| Adaptive Jitter Buffer | ❌ | ✅ |
| Video/audio capture | ❌ | ✅ |
| Video/audio encode | ❌ | ✅ |
| Video/audio decode | ❌ | ✅ |
| Audio render | ❌ | ✅ |
| Turn | ❌ | ✅ |
| Network interface enum | ❌ | ✅ |
Platforms str0m is compiled and tested on:
| Platform | Compiled | Tested |
|---|---|---|
x86_64-pc-windows-msvc |
✅ | ✅ |
x86_64-unknown-linux-gnu |
✅ | ✅ |
x86_64-apple-darwin |
✅ | ✅ |
If your platform isn't listed but is supported by Rust, we'd love for you to give str0m a try and share your experience. We greatly appreciate your feedback!
Certainly! str0m fully support IPv4, IPv6, UDP and TCP protocols.
Absolutely! str0m is fully sync, ensuring that it integrates seamlessly with any Rust async runtime you opt for.
Of course! You have the freedom to create a client with str0m. However, please note that some common client features like media encoding, decoding, and capture are not included in str0m. But don't let that stop you from building amazing applications!
Yes! str0m excels as a server component with support for both RTP API and Sample API. You can easily build that recording server or SFU you dreamt of in Rust!
While the chat example showcases how to use str0m's API, it's not intended for production use or heavy load. Writing a full-featured SFU or MCU (Multipoint Control Unit) is a significant undertaking, involving various design decisions based on production requirements.
We'd love to hear about it! Please submit an issue and consider joining our Zulip community to discuss further. For a seamless reporting experience, refer to this exemplary bug report: #382. We appreciate your contribution to making str0m better!
Yes use the direct API!
str0m's chat runs on Zulip and is sponsored by Zulip for open source projects.
License: MIT OR Apache-2.0
