blob: 370b0b5406a4a58e7d601c0e0d8e06a0d39fc7be [file] [log] [blame]
Jonathan Hart5573d322015-01-21 10:13:25 -08001/*
2 * Copyright 2015 Open Networking Laboratory
3 *
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;
Jonathan Hart5573d322015-01-21 10:13:25 -080030import org.onosproject.net.intent.Intent;
Jonathan Hart74c83132015-02-02 18:37:57 -080031import org.onosproject.net.intent.IntentData;
Jonathan Hart5573d322015-01-21 10:13:25 -080032import org.onosproject.net.intent.IntentEvent;
Jonathan Hart5573d322015-01-21 10:13:25 -080033import org.onosproject.net.intent.IntentState;
34import org.onosproject.net.intent.IntentStore;
35import org.onosproject.net.intent.IntentStoreDelegate;
Jonathan Hart74c83132015-02-02 18:37:57 -080036import org.onosproject.net.intent.Key;
Brian O'Connor87ba7a72015-03-11 14:40:09 -070037import org.onosproject.net.intent.PartitionService;
Jonathan Hart5573d322015-01-21 10:13:25 -080038import org.onosproject.store.AbstractStore;
Jonathan Hart5573d322015-01-21 10:13:25 -080039import org.onosproject.store.cluster.messaging.ClusterCommunicationService;
Jonathan Hart77bdd262015-02-03 09:07:48 -080040import org.onosproject.store.ecmap.EventuallyConsistentMap;
41import org.onosproject.store.ecmap.EventuallyConsistentMapEvent;
42import org.onosproject.store.ecmap.EventuallyConsistentMapImpl;
43import org.onosproject.store.ecmap.EventuallyConsistentMapListener;
Jonathan Hart34f1e382015-02-24 16:52:23 -080044import org.onosproject.store.impl.MultiValuedTimestamp;
Jonathan Hart6a8fd1d2015-02-25 15:44:37 -080045import org.onosproject.store.impl.WallClockTimestamp;
Jonathan Hart539a6462015-01-27 17:05:43 -080046import org.onosproject.store.serializers.KryoNamespaces;
Jonathan Hart5573d322015-01-21 10:13:25 -080047import org.slf4j.Logger;
48
Brian O'Connor9081c902015-03-05 16:26:25 -080049import java.util.Collection;
Jonathan Hart5573d322015-01-21 10:13:25 -080050import java.util.List;
Brian O'Connor5eb77c82015-03-02 18:09:39 -080051import java.util.Objects;
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -080052import java.util.stream.Collectors;
Jonathan Hart5573d322015-01-21 10:13:25 -080053
Jonathan Hart0d18df32015-03-21 08:42:59 -070054import static com.google.common.base.Preconditions.checkNotNull;
Jonathan Hart2085e072015-02-12 11:44:03 -080055import static org.onosproject.net.intent.IntentState.*;
Jonathan Hart5573d322015-01-21 10:13:25 -080056import static org.slf4j.LoggerFactory.getLogger;
57
58/**
59 * Manages inventory of Intents in a distributed data store that uses optimistic
60 * replication and gossip based techniques.
61 */
Brian O'Connor5eb77c82015-03-02 18:09:39 -080062//FIXME we should listen for leadership changes. if the local instance has just
63// ... become a leader, scan the pending map and process those
Jonathan Hart07e58be2015-02-12 09:57:16 -080064@Component(immediate = false, enabled = true)
Jonathan Hart5573d322015-01-21 10:13:25 -080065@Service
66public class GossipIntentStore
67 extends AbstractStore<IntentEvent, IntentStoreDelegate>
68 implements IntentStore {
69
70 private final Logger log = getLogger(getClass());
71
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -080072 // Map of intent key => current intent state
Brian O'Connor645bf202015-02-24 12:00:58 -080073 private EventuallyConsistentMap<Key, IntentData> currentMap;
Jonathan Hart5573d322015-01-21 10:13:25 -080074
Jonathan Hart74c83132015-02-02 18:37:57 -080075 // Map of intent key => pending intent operation
Brian O'Connor645bf202015-02-24 12:00:58 -080076 private EventuallyConsistentMap<Key, IntentData> pendingMap;
Jonathan Hart74c83132015-02-02 18:37:57 -080077
Jonathan Hart5573d322015-01-21 10:13:25 -080078 @Reference(cardinality = ReferenceCardinality.MANDATORY_UNARY)
79 protected ClusterCommunicationService clusterCommunicator;
80
81 @Reference(cardinality = ReferenceCardinality.MANDATORY_UNARY)
82 protected ClusterService clusterService;
83
Jonathan Hart74c83132015-02-02 18:37:57 -080084 @Reference(cardinality = ReferenceCardinality.MANDATORY_UNARY)
85 protected PartitionService partitionService;
86
Jonathan Hart5573d322015-01-21 10:13:25 -080087 @Activate
88 public void activate() {
Jonathan Hart539a6462015-01-27 17:05:43 -080089 KryoNamespace.Builder intentSerializer = KryoNamespace.newBuilder()
Jonathan Hart5ec32ba2015-02-05 13:33:58 -080090 .register(KryoNamespaces.API)
91 .register(IntentData.class)
92 .register(MultiValuedTimestamp.class)
Jonathan Hart6a8fd1d2015-02-25 15:44:37 -080093 .register(WallClockTimestamp.class);
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -080094
Brian O'Connor645bf202015-02-24 12:00:58 -080095 currentMap = new EventuallyConsistentMapImpl<>("intent-current",
96 clusterService,
97 clusterCommunicator,
98 intentSerializer,
Brian O'Connor5eb77c82015-03-02 18:09:39 -080099 new IntentDataLogicalClockManager<>(),
100 (key, intentData) -> getPeerNodes(key, intentData));
Jonathan Hart5573d322015-01-21 10:13:25 -0800101
Brian O'Connor645bf202015-02-24 12:00:58 -0800102 pendingMap = new EventuallyConsistentMapImpl<>("intent-pending",
103 clusterService,
104 clusterCommunicator,
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700105 intentSerializer,
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800106 new IntentDataClockManager<>(),
107 (key, intentData) -> getPeerNodes(key, intentData));
Jonathan Hart74c83132015-02-02 18:37:57 -0800108
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800109 currentMap.addListener(new InternalCurrentListener());
Brian O'Connor645bf202015-02-24 12:00:58 -0800110 pendingMap.addListener(new InternalPendingListener());
Jonathan Hart5573d322015-01-21 10:13:25 -0800111
112 log.info("Started");
113 }
114
115 @Deactivate
116 public void deactivate() {
Brian O'Connor645bf202015-02-24 12:00:58 -0800117 currentMap.destroy();
118 pendingMap.destroy();
Jonathan Hart5573d322015-01-21 10:13:25 -0800119
120 log.info("Stopped");
121 }
122
123 @Override
124 public long getIntentCount() {
Brian O'Connor645bf202015-02-24 12:00:58 -0800125 return currentMap.size();
Jonathan Hart5573d322015-01-21 10:13:25 -0800126 }
127
128 @Override
129 public Iterable<Intent> getIntents() {
Brian O'Connor645bf202015-02-24 12:00:58 -0800130 return currentMap.values().stream()
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800131 .map(IntentData::intent)
132 .collect(Collectors.toList());
Jonathan Hart5573d322015-01-21 10:13:25 -0800133 }
134
135 @Override
Ray Milkeyf9af43c2015-02-09 16:45:48 -0800136 public IntentState getIntentState(Key intentKey) {
Brian O'Connor645bf202015-02-24 12:00:58 -0800137 IntentData data = currentMap.get(intentKey);
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800138 if (data != null) {
139 return data.state();
140 }
141 return null;
Jonathan Hart5573d322015-01-21 10:13:25 -0800142 }
143
144 @Override
Ray Milkeyf9af43c2015-02-09 16:45:48 -0800145 public List<Intent> getInstallableIntents(Key intentKey) {
Brian O'Connor645bf202015-02-24 12:00:58 -0800146 IntentData data = currentMap.get(intentKey);
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800147 if (data != null) {
148 return data.installables();
149 }
Ray Milkeyf9af43c2015-02-09 16:45:48 -0800150 return null;
Jonathan Hart5573d322015-01-21 10:13:25 -0800151 }
152
Jonathan Hart07e58be2015-02-12 09:57:16 -0800153
Jonathan Hart07e58be2015-02-12 09:57:16 -0800154
Jonathan Hart74c83132015-02-02 18:37:57 -0800155 @Override
156 public void write(IntentData newData) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700157 checkNotNull(newData);
158
Brian O'Connor645bf202015-02-24 12:00:58 -0800159 IntentData currentData = currentMap.get(newData.key());
Jonathan Hart72175c22015-03-24 18:55:58 -0700160 if (IntentData.isUpdateAcceptable(currentData, newData)) {
Jonathan Hart07e58be2015-02-12 09:57:16 -0800161 // Only the master is modifying the current state. Therefore assume
162 // this always succeeds
Ray Milkey8c6d00e2015-03-13 14:14:34 -0700163 if (newData.state() == PURGE_REQ) {
164 currentMap.remove(newData.key(), newData);
165 } else {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700166 currentMap.put(newData.key(), new IntentData(newData));
Ray Milkey8c6d00e2015-03-13 14:14:34 -0700167 }
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800168
Jonathan Hart07e58be2015-02-12 09:57:16 -0800169 // if current.put succeeded
Brian O'Connor645bf202015-02-24 12:00:58 -0800170 pendingMap.remove(newData.key(), newData);
Jonathan Hart07e58be2015-02-12 09:57:16 -0800171 }
Jonathan Hart74c83132015-02-02 18:37:57 -0800172 }
173
Brian O'Connor9081c902015-03-05 16:26:25 -0800174 private Collection<NodeId> getPeerNodes(Key key, IntentData data) {
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800175 NodeId master = partitionService.getLeader(key);
176 NodeId origin = (data != null) ? data.origin() : null;
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700177 if (master == null || origin == null) {
178 log.warn("Intent {} has no home; master = {}, origin = {}",
179 data.key(), master, origin);
180 }
181
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800182 NodeId me = clusterService.getLocalNode().id();
183 boolean isMaster = Objects.equals(master, me);
184 boolean isOrigin = Objects.equals(origin, me);
185 if (isMaster && isOrigin) {
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700186 return getRandomNode();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800187 } else if (isMaster) {
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700188 return origin != null ? ImmutableList.of(origin) : getRandomNode();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800189 } else if (isOrigin) {
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700190 return master != null ? ImmutableList.of(master) : getRandomNode();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800191 } else {
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700192 log.warn("Not master or origin for intent {}", data.key());
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800193 return ImmutableList.of(master);
194 }
195 }
196
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700197 private List<NodeId> getRandomNode() {
198 NodeId me = clusterService.getLocalNode().id();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800199 List<NodeId> nodes = clusterService.getNodes().stream()
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700200 .map(ControllerNode::id)
201 .filter(node -> !Objects.equals(node, me))
202 .collect(Collectors.toList());
203 if (nodes.size() == 0) {
204 return null;
205 }
206 return ImmutableList.of(nodes.get(RandomUtils.nextInt(nodes.size())));
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800207 }
208
Jonathan Hart74c83132015-02-02 18:37:57 -0800209 @Override
210 public void batchWrite(Iterable<IntentData> updates) {
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800211 updates.forEach(this::write);
212 }
213
214 @Override
215 public Intent getIntent(Key key) {
Brian O'Connor645bf202015-02-24 12:00:58 -0800216 IntentData data = currentMap.get(key);
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800217 if (data != null) {
218 return data.intent();
219 }
220 return null;
Jonathan Hart74c83132015-02-02 18:37:57 -0800221 }
222
223 @Override
Jonathan Hart74c83132015-02-02 18:37:57 -0800224 public IntentData getIntentData(Key key) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700225 IntentData current = currentMap.get(key);
226 if (current == null) {
227 return null;
228 }
229 return new IntentData(current);
Jonathan Hart74c83132015-02-02 18:37:57 -0800230 }
231
232 @Override
233 public void addPending(IntentData data) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700234 checkNotNull(data);
235
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800236 if (data.version() == null) {
Jonathan Hart6a8fd1d2015-02-25 15:44:37 -0800237 data.setVersion(new WallClockTimestamp());
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800238 }
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800239 data.setOrigin(clusterService.getLocalNode().id());
Jonathan Hart0d18df32015-03-21 08:42:59 -0700240 pendingMap.put(data.key(), new IntentData(data));
Jonathan Hart74c83132015-02-02 18:37:57 -0800241 }
242
243 @Override
Brian O'Connorbe28a872015-02-19 21:44:37 -0800244 public boolean isMaster(Key intentKey) {
245 return partitionService.isMine(intentKey);
Jonathan Hart74c83132015-02-02 18:37:57 -0800246 }
247
Jonathan Hart34f1e382015-02-24 16:52:23 -0800248 @Override
249 public Iterable<Intent> getPending() {
Brian O'Connor645bf202015-02-24 12:00:58 -0800250 return pendingMap.values().stream()
Jonathan Hart34f1e382015-02-24 16:52:23 -0800251 .map(IntentData::intent)
252 .collect(Collectors.toList());
253 }
254
Jonathan Hart5573d322015-01-21 10:13:25 -0800255 private void notifyDelegateIfNotNull(IntentEvent event) {
256 if (event != null) {
257 notifyDelegate(event);
258 }
259 }
260
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800261 private final class InternalCurrentListener implements
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800262 EventuallyConsistentMapListener<Key, IntentData> {
Jonathan Hart5573d322015-01-21 10:13:25 -0800263 @Override
Jonathan Hart539a6462015-01-27 17:05:43 -0800264 public void event(
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800265 EventuallyConsistentMapEvent<Key, IntentData> event) {
Jonathan Hart539a6462015-01-27 17:05:43 -0800266 if (event.type() == EventuallyConsistentMapEvent.Type.PUT) {
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800267 IntentData intentData = event.value();
Jonathan Hart5573d322015-01-21 10:13:25 -0800268
Jonathan Hart92888362015-02-13 13:14:59 -0800269 notifyDelegateIfNotNull(IntentEvent.getEvent(intentData));
Jonathan Hart539a6462015-01-27 17:05:43 -0800270 }
Jonathan Hart5573d322015-01-21 10:13:25 -0800271 }
272 }
273
Jonathan Hart74c83132015-02-02 18:37:57 -0800274 private final class InternalPendingListener implements
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800275 EventuallyConsistentMapListener<Key, IntentData> {
Jonathan Hart74c83132015-02-02 18:37:57 -0800276 @Override
277 public void event(
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800278 EventuallyConsistentMapEvent<Key, IntentData> event) {
Jonathan Hart74c83132015-02-02 18:37:57 -0800279 if (event.type() == EventuallyConsistentMapEvent.Type.PUT) {
280 // The pending intents map has been updated. If we are master for
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800281 // this intent's partition, notify the Manager that it should do
Jonathan Hart74c83132015-02-02 18:37:57 -0800282 // some work.
Brian O'Connorbe28a872015-02-19 21:44:37 -0800283 if (isMaster(event.value().intent().key())) {
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800284 if (delegate != null) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700285 delegate.process(new IntentData(event.value()));
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800286 }
Jonathan Hart74c83132015-02-02 18:37:57 -0800287 }
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800288
Jonathan Hart92888362015-02-13 13:14:59 -0800289 notifyDelegateIfNotNull(IntentEvent.getEvent(event.value()));
Jonathan Hart74c83132015-02-02 18:37:57 -0800290 }
291 }
292 }
293
Jonathan Hart5573d322015-01-21 10:13:25 -0800294}
295