> > With that in mind, we could only offer a couple of selected > temporal/sorted > state implementations that are handled internally, but not really a > generic > one - even if you let the user explicitly handle binary keys...
If we want to have a generic interface that is portable between different state backends and allows for all the use-cases described above, lexicographical binary sort sounds reasonable, because you need to be able to push sorting out of the JVM boundary. Only trade off I can think of is that as long as you stay within the JVM (heap state backend), you need to pay a slight key serialization cost, which is IMO ok-ish. Do you have any future state backend ideas in mind, that might not work with this assumption? - I'm really starting to like the idea of having a BinarySortedMapState + higher level / composite states. D. On Fri, Apr 22, 2022 at 1:58 PM David Morávek <david.mora...@gmail.com> wrote: > Isn't allowing a TemporalValueState just a special case of b.III? So if a >> user >> of the state wants that, then they can leverage a simple API vs. if you >> want >> fancier duplicate handling, you'd just go with TemporalListState and >> implement >> the logic you want? > > > Yes it is. But it IMO doesn't justify adding a new state primitive. My > take would be that as long as we can build TVS using other existing state > primitives (TLS) we should treat it as a "composite state". We currently > don't have a good user facing API to do that, but it could be added in > separate FLIP. > > eg. something along the lines of > > TemporalValueState<String> state = getRuntimeContext().getCompositeState( > new CompositeStateDescriptor<>( > "composite", new TemporalValueState(type))); > > On Fri, Apr 22, 2022 at 1:44 PM Nico Kruber <n...@apache.org> wrote: > >> David, >> >> 1) Good points on the possibility to make the TemporalListState generic >> -> actually, if you think about it more, we are currently assuming that >> all >> state backends use the same comparison on the binary level because we add >> an >> appropriate serializer at an earlier abstraction level. This may not >> actually >> hold for all (future) state backends and can limit further >> implementations (if >> you think this is something to keep in mind!). >> >> So we may have to push this serializer implementation further down the >> stack, >> i.e. our current implementation is one that fits RocksDB and that alone... >> >> With that in mind, we could only offer a couple of selected >> temporal/sorted >> state implementations that are handled internally, but not really a >> generic >> one - even if you let the user explicitly handle binary keys... >> >> >> 2) Duplicates >> >> Isn't allowing a TemporalValueState just a special case of b.III? So if a >> user >> of the state wants that, then they can leverage a simple API vs. if you >> want >> fancier duplicate handling, you'd just go with TemporalListState and >> implement >> the logic you want? >> >> >> >> Nico >> >> On Friday, 22 April 2022 10:43:48 CEST David Morávek wrote: >> > Hi Yun & Nico, >> > >> > few thoughts on the discussion >> > >> > 1) Making the TemporalListState generic >> > >> > This is just not possible with the current infrastructure w.r.t type >> > serializers as the sorting key *needs to be comparable on the binary >> level* >> > (serialized form). >> > >> > What I could imagine, is introducing some kind of >> `Sorted(List|Map)State` >> > with explicit binary keys. User would either have to work directly with >> > `byte[]` keys or provide a function for transforming keys into the >> binary >> > representation that could be sorted (this would have to be different >> from >> > `TypeSerializer` which could get more fancy with the binary >> representation, >> > eg. to save up space -> varints). >> > >> > This kind of interface might be really hard to grasp by the pipeline >> > authors. There needs to be a deeper understanding how the byte >> comparison >> > works (eg. it needs to be different from the java byte comparison which >> > compares bytes as `signed`). This could be maybe partially mitigated by >> > providing predefined `to binary sorting key` functions for the common >> > primitives / types. >> > >> > 2) Duplicates >> > >> > I guess, this all boils down to dealing with duplicates / values for the >> > >> > > same timestamp. >> > >> > We should never have duplicates. Let's try to elaborate on what having >> the >> > duplicates really means in this context. >> > >> > a) Temporal Table point of view >> > >> > There could be only a single snapshot of the table at any given point in >> > time (~ physics). If we allow for duplicates we violate this, as it's >> not >> > certain what the actual state of the table is at that point in time. In >> > case of the temporal join, what should the elements from the other side >> > join against? >> > >> > If we happen to have a duplicate, it actually brings us to b) causality >> > (which could actually answer the previous question). >> > >> > b) Causality >> > >> > When building any kind of state machine, it's important to think about >> > causality (if we switch the order of events, state transitions no longer >> > result in the same state). Temporal table is a specific type of the >> state >> > machine. >> > >> > There are several approaches to mitigate this: >> > I) nano-second precision -> the chance that two events affecting the >> same >> > thing happen at the exactly same nanosecond is negligible (from the >> > physical standpoint) >> > II) the sorting key is tuple of (timestamp, sequential id) -> an example >> > could be early firings (you get speculative results from a windowed >> > aggregation with timestamp = EOW, but you can easily assign the order in >> > which these have happened) >> > III) last write with the same timestamp wins -> this is a special case >> of >> > II) when we're sure that elements with the duplicate timestamp come in >> order >> > >> > c) Secondary Sort >> > >> > Handling the actual duplicates requires secondary sort key, which might >> > complicate the `to binary sorting key` interface discussed in 1) - >> > basically some kind of user provided duplicate handler. >> > >> > d) Temporal Value State >> > >> > The above point apply to the temporal value state as well, it just >> pushes >> > the responsibility away from the state interface. I'm still not >> convinced >> > that this is a right direction. >> > >> > - >> > >> > For most use cases I've seen, the millisecond precision is more than >> enough >> > (+ the last write wins as a fallback). Supporting the use cases where >> it's >> > not actually enough (I've seen that as well in the past, especially with >> > the early firings), might be actually a good case for a more generic >> form >> > of the state, that we've discussed in 1). >> > >> > 3) Map vs List >> > >> > I think this also boils down to the discussion of how to handle >> duplicates. >> > From the commonly accepted contracts, list implies that there could be >> > duplicates and map implies otherwise. One concern about `Map` is that it >> > also implies that you should be able to do a point query. >> > >> > Best, >> > D. >> > >> > . >> > >> > On Fri, Apr 22, 2022 at 9:21 AM Yun Tang <myas...@live.com> wrote: >> > > Hi Nico, >> > > >> > > I did not mean that we need to support all APIs in NavigableMap, and >> it is >> > > indeed too heavily to implement them all. >> > > Moreover, I also prefer iterator-like API instead of the original >> #tailMap >> > > like API. I just use NavigableMap's API to show examples. >> > > >> > > I think we can introduce new APIs like: >> > > >> > > SortedMapState<UK, UV> extends State >> > > >> > > Map.Entry<UK, UV> firstEntry() throws Exception; >> > > Map.Entry<UK, UV> lastEntry() throws Exception; >> > > Iterator<Map.Entry<UK, UV>> headIterator(UK endUserKey) throws >> > > Exception; >> > > Iterator<Map.Entry<UK, UV>> tailIterator(UK startUserKey) throws >> > > >> > > Exception; >> > > >> > > Iterator<Map.Entry<UK, UV>> subIterator(UK startUserKey, UK >> endUserKey) >> > > >> > > throws Exception; >> > > >> > > Since SortedMapState has several new APIs, I prefer to introduce new >> state >> > > descriptor to distinguish with the original map state. >> > > >> > > For the API of SortedMapOfListsState, I would not be strong against, >> and I >> > > just want to know the actual benefits if we really want to introduce >> API. >> > > >> > > When talking about the part of changelog state backend, my concern is >> > > about how to group keys together in the changelog logger. >> > > I can share a problem, and before this I need to spend some time on >> how to >> > > implement serializer to keep the order of serialized bytes same as >> > > original >> > > java objects first. >> > > For the fixed-length serializer, such as LongSerializer, we just need >> to >> > > ensure all numbers are positive or inverting the sign bit. >> > > However, for non-fixed-length serializer, such as StringSerializer, it >> > > will write the length of the bytes first, which will break the natural >> > > order if comparing the bytes. Thus, we might need to avoid to write >> the >> > > length in the serialized bytes. >> > > On the other hand, changelog logger would record operation per key >> one by >> > > one in the logs. We need to consider how to distinguish each key in >> the >> > > combined serialized byte arrays. >> > > >> > > Best >> > > Yun Tang >> > > >> > > ------------------------------ >> > > *From:* Nico Kruber <n...@apache.org> >> > > *Sent:* Thursday, April 21, 2022 23:50 >> > > *To:* dev <dev@flink.apache.org> >> > > *Cc:* David Morávek <david.mora...@gmail.com>; Yun Tang < >> myas...@live.com> >> > > *Subject:* Re: [DISCUSS] FLIP-220: Temporal State >> > > >> > > Thanks Yun Tang for your clarifications. >> > > Let me keep my original structure and reply in these points... >> > > >> > > 3. Should we generalise the Temporal***State to offer arbitrary key >> types >> > > and >> > > not just Long timestamps? >> > > >> > > The use cases you detailed do indeed look similar to the ones we were >> > > optimising in our TemporalState PoC... >> > > >> > > I don't think, I'd like to offer a full implementation of NavigableMap >> > > though >> > > because that seems quite some overhead to implement while we can >> cover the >> > > mentioned examples with the proposed APIs already when using >> iterators as >> > > well >> > > as single-value retrievals. >> > > So far, when we were iterating from the smallest key, we could just >> use >> > > Long.MIN_VALUE and start from there. That would be difficult to >> generalise >> > > for >> > > arbitrary data types because you may not always know the smallest >> possible >> > > value for a certain serialized type (unless we put this into the >> > > appropriate >> > > serializer interface). >> > > >> > > I see two options here: >> > > a) a slim API but using NULL as an indicator for smallest/largest >> > > depending on >> > > the context, e.g. >> > > >> > > - `readRange(null, key)` means from beginning to key >> > > - `readRange(key, null)` means from key to end >> > > - `readRange(null, null)` means from beginning to end >> > > - `value[AtOr]Before(null)` means largest available key >> > > - `value[AtOr]After(null)` means smallest available key >> > > >> > > b) a larger API with special methods for each of these use cases >> similar >> > > to >> > > what NavigableMap has but based on iterators and single-value >> functions >> > > only >> > > >> > > > BTW, I prefer to introduce another state descriptor instead of >> current >> > > >> > > map >> > > >> > > > state descriptor. >> > > >> > > Can you elaborate on this? We currently don't need extra >> functionality, so >> > > this would be a plain copy of the MapStateDescriptor... >> > > >> > > > For the API of SortedMapOfListsState, I think this is a bit bounded >> to >> > > > current implementation of RocksDB state-backend. >> > > >> > > Actually, I don't think this is special to RocksDB but generic to all >> > > state >> > > backends that do not hold values in memory and allow fast append-like >> > > operations. >> > > Additionally, since this is a very common use case and RocksDB is also >> > > widely >> > > used, I wouldn't want to continue without this specialization. For a >> > > similar >> > > reason, we offer ListState and not just ValueState<List>... >> > > >> > > >> > > 4. ChangelogStateBackend >> > > >> > > > For the discussion of ChangelogStateBackend, you can think of >> changelog >> > > > state-backend as a write-ahead-log service. And we need to record >> the >> > > > changes to any state, thus this should be included in the design >> doc as >> > > >> > > we >> > > >> > > > need to introduce another kind of state, especially you might need >> to >> > > > consider how to store key bytes serialized by the new serializer >> (as we >> > > > might not be able to write the length in the beginning of serialized >> > > >> > > bytes >> > > >> > > > to make the order of bytes same as natural order). >> > > >> > > Since the ChangelogStateBackend "holds the working state in the >> underlying >> > > delegatedStateBackend, and forwards state changes to State >> Changelog", I >> > > honestly still don't see how this needs special handling. As long as >> the >> > > delegated state backend suppors sorted state, ChangelogStateBackend >> > > doesn't >> > > have to do anything special except for recording changes to state. >> Our PoC >> > > simply uses the namespace for these keys and that's the same thing the >> > > Window >> > > API is already using - so there's nothing special here. The order in >> the >> > > log >> > > doesn't have to follow the natural order because this is only required >> > > inside >> > > the delegatedStateBackend, isn't it? >> > > >> > > >> > > Nico >> > > >> > > On Wednesday, 20 April 2022 17:03:11 CEST Yun Tang wrote: >> > > > Hi Nico, >> > > > >> > > > Thanks for your clarification. >> > > > For the discussion about generalizing Temporal state to sorted map >> > > >> > > state. I >> > > >> > > > could give some examples of how to use sorted map state in min/max >> with >> > > > retract functions. >> > > > >> > > > As you know, NavigableMap in java has several APIs like: >> > > > Map.Entry<K,V> firstEntry(); >> > > > Map.Entry<K,V> lastEntry(); >> > > > NavigableMap<K,V> tailMap(K fromKey, boolean inclusive) >> > > > >> > > > The #firstEntry API could be used in >> > > > MinWithRetractAggFunction#updateMin, >> > > > #lastEntry could be used in MaxWithRetractAggFunction#updateMax, and >> > > > #tailMap could be used in FirstValueWithRetractAggFunction#retract. >> > > >> > > If we >> > > >> > > > can introduce SortedMap-like state, these functions could be >> benefited. >> > > > BTW, I prefer to introduce another state descriptor instead of >> current >> > > >> > > map >> > > >> > > > state descriptor. >> > > > For the API of SortedMapOfListsState, I think this is a bit bounded >> to >> > > > current implementation of RocksDB state-backend. >> > > > >> > > > For the discussion of ChangelogStateBackend, you can think of >> changelog >> > > > state-backend as a write-ahead-log service. And we need to record >> the >> > > > changes to any state, thus this should be included in the design >> doc as >> > > >> > > we >> > > >> > > > need to introduce another kind of state, especially you might need >> to >> > > > consider how to store key bytes serialized by the new serializer >> (as we >> > > > might not be able to write the length in the beginning of serialized >> > > >> > > bytes >> > > >> > > > to make the order of bytes same as natural order). >> > > > >> > > > Best >> > > > Yun Tang. >> > > > ________________________________ >> > > > From: Nico Kruber <n...@apache.org> >> > > > Sent: Wednesday, April 20, 2022 0:38 >> > > > To: dev <dev@flink.apache.org> >> > > > Cc: Yun Tang <myas...@live.com>; David Morávek < >> david.mora...@gmail.com> >> > > > Subject: Re: [DISCUSS] FLIP-220: Temporal State >> > > > >> > > > Hi all, >> > > > I have read the discussion points from the last emails and would >> like to >> > > > add >> > > >> > > my two cents on what I believe are the remaining points to solve: >> > > > 1. Do we need a TemporalValueState? >> > > > >> > > > I guess, this all boils down to dealing with duplicates / values >> for the >> > > > same >> > > >> > > timestamp. Either you always have to account for them and thus always >> > > >> > > > have to store a list anyway, or you only need to join with "the >> latest" >> > > >> > > (or >> > > >> > > > the only) value for a given timestamp and get a nicer API and lower >> > > > overhead for that use case. >> > > > At the easiest, you can make an assumption that there is only a >> single >> > > > value >> > > >> > > for each timestamp by contract, e.g. by increasing the timestamp >> > > >> > > > precision and interpreting them as nanoseconds, or maybe >> milliseconds >> > > > are >> > > > already good enough. If that contract breaks, however, you will get >> into >> > > > undefined behaviour. >> > > > The TemporalRowTimeJoinOperator, for example, currently just assumes >> > > > that >> > > > there is only a single value on the right side of the join >> (rightState) >> > > >> > > and >> > > >> > > > I >> > > >> > > believe many use cases can make that assumption or otherwise you'd >> have >> > > >> > > > to define the expected behaviour for multiple values at the same >> > > >> > > timestamp, >> > > >> > > > e.g. "join with the most recent value at the time of the left side >> and >> > > > if >> > > > there are multiple values, choose X". >> > > > >> > > > I lean towards having a ValueState implementation as well (in >> addition >> > > > to >> > > > lists). >> > > > >> > > > >> > > > 2. User-facing API (Iterators vs. valueAtOr[Before|After]) >> > > > >> > > > I like the iterable-based APIs that David M was proposing, i.e. >> > > > - Iterable<TimestampedValue<T>> readRange(long minTimestamp, long >> > > > limitTimestamp); >> > > > - void clearRange(long minTimestamp, long limitTimestamp); >> > > > >> > > > However, I find Iterables rather cumbersome to work with if you >> actually >> > > > only >> > > >> > > need a single value, e.g. the most recent one. >> > > >> > > > For iterating over a range of values, however, they feel more >> natural to >> > > >> > > me >> > > >> > > > than our proposal. >> > > > >> > > > Actually, if we generalise the key type (see below), we may also >> need to >> > > > offer >> > > >> > > additional value[Before|After] functions to cover "+1" iterations >> > > >> > > > where we cannot simply add 1 as we do now. >> > > > >> > > > (a) How about offering both Iterables and >> > > > value[AtOrBefore|AtOrAfter|Before| >> > > >> > > After]? >> > > >> > > > This would be similar to what NavigableMap [2] is offering but with >> a >> > > >> > > more >> > > >> > > > explicit API than "ceiling", "floor",... >> > > > >> > > > (b) Our API proposal currently also allows iterating backwards >> which is >> > > >> > > not >> > > >> > > > covered by the readRange proposal - we could, however, just do that >> if >> > > > minTimestamp > limitTimestamp). What do you think? >> > > > >> > > > (c) When implementing the iterators, I actually also see two >> different >> > > > modes >> > > >> > > which may differ in performance: I call them iteration with eager >> > > >> > > > vs. lazy value retrieval. Eager retrieval may retrieve all values >> in a >> > > > range at once and make them available in memory, e.g. for smaller >> data >> > > >> > > sets >> > > >> > > > similar to what TemporalRowTimeJoinOperator is doing for the right >> side >> > > >> > > of >> > > >> > > > the join. This can be spare a lot of Java<->JNI calls and let >> RocksDB >> > > > iterate only once (as long at things fit into memory). Lazy >> retrieval >> > > >> > > would >> > > >> > > > fetch results one-by-one. -> We could set one as default and allow >> the >> > > >> > > user >> > > >> > > > to override that behaviour. >> > > > >> > > > 3. Should we generalise the Temporal***State to offer arbitrary key >> > > > types >> > > > and >> > > >> > > not just Long timestamps? >> > > >> > > > @Yun Tang: can you describe in more detail where you think this >> would be >> > > > needed for SQL users? I don't quite get how this would be >> beneficial. >> > > > The >> > > > example you linked doesn't quite show the same behaviour. >> > > > >> > > > Other than this, I could see that you can leverage such a >> generalisation >> > > > for >> > > >> > > arbitrary joins between, for example, IDs and ID ranges which don't >> > > >> > > > have a time component attached to it. Given that this shouldn't be >> too >> > > > difficult to expose (the functionality has to exist anyway, but >> > > > otherwise >> > > > buried into Flink's internals). We'd just have to find suitable >> names. >> > > > >> > > > (a) I don't think TemporalListState<T> is actually >> SortedMapState<Long, >> > > > List<T>> because we need efficient "add to list" primitives which >> cannot >> > > > easily be made available with a single generic SortedMapState... >> > > > >> > > > (b) So the most expressive (yet kind-of ugly) names could be >> > > > - SortedMapState<Long, ValueType> >> > > > - SortedMapOfListsState<Long, List<ValueType>> >> > > > >> > > > (c) For both of these, we could then re-use the existing >> > > >> > > MapStateDescriptor >> > > >> > > > to >> > > >> > > define key and value/list-element types and require that the key >> type / >> > > >> > > > serializer implements a certain RetainingSortOrderSerializer >> interface >> > > >> > > (and >> > > >> > > > think about a better name for this) which defines the contract that >> the >> > > > binary sort order is the same as the Java Object one. >> > > > -> that can also be verified at runtime to fail early. >> > > > >> > > > >> > > > 4. ChangelogStateBackend: we don't think this needs special >> attention - >> > > >> > > it >> > > >> > > > is >> > > >> > > just delegating to the other backends anyway and these methods are >> > > >> > > > already adapted in our POC code >> > > > >> > > > >> > > > @David M, Yun Tang: let me/us know what you think about these >> proposals >> > > > >> > > > >> > > > >> > > > Nico >> > > > >> > > > >> > > > [2] >> > > >> > > https://docs.oracle.com/javase/8/docs/api/java/util/NavigableMap.html >> > > >> > > > On Thursday, 14 April 2022 14:15:53 CEST Yun Tang wrote: >> > > > > Hi David Anderson, >> > > > > >> > > > > >> > > > > >> > > > > I feel doubted that no motivating use case for this >> generalization to >> > > > > SortedMapState. From our internal stats, SQL user would use much >> more >> > > > > cases >> > > >> > > of min/max with retract functions [1] compared with interval join. >> > > >> > > > > From my understanding, the TemporalListState<T> is actually >> > > > > SortedMapState<Long, List<T>>, while TemporalValueState<T> is >> > > > > SortedMapState<Long, T>. As you can see, if we just restrict >> > > > > SortedMapState >> > > >> > > with the key type as Long, all current two new interfaces >> > > >> > > > > could be replaced. >> > > > > >> > > > > >> > > > > >> > > > > Moreover, once we introduce temporal state, the extension would be >> > > > > limited. >> > > >> > > Apart from Long, many other types could be comparable, e.g. >> > > >> > > > > TimeStamp, Int, Float and so on. How could we handle these feature >> > > > > request after >> > > > > TemporalState merged? I don't think introducing too many state >> types >> > > >> > > is a >> > > >> > > > > good idea. We can only support Long type for the 1st version when >> > > > > introducing SortedMapState, and then extends it to many other more >> > > >> > > types >> > > >> > > > > in >> > > >> > > the future. This could balance the feature requests with clean >> > > >> > > > > interfaces design. And thus, we can also use sorted map state in >> the >> > > > > popular min/max functions. >> > > > > >> > > > > >> > > > > >> > > > > >> > > > > >> > > > > By the way, current FLIP lacks of consideration of the work on >> > > >> > > changelog >> > > >> > > > > state-backend once two new state types are introduced. >> > > > > >> > > > > >> > > > > >> > > > > >> > > > > >> > > > > [1] >> > > >> > > >> https://github.com/apache/flink/blob/master/flink-table/flink-table-runtim >> > > >> > > > > e >> > > >> > > >> /src/main/java/org/apache/flink/table/runtime/functions/aggregate/MinWith >> > > >> > > > > Ret ractAggFunction.java >> > > > > >> > > > > >> > > > > >> > > > > Best, >> > > > > Yun Tang >> > > > > ________________________________ >> > > > > From: David Morávek <david.mora...@gmail.com> >> > > > > Sent: Wednesday, April 13, 2022 19:50 >> > > > > To: dev <dev@flink.apache.org> >> > > > > Subject: Re: [DISCUSS] FLIP-220: Temporal State >> > > > > >> > > > > >> > > > > >> > > > > Here is a very naive implementation [1] from a prototype I did few >> > > >> > > months >> > > >> > > > > back that uses list and insertion sort. Since the list is sorted >> we >> > > > > can >> > > > > use >> > > >> > > binary search to create sub-list, that could leverage the same thing >> > > >> > > > > I've described above. >> > > > > >> > > > > >> > > > > >> > > > > I think back then I didn't go for the SortedMap as it would be >> hard to >> > > > > implement with the current heap state backend internals and would >> have >> > > > > bigger memory overhead. >> > > > > >> > > > > >> > > > > >> > > > > The ideal solution would probably use skip list [2] to lower the >> > > >> > > overhead >> > > >> > > > > of the binary search, while maintaining a reasonable memory >> footprint. >> > > > > Other than that it could be pretty much the same as the prototype >> > > > > implementation [1]. >> > > > > >> > > > > >> > > > > >> > > > > [1] >> > > >> > > >> https://github.com/dmvk/flink/blob/ecdbc774b13b515e8c0943b2c143fb1e34eca6f >> > > >> > > > > 0/ >> > > >> > > >> flink-runtime/src/main/java/org/apache/flink/runtime/state/heap/HeapTempo >> > > >> > > > > ral ListState.java >> > > > >> > > > [2] https://en.wikipedia.org/wiki/Skip_list >> > > > >> > > > > Best, >> > > > > D. >> > > > > >> > > > > >> > > > > >> > > > > On Wed, Apr 13, 2022 at 1:27 PM David Morávek < >> david.mora...@gmail.com >> > > > > >> > > > > wrote: >> > > > > > Hi David, >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > It seems to me that at least with the heap-based state backend, >> > > > > > readRange >> > > > > > >> > > > > >> is going to have to do a lot of unnecessary work to implement >> this >> > > > > >> isEmpty() operation, since it have will to consider the entire >> > > > > >> range >> > > > > >> from >> > > > > >> MIN_VALUE to MAX_VALUE. (Maybe we should add an explicit >> isEmpty >> > > > > >> method? >> > > > > >> I'm not convinced we need it, but it would be cheaper to >> implement. >> > > >> > > Or >> > > >> > > > > >> perhaps this join can be rewritten to not need this operation; >> I >> > > > > >> haven't >> > > > > >> thought enough about that alternative.) >> > > > > > >> > > > > > I think this really boils down to how the returned iterable is >> going >> > > >> > > to >> > > >> > > > > > be >> > > > > > implemented. Basically for checking whether state is empty, you >> need >> > > >> > > to >> > > >> > > > > > do >> > > > > > something along the lines of: >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > Iterables.isEmpty(state.readRange(Long.MIN_VALUE, MAX_VALUE)); >> // >> > > > > > basically checking `hasNext() == false` or `isEmpty()` in case >> of >> > > > > > `Collection` >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > Few notes: >> > > > > > 1) It could be lazy (the underlying collection doesn't have to >> be >> > > > > > materialized - eg. in case of RocksDB); >> > > > > > 2) For HeapStateBackend it depends on the underlying >> implementation. >> > > > > > I'd >> > > > > > probably do something along the lines of sorted tree (eg. >> SortedMap >> > > > > > / >> > > > > > NavigableMap), that allows effective range scans / range >> deletes. >> > > >> > > Then >> > > >> > > > > > you >> > > > > > could simply do something like (from top of the head): >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > @Value >> > > > > > class TimestampedKey<K> { >> > > > > > >> > > > > > K key; >> > > > > > long timestamap; >> > > > > > >> > > > > > } >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > SortedMap<TimestampedKey<K>, V> internalState; >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > Iterable<TimestampedValue<V>> readRange(long min, long max) { >> > > > > > >> > > > > > return toIterable(internalState.subMap(new >> > > > > > TimestampedKey(currentKey(), >> > > > > > >> > > > > > min), new TimestampedKey(currentKey(), max))); >> > > > > > } >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > This should be fairly cheap. The important bit is that the >> returned >> > > > > > iterator is always non-null, but could be empty. >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > Does that answer your question? >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > D. >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > >> > > > > > On Wed, Apr 13, 2022 at 12:21 PM David Anderson < >> > > >> > > da...@alpinegizmo.com> >> > > >> > > > > > wrote: >> > > > > >> Yun Tang and Jingsong, >> > > > > >> >> > > > > >> >> > > > > >> >> > > > > >> >> > > > > >> >> > > > > >> Some flavor of OrderedMapState is certainly feasible, and I do >> see >> > > > > >> some >> > > > > >> appeal in supporting Binary**State. >> > > > > >> >> > > > > >> >> > > > > >> >> > > > > >> >> > > > > >> >> > > > > >> However, I haven't seen a motivating use case for this >> > > >> > > generalization, >> > > >> > > > > >> and >> > > > > >> would rather keep this as simple as possible. By handling >> Longs we >> > > >> > > can >> > > >> > > > > >> already optimize a wide range of use cases. >> > > > > >> >> > > > > >> >> > > > > >> >> > > > > >> >> > > > > >> >> > > > > >> David >> > > > > >> >> > > > > >> On Tue, Apr 12, 2022 at 9:21 AM Yun Tang <myas...@live.com> >> wrote: >> > > > > >> > Hi David, >> > > > > >> > >> > > > > >> > Could you share some explanations why SortedMapState cannot >> work >> > > >> > > in >> > > >> > > > > >> > details? I just cannot catch up what the statement below >> means: >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > This was rejected as being overly difficult to implement in >> a way >> > > > > >> > that >> > > > > >> > would cleanly leverage RocksDB’s iterators. >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > Best >> > > > > >> > Yun Tang >> > > > > >> > ________________________________ >> > > > > >> > From: Aitozi <gjying1...@gmail.com> >> > > > > >> > Sent: Tuesday, April 12, 2022 15:00 >> > > > > >> > To: dev@flink.apache.org <dev@flink.apache.org> >> > > > > >> > Subject: Re: [DISCUSS] FLIP-220: Temporal State >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > Hi David >> > > > > >> > >> > > > > >> > I have look through the doc, I think it will be a good >> > > > > >> > improvement >> > > > > >> >> > > > > >> to >> > > > > >> >> > > > > >> > this pattern usage, I'm interested in it. Do you have some >> POC >> > > >> > > work >> > > >> > > > > >> > to >> > > > > >> > share for a closer look. >> > > > > >> > Besides, I have one question that can we support expose the >> > > > > >> > namespace >> > > > > >> > in >> > > > > >> > the different state type not limited to `TemporalState`. By >> this, >> > > > > >> > user >> > > > > >> >> > > > > >> can >> > > > > >> >> > > > > >> > specify the namespace >> > > > > >> > and the TemporalState is one of the special case that it use >> > > > > >> > timestamp >> > > > > >> >> > > > > >> as >> > > > > >> >> > > > > >> > the namespace. I think it will be more extendable. >> > > > > >> > >> > > > > >> > What do you think about this ? >> > > > > >> > >> > > > > >> > Best, >> > > > > >> > Aitozi. >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > >> > > > > >> > David Anderson <dander...@apache.org> 于2022年4月11日周一 20:54写道: >> > > > > >> > >> > > > > >> > > Greetings, Flink developers. >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > I would like to open up a discussion of a proposal [1] to >> add a >> > > > > >> > > new >> > > > > >> >> > > > > >> kind >> > > > > >> >> > > > > >> > of >> > > > > >> > >> > > > > >> > > state to Flink. >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > The goal here is to optimize a fairly common pattern, >> which is >> > > > > >> > > using >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > MapState<Long, List<Event>> >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > to store lists of events associated with timestamps. This >> > > >> > > pattern >> > > >> > > > > >> > > is >> > > > > >> >> > > > > >> used >> > > > > >> >> > > > > >> > > internally in quite a few operators that implement sorting >> and >> > > > > >> > > joins, >> > > > > >> >> > > > > >> and >> > > > > >> >> > > > > >> > > it also shows up in user code, for example, when >> implementing >> > > > > >> > > custom >> > > > > >> > > windowing in a KeyedProcessFunction. >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > Nico Kruber, Seth Wiesman, and I have implemented a POC >> that >> > > > > >> > > achieves >> > > > > >> >> > > > > >> a >> > > > > >> >> > > > > >> > > more than 2x improvement in throughput when performing >> these >> > > > > >> >> > > > > >> operations >> > > > > >> >> > > > > >> > on >> > > > > >> > >> > > > > >> > > RocksDB by better leveraging the capabilities of the >> RocksDB >> > > >> > > state >> > > >> > > > > >> > backend. >> > > > > >> > >> > > > > >> > > See FLIP-220 [1] for details. >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > Best, >> > > > > >> > > David >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > >> > > > > >> > > [1] https://cwiki.apache.org/confluence/x/Xo_FD >> > > > >> > > > Dr. Nico Kruber | Solutions Architect >> > > > >> > > > Follow us @VervericaData Ververica >> > > > -- >> > > > Ververica GmbH | Invalidenstrasse 115, 10115 Berlin, Germany >> > > > -- >> > > > Ververica GmbH >> > > > Registered at Amtsgericht Charlottenburg: HRB 158244 B >> > > > Managing Directors: Yip Park Tung Jason, Jinwei (Kevin) Zhang, Karl >> > > > Anton >> > > > Wehner >> > > >> > > -- >> > > Dr. Nico Kruber | Solutions Architect >> > > >> > > Follow us @VervericaData Ververica >> > > -- >> > > Join Flink Forward - The Apache Flink Conference >> > > Stream Processing | Event Driven | Real Time >> > > -- >> > > Ververica GmbH | Invalidenstrasse 115, 10115 Berlin, Germany >> > > -- >> > > Ververica GmbH >> > > Registered at Amtsgericht Charlottenburg: HRB 158244 B >> > > Managing Directors: Yip Park Tung Jason, Jinwei (Kevin) Zhang, Karl >> Anton >> > > Wehner >> >> >> -- >> Dr. Nico Kruber | Solutions Architect >> >> Follow us @VervericaData Ververica >> -- >> Join Flink Forward - The Apache Flink Conference >> Stream Processing | Event Driven | Real Time >> -- >> Ververica GmbH | Invalidenstrasse 115, 10115 Berlin, Germany >> -- >> Ververica GmbH >> Registered at Amtsgericht Charlottenburg: HRB 158244 B >> Managing Directors: Yip Park Tung Jason, Jinwei (Kevin) Zhang, Karl Anton >> Wehner >> >> >>