JetStream Model Deep Dive

Stream Limits, Retention, and Policy

Streams store data on disk, but we cannot store all data forever so we need ways to control their size automatically.
There are 3 features that come into play when Streams decide how long they store data.
The Retention Policy describes based on what criteria a set will evict messages from its storage:
Retention Policy
Description
LimitsPolicy
Limits are set for how many messages, how big the storage and how old messages may be
WorkQueuePolicy
Messages are kept until they were consumed by any one single observer and then removed
InterestPolicy
Messages are kept as long as there are Consumers active for them
In all Retention Policies the basic limits apply as upper bounds, these are MaxMsgs for how many messages are kept in total, MaxBytes for how big the set can be in total and MaxAge for what is the oldest message that will be kept. These are the only limits in play with LimitsPolicy retention.
One can then define additional ways a message may be removed from the Stream earlier than these limits. In WorkQueuePolicy the messages will be removed as soon as any Consumer received an Acknowledgement. In InterestPolicy messages will be removed as soon as there are no more Consumers.
In both WorkQueuePolicy and InterestPolicy the age, size and count limits will still apply as upper bounds.
A final control is the Maximum Size any single message may have. NATS have it's own limit for maximum size (1 MiB by default), but you can say a Stream will only accept messages up to 1024 bytes using MaxMsgSize.
The Discard Policy sets how messages are discarded when limits set by LimitsPolicy are reached. The DiscardOld option removes old messages making space for new, while DiscardNew refuses any new messages.
The WorkQueuePolicy mode is a specialized mode where a message, once consumed and acknowledged, is discarded from the Stream. In this mode, there are a few limits on consumers. Inherently it's about 1 message to one consumer, this means you cannot have overlapping consumers defined on the Stream - needs unique filter subjects.

Message Deduplication

JetStream support idempotent message writes by ignoring duplicate messages as indicated by the Nats-Msg-Id header.
1
nats req -H Nats-Msg-Id:1 ORDERS.new hello1
2
nats req -H Nats-Msg-Id:1 ORDERS.new hello2
3
nats req -H Nats-Msg-Id:1 ORDERS.new hello3
4
nats req -H Nats-Msg-Id:1 ORDERS.new hello4
Copied!
Here we set a Nats-Msg-Id:1 header which tells JetStream to ensure we do not have duplicates of this message - we only consult the message ID not the body.
1
nats stream info ORDERS
Copied!
and in the output you can see that the duplicate publications were detected and only one message (the first one) is actually stored in the stream
1
....
2
State:
3
4
Messages: 1
5
Bytes: 67 B
Copied!
The default window to track duplicates in is 2 minutes, this can be set on the command line using --dupe-window when creating a stream, though we would caution against large windows.

Acknowledgement Models

Streams support acknowledging receiving a message, if you send a Request() to a subject covered by the configuration of the Stream the service will reply to you once it stored the message. If you just publish, it will not. A Stream can be set to disable Acknowledgements by setting NoAck to true in it's configuration.
Consumers have 3 acknowledgement modes:
Mode
Description
AckExplicit
This requires every message to be specifically acknowledged, it's the only supported option for pull-based Consumers
AckAll
In this mode if you acknowledge message 100 it will also acknowledge message 1-99, this is good for processing batches and to reduce ack overhead
AckNone
No acknowledgements are supported
To understand how Consumers track messages we will start with a clean ORDERS Stream and DISPATCH Consumer.
1
nats str info ORDERS
Copied!
Output
1
...
2
Statistics:
3
4
Messages: 0
5
Bytes: 0 B
6
FirstSeq: 0
7
LastSeq: 0
8
Active Consumers: 1
Copied!
The Set is entirely empty
1
nats con info ORDERS DISPATCH
Copied!
Output
1
...
2
State:
3
4
Last Delivered Message: Consumer sequence: 1 Stream sequence: 1
5
Acknowledgment floor: Consumer sequence: 0 Stream sequence: 0
6
Pending Messages: 0
7
Redelivered Messages: 0
Copied!
The Consumer has no messages outstanding and has never had any (Consumer sequence is 1).
We publish one message to the Stream and see that the Stream received it:
1
nats pub ORDERS.processed "order 4"
Copied!
Output
1
Published 7 bytes to ORDERS.processed
2
$ nats str info ORDERS
3
...
4
Statistics:
5
6
Messages: 1
7
Bytes: 53 B
8
FirstSeq: 1
9
LastSeq: 1
10
Active Consumers: 1
Copied!
As the Consumer is pull-based, we can fetch the message, ack it, and check the Consumer state:
1
nats con next ORDERS DISPATCH
Copied!
Output
1
--- received on ORDERS.processed
2
order 4
3
4
Acknowledged message
5
6
$ nats con info ORDERS DISPATCH
7
...
8
State:
9
10
Last Delivered Message: Consumer sequence: 2 Stream sequence: 2
11
Acknowledgment floor: Consumer sequence: 1 Stream sequence: 1
12
Pending Messages: 0
13
Redelivered Messages: 0
Copied!
The message got delivered and acknowledged - Acknowledgement floor is 1 and 1, the sequence of the Consumer is 2 which means its had only the one message through and got acked. Since it was acked, nothing is pending or redelivering.
We'll publish another message, fetch it but not Ack it this time and see the status:
1
nats pub ORDERS.processed "order 5"
Copied!
Output
1
Published 7 bytes to ORDERS.processed
Copied!
Get the next message from the consumer (but do not acknowledge it)
1
nats consumer next ORDERS DISPATCH --no-ack
Copied!
Output
1
--- received on ORDERS.processed
2
order 5
Copied!
Show the consumer info
1
nats consumer info ORDERS DISPATCH
Copied!
Output
1
State:
2
3
Last Delivered Message: Consumer sequence: 3 Stream sequence: 3
4
Acknowledgment floor: Consumer sequence: 1 Stream sequence: 1
5
Pending Messages: 1
6
Redelivered Messages: 0
Copied!
Now we can see the Consumer has processed 2 messages (obs sequence is 3, next message will be 3) but the Ack floor is still 1 - thus 1 message is pending acknowledgement. Indeed this is confirmed in the Pending messages.
If I fetch it again and again do not ack it:
1
nats consumer next ORDERS DISPATCH --no-ack
Copied!
Output
1
--- received on ORDERS.processed
2
order 5
Copied!
Show the consumer info again
1
nats consumer info ORDERS DISPATCH
Copied!
Output
1
State:
2
3
Last Delivered Message: Consumer sequence: 4 Stream sequence: 3
4
Acknowledgment floor: Consumer sequence: 1 Stream sequence: 1
5
Pending Messages: 1
6
Redelivered Messages: 1
Copied!
The Consumer sequence increases - each delivery attempt increases the sequence - and our redelivered count also goes up.
Finally, if I then fetch it again and ack it this time:
1
nats consumer next ORDERS DISPATCH
Copied!
Output
1
--- received on ORDERS.processed
2
order 5
3
4
Acknowledged message
Copied!
Show the consumer info
1
nats consumer info ORDERS DISPATCH
Copied!
Output
1
State:
2
3
Last Delivered Message: Consumer sequence: 5 Stream sequence: 3
4
Acknowledgment floor: Consumer sequence: 1 Stream sequence: 1
5
Pending Messages: 0
6
Redelivered Messages: 0
Copied!
Having now Acked the message there are no more pending.
Additionally, there are a few types of acknowledgements:
Type
Bytes
Description
AckAck
nil, +ACK
Acknowledges a message was completely handled
AckNak
-NAK
Signals that the message will not be processed now and processing can move onto the next message, NAK'd message will be retried
AckProgress
+WPI
When sent before the AckWait period indicates that work is ongoing and the period should be extended by another equal to AckWait
AckNext
+NXT
Acknowledges the message was handled and requests delivery of the next message to the reply subject. Only applies to Pull-mode.
AckTerm
+TERM
Instructs the server to stop redelivery of a message without acknowledging it as successfully processed
So far all of the examples were the AckAck type of acknowledgement, by replying to the Ack with the body as indicated in Bytes you can pick what mode of acknowledgement you want.
All of these acknowledgement modes, except AckNext, support double acknowledgement - if you set a reply subject when acknowledging the server will in turn acknowledge having received your ACK.
The +NXT acknowledgement can have a few formats: +NXT 10 requests 10 messages and +NXT {"no_wait": true} which is the same data that can be sent in a Pull Request.

Exactly Once Delivery

JetStream supports Exactly Once delivery by combining Message Deduplication and double acks.
On the publishing side you can avoid duplicate message ingestion using the Message Deduplication feature.
Consumers can be 100% sure a message was correctly processed by requesting the server Acknowledge having received your acknowledgement by setting a reply subject on the Ack. If you receive this response you will never receive that message again.

Consumer Starting Position

When setting up a Consumer you can decide where to start, the system supports the following for the DeliverPolicy:
Policy
Description
all
Delivers all messages that are available
last
Delivers the latest message, like a tail -n 1 -f
new
Delivers only new messages that arrive after subscribe time
by_start_time
Delivers from a specific time onward. Requires OptStartTime to be set
by_start_sequence
Delivers from a specific stream sequence. Requires OptStartSeq to be set
Regardless of what mode you set, this is only the starting point. Once started it will always give you what you have not seen or acknowledged. So this is merely how it picks the very first message.
Let's look at each of these, first we make a new Stream ORDERS and add 100 messages to it.
Now create a DeliverAll pull-based Consumer:
1
nats consumer add ORDERS ALL --pull --filter ORDERS.processed --ack none --replay instant --deliver all
2
nats consumer next ORDERS ALL
Copied!
Output
1
--- received on ORDERS.processed
2
order 1
3
4
Acknowledged message
Copied!
Now create a DeliverLast pull-based Consumer:
1
nats consumer add ORDERS LAST --pull --filter ORDERS.processed --ack none --replay instant --deliver last
2
nats consumer next ORDERS LAST
Copied!
Output
1
--- received on ORDERS.processed
2
order 100
3
4
Acknowledged message
Copied!
Now create a MsgSetSeq pull-based Consumer:
1
nats consumer add ORDERS TEN --pull --filter ORDERS.processed --ack none --replay instant --deliver 10
2
nats consumer next ORDERS TEN
Copied!
Output
1
--- received on ORDERS.processed
2
order 10
3
4
Acknowledged message
Copied!
And finally a time-based Consumer. Let's add some messages a minute apart:
1
nats stream purge ORDERS
2
for i in 1 2 3
3
do
4
nats pub ORDERS.processed "order ${i}"
5
sleep 60
6
done
Copied!
Then create a Consumer that starts 2 minutes ago:
1
nats consumer add ORDERS 2MIN --pull --filter ORDERS.processed --ack none --replay instant --deliver 2m
2
nats consumer next ORDERS 2MIN
Copied!
Output
1
--- received on ORDERS.processed
2
order 2
3
4
Acknowledged message
Copied!

Ephemeral Consumers

So far, all the Consumers you have seen were Durable, meaning they exist even after you disconnect from JetStream. In our Orders scenario, though the MONITOR a Consumer could very well be a short-lived thing there just while an operator is debugging the system, there is no need to remember the last seen position if all you are doing is wanting to observe the real-time state.
In this case, we can make an Ephemeral Consumer by first subscribing to the delivery subject, then creating a durable and giving it no durable name. An Ephemeral Consumer exists as long as any subscription is active on its delivery subject. It is automatically be removed, after a short grace period to handle restarts, when there are no subscribers.
Ephemeral Consumers can only be push-based.
Terminal 1:
1
nats sub my.monitor
Copied!
Terminal 2:
1
nats consumer add ORDERS --filter '' --ack none --target 'my.monitor' --deliver last --replay instant --ephemeral
Copied!
The --ephemeral switch tells the system to make an Ephemeral Consumer.

Consumer Message Rates

Typically what you want is if a new Consumer is made the selected messages are delivered to you as quickly as possible. You might want to replay messages at the rate they arrived though, meaning if messages first arrived 1 minute apart and you make a new Consumer it will get the messages a minute apart.
This is useful in load testing scenarios etc. This is called the ReplayPolicy and have values of ReplayInstant and ReplayOriginal.
You can only set ReplayPolicy on push-based Consumers.
1
nats consumer add ORDERS REPLAY --target out.original --filter ORDERS.processed --ack none --deliver all --sample 100 --replay original
Copied!
Output
1
...
2
Replay Policy: original
3
...
Copied!
Now let's publish messages into the Set 10 seconds apart:
1
for i in 1 2 3 <15:15:35
2
do
3
nats pub ORDERS.processed "order ${i}"
4
sleep 10
5
done
Copied!
Output
1
Published [ORDERS.processed] : 'order 1'
2
Published [ORDERS.processed] : 'order 2'
3
Published [ORDERS.processed] : 'order 3'
Copied!
And when we consume them they will come to us 10 seconds apart:
1
nats sub -t out.original
Copied!
Output
1
Listening on [out.original]
2
2020/01/03 15:17:26 [#1] Received on [ORDERS.processed]: 'order 1'
3
2020/01/03 15:17:36 [#2] Received on [ORDERS.processed]: 'order 2'
4
2020/01/03 15:17:46 [#3] Received on [ORDERS.processed]: 'order 3'
5
^C
Copied!

Ack Sampling

In the earlier sections we saw that samples are being sent to a monitoring system. Let's look at that in depth; how the monitoring system works and what it contains.
As messages pass through a Consumer you'd be interested in knowing how many are being redelivered and how many times but also how long it takes for messages to be acknowledged.
Consumers can sample Ack'ed messages for you and publish samples so your monitoring system can observe the health of a Consumer. We will add support for this to NATS Surveyor.

Configuration

You can configure a Consumer for sampling bypassing the --sample 80 option to nats consumer add, this tells the system to sample 80% of Acknowledgements.
When viewing info of a Consumer you can tell if it's sampled or not:
1
nats consumer info ORDERS NEW
Copied!
Output contains
1
...
2
Sampling Rate: 100
3
...
Copied!

Consuming

Samples are published to $JS.EVENT.METRIC.CONSUMER_ACK.<stream>.<consumer> in JSON format containing api.ConsumerAckMetric. Use the nats con events command to view samples:
1
nats consumer events ORDERS NEW
Copied!
Output
1
Listening for Advisories on $JS.EVENT.ADVISORY.*.ORDERS.NEW
2
Listening for Metrics on $JS.EVENT.METRIC.*.ORDERS.NEW
3
4
15:08:31] [Ph0fsiOKRg1TS0c2k0mMz2] Acknowledgement Sample
5
Consumer: ORDERS > NEW
6
Stream Sequence: 40
7
Consumer Sequence: 161
8
Deliveries: 1
9
Delay: 1.009ms
Copied!
1
nats consumer events ORDERS NEW --json
Copied!
Output
1
{
2
"stream": "ORDERS",
3
"consumer": "NEW",
4
"consumer_seq": 155,
5
"stream_seq": 143,
6
"ack_time": 5387000,
7
"delivered": 1
8
}
9
{
10
"stream": "ORDERS",
11
"consumer": "NEW",
12
"consumer_seq": 156,
13
"stream_seq": 144,
14
"ack_time": 5807800,
15
"delivered": 1
16
}
Copied!

Storage Overhead

JetStream file storage is very efficient, storing as little extra information about the message as possible.
We do store some message data with each message, namely:
  • Message headers
  • The subject it was received on
  • The time it was received
  • The message payload
  • A hash of the message
  • The message sequence
  • A few other bits like the length of the subject and the length of headers
Without any headers the size is:
1
length of the message record (4bytes) + seq(8) + ts(8) + subj_len(2) + subj + msg + hash(8)
Copied!
A 5 byte hello message without headers will take 39 bytes.
With headers:
1
length of the message record (4bytes) + seq(8) + ts(8) + subj_len(2) + subj + hdr_len(4) + hdr + msg + hash(8)
Copied!
So if you are publishing many small messages the overhead will be, relatively speaking, quite large, but for larger messages the overhead is very small. If you publish many small messages it's worth trying to optimize the subject length.
Last modified 18d ago