blob: fc2e8e33cb7b1bd26c2ccec8d779a03735c381cf [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 Hart34f1e382015-02-24 16:52:23 -080039import org.onosproject.store.impl.MultiValuedTimestamp;
Jonathan Hart6a8fd1d2015-02-25 15:44:37 -080040import org.onosproject.store.impl.WallClockTimestamp;
Jonathan Hart539a6462015-01-27 17:05:43 -080041import org.onosproject.store.serializers.KryoNamespaces;
Jonathan Hart6ec029a2015-03-24 17:12:35 -070042import org.onosproject.store.service.EventuallyConsistentMap;
43import org.onosproject.store.service.EventuallyConsistentMapEvent;
44import org.onosproject.store.service.EventuallyConsistentMapListener;
45import org.onosproject.store.service.StorageService;
Jonathan Hart5573d322015-01-21 10:13:25 -080046import org.slf4j.Logger;
47
Brian O'Connor9081c902015-03-05 16:26:25 -080048import java.util.Collection;
Jonathan Hart5573d322015-01-21 10:13:25 -080049import java.util.List;
Brian O'Connor5eb77c82015-03-02 18:09:39 -080050import java.util.Objects;
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -080051import java.util.stream.Collectors;
Jonathan Hart5573d322015-01-21 10:13:25 -080052
Jonathan Hart0d18df32015-03-21 08:42:59 -070053import static com.google.common.base.Preconditions.checkNotNull;
Jonathan Hart6ec029a2015-03-24 17:12:35 -070054import static org.onosproject.net.intent.IntentState.PURGE_REQ;
Jonathan Hart5573d322015-01-21 10:13:25 -080055import static org.slf4j.LoggerFactory.getLogger;
56
57/**
58 * Manages inventory of Intents in a distributed data store that uses optimistic
59 * replication and gossip based techniques.
60 */
Brian O'Connor5eb77c82015-03-02 18:09:39 -080061//FIXME we should listen for leadership changes. if the local instance has just
62// ... become a leader, scan the pending map and process those
Jonathan Hart6ec029a2015-03-24 17:12:35 -070063@Component(immediate = true, enabled = true)
Jonathan Hart5573d322015-01-21 10:13:25 -080064@Service
65public class GossipIntentStore
66 extends AbstractStore<IntentEvent, IntentStoreDelegate>
67 implements IntentStore {
68
69 private final Logger log = getLogger(getClass());
70
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -080071 // Map of intent key => current intent state
Brian O'Connor645bf202015-02-24 12:00:58 -080072 private EventuallyConsistentMap<Key, IntentData> currentMap;
Jonathan Hart5573d322015-01-21 10:13:25 -080073
Jonathan Hart74c83132015-02-02 18:37:57 -080074 // Map of intent key => pending intent operation
Brian O'Connor645bf202015-02-24 12:00:58 -080075 private EventuallyConsistentMap<Key, IntentData> pendingMap;
Jonathan Hart74c83132015-02-02 18:37:57 -080076
Jonathan Hart5573d322015-01-21 10:13:25 -080077 @Reference(cardinality = ReferenceCardinality.MANDATORY_UNARY)
Jonathan Hart6ec029a2015-03-24 17:12:35 -070078 protected ClusterService clusterService;
Jonathan Hart5573d322015-01-21 10:13:25 -080079
80 @Reference(cardinality = ReferenceCardinality.MANDATORY_UNARY)
Jonathan Hart6ec029a2015-03-24 17:12:35 -070081 protected StorageService storageService;
Jonathan Hart5573d322015-01-21 10:13:25 -080082
Jonathan Hart74c83132015-02-02 18:37:57 -080083 @Reference(cardinality = ReferenceCardinality.MANDATORY_UNARY)
84 protected PartitionService partitionService;
85
Jonathan Hart5573d322015-01-21 10:13:25 -080086 @Activate
87 public void activate() {
Jonathan Hart539a6462015-01-27 17:05:43 -080088 KryoNamespace.Builder intentSerializer = KryoNamespace.newBuilder()
Jonathan Hart5ec32ba2015-02-05 13:33:58 -080089 .register(KryoNamespaces.API)
90 .register(IntentData.class)
91 .register(MultiValuedTimestamp.class)
Jonathan Hart6a8fd1d2015-02-25 15:44:37 -080092 .register(WallClockTimestamp.class);
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -080093
Jonathan Hart6ec029a2015-03-24 17:12:35 -070094 currentMap = storageService.<Key, IntentData>eventuallyConsistentMapBuilder()
95 .withName("intent-current")
96 .withSerializer(intentSerializer)
97 .withClockService(new IntentDataLogicalClockManager<>())
98 .withPeerUpdateFunction((key, intentData) -> getPeerNodes(key, intentData))
99 .build();
Jonathan Hart5573d322015-01-21 10:13:25 -0800100
Jonathan Hart6ec029a2015-03-24 17:12:35 -0700101 pendingMap = storageService.<Key, IntentData>eventuallyConsistentMapBuilder()
102 .withName("intent-pending")
103 .withSerializer(intentSerializer)
104 .withClockService(new IntentDataClockManager<>())
105 .withPeerUpdateFunction((key, intentData) -> getPeerNodes(key, intentData))
106 .build();
Jonathan Hart74c83132015-02-02 18:37:57 -0800107
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800108 currentMap.addListener(new InternalCurrentListener());
Brian O'Connor645bf202015-02-24 12:00:58 -0800109 pendingMap.addListener(new InternalPendingListener());
Jonathan Hart5573d322015-01-21 10:13:25 -0800110
111 log.info("Started");
112 }
113
114 @Deactivate
115 public void deactivate() {
Brian O'Connor645bf202015-02-24 12:00:58 -0800116 currentMap.destroy();
117 pendingMap.destroy();
Jonathan Hart5573d322015-01-21 10:13:25 -0800118
119 log.info("Stopped");
120 }
121
122 @Override
123 public long getIntentCount() {
Brian O'Connor645bf202015-02-24 12:00:58 -0800124 return currentMap.size();
Jonathan Hart5573d322015-01-21 10:13:25 -0800125 }
126
127 @Override
128 public Iterable<Intent> getIntents() {
Brian O'Connor645bf202015-02-24 12:00:58 -0800129 return currentMap.values().stream()
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800130 .map(IntentData::intent)
131 .collect(Collectors.toList());
Jonathan Hart5573d322015-01-21 10:13:25 -0800132 }
133
134 @Override
Ray Milkeyf9af43c2015-02-09 16:45:48 -0800135 public IntentState getIntentState(Key intentKey) {
Brian O'Connor645bf202015-02-24 12:00:58 -0800136 IntentData data = currentMap.get(intentKey);
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800137 if (data != null) {
138 return data.state();
139 }
140 return null;
Jonathan Hart5573d322015-01-21 10:13:25 -0800141 }
142
143 @Override
Ray Milkeyf9af43c2015-02-09 16:45:48 -0800144 public List<Intent> getInstallableIntents(Key intentKey) {
Brian O'Connor645bf202015-02-24 12:00:58 -0800145 IntentData data = currentMap.get(intentKey);
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800146 if (data != null) {
147 return data.installables();
148 }
Ray Milkeyf9af43c2015-02-09 16:45:48 -0800149 return null;
Jonathan Hart5573d322015-01-21 10:13:25 -0800150 }
151
Jonathan Hart07e58be2015-02-12 09:57:16 -0800152
Jonathan Hart07e58be2015-02-12 09:57:16 -0800153
Jonathan Hart74c83132015-02-02 18:37:57 -0800154 @Override
155 public void write(IntentData newData) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700156 checkNotNull(newData);
157
Brian O'Connor645bf202015-02-24 12:00:58 -0800158 IntentData currentData = currentMap.get(newData.key());
Jonathan Hart72175c22015-03-24 18:55:58 -0700159 if (IntentData.isUpdateAcceptable(currentData, newData)) {
Jonathan Hart07e58be2015-02-12 09:57:16 -0800160 // Only the master is modifying the current state. Therefore assume
161 // this always succeeds
Ray Milkey8c6d00e2015-03-13 14:14:34 -0700162 if (newData.state() == PURGE_REQ) {
163 currentMap.remove(newData.key(), newData);
164 } else {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700165 currentMap.put(newData.key(), new IntentData(newData));
Ray Milkey8c6d00e2015-03-13 14:14:34 -0700166 }
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800167
Jonathan Hart07e58be2015-02-12 09:57:16 -0800168 // if current.put succeeded
Brian O'Connor645bf202015-02-24 12:00:58 -0800169 pendingMap.remove(newData.key(), newData);
Jonathan Hart07e58be2015-02-12 09:57:16 -0800170 }
Jonathan Hart74c83132015-02-02 18:37:57 -0800171 }
172
Brian O'Connor9081c902015-03-05 16:26:25 -0800173 private Collection<NodeId> getPeerNodes(Key key, IntentData data) {
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800174 NodeId master = partitionService.getLeader(key);
175 NodeId origin = (data != null) ? data.origin() : null;
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700176 if (master == null || origin == null) {
177 log.warn("Intent {} has no home; master = {}, origin = {}",
178 data.key(), master, origin);
179 }
180
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800181 NodeId me = clusterService.getLocalNode().id();
182 boolean isMaster = Objects.equals(master, me);
183 boolean isOrigin = Objects.equals(origin, me);
184 if (isMaster && isOrigin) {
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700185 return getRandomNode();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800186 } else if (isMaster) {
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700187 return origin != null ? ImmutableList.of(origin) : getRandomNode();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800188 } else if (isOrigin) {
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700189 return master != null ? ImmutableList.of(master) : getRandomNode();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800190 } else {
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700191 log.warn("Not master or origin for intent {}", data.key());
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800192 return ImmutableList.of(master);
193 }
194 }
195
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700196 private List<NodeId> getRandomNode() {
197 NodeId me = clusterService.getLocalNode().id();
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800198 List<NodeId> nodes = clusterService.getNodes().stream()
Brian O'Connor4964d3d2015-03-12 20:38:10 -0700199 .map(ControllerNode::id)
200 .filter(node -> !Objects.equals(node, me))
201 .collect(Collectors.toList());
202 if (nodes.size() == 0) {
203 return null;
204 }
205 return ImmutableList.of(nodes.get(RandomUtils.nextInt(nodes.size())));
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800206 }
207
Jonathan Hart74c83132015-02-02 18:37:57 -0800208 @Override
209 public void batchWrite(Iterable<IntentData> updates) {
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800210 updates.forEach(this::write);
211 }
212
213 @Override
214 public Intent getIntent(Key key) {
Brian O'Connor645bf202015-02-24 12:00:58 -0800215 IntentData data = currentMap.get(key);
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800216 if (data != null) {
217 return data.intent();
218 }
219 return null;
Jonathan Hart74c83132015-02-02 18:37:57 -0800220 }
221
222 @Override
Jonathan Hart74c83132015-02-02 18:37:57 -0800223 public IntentData getIntentData(Key key) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700224 IntentData current = currentMap.get(key);
225 if (current == null) {
226 return null;
227 }
228 return new IntentData(current);
Jonathan Hart74c83132015-02-02 18:37:57 -0800229 }
230
231 @Override
232 public void addPending(IntentData data) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700233 checkNotNull(data);
234
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800235 if (data.version() == null) {
Jonathan Hart6a8fd1d2015-02-25 15:44:37 -0800236 data.setVersion(new WallClockTimestamp());
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800237 }
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800238 data.setOrigin(clusterService.getLocalNode().id());
Jonathan Hart0d18df32015-03-21 08:42:59 -0700239 pendingMap.put(data.key(), new IntentData(data));
Jonathan Hart74c83132015-02-02 18:37:57 -0800240 }
241
242 @Override
Brian O'Connorbe28a872015-02-19 21:44:37 -0800243 public boolean isMaster(Key intentKey) {
244 return partitionService.isMine(intentKey);
Jonathan Hart74c83132015-02-02 18:37:57 -0800245 }
246
Jonathan Hart34f1e382015-02-24 16:52:23 -0800247 @Override
248 public Iterable<Intent> getPending() {
Brian O'Connor645bf202015-02-24 12:00:58 -0800249 return pendingMap.values().stream()
Jonathan Hart34f1e382015-02-24 16:52:23 -0800250 .map(IntentData::intent)
251 .collect(Collectors.toList());
252 }
253
Jonathan Hart5573d322015-01-21 10:13:25 -0800254 private void notifyDelegateIfNotNull(IntentEvent event) {
255 if (event != null) {
256 notifyDelegate(event);
257 }
258 }
259
Brian O'Connor5eb77c82015-03-02 18:09:39 -0800260 private final class InternalCurrentListener implements
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800261 EventuallyConsistentMapListener<Key, IntentData> {
Jonathan Hart5573d322015-01-21 10:13:25 -0800262 @Override
Jonathan Hart539a6462015-01-27 17:05:43 -0800263 public void event(
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800264 EventuallyConsistentMapEvent<Key, IntentData> event) {
Jonathan Hart539a6462015-01-27 17:05:43 -0800265 if (event.type() == EventuallyConsistentMapEvent.Type.PUT) {
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800266 IntentData intentData = event.value();
Jonathan Hart5573d322015-01-21 10:13:25 -0800267
Jonathan Hart92888362015-02-13 13:14:59 -0800268 notifyDelegateIfNotNull(IntentEvent.getEvent(intentData));
Jonathan Hart539a6462015-01-27 17:05:43 -0800269 }
Jonathan Hart5573d322015-01-21 10:13:25 -0800270 }
271 }
272
Jonathan Hart74c83132015-02-02 18:37:57 -0800273 private final class InternalPendingListener implements
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800274 EventuallyConsistentMapListener<Key, IntentData> {
Jonathan Hart74c83132015-02-02 18:37:57 -0800275 @Override
276 public void event(
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800277 EventuallyConsistentMapEvent<Key, IntentData> event) {
Jonathan Hart74c83132015-02-02 18:37:57 -0800278 if (event.type() == EventuallyConsistentMapEvent.Type.PUT) {
279 // The pending intents map has been updated. If we are master for
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800280 // this intent's partition, notify the Manager that it should do
Jonathan Hart74c83132015-02-02 18:37:57 -0800281 // some work.
Brian O'Connorbe28a872015-02-19 21:44:37 -0800282 if (isMaster(event.value().intent().key())) {
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800283 if (delegate != null) {
Jonathan Hart0d18df32015-03-21 08:42:59 -0700284 delegate.process(new IntentData(event.value()));
Jonathan Hart4fd4ebb2015-02-04 17:38:48 -0800285 }
Jonathan Hart74c83132015-02-02 18:37:57 -0800286 }
Jonathan Hart5ec32ba2015-02-05 13:33:58 -0800287
Jonathan Hart92888362015-02-13 13:14:59 -0800288 notifyDelegateIfNotNull(IntentEvent.getEvent(event.value()));
Jonathan Hart74c83132015-02-02 18:37:57 -0800289 }
290 }
291 }
292
Jonathan Hart5573d322015-01-21 10:13:25 -0800293}
294