blob: c52b35e81312b013a2a4b57cc87f5d43f1dca949 [file] [log] [blame]
Jonathan Hart5573d322015-01-21 10:13:25 -08001/*
Brian O'Connor5ab426f2016-04-09 01:19:45 -07002 * Copyright 2015-present Open Networking Laboratory
Jonathan Hart5573d322015-01-21 10:13:25 -08003 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16package org.onosproject.store.intent.impl;
17
Brian O'Connor5eb77c82015-03-02 18:09:39 -080018import com.google.common.collect.ImmutableList;
Brian O'Connor4964d3d2015-03-12 20:38:10 -070019import org.apache.commons.lang.math.RandomUtils;
Jonathan Hart5573d322015-01-21 10:13:25 -080020import org.apache.felix.scr.annotations.Activate;
21import org.apache.felix.scr.annotations.Component;
22import org.apache.felix.scr.annotations.Deactivate;
23import org.apache.felix.scr.annotations.Reference;
24import org.apache.felix.scr.annotations.ReferenceCardinality;
25import org.apache.felix.scr.annotations.Service;
26import org.onlab.util.KryoNamespace;
27import org.onosproject.cluster.ClusterService;
Brian O'Connor5eb77c82015-03-02 18:09:39 -080028import org.onosproject.cluster.ControllerNode;
29import org.onosproject.cluster.NodeId;
Brian Stanke11f6d532016-07-05 16:17:59 -040030import org.onosproject.incubator.net.virtual.NetworkId;
31import org.onosproject.incubator.net.virtual.VirtualNetworkIntent;
Jonathan Hart5573d322015-01-21 10:13:25 -080032import org.onosproject.net.intent.Intent;
Jonathan Hart74c83132015-02-02 18:37:57 -080033import org.onosproject.net.intent.IntentData;
Jonathan Hart5573d322015-01-21 10:13:25 -080034import org.onosproject.net.intent.IntentEvent;
Madan Jampani3b8101a2016-09-15 13:22:01 -070035import org.onosproject.net.intent.WorkPartitionService;
Jonathan Hart5573d322015-01-21 10:13:25 -080036import org.onosproject.net.intent.IntentState;
37import org.onosproject.net.intent.IntentStore;
38import org.onosproject.net.intent.IntentStoreDelegate;
Jonathan Hart74c83132015-02-02 18:37:57 -080039import org.onosproject.net.intent.Key;
Jonathan Hart5573d322015-01-21 10:13:25 -080040import org.onosproject.store.AbstractStore;
Brian O'Connor38224302016-08-02 22:03:01 -070041import org.onosproject.store.Timestamp;
Jonathan Hart539a6462015-01-27 17:05:43 -080042import org.onosproject.store.serializers.KryoNamespaces;
Jonathan Hart6ec029a2015-03-24 17:12:35 -070043import org.onosproject.store.service.EventuallyConsistentMap;
44import org.onosproject.store.service.EventuallyConsistentMapEvent;
45import org.onosproject.store.service.EventuallyConsistentMapListener;
Brian Stanke2617dac2016-05-03 16:15:44 -040046import org.onosproject.store.service.MultiValuedTimestamp;
Jonathan Hart6ec029a2015-03-24 17:12:35 -070047import org.onosproject.store.service.StorageService;
Brian Stanke2617dac2016-05-03 16:15:44 -040048import org.onosproject.store.service.WallClockTimestamp;
Jonathan Hart5573d322015-01-21 10:13:25 -080049import org.slf4j.Logger;
50
Brian O'Connor9081c902015-03-05 16:26:25 -080051import java.util.Collection;
Jonathan Hart5573d322015-01-21 10:13:25 -080052import java.util.List;
Brian O'Connor5eb77c82015-03-02 18:09:39 -080053import java.util.Objects;
Madan Jampanibcf1a482015-06-24 19:05:56 -070054import java.util.concurrent.atomic.AtomicLong;
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -080055import java.util.stream.Collectors;
Jonathan Hart5573d322015-01-21 10:13:25 -080056
Jonathan Hart0d18df32015-03-21 08:42:59 -070057import static com.google.common.base.Preconditions.checkNotNull;
Jonathan Hart6ec029a2015-03-24 17:12:35 -070058import static org.onosproject.net.intent.IntentState.PURGE_REQ;
Jonathan Hart5573d322015-01-21 10:13:25 -080059import static org.slf4j.LoggerFactory.getLogger;
60
61/**
62 * Manages inventory of Intents in a distributed data store that uses optimistic
63 * replication and gossip based techniques.
64 */
Brian O'Connor5eb77c82015-03-02 18:09:39 -080065//FIXME we should listen for leadership changes. if the local instance has just
66// ... become a leader, scan the pending map and process those
Sho SHIMIZU5c396e32016-08-12 15:19:12 -070067@Component(immediate = true)
Jonathan Hart5573d322015-01-21 10:13:25 -080068@Service
69public class GossipIntentStore
70 extends AbstractStore<IntentEvent, IntentStoreDelegate>
71 implements IntentStore {
72
73 private final Logger log = getLogger(getClass());
74
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -080075 // Map of intent key => current intent state
Brian O'Connor645bf202015-02-24 12:00:58 -080076 private EventuallyConsistentMap<Key, IntentData> currentMap;
Jonathan Hart5573d322015-01-21 10:13:25 -080077
Jonathan Hart74c83132015-02-02 18:37:57 -080078 // Map of intent key => pending intent operation
Brian O'Connor645bf202015-02-24 12:00:58 -080079 private EventuallyConsistentMap<Key, IntentData> pendingMap;
Jonathan Hart74c83132015-02-02 18:37:57 -080080
Jonathan Hart5573d322015-01-21 10:13:25 -080081 @Reference(cardinality = ReferenceCardinality.MANDATORY_UNARY)
Jonathan Hart6ec029a2015-03-24 17:12:35 -070082 protected ClusterService clusterService;
Jonathan Hart5573d322015-01-21 10:13:25 -080083
84 @Reference(cardinality = ReferenceCardinality.MANDATORY_UNARY)
Jonathan Hart6ec029a2015-03-24 17:12:35 -070085 protected StorageService storageService;
Jonathan Hart5573d322015-01-21 10:13:25 -080086
Jonathan Hart74c83132015-02-02 18:37:57 -080087 @Reference(cardinality = ReferenceCardinality.MANDATORY_UNARY)
Madan Jampani3b8101a2016-09-15 13:22:01 -070088 protected WorkPartitionService partitionService;
Jonathan Hart74c83132015-02-02 18:37:57 -080089
Madan Jampanibcf1a482015-06-24 19:05:56 -070090 private final AtomicLong sequenceNumber = new AtomicLong(0);
91
Frank Wange0eb5ce2016-07-01 18:21:25 +080092 private EventuallyConsistentMapListener<Key, IntentData>
93 mapCurrentListener = new InternalCurrentListener();
94
95 private EventuallyConsistentMapListener<Key, IntentData>
96 mapPendingListener = new InternalPendingListener();
97
Jonathan Hart5573d322015-01-21 10:13:25 -080098 @Activate
99 public void activate() {
Jonathan Hart539a6462015-01-27 17:05:43 -0800100 KryoNamespace.Builder intentSerializer = KryoNamespace.newBuilder()
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800101 .register(KryoNamespaces.API)
102 .register(IntentData.class)
Brian Stanke11f6d532016-07-05 16:17:59 -0400103 .register(VirtualNetworkIntent.class)
104 .register(NetworkId.class)
HIGUCHI Yuta03666a32016-05-18 11:49:09 -0700105 .register(MultiValuedTimestamp.class);
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800106
Jonathan Hart6ec029a2015-03-24 17:12:35 -0700107 currentMap = storageService.<Key, IntentData>eventuallyConsistentMapBuilder()
108 .withName("intent-current")
109 .withSerializer(intentSerializer)
Madan Jampanibcf1a482015-06-24 19:05:56 -0700110 .withTimestampProvider((key, intentData) ->
Brian Stanke2617dac2016-05-03 16:15:44 -0400111 new MultiValuedTimestamp<>(intentData.version(),
112 sequenceNumber.getAndIncrement()))
Jonathan Hart6ec029a2015-03-24 17:12:35 -0700113 .withPeerUpdateFunction((key, intentData) -> getPeerNodes(key, intentData))
114 .build();
Jonathan Hart5573d322015-01-21 10:13:25 -0800115
Jonathan Hart6ec029a2015-03-24 17:12:35 -0700116 pendingMap = storageService.<Key, IntentData>eventuallyConsistentMapBuilder()
117 .withName("intent-pending")
118 .withSerializer(intentSerializer)
Brian Stanke2617dac2016-05-03 16:15:44 -0400119 .withTimestampProvider((key, intentData) -> intentData == null ?
120 new MultiValuedTimestamp<>(new WallClockTimestamp(), System.nanoTime()) :
121 new MultiValuedTimestamp<>(intentData.version(), System.nanoTime()))
Jonathan Hart6ec029a2015-03-24 17:12:35 -0700122 .withPeerUpdateFunction((key, intentData) -> getPeerNodes(key, intentData))
123 .build();
Jonathan Hart74c83132015-02-02 18:37:57 -0800124
Frank Wange0eb5ce2016-07-01 18:21:25 +0800125 currentMap.addListener(mapCurrentListener);
126 pendingMap.addListener(mapPendingListener);
Jonathan Hart5573d322015-01-21 10:13:25 -0800127
128 log.info("Started");
129 }
130
131 @Deactivate
132 public void deactivate() {
Frank Wange0eb5ce2016-07-01 18:21:25 +0800133 currentMap.removeListener(mapCurrentListener);
134 pendingMap.removeListener(mapPendingListener);
Brian O'Connor645bf202015-02-24 12:00:58 -0800135 currentMap.destroy();
136 pendingMap.destroy();
Jonathan Hart5573d322015-01-21 10:13:25 -0800137
138 log.info("Stopped");
139 }
140
141 @Override
142 public long getIntentCount() {
Brian O'Connor645bf202015-02-24 12:00:58 -0800143 return currentMap.size();
Jonathan Hart5573d322015-01-21 10:13:25 -0800144 }
145
146 @Override
147 public Iterable<Intent> getIntents() {
Brian O'Connor645bf202015-02-24 12:00:58 -0800148 return currentMap.values().stream()
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800149 .map(IntentData::intent)
150 .collect(Collectors.toList());
Jonathan Hart5573d322015-01-21 10:13:25 -0800151 }
152
153 @Override
Brian O'Connora6c9b5c2015-04-29 22:38:29 -0700154 public Iterable<IntentData> getIntentData(boolean localOnly, long olderThan) {
155 if (localOnly || olderThan > 0) {
156 long now = System.currentTimeMillis();
157 final WallClockTimestamp time = new WallClockTimestamp(now - olderThan);
Brian O'Connor3c58e962015-04-28 23:21:51 -0700158 return currentMap.values().stream()
Brian O'Connora6c9b5c2015-04-29 22:38:29 -0700159 .filter(data -> data.version().isOlderThan(time) &&
160 (!localOnly || isMaster(data.key())))
Brian O'Connor3c58e962015-04-28 23:21:51 -0700161 .collect(Collectors.toList());
162 }
163 return currentMap.values();
164 }
165
166 @Override
Ray Milkeyf9af43c2015-02-09 16:45:48 -0800167 public IntentState getIntentState(Key intentKey) {
Brian O'Connor645bf202015-02-24 12:00:58 -0800168 IntentData data = currentMap.get(intentKey);
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800169 if (data != null) {
170 return data.state();
171 }
172 return null;
Jonathan Hart5573d322015-01-21 10:13:25 -0800173 }
174
175 @Override
Ray Milkeyf9af43c2015-02-09 16:45:48 -0800176 public List<Intent> getInstallableIntents(Key intentKey) {
Brian O'Connor645bf202015-02-24 12:00:58 -0800177 IntentData data = currentMap.get(intentKey);
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800178 if (data != null) {
179 return data.installables();
180 }
Sho SHIMIZU9fa6b8b2016-01-15 16:45:57 -0800181 return ImmutableList.of();
Jonathan Hart5573d322015-01-21 10:13:25 -0800182 }
183
Jonathan Hart74c83132015-02-02 18:37:57 -0800184 @Override
185 public void write(IntentData newData) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700186 checkNotNull(newData);
187
Brian O'Connor645bf202015-02-24 12:00:58 -0800188 IntentData currentData = currentMap.get(newData.key());
Jonathan Hart72175c22015-03-24 18:55:58 -0700189 if (IntentData.isUpdateAcceptable(currentData, newData)) {
Jonathan Hart07e58be2015-02-12 09:57:16 -0800190 // Only the master is modifying the current state. Therefore assume
191 // this always succeeds
Thomas Vachuska7d61ab22016-06-13 19:41:52 -0700192 if (newData.state() == PURGE_REQ) {
193 if (currentData != null) {
194 currentMap.remove(newData.key(), currentData);
195 } else {
196 log.info("Gratuitous purge request for intent: {}", newData.key());
197 }
Ray Milkey8c6d00e2015-03-13 14:14:34 -0700198 } else {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700199 currentMap.put(newData.key(), new IntentData(newData));
Ray Milkey8c6d00e2015-03-13 14:14:34 -0700200 }
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800201
Brian Stanke2617dac2016-05-03 16:15:44 -0400202 // Remove the intent data from the pending map if the newData is more
203 // recent or equal to the existing entry.
204 pendingMap.compute(newData.key(), (key, existingValue) -> {
205 if (existingValue == null || !existingValue.version().isNewerThan(newData.version())) {
206 return null;
207 } else {
208 return existingValue;
209 }
210 });
Jonathan Hart07e58be2015-02-12 09:57:16 -0800211 }
Jonathan Hart74c83132015-02-02 18:37:57 -0800212 }
213
Brian O'Connor9081c902015-03-05 16:26:25 -0800214 private Collection<NodeId> getPeerNodes(Key key, IntentData data) {
Madan Jampani3b8101a2016-09-15 13:22:01 -0700215 NodeId master = partitionService.getLeader(key, Key::hash);
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800216 NodeId origin = (data != null) ? data.origin() : null;
Jonathan Hart4a29c592015-09-23 17:55:07 -0700217 if (data != null && (master == null || origin == null)) {
Brian O'Connor6325dad2015-07-07 15:36:29 -0700218 log.debug("Intent {} missing master and/or origin; master = {}, origin = {}",
219 key, master, origin);
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700220 }
221
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800222 NodeId me = clusterService.getLocalNode().id();
223 boolean isMaster = Objects.equals(master, me);
224 boolean isOrigin = Objects.equals(origin, me);
225 if (isMaster && isOrigin) {
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700226 return getRandomNode();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800227 } else if (isMaster) {
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700228 return origin != null ? ImmutableList.of(origin) : getRandomNode();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800229 } else if (isOrigin) {
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700230 return master != null ? ImmutableList.of(master) : getRandomNode();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800231 } else {
Brian O'Connor6325dad2015-07-07 15:36:29 -0700232 log.warn("No master or origin for intent {}", key);
Brian O'Connor148ba2f2015-07-06 11:38:44 -0700233 return master != null ? ImmutableList.of(master) : getRandomNode();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800234 }
235 }
236
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700237 private List<NodeId> getRandomNode() {
238 NodeId me = clusterService.getLocalNode().id();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800239 List<NodeId> nodes = clusterService.getNodes().stream()
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700240 .map(ControllerNode::id)
241 .filter(node -> !Objects.equals(node, me))
242 .collect(Collectors.toList());
Sho SHIMIZU27e1b922016-01-15 22:47:44 -0800243 if (nodes.isEmpty()) {
244 return ImmutableList.of();
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700245 }
246 return ImmutableList.of(nodes.get(RandomUtils.nextInt(nodes.size())));
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800247 }
248
Jonathan Hart74c83132015-02-02 18:37:57 -0800249 @Override
250 public void batchWrite(Iterable<IntentData> updates) {
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800251 updates.forEach(this::write);
252 }
253
254 @Override
255 public Intent getIntent(Key key) {
Brian O'Connor645bf202015-02-24 12:00:58 -0800256 IntentData data = currentMap.get(key);
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800257 if (data != null) {
258 return data.intent();
259 }
260 return null;
Jonathan Hart74c83132015-02-02 18:37:57 -0800261 }
262
263 @Override
Jonathan Hart74c83132015-02-02 18:37:57 -0800264 public IntentData getIntentData(Key key) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700265 IntentData current = currentMap.get(key);
266 if (current == null) {
267 return null;
268 }
269 return new IntentData(current);
Jonathan Hart74c83132015-02-02 18:37:57 -0800270 }
271
272 @Override
273 public void addPending(IntentData data) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700274 checkNotNull(data);
275
Brian O'Connor38224302016-08-02 22:03:01 -0700276 Timestamp version = data.version() != null ? data.version() : new WallClockTimestamp();
277 pendingMap.compute(data.key(), (key, existingValue) -> {
278 if (existingValue == null || existingValue.version().isOlderThan(version)) {
279 return new IntentData(data.intent(), data.state(),
280 version, clusterService.getLocalNode().id());
281 } else {
282 return existingValue;
283 }
284 });
Jonathan Hart74c83132015-02-02 18:37:57 -0800285 }
286
287 @Override
Brian O'Connorbe28a872015-02-19 21:44:37 -0800288 public boolean isMaster(Key intentKey) {
Madan Jampani3b8101a2016-09-15 13:22:01 -0700289 return partitionService.isMine(intentKey, Key::hash);
Jonathan Hart74c83132015-02-02 18:37:57 -0800290 }
291
Jonathan Hart34f1e382015-02-24 16:52:23 -0800292 @Override
293 public Iterable<Intent> getPending() {
Brian O'Connor645bf202015-02-24 12:00:58 -0800294 return pendingMap.values().stream()
Jonathan Hart34f1e382015-02-24 16:52:23 -0800295 .map(IntentData::intent)
296 .collect(Collectors.toList());
297 }
298
Brian O'Connora6c9b5c2015-04-29 22:38:29 -0700299 @Override
300 public Iterable<IntentData> getPendingData() {
301 return pendingMap.values();
302 }
303
304 @Override
305 public Iterable<IntentData> getPendingData(boolean localOnly, long olderThan) {
306 long now = System.currentTimeMillis();
307 final WallClockTimestamp time = new WallClockTimestamp(now - olderThan);
308 return pendingMap.values().stream()
309 .filter(data -> data.version().isOlderThan(time) &&
Brian Stanke2617dac2016-05-03 16:15:44 -0400310 (!localOnly || isMaster(data.key())))
Brian O'Connora6c9b5c2015-04-29 22:38:29 -0700311 .collect(Collectors.toList());
312 }
313
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800314 private final class InternalCurrentListener implements
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800315 EventuallyConsistentMapListener<Key, IntentData> {
Jonathan Hart5573d322015-01-21 10:13:25 -0800316 @Override
Thomas Vachuskac46af202015-06-03 16:43:27 -0700317 public void event(EventuallyConsistentMapEvent<Key, IntentData> event) {
318 IntentData intentData = event.value();
Jonathan Hart5573d322015-01-21 10:13:25 -0800319
Thomas Vachuskac46af202015-06-03 16:43:27 -0700320 if (event.type() == EventuallyConsistentMapEvent.Type.PUT) {
321 // The current intents map has been updated. If we are master for
322 // this intent's partition, notify the Manager that it should
323 // emit notifications about updated tracked resources.
324 if (delegate != null && isMaster(event.value().intent().key())) {
325 delegate.onUpdate(new IntentData(intentData)); // copy for safety, likely unnecessary
326 }
Sho SHIMIZU96b39e22016-01-15 17:35:04 -0800327 IntentEvent.getEvent(intentData).ifPresent(e -> notifyDelegate(e));
Jonathan Hart539a6462015-01-27 17:05:43 -0800328 }
Jonathan Hart5573d322015-01-21 10:13:25 -0800329 }
330 }
331
Jonathan Hart74c83132015-02-02 18:37:57 -0800332 private final class InternalPendingListener implements
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800333 EventuallyConsistentMapListener<Key, IntentData> {
Jonathan Hart74c83132015-02-02 18:37:57 -0800334 @Override
335 public void event(
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800336 EventuallyConsistentMapEvent<Key, IntentData> event) {
Jonathan Hart74c83132015-02-02 18:37:57 -0800337 if (event.type() == EventuallyConsistentMapEvent.Type.PUT) {
338 // The pending intents map has been updated. If we are master for
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800339 // this intent's partition, notify the Manager that it should do
Jonathan Hart74c83132015-02-02 18:37:57 -0800340 // some work.
Brian O'Connorbe28a872015-02-19 21:44:37 -0800341 if (isMaster(event.value().intent().key())) {
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800342 if (delegate != null) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700343 delegate.process(new IntentData(event.value()));
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800344 }
Jonathan Hart74c83132015-02-02 18:37:57 -0800345 }
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800346
Sho SHIMIZU96b39e22016-01-15 17:35:04 -0800347 IntentEvent.getEvent(event.value()).ifPresent(e -> notifyDelegate(e));
Jonathan Hart74c83132015-02-02 18:37:57 -0800348 }
349 }
350 }
351
Jonathan Hart5573d322015-01-21 10:13:25 -0800352}
353