carp84 commented on a change in pull request #9501: [FLINK-12697] [State Backends] Support on-disk state storage for spill-able heap backend URL: https://github.com/apache/flink/pull/9501#discussion_r318375048
########## File path: flink-state-backends/flink-statebackend-heap-spillable/src/main/java/org/apache/flink/runtime/state/heap/CopyOnWriteSkipListStateMap.java ########## @@ -0,0 +1,1505 @@ +/* + * Licensed to the Apache Software Foundation (ASF) under one + * or more contributor license agreements. See the NOTICE file + * distributed with this work for additional information + * regarding copyright ownership. The ASF licenses this file + * to you under the Apache License, Version 2.0 (the + * "License"); you may not use this file except in compliance + * with the License. You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package org.apache.flink.runtime.state.heap; + +import org.apache.flink.annotation.VisibleForTesting; +import org.apache.flink.api.common.typeutils.TypeSerializer; +import org.apache.flink.api.java.tuple.Tuple2; +import org.apache.flink.runtime.state.StateEntry; +import org.apache.flink.runtime.state.StateTransformationFunction; +import org.apache.flink.runtime.state.heap.space.Allocator; +import org.apache.flink.runtime.state.heap.space.Chunk; +import org.apache.flink.runtime.state.heap.space.SpaceUtils; +import org.apache.flink.runtime.state.internal.InternalKvState; +import org.apache.flink.util.Preconditions; +import org.apache.flink.util.ResourceGuard; + +import org.slf4j.Logger; +import org.slf4j.LoggerFactory; + +import javax.annotation.Nonnull; + +import java.nio.ByteBuffer; +import java.util.ArrayList; +import java.util.Collection; +import java.util.Collections; +import java.util.HashSet; +import java.util.Iterator; +import java.util.NoSuchElementException; +import java.util.Set; +import java.util.Spliterators; +import java.util.TreeSet; +import java.util.concurrent.ConcurrentHashMap; +import java.util.concurrent.ThreadLocalRandom; +import java.util.concurrent.atomic.AtomicBoolean; +import java.util.stream.Stream; +import java.util.stream.StreamSupport; + +import static org.apache.flink.runtime.state.heap.SkipListUtils.HEAD_NODE; +import static org.apache.flink.runtime.state.heap.SkipListUtils.NIL_NODE; +import static org.apache.flink.runtime.state.heap.SkipListUtils.NIL_VALUE_POINTER; + +/** + * Implementation of state map which is based on skip list with copy-on-write support. states will + * be serialized to bytes and stored in the space allocated with the given allocator. + */ +public class CopyOnWriteSkipListStateMap<K, N, S> extends StateMap<K, N, S> implements AutoCloseable { + + private static final Logger LOG = LoggerFactory.getLogger(CopyOnWriteSkipListStateMap.class); + + /** + * Default max number of logically-removed keys to delete one time. + */ + private static final int DEFAULT_MAX_KEYS_TO_DELETE_ONE_TIME = 3; + + /** + * Default ratio of the logically-removed keys to trigger deletion when snapshot. + */ + private static final float DEFAULT_LOGICAL_REMOVED_KEYS_RATIO = 0.2f; + + /** + * The serializer used to serialize the key and namespace to bytes stored in skip list. + */ + private final SkipListKeySerializer<K, N> skipListKeySerializer; + + /** + * The serializer used to serialize the state to bytes stored in skip list. + */ + private final SkipListValueSerializer<S> skipListValueSerializer; + + /** + * Space allocator. + */ + private final Allocator spaceAllocator; + + /** + * The level index header. + */ + private final LevelIndexHeader levelIndexHeader; + + /** + * Seed to generate random index level. + */ + private int randomSeed; + + /** + * The current version of this map. Used for copy-on-write mechanics. + */ + private int stateMapVersion; + + /** + * The highest version of this map that is still required by any unreleased snapshot. + */ + private int highestRequiredSnapshotVersion; + + /** + * Snapshots no more than this version must have been finished, but there may be some + * snapshots more than this version are still running. + */ + private volatile int highestFinishedSnapshotVersion; + + /** + * Maintains an ordered set of version ids that are still used by unreleased snapshots. + */ + private final TreeSet<Integer> snapshotVersions; + + /** + * The size of skip list which includes the logical removed keys. + */ + private int totalSize; + + /** + * Number of requests for this skip list. + */ + private int requestCount; + + /** + * Set of logical removed nodes. + */ + private final Set<Long> logicallyRemovedNodes; + + /** + * Number of keys to remove physically one time. + */ + private int numKeysToDeleteOneTime; + + /** + * Ratio of the logically-removed keys to trigger deletion when snapshot. + */ + private float logicalRemovedKeysRatio; + + /** + * Set of nodes whose values are being pruned by snapshots. + */ + private final Set<Long> pruningValueNodes; + + /** + * Whether this map has been closed. + */ + private final AtomicBoolean closed; + + /** + * Guards for the free of space when state map is closed. This is mainly + * used to synchronize with snapshots. + */ + private final ResourceGuard resourceGuard; + + public CopyOnWriteSkipListStateMap( + TypeSerializer<K> keySerializer, + TypeSerializer<N> namespaceSerializer, + TypeSerializer<S> stateSerializer, + Allocator spaceAllocator) { + this(keySerializer, namespaceSerializer, stateSerializer, spaceAllocator, + DEFAULT_MAX_KEYS_TO_DELETE_ONE_TIME, DEFAULT_LOGICAL_REMOVED_KEYS_RATIO); + } + + public CopyOnWriteSkipListStateMap( + TypeSerializer<K> keySerializer, + TypeSerializer<N> namespaceSerializer, + TypeSerializer<S> stateSerializer, + Allocator spaceAllocator, + int numKeysToDeleteOneTime, + float logicalRemovedKeysRatio) { + this.skipListKeySerializer = new SkipListKeySerializer<>(keySerializer, namespaceSerializer); + this.skipListValueSerializer = new SkipListValueSerializer<>(stateSerializer); + this.spaceAllocator = Preconditions.checkNotNull(spaceAllocator); Review comment: Will mark all fields with `@Nonnull` annotation. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services
