169 lines
9.2 KiB
ReStructuredText
169 lines
9.2 KiB
ReStructuredText
.. _stream-rate-scala:
|
|
|
|
#############################
|
|
Buffers and working with rate
|
|
#############################
|
|
|
|
Akka Streams processing stages are asynchronous and pipelined by default which means that a stage, after handing out
|
|
an element to its downstream consumer is able to immediately process the next message. To demonstrate what we mean
|
|
by this, let's take a look at the following example:
|
|
|
|
.. includecode:: ../code/docs/stream/StreamBuffersRateSpec.scala#pipelining
|
|
|
|
Running the above example, one of the possible outputs looks like this:
|
|
|
|
::
|
|
|
|
A: 1
|
|
A: 2
|
|
B: 1
|
|
A: 3
|
|
B: 2
|
|
C: 1
|
|
B: 3
|
|
C: 2
|
|
C: 3
|
|
|
|
Note that the order is *not* ``A:1, B:1, C:1, A:2, B:2, C:2,`` which would correspond to a synchronous execution model
|
|
where an element completely flows through the processing pipeline before the next element enters the flow. The next
|
|
element is processed by a stage as soon as it is emitted the previous one.
|
|
|
|
While pipelining in general increases throughput, in practice there is a cost of passing an element through the
|
|
asynchronous (and therefore thread crossing) boundary which is significant. To amortize this cost Akka Streams uses
|
|
a *windowed*, *batching* backpressure strategy internally. It is windowed because as opposed to a `Stop-And-Wait`_
|
|
protocol multiple elements might be "in-flight" concurrently with requests for elements. It is also batching because
|
|
a new element is not immediately requested once an element has been drained from the window-buffer but multiple elements
|
|
are requested after multiple elements have been drained. This batching strategy reduces the communication cost of
|
|
propagating the backpressure signal through the asynchronous boundary.
|
|
|
|
While this internal protocol is mostly invisible to the user (apart form its throughput increasing effects) there are
|
|
situations when these details get exposed. In all of our previous examples we always assumed that the rate of the
|
|
processing chain is strictly coordinated through the backpressure signal causing all stages to process no faster than
|
|
the throughput of the connected chain. There are tools in Akka Streams however that enable the rates of different segments
|
|
of a processing chain to be "detached" or to define the maximum throughput of the stream through external timing sources.
|
|
These situations are exactly those where the internal batching buffering strategy suddenly becomes non-transparent.
|
|
|
|
.. _Stop-And-Wait: https://en.wikipedia.org/wiki/Stop-and-wait_ARQ
|
|
|
|
.. _stream-buffers-scala:
|
|
|
|
Buffers in Akka Streams
|
|
=======================
|
|
|
|
Internal buffers and their effect
|
|
---------------------------------
|
|
|
|
As we have explained, for performance reasons Akka Streams introduces a buffer for every processing stage. The purpose
|
|
of these buffers is solely optimization, in fact the size of 1 would be the most natural choice if there would be no
|
|
need for throughput improvements. Therefore it is recommended to keep these buffer sizes small, and increase them only
|
|
to a level suitable for the throughput requirements of the application. Default buffer sizes can be set through configuration:
|
|
|
|
::
|
|
|
|
akka.stream.materializer.max-input-buffer-size = 16
|
|
|
|
Alternatively they can be set by passing a :class:`ActorMaterializerSettings` to the materializer:
|
|
|
|
.. includecode:: ../code/docs/stream/StreamBuffersRateSpec.scala#materializer-buffer
|
|
|
|
If the buffer size needs to be set for segments of a :class:`Flow` only, it is possible by defining a separate
|
|
:class:`Flow` with these attributes:
|
|
|
|
.. includecode:: ../code/docs/stream/StreamBuffersRateSpec.scala#section-buffer
|
|
|
|
Here is an example of a code that demonstrate some of the issues caused by internal buffers:
|
|
|
|
.. includecode:: ../code/docs/stream/StreamBuffersRateSpec.scala#buffering-abstraction-leak
|
|
|
|
Running the above example one would expect the number *3* to be printed in every 3 seconds (the ``cUndefinedSourceonflate`` step here
|
|
is configured so that it counts the number of elements received before the downstream ``ZipWith`` consumes them). What
|
|
is being printed is different though, we will see the number *1*. The reason for this is the internal buffer which is
|
|
by default 16 elements large, and prefetches elements before the ``ZipWith`` starts consuming them. It is possible
|
|
to fix this issue by changing the buffer size of ``ZipWith`` (or the whole graph) to 1. We will still see a leading
|
|
1 though which is caused by an initial prefetch of the ``ZipWith`` element.
|
|
|
|
.. note::
|
|
In general, when time or rate driven processing stages exhibit strange behavior, one of the first solutions to try
|
|
should be to decrease the input buffer of the affected elements to 1.
|
|
|
|
Explicit user defined buffers
|
|
-----------------------------
|
|
|
|
The previous section explained the internal buffers of Akka Streams used to reduce the cost of crossing elements through
|
|
the asynchronous boundary. These are internal buffers which will be very likely automatically tuned in future versions.
|
|
In this section we will discuss *explicit* user defined buffers that are part of the domain logic of the stream processing
|
|
pipeline of an application.
|
|
|
|
The example below will ensure that 1000 jobs (but not more) are dequeued from an external (imaginary) system and
|
|
stored locally in memory - relieving the external system:
|
|
|
|
.. includecode:: ../code/docs/stream/StreamBuffersRateSpec.scala#explicit-buffers-backpressure
|
|
|
|
The next example will also queue up 1000 jobs locally, but if there are more jobs waiting
|
|
in the imaginary external systems, it makes space for the new element by
|
|
dropping one element from the *tail* of the buffer. Dropping from the tail is a very common strategy but
|
|
it must be noted that this will drop the *youngest* waiting job. If some "fairness" is desired in the sense that
|
|
we want to be nice to jobs that has been waiting for long, then this option can be useful.
|
|
|
|
.. includecode:: ../code/docs/stream/StreamBuffersRateSpec.scala#explicit-buffers-droptail
|
|
|
|
Instead of dropping the youngest element from the tail of the buffer a new element can be dropped without
|
|
enqueueing it to the buffer at all.
|
|
|
|
.. includecode:: ../code/docs/stream/StreamBuffersRateSpec.scala#explicit-buffers-dropnew
|
|
|
|
Here is another example with a queue of 1000 jobs, but it makes space for the new element by
|
|
dropping one element from the *head* of the buffer. This is the *oldest*
|
|
waiting job. This is the preferred strategy if jobs are expected to be
|
|
resent if not processed in a certain period. The oldest element will be
|
|
retransmitted soon, (in fact a retransmitted duplicate might be already in the queue!)
|
|
so it makes sense to drop it first.
|
|
|
|
.. includecode:: ../code/docs/stream/StreamBuffersRateSpec.scala#explicit-buffers-drophead
|
|
|
|
Compared to the dropping strategies above, dropBuffer drops all the 1000
|
|
jobs it has enqueued once the buffer gets full. This aggressive strategy
|
|
is useful when dropping jobs is preferred to delaying jobs.
|
|
|
|
.. includecode:: ../code/docs/stream/StreamBuffersRateSpec.scala#explicit-buffers-dropbuffer
|
|
|
|
If our imaginary external job provider is a client using our API, we might
|
|
want to enforce that the client cannot have more than 1000 queued jobs
|
|
otherwise we consider it flooding and terminate the connection. This is
|
|
easily achievable by the error strategy which simply fails the stream
|
|
once the buffer gets full.
|
|
|
|
.. includecode:: ../code/docs/stream/StreamBuffersRateSpec.scala#explicit-buffers-fail
|
|
|
|
Rate transformation
|
|
===================
|
|
|
|
Understanding conflate
|
|
----------------------
|
|
|
|
When a fast producer can not be informed to slow down by backpressure or some other signal, ``conflate`` might be useful to combine elements from a producer until a demand signal comes from a consumer.
|
|
|
|
Below is an example snippet that summarizes fast stream of elements to a standart deviation, mean and count of elements that have arrived while the stats have been calculated.
|
|
|
|
.. includecode:: ../code/docs/stream/RateTransformationDocSpec.scala#conflate-summarize
|
|
|
|
This example demonstrates that such flow's rate is decoupled. The element rate at the start of the flow can be much higher that the element rate at the end of the flow.
|
|
|
|
Another possible use of ``conflate`` is to not consider all elements for summary when producer starts getting too fast. Example below demonstrates how ``conflate`` can be used to implement random drop of elements when consumer is not able to keep up with the producer.
|
|
|
|
.. includecode:: ../code/docs/stream/RateTransformationDocSpec.scala#conflate-sample
|
|
|
|
Understanding expand
|
|
--------------------
|
|
|
|
Expand helps to deal with slow producers which are unable to keep up with the demand coming from consumers. Expand allows to extrapolate a value to be sent as an element to a consumer.
|
|
|
|
As a simple use of ``expand`` here is a flow that sends the same element to consumer when producer does not send any new elements.
|
|
|
|
.. includecode:: ../code/docs/stream/RateTransformationDocSpec.scala#expand-last
|
|
|
|
Expand also allows to keep some state between demand requests from the downstream. Leveraging this, here is a flow that tracks and reports a drift between fast consumer and slow producer.
|
|
|
|
.. includecode:: ../code/docs/stream/RateTransformationDocSpec.scala#expand-drift
|
|
|
|
Note that all of the elements coming from upstream will go through ``expand`` at least once. This means that the output of this flow is going to report a drift of zero if producer is fast enough, or a larger drift otherwise.
|