3.6.4-SNAPSHOT
Introduction
This document discusses Apache TinkerPop™ implementation details that are most useful to developers who implement TinkerPop interfaces and the Gremlin language. This document may also be helpful to Gremlin users who simply want a deeper understanding of how TinkerPop works and what the behavioral semantics of Gremlin are. The Provider Section outlines the various integration and extension points that TinkerPop has while the Gremlin Semantics Section documents the Gremlin language itself.
Providers who rely on the TinkerPop execution engine generally receive the behaviors described in the Gremlin Semantics section for free, but those who develop their own engine or extend upon the certain features should refer to that section for the details required for a consistent Gremlin experience.
Provider Documentation
TinkerPop exposes a set of interfaces, protocols, and tests that make it possible for third-parties to build libraries and systems that plug-in to the TinkerPop stack. TinkerPop refers to those third-parties as "providers" and this documentation is designed to help providers understand what is involved in developing code on these lower levels of the TinkerPop API.
This document attempts to address the needs of the different providers that have been identified:
-
Graph System Provider
-
Graph Database Provider
-
Graph Processor Provider
-
-
Graph Driver Provider
-
Graph Language Provider
-
Graph Plugin Provider
Graph System Provider Requirements
At the core of TinkerPop 3.x is a Java API. The implementation of this
core API and its validation via the gremlin-test suite is all that is required of a graph system provider wishing to
provide a TinkerPop-enabled graph engine. Once a graph system has a valid implementation, then all the applications
provided by TinkerPop (e.g. Gremlin Console, Gremlin Server, etc.) and 3rd-party developers (e.g. Gremlin-Scala,
Gremlin-JS, etc.) will integrate properly. Finally, please feel free to use the logo on the left to promote your
TinkerPop implementation.
Graph Structure API
The graph structure API of TinkerPop provides the interfaces necessary to create a TinkerPop enabled system and
exposes the basic components of a property graph to include Graph, Vertex, Edge, VertexProperty and Property.
The structure API can be used directly as follows:
Graph graph = TinkerGraph.open(); //1
Vertex marko = graph.addVertex(T.label, "person", T.id, 1, "name", "marko", "age", 29); //2
Vertex vadas = graph.addVertex(T.label, "person", T.id, 2, "name", "vadas", "age", 27);
Vertex lop = graph.addVertex(T.label, "software", T.id, 3, "name", "lop", "lang", "java");
Vertex josh = graph.addVertex(T.label, "person", T.id, 4, "name", "josh", "age", 32);
Vertex ripple = graph.addVertex(T.label, "software", T.id, 5, "name", "ripple", "lang", "java");
Vertex peter = graph.addVertex(T.label, "person", T.id, 6, "name", "peter", "age", 35);
marko.addEdge("knows", vadas, T.id, 7, "weight", 0.5f); //3
marko.addEdge("knows", josh, T.id, 8, "weight", 1.0f);
marko.addEdge("created", lop, T.id, 9, "weight", 0.4f);
josh.addEdge("created", ripple, T.id, 10, "weight", 1.0f);
josh.addEdge("created", lop, T.id, 11, "weight", 0.4f);
peter.addEdge("created", lop, T.id, 12, "weight", 0.2f);-
Create a new in-memory
TinkerGraphand assign it to the variablegraph. -
Create a vertex along with a set of key/value pairs with
T.labelbeing the vertex label andT.idbeing the vertex id. -
Create an edge along with a set of key/value pairs with the edge label being specified as the first argument.
In the above code all the vertices are created first and then their respective edges. There are two "accessor tokens":
T.id and T.label. When any of these, along with a set of other key value pairs is provided to
Graph.addVertex(Object…) or Vertex.addEdge(String,Vertex,Object…), the respective element is created along
with the provided key/value pair properties appended to it.
Below is a sequence of basic graph mutation operations represented in Java:
// create a new graph
Graph graph = TinkerGraph.open();
// add a software vertex with a name property
Vertex gremlin = graph.addVertex(T.label, "software",
"name", "gremlin"); //1
// only one vertex should exist
assert(IteratorUtils.count(graph.vertices()) == 1)
// no edges should exist as none have been created
assert(IteratorUtils.count(graph.edges()) == 0)
// add a new property
gremlin.property("created",2009) //2
// add a new software vertex to the graph
Vertex blueprints = graph.addVertex(T.label, "software",
"name", "blueprints"); //3
// connect gremlin to blueprints via a dependsOn-edge
gremlin.addEdge("dependsOn",blueprints); //4
// now there are two vertices and one edge
assert(IteratorUtils.count(graph.vertices()) == 2)
assert(IteratorUtils.count(graph.edges()) == 1)
// add a property to blueprints
blueprints.property("created",2010) //5
// remove that property
blueprints.property("created").remove() //6
// connect gremlin to blueprints via encapsulates
gremlin.addEdge("encapsulates",blueprints) //7
assert(IteratorUtils.count(graph.vertices()) == 2)
assert(IteratorUtils.count(graph.edges()) == 2)
// removing a vertex removes all its incident edges as well
blueprints.remove() //8
gremlin.remove() //9
// the graph is now empty
assert(IteratorUtils.count(graph.vertices()) == 0)
assert(IteratorUtils.count(graph.edges()) == 0)
// tada!The above code samples are just examples of how the structure API can be used to access a graph. Those APIs are then used internally by the process API (i.e. Gremlin) to access any graph that implements those structure API interfaces to execute queries. Typically, the structure API methods are not used directly by end-users.
Implementing Gremlin-Core
The classes that a graph system provider should focus on implementing are itemized below. It is a good idea to study
the TinkerGraph (in-memory OLTP and OLAP
in tinkergraph-gremlin), Neo4jGraph
(OLTP w/ transactions in neo4j-gremlin) and/or
HadoopGraph (OLAP in hadoop-gremlin)
implementations for ideas and patterns.
-
Online Transactional Processing Graph Systems (OLTP)
-
Structure API:
Graph,Element,Vertex,Edge,PropertyandTransaction(if transactions are supported). -
Process API:
TraversalStrategyinstances for optimizing Gremlin traversals to the provider’s graph system (i.e.TinkerGraphStepStrategy).
-
-
Online Analytics Processing Graph Systems (OLAP)
-
Everything required of OLTP is required of OLAP (but not vice versa).
-
GraphComputer API:
GraphComputer,Messenger,Memory.
-
Please consider the following implementation notes:
-
Use
StringHelperto ensuring that thetoString()representation of classes are consistent with other implementations. -
Ensure that your implementation’s
Features(Graph, Vertex, etc.) are correct so that test cases handle particulars accordingly. -
Use the numerous static method helper classes such as
ElementHelper,GraphComputerHelper,VertexProgramHelper, etc. -
There are a number of default methods on the provided interfaces that are semantically correct. However, if they are not efficient for the implementation, override them.
-
Implement the
structure/package interfaces first and then, if desired, interfaces in theprocess/package interfaces. -
ComputerGraphis aWrappersystem that ensure proper semantics during a GraphComputer computation. -
The javadoc is often a good resource in understanding expectations from both the user’s perspective as well as the graph provider’s perspective. Also consider examining the javadoc of TinkerGraph which is often well annotated and the interfaces and classes of the test suite itself.
OLTP Implementations
The most important interfaces to implement are in the structure/
package. These include interfaces like Graph, Vertex, Edge, Property, Transaction, etc. The
StructureStandardSuite will ensure that the semantics of the methods implemented are correct. Moreover, there are
numerous Exceptions classes with static exceptions that should be thrown by the graph system so that all the
exceptions and their messages are consistent amongst all TinkerPop implementations.
The following bullets provide some tips to consider when implementing the structure interfaces:
-
Graph-
Be sure the
Graphimplementation is named asXXXGraph(e.g. TinkerGraph, Neo4jGraph, HadoopGraph, etc.). -
This implementation needs to be
GraphFactorycompatible which means that the implementation should have a staticGraph open(Configuration)method where theConfigurationis an Apache Commons class of that name. Alternatively, theGraphimplementation can have theGraphFactoryClassannotation which specifies a class with that staticGraph open(Configuration)method.
-
-
VertexProperty-
This interface is both a
Propertyand anElementasVertexPropertyis a first-class graph element in that it can have its own properties (i.e. meta-properties). Even if the implementation does not intend to support meta-properties, theVertexPropertyneeds to be implemented as anElement.
-
OLAP Implementations
Implementing the OLAP interfaces may be a bit more complicated.
Note that before OLAP interfaces are implemented, it is necessary for the OLTP interfaces to be, at minimal,
implemented as specified in OLTP Implementations. A summary of each required interface
implementation is presented below:
-
GraphComputer: A fluent builder for specifying an isolation level, a VertexProgram, and any number of MapReduce jobs to be submitted. -
Memory: A global blackboard for ANDing, ORing, INCRing, and SETing values for specified keys. -
Messenger: The system that collects and distributes messages being propagated by vertices executing the VertexProgram application. -
MapReduce.MapEmitter: The system that collects key/value pairs being emitted by the MapReduce applications map-phase. -
MapReduce.ReduceEmitter: The system that collects key/value pairs being emitted by the MapReduce applications combine- and reduce-phases.
|
Note
|
The VertexProgram and MapReduce interfaces in the process/computer/ package are not required by the graph
system. Instead, these are interfaces to be implemented by application developers writing VertexPrograms and MapReduce jobs.
|
|
Important
|
TinkerPop provides two OLAP implementations: TinkerGraphComputer (TinkerGraph), and SparkGraphComputer (Hadoop). Given the complexity of the OLAP system, it is good to study and copy many of the patterns used in these reference implementations. |
Implementing GraphComputer
The most complex method in GraphComputer is the submit()-method. The method must do the following:
-
Ensure the GraphComputer has not already been executed.
-
Ensure that at least there is a VertexProgram or 1 MapReduce job.
-
If there is a VertexProgram, validate that it can execute on the GraphComputer given the respectively defined features.
-
Create the Memory to be used for the computation.
-
Execute the VertexProgram.setup() method once and only once.
-
Execute the VertexProgram.execute() method for each vertex.
-
Execute the VertexProgram.terminate() method once and if true, repeat VertexProgram.execute().
-
When VertexProgram.terminate() returns true, move to MapReduce job execution.
-
MapReduce jobs are not required to be executed in any specified order.
-
For each Vertex, execute MapReduce.map(). Then (if defined) execute MapReduce.combine() and MapReduce.reduce().
-
Update Memory with runtime information.
-
Construct a new
ComputerResultcontaining the compute Graph and Memory.
Implementing Memory
The Memory object is initially defined by VertexProgram.setup().
The memory data is available in the first round of the VertexProgram.execute() method. Each Vertex, when executing
the VertexProgram, can update the Memory in its round. However, the update is not seen by the other vertices until
the next round. At the end of the first round, all the updates are aggregated and the new memory data is available
on the second round. This process repeats until the VertexProgram terminates.
Implementing Messenger
The Messenger object is similar to the Memory object in that a vertex can read and write to the Messenger. However, the data it reads are the messages sent to the vertex in the previous step and the data it writes are the messages that will be readable by the receiving vertices in the subsequent round.
Implementing MapReduce Emitters
The MapReduce framework in TinkerPop is similar to the model
popularized by Hadoop. The primary difference is that all Mappers process the vertices
of the graph, not an arbitrary key/value pair. However, the vertices' edges can not be accessed — only their
properties. This greatly reduces the amount of data needed to be pushed through the MapReduce engine as any edge
information required, can be computed in the VertexProgram.execute() method. Moreover, at this stage, vertices can
not be mutated, only their token and property data read. A Gremlin OLAP system needs to provide implementations for
to particular classes: MapReduce.MapEmitter and MapReduce.ReduceEmitter. TinkerGraph’s implementation is provided
below which demonstrates the simplicity of the algorithm (especially when the data is all within the same JVM).
public class TinkerMapEmitter<K, V> implements MapReduce.MapEmitter<K, V> {
public Map<K, Queue<V>> reduceMap;
public Queue<KeyValue<K, V>> mapQueue;
private final boolean doReduce;
public TinkerMapEmitter(final boolean doReduce) { //1
this.doReduce = doReduce;
if (this.doReduce)
this.reduceMap = new ConcurrentHashMap<>();
else
this.mapQueue = new ConcurrentLinkedQueue<>();
}
@Override
public void emit(K key, V value) {
if (this.doReduce)
this.reduceMap.computeIfAbsent(key, k -> new ConcurrentLinkedQueue<>()).add(value); //2
else
this.mapQueue.add(new KeyValue<>(key, value)); //3
}
protected void complete(final MapReduce<K, V, ?, ?, ?> mapReduce) {
if (!this.doReduce && mapReduce.getMapKeySort().isPresent()) { //4
final Comparator<K> comparator = mapReduce.getMapKeySort().get();
final List<KeyValue<K, V>> list = new ArrayList<>(this.mapQueue);
Collections.sort(list, Comparator.comparing(KeyValue::getKey, comparator));
this.mapQueue.clear();
this.mapQueue.addAll(list);
} else if (mapReduce.getMapKeySort().isPresent()) {
final Comparator<K> comparator = mapReduce.getMapKeySort().get();
final List<Map.Entry<K, Queue<V>>> list = new ArrayList<>();
list.addAll(this.reduceMap.entrySet());
Collections.sort(list, Comparator.comparing(Map.Entry::getKey, comparator));
this.reduceMap = new LinkedHashMap<>();
list.forEach(entry -> this.reduceMap.put(entry.getKey(), entry.getValue()));
}
}
}-
If the MapReduce job has a reduce, then use one data structure (
reduceMap), else use another (mapList). The difference being that a reduction requires a grouping by key and therefore, theMap<K,Queue<V>>definition. If no reduction/grouping is required, then a simpleQueue<KeyValue<K,V>>can be leveraged. -
If reduce is to follow, then increment the Map with a new value for the key.
MapHelperis a TinkerPop class with static methods for adding data to a Map. -
If no reduce is to follow, then simply append a KeyValue to the queue.
-
When the map phase is complete, any map-result sorting required can be executed at this point.
public class TinkerReduceEmitter<OK, OV> implements MapReduce.ReduceEmitter<OK, OV> {
protected Queue<KeyValue<OK, OV>> reduceQueue = new ConcurrentLinkedQueue<>();
@Override
public void emit(final OK key, final OV value) {
this.reduceQueue.add(new KeyValue<>(key, value));
}
protected void complete(final MapReduce<?, ?, OK, OV, ?> mapReduce) {
if (mapReduce.getReduceKeySort().isPresent()) {
final Comparator<OK> comparator = mapReduce.getReduceKeySort().get();
final List<KeyValue<OK, OV>> list = new ArrayList<>(this.reduceQueue);
Collections.sort(list, Comparator.comparing(KeyValue::getKey, comparator));
this.reduceQueue.clear();
this.reduceQueue.addAll(list);
}
}
}The method MapReduce.reduce() is defined as:
public void reduce(final OK key, final Iterator<OV> values, final ReduceEmitter<OK, OV> emitter) { ... }In other words, for the TinkerGraph implementation, iterate through the entrySet of the reduceMap and call the
reduce() method on each entry. The reduce() method can emit key/value pairs which are simply aggregated into a
Queue<KeyValue<OK,OV>> in an analogous fashion to TinkerMapEmitter when no reduce is to follow. These two emitters
are tied together in TinkerGraphComputer.submit().
...
for (final MapReduce mapReduce : mapReducers) {
if (mapReduce.doStage(MapReduce.Stage.MAP)) {
final TinkerMapEmitter<?, ?> mapEmitter = new TinkerMapEmitter<>(mapReduce.doStage(MapReduce.Stage.REDUCE));
final SynchronizedIterator<Vertex> vertices = new SynchronizedIterator<>(this.graph.vertices());
workers.setMapReduce(mapReduce);
workers.mapReduceWorkerStart(MapReduce.Stage.MAP);
workers.executeMapReduce(workerMapReduce -> {
while (true) {
final Vertex vertex = vertices.next();
if (null == vertex) return;
workerMapReduce.map(ComputerGraph.mapReduce(vertex), mapEmitter);
}
});
workers.mapReduceWorkerEnd(MapReduce.Stage.MAP);
// sort results if a map output sort is defined
mapEmitter.complete(mapReduce);
// no need to run combiners as this is single machine
if (mapReduce.doStage(MapReduce.Stage.REDUCE)) {
final TinkerReduceEmitter<?, ?> reduceEmitter = new TinkerReduceEmitter<>();
final SynchronizedIterator<Map.Entry<?, Queue<?>>> keyValues = new SynchronizedIterator((Iterator) mapEmitter.reduceMap.entrySet().iterator());
workers.mapReduceWorkerStart(MapReduce.Stage.REDUCE);
workers.executeMapReduce(workerMapReduce -> {
while (true) {
final Map.Entry<?, Queue<?>> entry = keyValues.next();
if (null == entry) return;
workerMapReduce.reduce(entry.getKey(), entry.getValue().iterator(), reduceEmitter);
}
});
workers.mapReduceWorkerEnd(MapReduce.Stage.REDUCE);
reduceEmitter.complete(mapReduce); // sort results if a reduce output sort is defined
mapReduce.addResultToMemory(this.memory, reduceEmitter.reduceQueue.iterator()); //1
} else {
mapReduce.addResultToMemory(this.memory, mapEmitter.mapQueue.iterator()); //2
}
}
}
...-
Note that the final results of the reducer are provided to the Memory as specified by the application developer’s
MapReduce.addResultToMemory()implementation. -
If there is no reduce stage, the map-stage results are inserted into Memory as specified by the application developer’s
MapReduce.addResultToMemory()implementation.
Hadoop-Gremlin Usage
Hadoop-Gremlin is centered around InputFormats and OutputFormats. If a 3rd-party graph system provider wishes to
leverage Hadoop-Gremlin (and its respective GraphComputer engines), then they need to provide, at minimum, a
Hadoop2 InputFormat<NullWritable,VertexWritable> for their graph system. If the provider wishes to persist computed
results back to their graph system (and not just to HDFS via a FileOutputFormat), then a graph system specific
OutputFormat<NullWritable,VertexWritable> must be developed as well.
Conceptually, HadoopGraph is a wrapper around a Configuration object. There is no "data" in the HadoopGraph as
the InputFormat specifies where and how to get the graph data at OLAP (and OLTP) runtime. Thus, HadoopGraph is a
small object with little overhead. Graph system providers should realize HadoopGraph as the gateway to the OLAP
features offered by Hadoop-Gremlin. For example, a graph system specific Graph.compute(Class<? extends GraphComputer>
graphComputerClass)-method may look as follows:
public <C extends GraphComputer> C compute(final Class<C> graphComputerClass) throws IllegalArgumentException {
try {
if (AbstractHadoopGraphComputer.class.isAssignableFrom(graphComputerClass))
return graphComputerClass.getConstructor(HadoopGraph.class).newInstance(this);
else
throw Graph.Exceptions.graphDoesNotSupportProvidedGraphComputer(graphComputerClass);
} catch (final Exception e) {
throw new IllegalArgumentException(e.getMessage(),e);
}
}Note that the configurations for Hadoop are assumed to be in the Graph.configuration() object. If this is not the
case, then the Configuration provided to HadoopGraph.open() should be dynamically created within the
compute()-method. It is in the provided configuration that HadoopGraph gets the various properties which
determine how to read and write data to and from Hadoop. For instance, gremlin.hadoop.graphReader and
gremlin.hadoop.graphWriter.
GraphFilterAware Interface
Graph filters by OLAP processors to only pull a subgraph of the full graph from the graph data source. For instance, the
example below constructs a GraphFilter that will only pull the "knows"-graph amongst people into the GraphComputer
for processing.
graph.compute().vertices(hasLabel("person")).edges(bothE("knows"))If the provider has a custom InputRDD, they can implement GraphFilterAware and that graph filter will be provided to their
InputRDD at load time. For providers that use an InputFormat, state but the graph filter can be accessed from the configuration
as such:
if (configuration.containsKey(Constants.GREMLIN_HADOOP_GRAPH_FILTER))
this.graphFilter = VertexProgramHelper.deserialize(configuration, Constants.GREMLIN_HADOOP_GRAPH_FILTER);PersistResultGraphAware Interface
A graph system provider’s OutputFormat should implement the PersistResultGraphAware interface which
determines which persistence options are available to the user. For the standard file-based OutputFormats provided
by Hadoop-Gremlin (e.g. GryoOutputFormat, GraphSONOutputFormat,
and ScriptInputOutputFormat) ResultGraph.ORIGINAL is not supported as the original graph
data files are not random access and are, in essence, immutable. Thus, these file-based OutputFormats only support
ResultGraph.NEW which creates a copy of the data specified by the Persist enum.
IO Implementations
If a Graph requires custom serializers for IO to work properly, implement the Graph.io method. A typical example
of where a Graph would require such a custom serializers is if their identifier system uses non-primitive values,
such as OrientDB’s Rid class. From basic serialization of a single Vertex all the way up the stack to Gremlin
Server, the need to know how to handle these complex identifiers is an important requirement.
The first step to implementing custom serializers is to first implement the IoRegistry interface and register the
custom classes and serializers to it. Each Io implementation has different requirements for what it expects from the
IoRegistry:
-
GraphML - No custom serializers expected/allowed.
-
GraphSON - Register a Jackson
SimpleModule. TheSimpleModuleencapsulates specific classes to be serialized, so it does not need to be registered to a specific class in theIoRegistry(usenull). -
Gryo - Expects registration of one of three objects:
-
Register just the custom class with a
nullKryoSerializerimplementation - this class will use default "field-level" Kryo serialization. -
Register the custom class with a specific Kryo `Serializer' implementation.
-
Register the custom class with a
Function<Kryo, Serializer>for those cases where the KryoSerializerrequires theKryoinstance to get constructed.
-
This implementation should provide a zero-arg constructor as the stack may require instantiation via reflection.
Consider extending AbstractIoRegistry for convenience as follows:
public class MyGraphIoRegistry extends AbstractIoRegistry {
public MyGraphIoRegistry() {
register(GraphSONIo.class, null, new MyGraphSimpleModule());
register(GryoIo.class, MyGraphIdClass.class, new MyGraphIdSerializer());
}
}In the Graph.io method, provide the IoRegistry object to the supplied Builder and call the create method to
return that Io instance as follows:
public <I extends Io> I io(final Io.Builder<I> builder) {
return (I) builder.graph(this).registry(myGraphIoRegistry).create();
}}In this way, Graph implementations can pre-configure custom serializers for IO interactions and users will not need
to know about those details. Following this pattern will ensure proper execution of the test suite as well as
simplified usage for end-users.
|
Important
|
Proper implementation of IO is critical to successful Graph operations in Gremlin Server. The Test Suite
does have "serialization" tests that provide some assurance that an implementation is working properly, but those
tests cannot make assertions against any specifics of a custom serializer. It is the responsibility of the
implementer to test the specifics of their custom serializers.
|
|
Tip
|
Consider separating serializer code into its own module, if possible, so that clients that use the Graph
implementation remotely don’t need a full dependency on the entire Graph - just the IO components and related
classes being serialized.
|
There is an important implication to consider when the addition of a custom serializer. Presumably, the custom
serializer was written for the JVM to be deployed with a Graph instance. For example, a graph may expose a
geographical type like a Point or something similar. The library that contains Point assuming users expected to
deserialize back to a Point would need to have the library with Point and the “PointSerializer” class available
to them. In cases where that deployment approach is not desirable, it is possible to coerce a class like Point to
a type that is already in the list of types supported in TinkerPop. For example, Point could be coerced one-way to
Map of keys "x" and "y". Of course, on the client side, users would have to construct a Map for a Point which
isn’t quite as user-friendly.
If doing a type coercion is not desired, then it is important to remember that writing a Point class and related
serializer in Java is not sufficient for full support of Gremlin, as users of non-JVM Gremlin Language Variants (GLV)
will not be able to consume them. Getting full support would mean writing similar classes for each GLV. While
developing those classes is not hard, it also means more code to support.
Supporting Gremlin-Python IO
The serialization system of Gremlin-Python provides ways to add new types by creating serializers and deserializers in
Python and registering them with the RemoteConnection.
class MyType(object):
GRAPHSON_PREFIX = "providerx"
GRAPHSON_BASE_TYPE = "MyType"
GRAPHSON_TYPE = GraphSONUtil.formatType(GRAPHSON_PREFIX, GRAPHSON_BASE_TYPE)
def __init__(self, x, y):
self.x = x
self.y = y
@classmethod
def objectify(cls, value, reader):
return cls(value['x'], value['y'])
@classmethod
def dictify(cls, value, writer):
return GraphSONUtil.typedValue(cls.GRAPHSON_BASE_TYPE,
{'x': value.x, 'y': value.y},
cls.GRAPHSON_PREFIX)
graphson_reader = GraphSONReader({MyType.GRAPHSON_TYPE: MyType})
graphson_writer = GraphSONWriter({MyType: MyType})
connection = DriverRemoteConnection('ws://localhost:8182/gremlin', 'g',
graphson_reader=graphson_reader,
graphson_writer=graphson_writer)Supporting Gremlin.Net IO
The serialization system of Gremlin.Net provides ways to add new types by creating serializers and deserializers in
any .NET language and registering them with the GremlinClient.
internal class MyType
{
public static string GraphsonPrefix = "providerx";
public static string GraphsonBaseType = "MyType";
public static string GraphsonType = GraphSONUtil.FormatTypeName(GraphsonPrefix, GraphsonBaseType);
public MyType(int x, int y)
{
X = x;
Y = y;
}
public int X { get; }
public int Y { get; }
}
internal class MyClassWriter : IGraphSONSerializer
{
public Dictionary<string, dynamic> Dictify(dynamic objectData, GraphSONWriter writer)
{
MyType myType = objectData;
var valueDict = new Dictionary<string, object>
{
{"x", myType.X},
{"y", myType.Y}
};
return GraphSONUtil.ToTypedValue(nameof(TestClass), valueDict, MyType.GraphsonPrefix);
}
}
internal class MyTypeReader : IGraphSONDeserializer
{
public dynamic Objectify(JsonElement graphsonObject, GraphSONReader reader)
{
var x = reader.ToObject(graphsonObject.GetProperty("x"));
var y = reader.ToObject(graphsonObject.GetProperty("y"));
return new MyType(x, y);
}
}
var graphsonReader = new GraphSON3Reader(
new Dictionary<string, IGraphSONDeserializer> {{MyType.GraphsonType, new MyTypeReader()}});
var graphsonWriter = new GraphSON3Writer(
new Dictionary<Type, IGraphSONSerializer> {{typeof(MyType), new MyClassWriter()}});
var gremlinClient = new GremlinClient(new GremlinServer("localhost", 8182), new GraphSON2MessageSerializer());RemoteConnection Implementations
A RemoteConnection is an interface that is important for usage on traversal sources configured using the
withRemote() option. A Traversal
that is generated from that source will apply a RemoteStrategy which will inject a RemoteStep to its end. That
step will then send the Bytecode of the Traversal over the RemoteConnection to get the results that it will
iterate.
There is one method to implement on RemoteConnection:
public <E> CompletableFuture<RemoteTraversal<?, E>> submitAsync(final Bytecode bytecode) throws RemoteConnectionException;Note that it returns a RemoteTraversal. This interface should also be implemented and in most cases implementers can
simply extend the AbstractRemoteTraversal.
TinkerPop provides the DriverRemoteConnection as a useful and
example implementation.
DriverRemoteConnection serializes the Traversal as Gremlin bytecode and then submits it for remote processing on
Gremlin Server. Gremlin Server rebinds the Traversal to a configured Graph instance and then iterates the results
back as it would normally do.
Implementing RemoteConnection is not something routinely done for those implementing gremlin-core. It is only
something required if there is a need to exploit remote traversal submission. If a graph provider has a "graph server"
similar to Gremlin Server that can accept bytecode-based requests on its own protocol, then that would be one example
of a reason to implement this interface.
Bulk Import Export
When it comes to doing "bulk" operations, the diverse nature of the available graph databases and their specific capabilities, prevents TinkerPop from doing a good job of generalizing that capability well. TinkerPop thus maintains two positions on the concept of import and export:
-
TinkerPop refers users to the bulk import/export facilities of specific graph providers as they tend to be more efficient and easier to use than the options TinkerPop has tried to generalize in the past.
-
TinkerPop encourages graph providers to expose those capabilities via
g.io()and theIoStepby way of aTraversalStrategy.
That said, for graph providers that don’t have a special bulk loading feature, they can either rely on the default
OLTP (single-threaded) GraphReader and GraphWriter options that are embedded in IoStep or get a basic bulk loader
from TinkerPop using the CloneVertexProgram.
Simply provide a InputFormat and OutputFormat that can be referenced by a HadoopGraph instance as discussed
in the Reference Documentation.
Validating with Gremlin-Test
<dependency>
<groupId>org.apache.tinkerpop</groupId>
<artifactId>gremlin-test</artifactId>
<version>3.6.4-SNAPSHOT</version>
</dependency>Providers currently have two approaches to consider when validating their TinkerPop implementations. The first approach comes from the wholly JVM oriented original test suite which was developed in the early days of TinkerPop 3.x design and development. The second approach is available as of 3.6.0, is Gherkin-based and originates from the Gremlin Language Variant test suite which is language agnostic.
The first approach is more complete and more opinionated as to how an implementation should behave and in many ways
helpful in getting an implementation semantically correct from the ground up (i.e. first getting the Graph Structure
API implemented well by getting the Structure Suite to pass which will almost inevitably ensure that the most of the
Gremlin language oriented tests in the Process Suite pass early on). On the other hand, the fact that this test suite
is rigorous also can make it harder to implement especially if your graph already exists and behaves in a certain
fashion.
The second approach only validates Gremlin semantics which is ultimately what users concern themselves with as that is
the method by which they will interact with a provider’s Graph. This test suite is less concerned with how a
TinkerPop implementation does what it does, so long as it succeeds at processing Gremlin traversals. There is
significant overlap between this test suite and the aforementioned Process Suite.
At this time, it would be wise for providers to implement both approaches as the goal for TinkerPop is to move away from the rigors of the JVM Structure and Process Suites in favor of Gherkin. Over time, the Structure and Process Suites will be deprecated and removed.
JVM Test Suite
The operational semantics of any OLTP or OLAP implementation are validated by gremlin-test. To implement these tests,
provide test case implementations as shown below, where XXX below denotes the name of the graph implementation (e.g.
TinkerGraph, Neo4jGraph, HadoopGraph, etc.).
// Structure API tests
@RunWith(StructureStandardSuite.class)
@GraphProviderClass(provider = XXXGraphProvider.class, graph = XXXGraph.class)
public class XXXStructureStandardTest {}
// Process API tests
@RunWith(ProcessComputerSuite.class)
@GraphProviderClass(provider = XXXGraphProvider.class, graph = XXXGraph.class)
public class XXXProcessComputerTest {}
@RunWith(ProcessStandardSuite.class)
@GraphProviderClass(provider = XXXGraphProvider.class, graph = XXXGraph.class)
public class XXXProcessStandardTest {}|
Important
|
It is as important to look at "ignored" tests as it is to look at ones that fail. The gremlin-test
suite utilizes the Feature implementation exposed by the Graph to determine which tests to execute. If a test
utilizes features that are not supported by the graph, it will ignore them. While that may be fine, implementers
should validate that the ignored tests are appropriately bypassed and that there are no mistakes in their feature
definitions. Moreover, implementers should consider filling gaps in their own test suites, especially when
IO-related tests are being ignored.
|
|
Tip
|
If it is expensive to construct a new Graph instance, consider implementing GraphProvider.getStaticFeatures()
which can help by caching a static feature set for instances produced by that GraphProvider and allow the test suite
to avoid that construction cost if the test is ignored.
|
The only test-class that requires any code investment is the GraphProvider implementation class. This class is a
used by the test suite to construct Graph configurations and instances and provides information about the
implementation itself. In most cases, it is best to simply extend AbstractGraphProvider as it provides many
default implementations of the GraphProvider interface.
Finally, specify the test suites that will be supported by the Graph implementation using the @Graph.OptIn
annotation. See the TinkerGraph implementation below as an example:
@Graph.OptIn(Graph.OptIn.SUITE_STRUCTURE_STANDARD)
@Graph.OptIn(Graph.OptIn.SUITE_PROCESS_STANDARD)
@Graph.OptIn(Graph.OptIn.SUITE_PROCESS_COMPUTER)
public class TinkerGraph implements Graph {Only include annotations for the suites the implementation will support. Note that implementing the suite, but not specifying the appropriate annotation will prevent the suite from running (an obvious error message will appear in this case when running the mis-configured suite).
There are times when there may be a specific test in the suite that the implementation cannot support (despite the
features it implements) or should not otherwise be executed. It is possible for implementers to "opt-out" of a test
by using the @Graph.OptOut annotation. This annotation can be applied to either a Graph instance or a
GraphProvider instance (the latter would typically be used for "opting out" for a particular Graph configuration
that was under test). The following is an example of this annotation usage as taken from HadoopGraph:
@Graph.OptIn(Graph.OptIn.SUITE_PROCESS_STANDARD)
@Graph.OptIn(Graph.OptIn.SUITE_PROCESS_COMPUTER)
@Graph.OptOut(
test = "org.apache.tinkerpop.gremlin.process.graph.step.map.MatchTest$Traversals",
method = "g_V_matchXa_hasXname_GarciaX__a_inXwrittenByX_b__a_inXsungByX_bX",
reason = "Hadoop-Gremlin is OLAP-oriented and for OLTP operations, linear-scan joins are required. This particular tests takes many minutes to execute.")
@Graph.OptOut(
test = "org.apache.tinkerpop.gremlin.process.graph.step.map.MatchTest$Traversals",
method = "g_V_matchXa_inXsungByX_b__a_inXsungByX_c__b_outXwrittenByX_d__c_outXwrittenByX_e__d_hasXname_George_HarisonX__e_hasXname_Bob_MarleyXX",
reason = "Hadoop-Gremlin is OLAP-oriented and for OLTP operations, linear-scan joins are required. This particular tests takes many minutes to execute.")
@Graph.OptOut(
test = "org.apache.tinkerpop.gremlin.process.computer.GraphComputerTest",
method = "shouldNotAllowBadMemoryKeys",
reason = "Hadoop does a hard kill on failure and stops threads which stops test cases. Exception handling semantics are correct though.")
@Graph.OptOut(
test = "org.apache.tinkerpop.gremlin.process.computer.GraphComputerTest",
method = "shouldRequireRegisteringMemoryKeys",
reason = "Hadoop does a hard kill on failure and stops threads which stops test cases. Exception handling semantics are correct though.")
public class HadoopGraph implements Graph {The above examples show how to ignore individual tests. It is also possible to:
-
Ignore an entire test case (i.e. all the methods within the test) by setting the
methodto "*". -
Ignore a "base" test class such that test that extend from those classes will all be ignored.
-
Ignore a
GraphComputertest based on the type ofGraphComputerbeing used. Specify the "computer" attribute on theOptOut(which is an array specification) which should have a value of theGraphComputerimplementation class that should ignore that test. This attribute should be left empty for "standard" execution and by default allGraphComputerimplementations will be included in theOptOutso if there are multiple implementations, explicitly specify the ones that should be excluded.
Also note that some of the tests in the Gremlin Test Suite are parameterized tests and require an additional level of specificity to be properly ignored. To ignore these types of tests, examine the name template of the parameterized tests. It is defined by a Java annotation that looks like this:
@Parameterized.Parameters(name = "expect({0})")The annotation above shows that the name of each parameterized test will be prefixed with "expect" and have
parentheses wrapped around the first parameter (at index 0) value supplied to each test. This information can
only be garnered by studying the test set up itself. Once the pattern is determined and the specific unique name of
the parameterized test is identified, add it to the specific property on the OptOut annotation in addition to
the other arguments.
These annotations help provide users a level of transparency into test suite compliance (via the
describeGraph() utility function). It also
allows implementers to have a lot of flexibility in terms of how they wish to support TinkerPop. For example, maybe
there is a single test case that prevents an implementer from claiming support of a Feature. The implementer could
choose to either not support the Feature or to support it but "opt-out" of the test with a "reason" as to why so
that users understand the limitation.
|
Important
|
Before using OptOut be sure that the reason for using it is sound and it is more of a last resort.
It is possible that a test from the suite doesn’t properly represent the expectations of a feature, is too broad or
narrow for the semantics it is trying to enforce or simply contains a bug. Please consider raising issues in the
developer mailing list with such concerns before assuming OptOut is the only answer.
|
|
Important
|
There are no tests that specifically validate complete compliance with Gremlin Server. Generally speaking,
a Graph that passes the full Test Suite, should be compliant with Gremlin Server. The one area where problems can
occur is in serialization. Always ensure that IO is properly implemented, that custom serializers are tested fully
and ultimately integration test the Graph with an actual Gremlin Server instance.
|
|
Warning
|
Configuring tests to run in parallel might result in errors that are difficult to debug as there is some
shared state in test execution around graph configuration. It is therefore recommended that parallelism be turned
off for the test suite (the Maven SureFire Plugin is configured this way by default). It may also be important to
include this setting, <reuseForks>false</reuseForks>, in the SureFire configuration if tests are failing in an
unexplainable way.
|
|
Warning
|
For graph implementations that require a schema, take note that TinkerPop tests were originally developed without too much concern for these types of graphs. While most tests utilize the standard toy graphs there are instances where tests will utilize their own independent schema that stands alone from all other tests. It may be necessary to create schemas specific to certain tests in those situations. |
|
Tip
|
When running the gremlin-test suite against your implementation, you may need to set build.dir as an
environment variable, depending on your project layout. Some tests require this to find a writable directory for
creating temporary files. The value is typically set to the project build directory. For example using the Maven
SureFire Plugin, this is done via the configuration argLine with -Dbuild.dir=${project.build.directory}.
|
Checking Resource Leaks
The TinkerPop query engine retrieves data by interfacing with the provider using iterators. These iterators (depending on the provider) may hold up resources in the underlying storage layer and hence, it is critical to close them after the query is finished.
TinkerPop provides you with the ability to test for such resource leaks by checking for leaks when you run the
Gremlin-Test suites against your implementation. To enable this leak detection, providers should increment the
StoreIteratorCounter whenever a resource is opened and decrement it when it is closed. A reference implementation
is provided with TinkerGraph as TinkerGraphIterator.java.
Assertions for leak detection are enabled by default when running the test suite. They can be temporarily disabled by way of a system property - simply set `-DtestIteratorLeaks=false".
Gherkin Test Suite
The Gherkin Test Suite is a language agnostic set of tests that verify Gremlin semantics. It provides a unified set of
tests that validate many TinkerPop components internally. The tests themselves can be found in gremlin-tests/features
(here) with their syntax described in the
TinkerPop Developer Documentation.
TinkerPop provides some infrastructure, for JVM based graphs, to help make it easier for providers to implement these
tests against their implementations. This infrastructure is built on cucumber-java which is a dependency of
gremlin-test. There are two main components to implementing the tests:
-
A
org.apache.tinkerpop.gremlin.features.Worldimplementation which is a class ingremlin-test. -
A JUnit test class that will act as the runner for the tests with the appropriate annotations
|
Tip
|
It may be helpful to get familiar with Cucumber before proceeding with an implementation. |
The World implementation provides context to the tests and allows providers to intercept test events that might be
important to proper execution specific to their implementations. The most important part of implementing World is
properly implementing the GraphTraversalSource getGraphTraversalSource(GraphData) method which provides to the test
the GraphTraversalSource to execute the test against.
The JUnit test class is really just the test runner. It is a simple class which must include some Cucumber annotations. The following is just an example as taken from TinkerGraph:
@RunWith(Cucumber.class)
@CucumberOptions(
tags = "not @RemoteOnly",
glue = { "org.apache.tinkerpop.gremlin.features" },
features = { "classpath:/org/apache/tinkerpop/gremlin/test/features" },
plugin = {"progress", "junit:target/cucumber.xml",
objectFactory = GuiceFactory.class})The @CucumberOptions that are used are mostly implementation specific, so it will be up to the provider to make some
choices as to what is right for their environment. For TinkerGraph, it needed to ignore Gherkin tests with the
@RemoteOnly tag (the full list of possible tags can be found here),
as will most providers. The "glue" will be the same for all test implementers as it refers to a package containing
TinkerPop’s test infrastructure in gremlin-test (unless of course, a provider needs to develop their own
infrastructure for some reason). The "features" is the path to the actual Gherkin test files that should be made
available locally. The files can be referenced on the classpath assuming gremlin-test is a dependency. The "plugin"
defines a JUnit style output, which happens to be understood by Maven.
The "objectFactory" is the last component. Cucumber relies on dependency injection to get a World implementation into
the test infrastructure. Providers may choose from multiple available implementations, but TinkerPop chose to use
Guice. To follow this approach include the following module:
<dependency>
<groupId>com.google.inject</groupId>
<artifactId>guice</artifactId>
<version>4.2.3</version>
<scope>test</scope>
</dependency>Following the Neo4jGraph implementation, there are two classes to construct:
public class ServiceModule extends AbstractModule {
@Override
protected void configure() {
bind(World.class).to(Neo4jGraphWorld.class);
}
}
public class WorldInjectorSource implements InjectorSource {
@Override
public Injector getInjector() {
return Guice.createInjector(Stage.PRODUCTION, CucumberModules.createScenarioModule(), new ServiceModule());
}
}The key here is that the Neo4jGraphWorld implementation gets bound to World in the ServiceModule and there is
a WorldInjectorSource that specifies the ServiceModule to Cucumber. As a final step, the provider’s test resources
needs a cucumber.properties file with an entry that specifies the InjectorSource so that Guice can find it. Here
is the example taken from TinkerGraph where the WorldInjectorSource is inner class of TinkerGraphFeatureTest
itself.
guice.injector-source=org.apache.tinkerpop.gremlin.neo4j.Neo4jGraphFeatureTest$WorldInjectorSourceIn the event that a single World configuration is insufficient, it may be necessary to develop a custom
ObjectFactory. An easy way to do this is to create a class that extends from the AbstractGuiceFactory in
gremlin-test and provide that class to the @CucumberOptions. This approach does rely on the ServiceLoader which
means it will be important to include a io.cucumber.core.backend.ObjectFactory file in META-INF/services and an
entry that registers the custom implementation. Please see the TinkerGraph test code for further information on this
approach.
If implementing the Gherkin tests, providers can choose to opt-in to the slimmed down version of the normal JVM process test suite to help alleviate test duplication between the two frameworks:
@Graph.OptIn(Graph.OptIn.SUITE_PROCESS_LIMITED_STANDARD)
@Graph.OptIn(Graph.OptIn.SUITE_PROCESS_LIMITED_COMPUTER)Accessibility via GremlinPlugin
The applications distributed with TinkerPop do not distribute with
any graph system implementations besides TinkerGraph. If your implementation is stored in a Maven repository (e.g.
Maven Central Repository), then it is best to provide a GremlinPlugin implementation so the respective jars can be
downloaded according and when required by the user. Neo4j’s GremlinPlugin is provided below for reference.
package org.apache.tinkerpop.gremlin.neo4j.jsr223;
import org.apache.tinkerpop.gremlin.jsr223.AbstractGremlinPlugin;
import org.apache.tinkerpop.gremlin.jsr223.DefaultImportCustomizer;
import org.apache.tinkerpop.gremlin.jsr223.ImportCustomizer;
import org.apache.tinkerpop.gremlin.neo4j.process.traversal.LabelP;
import org.apache.tinkerpop.gremlin.neo4j.structure.Neo4jEdge;
import org.apache.tinkerpop.gremlin.neo4j.structure.Neo4jElement;
import org.apache.tinkerpop.gremlin.neo4j.structure.Neo4jGraph;
import org.apache.tinkerpop.gremlin.neo4j.structure.Neo4jGraphVariables;
import org.apache.tinkerpop.gremlin.neo4j.structure.Neo4jHelper;
import org.apache.tinkerpop.gremlin.neo4j.structure.Neo4jProperty;
import org.apache.tinkerpop.gremlin.neo4j.structure.Neo4jVertex;
import org.apache.tinkerpop.gremlin.neo4j.structure.Neo4jVertexProperty;
/**
* @author Stephen Mallette (http://stephen.genoprime.com)
*/
public final class Neo4jGremlinPlugin extends AbstractGremlinPlugin {
private static final String NAME = "tinkerpop.neo4j";
private static final ImportCustomizer imports;
static {
try {
imports = DefaultImportCustomizer.build()
.addClassImports(Neo4jEdge.class,
Neo4jElement.class,
Neo4jGraph.class,
Neo4jGraphVariables.class,
Neo4jHelper.class,
Neo4jProperty.class,
Neo4jVertex.class,
Neo4jVertexProperty.class,
LabelP.class)
.addMethodImports(LabelP.class.getMethod("of", String.class)).create();
} catch (Exception ex) {
throw new RuntimeException(ex);
}
}
private static final Neo4jGremlinPlugin instance = new Neo4jGremlinPlugin();
public Neo4jGremlinPlugin() {
super(NAME, imports);
}
public static Neo4jGremlinPlugin instance() {
return instance;
}
@Override
public boolean requireRestart() {
return true;
}
}With the above plugin implementations, users can now download respective binaries for Gremlin Console, Gremlin Server, etc.
gremlin> g = Neo4jGraph.open('/tmp/neo4j')
No such property: Neo4jGraph for class: groovysh_evaluate
Display stack trace? [yN]
gremlin> :install org.apache.tinkerpop neo4j-gremlin 3.6.4-SNAPSHOT
==>loaded: [org.apache.tinkerpop, neo4j-gremlin, …]
gremlin> :plugin use tinkerpop.neo4j
==>tinkerpop.neo4j activated
gremlin> g = Neo4jGraph.open('/tmp/neo4j')
==>neo4jgraph[EmbeddedGraphDatabase [/tmp/neo4j]]In-Depth Implementations
The graph system implementation details presented thus far are
minimum requirements necessary to yield a valid TinkerPop implementation. However, there are other areas that a
graph system provider can tweak to provide an implementation more optimized for their underlying graph engine. Typical
areas of focus include:
-
Traversal Strategies: A TraversalStrategy can be used to alter a traversal prior to its execution. A typical example is converting a pattern of
g.V().has('name','marko')into a global index lookup for all vertices with name "marko". In this way, aO(|V|)lookup becomes anO(log(|V|)). Please reviewTinkerGraphStepStrategyfor ideas. -
Step Implementations: Every step is ultimately referenced by the
GraphTraversalinterface. It is possible to extendGraphTraversalto use a graph system specific step implementation. Note that while it is sometimes possible to develop custom step implementations by extending from a TinkerPop step (typically,AddVertexStepand otherMutatingsteps), it’s important to consider that doing so introduces some greater risk for code breaks on upgrades as opposed to other areas of the code base. As steps are more internal features of TinkerPop, they might be subject to breaking API and behavioral changes that would be less likely to be accepted by more public facing interfaces.
Graph Driver Provider Requirements
One of the roles for Gremlin Server is to provide a bridge from TinkerPop to non-JVM languages (e.g. Go, Python, etc.). Developers can build language bindings (or driver) that provide a way to submit Gremlin scripts to Gremlin Server and get back results. Given the extensible nature of Gremlin Server, it is difficult to provide an authoritative guide to developing a driver. It is however possible to describe the core communication protocol using the standard out-of-the-box configuration which should provide enough information to develop a driver for a specific language.
Gremlin Server is distributed with a configuration that utilizes WebSocket with a custom sub-protocol. Under this configuration, Gremlin Server accepts requests containing a Gremlin script, evaluates that script and then streams back the results. The notion of "streaming" is depicted in the diagram to the right.
The diagram shows an incoming request to process the Gremlin script of g.V(). Gremlin Server evaluates that script,
getting an Iterator of vertices as a result, and steps through each Vertex within it. The vertices are batched
together given the resultIterationBatchSize configuration. In this case, that value must be 2 given that each
"response" contains two vertices. Each response is serialized given the requested serializer type (JSON is likely
best for non-JVM languages) and written back to the requesting client immediately. Gremlin Server does not wait for
the entire result to be iterated, before sending back a response. It will send the responses as they are realized.
This approach allows for the processing of large result sets without having to serialize the entire result into memory for the response. It places a bit of a burden on the developer of the driver however, because it becomes necessary to provide a way to reconstruct the entire result on the client side from all of the individual responses that Gremlin Server returns for a single request. Again, this description of Gremlin Server’s "flow" is related to the out-of-the-box configuration. It is quite possible to construct other flows, that might be more amenable to a particular language or style of processing.
It is recommended but not required that a driver include a User-Agent header as part of any web socket
handshake request to Gremlin Server. Gremlin Server uses the user agent in building usage metrics
as well as debugging. The standard format for connection user agents is:
"[Application Name] [GLV Name].[Version] [Language Runtime Version] [OS].[Version] [CPU Architecture]"
For example:
"MyTestApplication Gremlin-Java.3.5.4 11.0.16.1 Mac_OS_X.12.6.1 aarch64"
To formulate a request to Gremlin Server, a RequestMessage needs to be constructed. The RequestMessage is a
generalized representation of a request that carries a set of "standard" values in addition to optional ones that are
dependent on the operation being performed. A RequestMessage has these fields:
| Key | Description |
|---|---|
requestId |
A UUID representing the unique identification for the request. |
op |
The name of the "operation" to execute based on the available |
processor |
The name of the |
args |
A |
This message can be serialized in any fashion that is supported by Gremlin Server. New serialization methods can
be plugged in by implementing a ServiceLoader enabled MessageSerializer, however Gremlin Server provides for
JSON serialization by default which will be good enough for purposes of most developers building drivers.
A RequestMessage to evaluate a script with variable bindings looks like this in JSON:
{ "requestId":"1d6d02bd-8e56-421d-9438-3bd6d0079ff1",
"op":"eval",
"processor":"",
"args":{"gremlin":"g.V(x).out()",
"bindings":{"x":1},
"language":"gremlin-groovy"}}The above JSON represents the "body" of the request to send to Gremlin Server. When sending this "body" over WebSocket, Gremlin Server can accept a packet frame using a "text" (1) or a "binary" (2) opcode. Using "text" is a bit more limited in that Gremlin Server will always process the body of that request as JSON. Generally speaking "text" is just for testing purposes.
The preferred method for sending requests to Gremlin Server is to use the "binary" opcode. In this case, a "header"
will need be sent in addition to to the "body". The "header" basically consists of a "mime type" so that Gremlin
Server knows how to deserialize the RequestMessage. So, the actual byte array sent to Gremlin Server would be
formatted as follows:
The first byte represents the length of the "mime type" string value that follows. Given the default configuration of
Gremlin Server, this value should be set to application/json. The "payload" represents the JSON message above
encoded as bytes.
|
Note
|
Gremlin Server will only accept masked packets as it pertains to a WebSocket packet header construction. |
When Gremlin Server receives that request, it will decode it given the "mime type", pass it to the requested
OpProcessor which will execute the op defined in the message. In this case, it will evaluate the script
g.V(x).out() using the bindings supplied in the args and stream back the results in a series of
ResponseMessages. A ResponseMessage looks like this:
| Key | Description |
|---|---|
requestId |
The identifier of the |
status |
The |
result |
The |
In this case the ResponseMessage returned to the client would look something like this:
{"result":{"data":[{"id": 2,"label": "person","type": "vertex","properties": [
{"id": 2, "value": "vadas", "label": "name"},
{"id": 3, "value": 27, "label": "age"}]},
], "meta":{}},
"requestId":"1d6d02bd-8e56-421d-9438-3bd6d0079ff1",
"status":{"code":206,"attributes":{},"message":""}}Gremlin Server is capable of streaming results such that additional responses will arrive over the WebSocket connection until
the iteration of the result on the server is complete. Each successful incremental message will have a ResultCode
of 206. Termination of the stream will be marked by a final 200 status code. Note that all messages without a
206 represent terminating conditions for a request. The following table details the various status codes that
Gremlin Server will send:
| Code | Name | Description |
|---|---|---|
200 |
SUCCESS |
The server successfully processed a request to completion - there are no messages remaining in this stream. |
204 |
NO CONTENT |
The server processed the request but there is no result to return (e.g. an |
206 |
PARTIAL CONTENT |
The server successfully returned some content, but there is more in the stream to arrive - wait for a |
401 |
UNAUTHORIZED |
The request attempted to access resources that the requesting user did not have access to. |
403 |
FORBIDDEN |
The server could authenticate the request, but will not fulfill it. |
407 |
AUTHENTICATE |
A challenge from the server for the client to authenticate its request. |
497 |
REQUEST ERROR SERIALIZATION |
The request message contained an object that was not serializable. |
498 |
REQUEST ERROR MALFORMED REQUEST |
The request message was not properly formatted which means it could not be parsed at all or the "op" code was not recognized such that Gremlin Server could properly route it for processing. Check the message format and retry the request. |
499 |
REQUEST ERROR INVALID REQUEST ARGUMENTS |
The request message was parseable, but the arguments supplied in the message were in conflict or incomplete. Check the message format and retry the request. |
500 |
SERVER ERROR |
A general server error occurred that prevented the request from being processed. |
595 |
SERVER ERROR FAIL STEP |
A server error that is produced when the |
596 |
SERVER ERROR TEMPORARY |
A server error occurred, but it was temporary in nature and therefore the client is free to retry it’s request as-is with the potential for success. |
597 |
SERVER ERROR EVALUATION |
The script submitted for processing evaluated in the |
598 |
SERVER ERROR TIMEOUT |
The server exceeded one of the timeout settings for the request and could therefore only partially responded or did not respond at all. |
599 |
SERVER ERROR SERIALIZATION |
The server was not capable of serializing an object that was returned from the script supplied on the request. Either transform the object into something Gremlin Server can process within the script or install mapper serialization classes to Gremlin Server. |
|
Note
|
Please refer to the IO Reference Documentation for more
examples of RequestMessage and ResponseMessage instances.
|
OpProcessors Arguments
The following sections define a non-exhaustive list of available operations and arguments for embedded OpProcessors
(i.e. ones packaged with Gremlin Server).
Common
All OpProcessor instances support these arguments.
| Key | Type | Description |
|---|---|---|
batchSize |
Int |
When the result is an iterator this value defines the number of iterations each |
Standard OpProcessor
The "standard" OpProcessor handles requests for the primary function of Gremlin Server - executing Gremlin.
Requests made to this OpProcessor are "sessionless" in the sense that a request must encapsulate the entirety
of a transaction. There is no state maintained between requests. A transaction is started when the script is first
evaluated and is committed when the script completes (or rolled back if an error occurred).
| Key | Description | ||||||
|---|---|---|---|---|---|---|---|
processor |
As this is the default |
||||||
op |
|
authentication operation arguments
| Key | Type | Description |
|---|---|---|
sasl |
String |
Required The response to the server authentication challenge. This value is dependent on the SASL authentication mechanism required by the server and is Base64 encoded. |
saslMechanism |
String |
The SASL mechanism: |
eval operation arguments
| Key | Type | Description |
|---|---|---|
gremlin |
String |
Required The Gremlin script to evaluate. |
bindings |
Map |
A map of key/value pairs to apply as variables in the context of the Gremlin script. |
language |
String |
The flavor of Gremlin used (e.g. |
aliases |
Map |
A map of key/value pairs that allow globally bound |
evaluationTimeout |
Long |
An override for the server setting that determines the maximum time to wait for a script to execute on the server. |
Session OpProcessor
The "session" OpProcessor handles requests for the primary function of Gremlin Server - executing Gremlin. It is
like the "standard" OpProcessor, but instead maintains state between sessions and allows the option to leave all
transaction management up to the calling client. It is important that clients that open sessions, commit or roll
them back, however Gremlin Server will try to clean up such things when a session is killed that has been abandoned.
It is important to consider that a session can only be maintained with a single machine. In the event that multiple
Gremlin Server are deployed, session state is not shared among them.
| Key | Description | ||||||||
|---|---|---|---|---|---|---|---|---|---|
processor |
This value should be set to |
||||||||
op |
|
|
Note
|
The "close" message related to sessions was deprecated as of 3.3.11. Closing sessions now relies on closing the connections. The function to accept close message on the server was removed
in 3.5.0, but has been added back as of 3.5.2. Servers wishing to be compatible with older versions of the driver need only send back a NO_CONTENT for
this message (which is what Gremlin Server does as of 3.5.0). Drivers wishing to be compatible with servers prior to
3.3.11 may continue to send the message on calls to close(), otherwise such code can be removed.
|
authentication operation arguments
| Key | Type | Description |
|---|---|---|
saslMechanism |
String |
The SASL mechanism: |
sasl |
String |
Required The response to the server authentication challenge. This value is dependent on the SASL authentication mechanism required by the server and is Base64 encoded. |
eval operation arguments
| Key | Type | Description |
|---|---|---|
gremlin |
String |
Required The Gremlin script to evaluate. |
session |
String |
Required The session identifier for the current session - typically this value should be a UUID (the session will be created if it doesn’t exist). |
manageTransaction |
Boolean |
When set to |
bindings |
Map |
A map of key/value pairs to apply as variables in the context of the Gremlin script. |
evaluationTimeout |
Long |
An override for the server setting that determines the maximum time to wait for a script to execute on the server. |
language |
String |
The flavor of Gremlin used (e.g. |
aliases |
Map |
A map of key/value pairs that allow globally bound |
close operation arguments
| Key | Type | Description |
|---|---|---|
session |
String |
Required The session identifier for the session to close. |
force |
Boolean |
Determines if the session should be force closed when the client is closed. Force closing will not
attempt to close open transactions from existing running jobs and leave it to the underlying graph to decided how to
proceed with those orphaned transactions. Setting this to |
Traversal OpProcessor
Both the Standard and Session OpProcessors allow for Gremlin scripts to be submitted to the server. The
TraversalOpProcessor however allows Gremlin Bytecode to be submitted to the server. Supporting this OpProcessor
makes it possible for a Gremlin Language Variant
to submit a Traversal directly to Gremlin Server in the native language of the GLV without having to use a script in
a different language.
Unlike Standard and Session OpProcessors, the Traversal OpProcessor does not simply return the results of the
Traversal. It instead returns Traverser objects which allows the client to take advantage of
bulking. To describe this interaction more
directly, the returned Traverser will represent some value from the Traversal result and the number of times it
is represented in the full stream of results. So, if a Traversal happens to return the same vertex twenty times
it won’t return twenty instances of the same object. It will return one in Traverser with the bulk value set to
twenty. Under this model, the amount of processing and network overhead can be reduced considerably.
To demonstrate consider this example:
gremlin> cluster = Cluster.open()
==>localhost/127.0.0.1:8182
gremlin> client = cluster.connect()
==>org.apache.tinkerpop.gremlin.driver.Client$ClusteredClient@222abb8f
gremlin> aliased = client.alias("g")
==>org.apache.tinkerpop.gremlin.driver.Client$AliasClusteredClient@311a569d
gremlin> g = traversal().withEmbedded(org.apache.tinkerpop.gremlin.structure.util.empty.EmptyGraph.instance()) //// (1)
==>graphtraversalsource[emptygraph[empty], standard]
gremlin> rs = aliased.submit(g.V().both().barrier().both().barrier()).all().get() //// (2)
==>result{object=v[1] class=org.apache.tinkerpop.gremlin.process.remote.traversal.DefaultRemoteTraverser}
==>result{object=v[4] class=org.apache.tinkerpop.gremlin.process.remote.traversal.DefaultRemoteTraverser}
==>result{object=v[6] class=org.apache.tinkerpop.gremlin.process.remote.traversal.DefaultRemoteTraverser}
==>result{object=v[5] class=org.apache.tinkerpop.gremlin.process.remote.traversal.DefaultRemoteTraverser}
==>result{object=v[3] class=org.apache.tinkerpop.gremlin.process.remote.traversal.DefaultRemoteTraverser}
==>result{object=v[2] class=org.apache.tinkerpop.gremlin.process.remote.traversal.DefaultRemoteTraverser}
gremlin> aliased.submit(g.V().both().barrier().both().barrier().count()).all().get().get(0).getInt() //// (3)
==>30
gremlin> rs.collect{[value: it.getObject().get(), bulk: it.getObject().bulk()]} //// (4)
==>[value:v[1],bulk:7]
==>[value:v[4],bulk:7]
==>[value:v[6],bulk:3]
==>[value:v[5],bulk:3]
==>[value:v[3],bulk:7]
==>[value:v[2],bulk:3]cluster = Cluster.open()
client = cluster.connect()
aliased = client.alias("g")
g = traversal().withEmbedded(org.apache.tinkerpop.gremlin.structure.util.empty.EmptyGraph.instance()) //// (1)
rs = aliased.submit(g.V().both().barrier().both().barrier()).all().get() //// (2)
aliased.submit(g.V().both().barrier().both().barrier().count()).all().get().get(0).getInt() //// (3)
rs.collect{[value: it.getObject().get(), bulk: it.getObject().bulk()]} //4-
All commands through this step are just designed to demonstrate bulking with Gremlin Server and don’t represent a real-world way that this feature would be used.
-
Submit a
Traversalthat happens to ensure that the server uses bulking. Note that aTraverseris returned and that there are only six results. -
In actuality, however, if this same
Traversalis iterated there are thirty results. Without bulking, the previous request would have sent back thirty traversers. -
Note that the sum of the bulk of each
Traverseris thirty.
The full iteration of a Traversal is thus left to the client. It must interpret the bulk on the Traverser and
unroll it to represent the actual number of times it exists when iterated. The unrolling is typically handled
directly within TinkerPop’s remote traversal implementations.
| Key | Description | ||||||
|---|---|---|---|---|---|---|---|
processor |
This value should be set to |
||||||
op |
|
authentication operation arguments
| Key | Type | Description |
|---|---|---|
sasl |
String |
Required The response to the server authentication challenge. This value is dependent on the SASL authentication mechanism required by the server and is Base64 encoded. |
bytecode operation arguments
| Key | Type | Description |
|---|---|---|
gremlin |
String |
Required The |
aliases |
Map |
Required A map with a single key/value pair that refers to a globally bound |
Authentication and Authorization
Gremlin Server supports SASL-based authentication. A SASL implementation provides a series of challenges and responses that a driver must comply with in order to authenticate. Gremlin Server supports the "PLAIN" SASL mechanism, which is a cleartext password system, for all Gremlin Language Variants. Other SASL mechanisms supported for selected clients are listed in the security section of the Gremlin Server reference documentation.
When authentication is enabled, an incoming request is intercepted before it is evaluated by the ScriptEngine. The
request is saved on the server and a AUTHENTICATE challenge response (status code 407) is returned to the client.
The client will detect the AUTHENTICATE and respond with an authentication for the op and an arg named sasl.
In case of the "PLAIN" SASL mechanism the arg contains the password. The password should be either, an encoded
sequence of UTF-8 bytes, delimited by 0 (US-ASCII NUL), where the form is : <NUL>username<NUL>password, or a Base64
encoded string of the former (which in this instance would be AHVzZXJuYW1lAHBhc3N3b3Jk). Should Gremlin Server be
able to authenticate with the provided credentials, the server will return the results of the original request as it
normally does without authentication. If it cannot authenticate given the challenge response from the client, it will
return UNAUTHORIZED (status code 401).
|
Note
|
Gremlin Server does not support the "authorization identity" as described in RFC4616. |
In addition to authenticating users at the start of a connection, Gremlin Server allows providers to authorize users on
a per request basis. If
a java class is configured that implements the
Authorizer interface,
Gremlin Server passes each request to this Authorizer. The Authorizer can deny authorization for the request by
throwing an exception and Gremlin Server returns UNAUTHORIZED (status code 401) to the client. The Authorizer
authorizes the request by returning the original request or the request with some additional constraints. Gremlin Server
proceeds with the returned request and on its turn returns the result of the request to the client. More details on
implementing authorization can be found in the
reference documentation for Gremlin Server security.
|
Note
|
While Gremlin Server supports this authorization feature it is not a feature that TinkerPop requires of graph providers as part of the agreement between client and server. |
Gremlin Plugins
Plugins provide a way to expand the features of a GremlinScriptEngine, which stands at that core of both Gremlin
Console and Gremlin Server. Providers may wish to create plugins for a variety of reasons, but some common examples
include:
-
Initialize the
GremlinScriptEngineapplication with important classes so that the user doesn’t need to type their own imports. -
Place specific objects in the bindings of the
GremlinScriptEnginefor the convenience of the user. -
Bootstrap the
GremlinScriptEnginewith custom functions so that they are ready for usage at startup.
The first step to developing a plugin is to implement the GremlinPlugin interface:
package org.apache.tinkerpop.gremlin.jsr223;
import java.util.Optional;
/**
* A plugin interface that is used by the {@link GremlinScriptEngineManager} to configure special {@link Customizer}
* instances that will alter the features of any {@link GremlinScriptEngine} created by the manager itself.
*
* @author Stephen Mallette (http://stephen.genoprime.com)
*/
public interface GremlinPlugin {
/**
* The name of the module. This name should be unique (use a namespaced approach) as naming clashes will
* prevent proper module operations. Modules developed by TinkerPop will be prefixed with "tinkerpop."
* For example, TinkerPop's implementation of Spark would be named "tinkerpop.spark". If Facebook were
* to do their own implementation the implementation might be called "facebook.spark".
*/
public String getName();
/**
* Some modules may require a restart of the plugin host for the classloader to pick up the features. This is
* typically true of modules that rely on {@code Class.forName()} to dynamically instantiate classes from the
* root classloader (e.g. JDBC drivers that instantiate via @{code DriverManager}).
*/
public default boolean requireRestart() {
return false;
}
/**
* Gets the list of all {@link Customizer} implementations to assign to a new {@link GremlinScriptEngine}. This is
* the same as doing {@code getCustomizers(null)}.
*/
public default Optional<Customizer[]> getCustomizers(){
return getCustomizers(null);
}
/**
* Gets the list of {@link Customizer} implementations to assign to a new {@link GremlinScriptEngine}. The
* implementation should filter the returned {@code Customizers} according to the supplied name of the
* Gremlin-enabled {@code ScriptEngine}. By providing a filter, {@code GremlinModule} developers can have the
* ability to target specific {@code ScriptEngines}.
*
* @param scriptEngineName The name of the {@code ScriptEngine} or null to get all the available {@code Customizers}
*/
public Optional<Customizer[]> getCustomizers(final String scriptEngineName);
}The most simple plugin and the one most commonly implemented will likely be one that just provides a list of classes for import. This type of plugin is the easiest way for implementers of the TinkerPop Structure and Process APIs to make their implementations available to users. The TinkerGraph implementation has just such a plugin:
package org.apache.tinkerpop.gremlin.tinkergraph.jsr223;
import org.apache.tinkerpop.gremlin.jsr223.AbstractGremlinPlugin;
import org.apache.tinkerpop.gremlin.jsr223.DefaultImportCustomizer;
import org.apache.tinkerpop.gremlin.jsr223.ImportCustomizer;
import org.apache.tinkerpop.gremlin.tinkergraph.process.computer.TinkerGraphComputer;
import org.apache.tinkerpop.gremlin.tinkergraph.process.computer.TinkerGraphComputerView;
import org.apache.tinkerpop.gremlin.tinkergraph.process.computer.TinkerMapEmitter;
import org.apache.tinkerpop.gremlin.tinkergraph.process.computer.TinkerMemory;
import org.apache.tinkerpop.gremlin.tinkergraph.process.computer.TinkerMessenger;
import org.apache.tinkerpop.gremlin.tinkergraph.process.computer.TinkerReduceEmitter;
import org.apache.tinkerpop.gremlin.tinkergraph.process.computer.TinkerWorkerPool;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerEdge;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerElement;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerFactory;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerGraph;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerGraphVariables;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerHelper;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerIoRegistryV1d0;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerIoRegistryV2d0;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerIoRegistryV3d0;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerProperty;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerVertex;
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerVertexProperty;
/**
* @author Stephen Mallette (http://stephen.genoprime.com)
*/
public final class TinkerGraphGremlinPlugin extends AbstractGremlinPlugin {
private static final String NAME = "tinkerpop.tinkergraph";
private static final ImportCustomizer imports = DefaultImportCustomizer.build()
.addClassImports(TinkerEdge.class,
TinkerElement.class,
TinkerFactory.class,
TinkerGraph.class,
TinkerGraphVariables.class,
TinkerHelper.class,
TinkerIoRegistryV1d0.class,
TinkerIoRegistryV2d0.class,
TinkerIoRegistryV3d0.class,
TinkerProperty.class,
TinkerVertex.class,
TinkerVertexProperty.class,
TinkerGraphComputer.class,
TinkerGraphComputerView.class,
TinkerMapEmitter.class,
TinkerMemory.class,
TinkerMessenger.class,
TinkerReduceEmitter.class,
TinkerWorkerPool.class).create();
private static final TinkerGraphGremlinPlugin instance = new TinkerGraphGremlinPlugin();
public TinkerGraphGremlinPlugin() {
super(NAME, imports);
}
public static TinkerGraphGremlinPlugin instance() {
return instance;
}
}This plugin extends from the abstract base class of AbstractGremlinPlugin
which provides some default implementations of the GremlinPlugin methods. It simply allows those who extend from it
to be able to just supply the name of the module and a list of Customizer
instances to apply to the GremlinScriptEngine. In this case, the TinkerGraph plugin just needs an
ImportCustomizer
which describes the list of classes to import when the plugin is activated and applied to the GremlinScriptEngine.
The ImportCustomizer is just one of several provided Customizer implementations that can be used in conjunction
with plugin development:
-
BindingsCustomizer - Inject a key/value pair into the global bindings of the
GremlinScriptEngineinstances -
ImportCustomizer - Add imports to a
GremlinScriptEngine -
ScriptCustomizer - Execute a script on a
GremlinScriptEngineat startup
Individual GremlinScriptEngine instances may have their own Customizer instances that can be used only with that
engine - e.g. gremlin-groovy has some that are specific to controlling the Groovy compiler configuration. Developing
a new Customizer implementation is not really possible without changes to TinkerPop, as the framework is not designed
to respond to external ones. The base Customizer implementations listed above should cover most needs.
A GremlinPlugin must support one of two instantiation models so that it can be instantiated from configuration files
for use in various situations - e.g. Gremlin Server. The first option is to use a static initializer given a method
with the following signature:
public static GremlinPlugin instance()The limitation with this approach is that it does not provide a way to supply any configuration to the plugin so it tends to only be useful for fairly simplistic plugins. The more advanced approach is to provide a "builder" given a method with the following signature:
public static Builder build()It doesn’t really matter what kind of class is returned from build so long as it follows a "Builder" pattern, where
methods on that object return an instance of itself, so that builder methods can be chained together prior to calling
a final create method as follows:
public GremlinPlugin create()Please see the ImportGremlinPlugin
for an example of what implementing a Builder might look like in this context.
Note that the plugin provides a unique name for the plugin which follows a namespaced pattern as namespace.plugin-name (e.g. "tinkerpop.hadoop" - "tinkerpop" is the reserved namespace for TinkerPop maintained plugins).
For plugins that will work with Gremlin Console, there is one other step to follow to ensure that the GremlinPlugin
will work there. The console loads GremlinPlugin instances via ServiceLoader
and therefore need a resource file added to the jar file where the plugin exists. Add a file called
org.apache.tinkerpop.gremlin.jsr223.GremlinPlugin to META-INF/services. In the case of the TinkerGraph
plugin above, that file will have this line in it:
org.apache.tinkerpop.gremlin.tinkergraph.jsr223.TinkerGraphGremlinPluginOnce the plugin is packaged, there are two ways to test it out:
-
Copy the jar and its dependencies to the Gremlin Console path and start it. It is preferrable that the plugin is copied to the
/ext/plugin_namedirectory. -
Start Gremlin Console and try the
:installcommand::install com.company my-plugin 1.0.0.
In either case, once one of these two approaches is taken, the jars and their dependencies are available to the
Console. The next step is to "activate" the plugin by doing :plugin use my-plugin, where "my-plugin" refers to the
name of the plugin to activate.
|
Note
|
When :install is used logging dependencies related to SLF4J are filtered out so as
not to introduce multiple logger bindings (which generates warning messages to the logs).
|
Plugins can also tie into the :remote and :submit commands. Recall that a :remote represents a different
context within which Gremlin is executed, when issued with :submit. It is encouraged to use this integration point
when possible, as opposed to registering new commands that can otherwise follow the :remote and :submit pattern.
To expose this integration point as part of a plugin, implement the RemoteAcceptor interface:
|
Tip
|
Be good to the users of plugins and prevent dependency conflicts. Maintaining a conflict free plugin is most easily done by using the Maven Enforcer Plugin. |
|
Tip
|
Consider binding the plugin’s minor version to the TinkerPop minor version so that it’s easy for users to figure out plugin compatibility. Otherwise, clearly document a compatibility matrix for the plugin somewhere that users can find it. |
package org.apache.tinkerpop.gremlin.jsr223.console;
import java.io.Closeable;
import java.util.List;
import java.util.Map;
/**
* The Gremlin Console supports the {@code :remote} and {@code :submit} commands which provide standardized ways
* for plugins to provide "remote connections" to resources and a way to "submit" a command to those resources.
* A "remote connection" does not necessarily have to be a remote server. It simply refers to a resource that is
* external to the console.
* <p/>
* By implementing this interface and returning an instance of it through
* {@link ConsoleCustomizer#getRemoteAcceptor(GremlinShellEnvironment)} a plugin can hook into those commands and
* provide remoting features.
*
* @author Stephen Mallette (http://stephen.genoprime.com)
*/
public interface RemoteAcceptor extends Closeable {
public static final String RESULT = "result";
/**
* Gets called when {@code :remote} is used in conjunction with the "connect" option. It is up to the
* implementation to decide how additional arguments on the line should be treated after "connect".
*
* @return an object to display as output to the user
* @throws RemoteException if there is a problem with connecting
*/
public Object connect(final List<String> args) throws RemoteException;
/**
* Gets called when {@code :remote} is used in conjunction with the {@code config} option. It is up to the
* implementation to decide how additional arguments on the line should be treated after {@code config}.
*
* @return an object to display as output to the user
* @throws RemoteException if there is a problem with configuration
*/
public Object configure(final List<String> args) throws RemoteException;
/**
* Gets called when {@code :submit} is executed. It is up to the implementation to decide how additional
* arguments on the line should be treated after {@code :submit}.
*
* @return an object to display as output to the user
* @throws RemoteException if there is a problem with submission
*/
public Object submit(final List<String> args) throws RemoteException;
/**
* If the {@code RemoteAcceptor} is used in the Gremlin Console, then this method might be called to determine
* if it can be used in a fashion that supports the {@code :remote console} command. By default, this value is
* set to {@code false}.
* <p/>
* A {@code RemoteAcceptor} should only return {@code true} for this method if it expects that all activities it
* supports are executed through the {@code :submit} command. If the users interaction with the remote requires
* working with both local and remote evaluation at the same time, it is likely best to keep this method return
* {@code false}. A good example of this type of plugin would be the Gephi Plugin which uses {@code :remote config}
* to configure a local {@code TraversalSource} to be used and expects calls to {@code :submit} for the same body
* of analysis.
*/
public default boolean allowRemoteConsole() {
return false;
}
}The RemoteAcceptor can be bound to a GremlinPlugin by adding a ConsoleCustomizer implementation to the list of
Customizer instances that are returned from the GremlinPlugin. The ConsoleCustomizer will only be executed when
in use with the Gremlin Console plugin host. Simply instantiate and return a RemoteAcceptor in the
ConsoleCustomizer.getRemoteAcceptor(GremlinShellEnvironment) method. Generally speaking, each call to
getRemoteAcceptor(GremlinShellEnvironment) should produce a new instance of a RemoteAcceptor.
Gremlin Semantics
This section provides details on Gremlin language operational semantics. Describing these semantics and reinforcing
them with tests in the Gremlin test suite makes it easier for providers to implement the language and for the
TinkerPop Community to have better consistency in their user experiences. While the general Gremlin test suite offers
an integrated approach to testing Gremlin queries, the @StepClassSemantics oriented tests found
here are especially focused to the
definitions found in this section. References to the location of specific tests can be found throughout the
sub-sections below.
Types
The TinkerPop query execution runtime is aligned with Java primitives and handles the following primitive types:
-
Boolean
-
Integer
-
Byte (int8)
-
Short (int16)
-
Integer (int32)
-
Long (int64)
-
BigInteger
-
-
Decimal
-
Float (32-bit) (including +/-Infinity and NaN)
-
Double (64-bit) (including +/-Infinity and NaN)
-
BigDecimal
-
-
String
-
UUID
-
Date
-
nulltype-
Has only one value in its type space - the "undefined" value
null
-
|
Note
|
TinkerPop has a bit of a JVM-centric view of types as it was developed within that ecosystem. |
Graph providers may not support all of these types depending on the architecture and implementation. Therefore
TinkerPop must provide a way for Graph providers to override the behavior while it has its own default behavior. Also
when some types are not supported Graph providers needs to map unsupported types into supported types internally. This
mapping can be done in either information-preserving manner or non-preserving manner. Graph providers must tell which
mapping they support through Graph.Features as well as which types they support.
-
Which primitive types are supported
-
Boolean, Integer, Float, String, UUID and Date
-
TinkerPop by default supports all of them
-
-
Which integer types are supported
-
TinkerPop by default supports int8 (Byte), int16 (Short), int32 (Integer), int64 (Long) and BigInteger in Java
-
-
Which float types are supported
-
TinkerPop by default supports all as float, double, and BigDecimal in Java
-
In addition to these, there are composite types as follows:
-
Graph Element
-
Vertex
-
Edge
-
VertexProperty
-
-
Property (edge properties and meta properties)
-
(Key, Value) pair
-
Key is String, Value is any of the primitive types defined above
-
-
Path
-
List
-
Map
-
Map.Entry
-
Set
Numeric Type Promotion
TinkerPop performs type promotion a.k.a type casting for Numbers. Numbers are Byte, Short, Integer, Long, Float,
Double, BigInteger, and BigDecimal. In general, numbers are compared using semantic equivalence, without regard for
their specific type, e.g. 1 == 1.0.
Numeric types are promoted as follows:
-
First determine whether to use floating point or not. If any numbers in the comparison are floating point then we convert all of them to floating point.
-
Next determine the maximum bit size of the numerics being compared.
-
If any floating point are present:
-
If the maximum bit size is 32 (up to Integer/Float), we compare as Float
-
If the maximum bit size is 64 (up to Long/Double), we compare as Double
-
Otherwise we compare as BigDecimal
-
-
If no floating point are present:
-
If the maximum bit size is 8 we compare as Byte
-
If the maximum bit size is 16 we compare as Short
-
If the maximum bit size is 32 we compare as Integer
-
If the maximum bit size is 64 we compare as Long
-
Otherwise we compare as BigInteger
-
BigDecimal and BigInteger may not be supported depending on the language and Storage, therefore the behavior of type casting for these two types can vary depending on a Graph provider.
Comparability, Equality, Orderability, and Equivalence
This section of the document attempts to more clearly define the semantics for different types of value comparison within the Gremlin language and reference implementation. There are four concepts related to value comparison:
Equality
Equality semantics is used by the equality operators (P.eq/neq) and contains operators derived from them
(P.within/without). It is also used for implicit P.eq comparisons, for example g.V().has("age", 25) - equality
semantics are used to look up vertices by age when considering the value.
Comparability
Comparability semantics is used by the compare operators (P.lt/lte/gt/gte) and operators derived from them
(P.inside/outside/between) and defines the semantics of how to compare two values.
Orderability
Orderability semantics defines how two values are compared in the context of an order() operation. These semantics
have important differences from Comparability.
Equivalence
Equivalence semantics are slightly different from Equality and are used for operations such as dedup() and group().
Key differences include handling of numeric types and NaN.
Both Equality and Equivalence can be understood as complete, i.e. the result of equality and equivalence checks is
always either TRUE or FALSE (in particular, it never returns nulltype or throws an exception). Similarly,
Orderability can be also understood as complete - any two values can be compared without error for ordering purposes.
Comparability semantics are not complete with respect to binary boolean semantics, and as such, Gremlin introduces a
ternary boolean semantics for Comparability that includes a third boolean state - ERROR, with its own well-defined
semantics.
Ternary Boolean Logics
When evaluating boolean value expressions, we sometimes encounter situations that cannot be proved as either TRUE or
FALSE. Common ERROR cases are Comparability against NaN, cross-type Comparability (e.g. String vs Numeric), or
other invalid arguments to other boolean value expressions.
Rather than throwing an exception and halting the traversal, we extend normal binary boolean logics and introduce a
third boolean option - ERROR. How this ERROR result is handled is Graph provider dependent. For the reference
implementation, ERROR is an internal representation only and will not be propagated back to the client as an
exception - it will eventually hit a binary reduction operation and be reduced to FALSE (thus quietly filters the
solution that produced the ERROR). Before that happens though, it will be treated as its own boolean value with its
own semantics that can be used in other boolean value expressions, such as Connective predicates (P.and/or) and
negation (P.not).
Ternary Boolean Semantics for AND
| A | B | AND | Intuition |
|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ternary Boolean Semantics for OR
| A | B | OR | Intuition |
|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ternary Boolean Semantics for NOT
The NOT predicate inverts TRUE and FALSE, respectively, but maintains ERROR values. The key idea is that, for an
ERROR value, we can neither prove nor disprove the expression, and hence stick with ERROR.
| Argument | Result |
|---|---|
|
|
|
|
|
|
Equality and Comparability
Equality and Comparability can be understood to be semantically aligned with one another.
As mentioned above, Equality is used for P.eq/neq (and derived predicates) and
Comparability is used for P.lt/lte/gt/gte (and derived predicates).
If we define Comparability using a compare() function over A and B as follows:
If (A, B) are Comparable per Gremlin semantics, then:
For A < B, Comparability.compare(A, B) < 0
For A > B, Comparability.compare(A, B) > 0
For A == B, Comparability.compare(A, B) == 0
If (A, B) not Comparable, then:
Comparability.compare(A, B) => ERRORThen we can define Equality using an equals() function over A and B that acts as a strict binary
reduction of Comparability.compare(A, B) == 0:
For any (A, B):
Comparability.compare(A, B) == 0 implies Equality.equals(A, B) == TRUE
Comparability.compare(A, B) <> 0 implies Equality.equals(A, B) == FALSE
Comparability.compare(A, B) => ERROR implies Equality.equals(A, B) == FALSEThe following table illustrates how Equality and Comparability operate under various classes of comparison:
| Class | Arguments | Comparability | Equality |
|---|---|---|---|
Comparisons Involving |
where |
Comparing |
|
Comparisons Involving |
|
|
|
|
Since |
|
|
Comparisons within the same type family (i.e. String vs. String, Number vs. Number, etc.) |
where |
Result of |
|
Comparisons across types (i.e. String vs. Number) |
where |
|
|
Equality and Comparability Semantics by Type
For Equality and Comparability evaluation of values within the same type family, we define the semantics per type family as follows.
Number
Numbers are compared using type promotion, described above. As such, 1 == 1.0.
Edge cases:
-
-0.0 == 0.0 == +0.0 -
+INF == +INF,-INF == -INF,-INF != +INF-
Float.±InfinityandDouble.±Infinityadhere to the same type promotion rules.
-
-
As described above
NaNis not Equal and not Comparable to any Number (including itself).
nulltype
As described in the table above, null == null, but is not Equal and not Comparable to
any non-null value.
Boolean
For Booleans, TRUE == TRUE, FALSE == FALSE, TRUE != FALSE, and FALSE < TRUE.
String
We assume the common lexicographical order over unicode strings. A and B are compared lexicographically, and
A == B if A and B are lexicographically equal.
UUID
UUID is evaluated based on its String representation. However, UUID("b46d37e9-755c-477e-9ab6-44aabea51d50") and the
String "b46d37e9-755c-477e-9ab6-44aabea51d50" are not Equal and not Comparable.
Date
Dates are evaluated based on the numerical comparison of Unix Epoch time.
Graph Element (Vertex / Edge / VertexProperty)
If they are the same type of Element, these are compared by the value of their T.id according to the semantics for
the particular primitive type used for ids (implementation-specific). Elements of different types are
not Equal and not Comparable.
Property
Properties are compared first by key (String semantics), then by value, according to the semantics for the particular primitive type of the value. Properties with values in different type families are not Equal and not Comparable.
List
Lists are compared pairwise, element-by-element, in their natural list order. For each element, if the pairs are
Equal, we simply move on to the next element pair until we encounter a pair whose
Comparability.compare() value is non-zero (-1, 1, or ERROR), and we return that value. Lists can be evaluated
for Equality and Comparability even if they contain multiple types of elements, so long
as their elements are pairwise comparable per Equality/Comparability semantics. During
this element by element comparison, if iteration A exhausts its elements before iteration B then A < B, and
vice-versa.
Empty lists are equal to other empty lists and less than non-empty lists.
A |
B |
compare(A,B) |
P |
Reason |
|---|---|---|---|---|
|
|
|
|
empty lists are equal |
|
|
|
|
empty < non-empty |
|
|
|
|
non-empty > empty |
|
|
|
|
pairwise equal |
|
|
|
|
pairwise equal until last element: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
type promotion |
|
|
|
|
pairwise Comparable and |
|
|
|
|
cross-type comparison |
Path
Equality and Comparability semantics for Paths are similar to those for Lists, described above (though
Paths and Lists are still of different types and thus not Equal and not Comparable).
Set
Sets are compared pairwise, element-by-element, in the same way as Lists, but they are compared in sorted order
using Orderability semantics to sort (described further below). We use Orderability
semantics for ordering so that Sets containing multiple element types can be properly sorted before being compared.
For example:
A |
B |
compare(A,B) |
P |
Reason |
|---|---|---|---|---|
|
|
|
|
sort before compare |
|
|
|
|
we use Orderability semantics to sort across types |
Sets do introduce a bit of semantic stickiness, in that on the one hand they do respect type promotion semantics for Equality and Comparability:
{1, 2} == {1.0, 2.0}But on the other hand they also allow two elements that would be equal (and thus duplicates) according to type promotion:
{1, 1.0, 2} is a valid set and != {1, 2}We allow some "wiggle-room" in the implementation for providers to decide how to handle this logical inconsistency. The
reference implementation allows for semantically equivalent numerics to appear in a set (e.g {1, 1.0}), while at the
same time evaluating the same semantically equivalent numerics as equal during pairwise comparison across sets (e.g.
{1,2} == {1.0,2.0}).
Map
'Map' semantics can be thought of as similar to Set semantics for the entry set the comprises the Map. So again,
we compare pairwise, entry-by-entry, in the same way as Lists, and again, we first sort the entries using
Orderability semantics. Map entries are compared first by key, then by value using the
Equality and Comparability semantics that apply to the specific type
of key and value.
Maps semantics have the same logical inconsistency as set semantics, because of type promotion. Again, we leave room
for providers to decide how to handle this in their implementation. The reference implementation allows for semantically
equivalent keys to appear in a map (e.g. 1 and 1.0 can both be keys in the same map), but when comparing maps we
treat pairwise entries with semantically equivalent keys as the same.
Orderability
Equality and Comparability were described in depth in the sections above, and their
semantics map to the P predicates. Comparability in particular is limited to
comparison of values within the same type family. Comparability is complete within a given type (except for NaN,
which results in ERROR for any comparison), but returns ERROR for comparisons across types (e.g., an integer cannot
be compared to a string).
Orderability semantics are very similar to Comparability for the most part, except that Orderability will never result
in ERROR for comparison of any two values - even if two values are incomparable according to Comparability semantics
we will still be able to determine their respective order. This allows for a total order across all Gremlin values. In
the reference implementation, any step using Order.asc or Order.desc (e.g. OrderGlobalStep, OrderLocalStep) will
follow these semantics.
To achieve this globally complete order, we need to address any cases in Comparability that produce a comparison
ERROR, we must define a global order across type families, and we must provide semantics for ordering "unknown"
values (for cases of in-process JVM implementations, like the TinkerGraph).
We define the type space, and the global order across the type space as follows:
1. nulltype
2. Boolean
3. Number
4. Date
5. String
6. Vertex
7. Edge
8. VertexProperty
9. Property
10. Path
11. Set
12. List
13. Map
14. UnknownValues in different type spaces will be ordered according to their priority (e.g. all Numbers < all Strings).
Within a given type space, Orderability determines if two values are ordered at the same position or one value is positioned before or after the another. When the position is identical, which value comes first (in other words, whether it should perform stable sort) depends on graph providers' implementation.
To allow for this total ordering, we must also address the cases in Comparability that
produce an comparison ERROR:
ERROR Scenario |
Comparability | Orderability |
|---|---|---|
Comparison against |
|
|
Comparison across types |
Cannot compare values of different types. This includes the |
Subject to a total type ordering where every value of type A appears before or after every value of Type B per the priorty list above. |
Key differences from Comparability
One key difference to note is that we use Orderability semantics to compare values within containers (List, Set,
Path, Map, Property) rather than using Comparability semantics (i.e. Orderability all the way down).
Numeric Ordering
Same as Comparability, except NaN is equivalent to NaN and is greater than all other Numbers, including +Infinity.
Additionally, because of type promotion (1 == 1.0), numbers of the same value but of different numeric types will
not have a stable sort order (1 can appear either before or after 1.0).
Property
Same as Comparability, except Orderability semantics are used for the property value.
Iterables (Path, List, Set, Map)
Same as Comparability, except Orderability semantics apply for the pairwise element-by-element comparisons.
Unknown Types
For Orderability semantics, we allow for the possibility of "unknown" types. If the "unknown" arguments are of the same
type, we use java.lang.Object#equals() and java.lang.Comparable (if implemented) to determine their natural order.
If the unknown arguments are of different types or do not define a natural order, we order first by Class,
then by Object.toString().
Equivalence
Equivalence defines how TinkerPop deals with two values to be grouped or de-duplicated. Specifically it is necessary
for the dedup() and group() steps in Gremlin.
For example:
// deduplication needs equivalence over two property values
gremlin> g.V().dedup().by("name")
// grouping by equivalence over two property values
gremlin> g.V().group().by("age")Like Equality, Equivalence checks always return true or false, never nulltype or error, nor do they produce
exceptions. For the most part Equivalence and Equality are the same, with the following key differences:
-
Equivalence ignores type promotion semantics, i.e. two values of different types (e.g. 2^^int vs. 2.0^^float) are always considered to be non-equivalent.
-
NaNEquivalence is the reverse of Equality:NaNis equivalent toNaNand not Equivalent to any other Number.
Further Reference
Mapping for P
The following table maps the notions proposed above to the various P operators:
| Predicate | Concept |
|---|---|
P.eq |
Equality |
P.neq |
Equality |
P.within |
Equality |
P.without |
Equality |
P.lt |
Comparability |
P.gt |
Comparability |
P.lte |
Equality, Comparability |
P.gte |
Equality, Comparability |
P.inside |
Comparability |
P.outside |
Comparability |
P.between |
Equality, Comparability |
See Also
Steps
While TinkerPop has a full test suite for validating functionality of Gremlin, tests alone aren’t always exhaustive or fully demonstrative of Gremlin step semantics. It is also hard to simply read the tests to understand exactly how a step is meant to behave. This section discusses the semantics for individual steps to help users and providers understand implementation expectations.
call()
Description: Provides support for provider-specific service calls.
Syntax: call() | call(String, Map) | call(String, Traversal) | call(String, Map, Traversal)
| Start Step | Mid Step | Modulated | Domain | Range |
|---|---|---|---|---|
Y |
Y |
|
|
|
Arguments:
-
String- The name of the service call. -
Map- A collection of static parameters relevant to the particular service call. Keys and values can be any type currently supported by the Gremlin type system. -
Traversal- A traversal used to dynamically build at query time a collection of parameters relevant to the service call.
Modulation:
-
with(key, value)- Sets an additional static parameter relevant to the service call. Key and value can be any type currently supported by the Gremlin type system. -
with(key, Traversal)- Sets an additional dynamic parameter relevant to the service call. Key can be any type currently supported by the Gremlin type system.
How static and dynamic parameters are merged is a detail left to the provider implementation. The reference implementation
(CallStep) uses effectively a "left to right" merge of the parameters - it starts with the static parameter Map
argument, then merges in the parameters from the dynamic Traversal argument, then merges in each with modulation
one by one in the order they appear.
Service calls in the reference implementation can be specified as Start (start of traversal), Streaming
(mid-traversal flat map step), and Barrier (mid-traversal barrier step). Furthermore, the Barrier type can be
all-at-once or with a maximum chunk size. A single service can support more than one of these modes, and if it does,
must provide semantics for how to configure the mode at query time via parameters.
Providers using the reference implementation to support service call with need to provide a ServiceFactory for each
named service that can create Service instances for execution during traversal. The ServiceFactory is a singleton
that is registered with the ServiceRegistry located on the provider Graph. The Service instance is local to
each traversal, although providers can choose to re-use instances across traversals provided there is no state.
Considerations:
Providers using the reference implementation can return Traverser output or raw value output - the CallStep will
handle either case appropriately. In the case of a Streaming service, where there is exactly one input to each
call, the reference implementation can preserve Path information by splitting the input Traverser when receiving
raw output from the call. In the case of Barrier however, it is the responsiblity of the Service to preserve
Path information by producing its own Traversers as output, since the CallStep cannot match input and ouput
across a barrier. The ability to split input Traversers and generate output is provided by the reference
implementation’s ServiceCallContext object, which is supplied to the Service during execution.
There are three execution methods in the reference implementation service call API:
-
execute(ServiceCallContext, Map)- execute a service call to start a traversal -
execute(ServiceCallContext, Traverser, Map)- execute a service call mid-traversal streaming (one input) -
execute(ServiceCallContext, TraverserSet, Map)- execute a service call mid-traversal barrier
The Map is the merged collection of all static and dynamic parameters. In the case of Barrier execution, notice
that there is one Map for many input. Since the call() API support dynamic parameters, this implies that all
input must reduce to the same set of parameters for Barrier execution. In the reference implementation, if more
than one parameter set is detected, this will cause an execution and the traversal will halt. Providers that
implement their own version of a call operation may decide on other strategies to handle this case - for example
it may be sensible to group traversers by Map in the case where multiple parameter sets are detected.
The no-arg version of the call() API is meant to be a directory service and should only be used to start a traversal.
The reference implementation provides a default version, with will produce a list of service names or a service
description if run with verbose=true. Providers using the own implementation of the call operation must provide their
own directory listing service with the service name "--list".
Exceptions
-
If a named service does not support the execution mode implied by the traversal, for example, using a
StreamingorBarrierstep as a traversal source, this will result in anUnsupportedOperationException. -
As mentioned above, dynamic property parameters (
Traversals) that reduce to more than one property set for a chunk of input is not supported in the reference implementation and will result in anUnsupportedOperationException. -
Use of the reference implementation’s built-in directory service -
call()orcall("--list")- mid-traversal will result in anUnsupportedOperationException.
See: CallStep, Service, ServiceRegistry, reference
dedup()
Description: Removes repeatedly seen results from the Traversal Stream.
Syntax: dedup() | dedup(labels)
| Start Step | Mid Step | Modulated | Domain | Range |
|---|---|---|---|---|
N |
Y |
|
|
|
Arguments:
-
labels- Ifdedup()is provided a list of labels, then it will ensure that the de-duplication is not with respect to the current traverser object, but to the path history of the traverser.
For Example:
g.V().as('a').out('created').as('b').in('created').as('c').
dedup('a','b').select('a','b','c')will filter out any such a and b pairs which have previously been seen.
Modulation:
-
by()- Performs dedup according to the property specified in the by modulation. For example:g.V().dedup().by("name")will filter out vertices with duplicate names.
Considerations:
-
There is no guarantee that ordering of results will be preserved across a dedup step.
-
There is no guarantee which element is selected as the survivor when filtering duplicates.
For example, given a graph with the following three vertices:
| name | age |
|---|---|
Alex |
38 |
Bob |
45 |
Chloe |
38 |
and the traversal of:
g.V().order().by("name", Order.asc).
dedup().by("age").values("name")can return any of:
["Alex", "Bob"], ["Bob", "Alex"], ["Bob", "Chloe"], or ["Chloe", "Bob"]
element()
Description: Traverse from Property to its Element.
Syntax: element()
| Start Step | Mid Step | Modulated | Domain | Range |
|---|---|---|---|---|
N |
Y |
N |
|
|
Arguments:
None
Modulation:
None
mergeE()
Description: Provides upsert-like functionality for edges.
Syntax: mergeE() | mergeE(Map) | mergeE(Traversal)
| Start Step | Mid Step | Modulated | Domain | Range |
|---|---|---|---|---|
Y |
Y |
|
|
|
Arguments:
-
searchCreate- AMapused to match anEdgeand if not found will be the default set of data to create the new one. -
onCreate- AMapused to specify additional existence criteria and/or properties not already specified insearchCreate. -
onMatch- AMapused to update theEdgethat is found using thesearchCreatecriteria. -
outV- AVertexthat will be late-bound into thesearchCreateandonCreateMapsfor theDirection.OUTkey, or else anotherMapused to search for thatVertex -
inV- AVertexthat will be late-bound into thesearchCreateandonCreateMapsfor theDirection.INkey, or else anotherMapused to search for thatVertex
The searchCreate and onCreate Map instances must consist of any combination of:
-
T-id,label -
Direction-INorto,OUTorfrom -
Arbitrary
Stringkeys (which are assumed to be vertex properties).
The onMatch Map instance only allows for String keys as the id and label of a Vertex are immutable as are
the incident vertices. Values for these valid keys that are null will be treated according to the semantics of the
addE() step.
The Map that is used as the argument for searchCreate may be assigned from the incoming Traverser for the no-arg
mergeE(). If mergeE(Map) is used, then it will override the incoming Traverser. If mergeE(Traversal) is used,
the Traversal argument must resolve to a Map and it would also override the incoming Traverser. The onCreate and
onMatch arguments are assigned via modulation as described below.
If onMatch is triggered the Traverser becomes the matched Edge, but the traversal still must return a Map
instance to be applied. Null is considered semantically equivalent to an empty Map.
| Event | Empty Map (or Null) |
|---|---|
Search |
Matches all edges |
Create |
New edge with defaults |
Update |
No update to matched edge |
If T.id is used for searchCreate or onCreate, it may be ignored for edge creation if the Graph does not
support user supplied identifiers. onCreate inherits from searchCreate - values for T.id, T.label, and
Direction.OUT/IN do not need to be specified twice. Additionally, onCreate cannot override values in searchCreate
(i.e. if (exists(x)) return(x) else create(y) is not supported).
Modulation:
-
option(Merge, Map)- Sets theonCreateoronMatcharguments directly. -
option(Merge, Traversal)- Sets theonCreateoronMatcharguments dynamically where theTraversalmust resolve to aMap. -
option(Merge.outV/inV)can also accept aTraversalthat resolves to aVertex, allowingmergeEto be combined withmergeVvia aselectoperation.
Exceptions
-
Maparguments are validated for their keys resulting in exception if they do not meet requirements defined above. -
Use of
T.labelshould always have a value that is aString. -
If
T.id,T.label, and/orDirection.IN/OUTare specified insearchCreate, they cannot be overriden inonCreate. -
For late binding of the from and to vertices,
Direction.OUTmust be set toMerge.outVandDirection.INmust be set toMerge.inV. Other combinations are not allowed and will result in exception.
Considerations:
-
mergeE()(i.e. the zero-arg overload) can only be used mid-traversal. It is not a start step. -
As is common to Gremlin, it is expected that
Traversalarguments may utilizesideEffect()steps.
mergeV()
Description: Provides upsert-like functionality for vertices.
Syntax: mergeV() | mergeV(Map) | mergeV(Traversal)
| Start Step | Mid Step | Modulated | Domain | Range |
|---|---|---|---|---|
Y |
Y |
|
|
|
Arguments:
-
searchCreate- AMapused to match aVertexand if not found will be the default set of data to create the new one. -
onCreate- AMapused to specify additional existence criteria and/or properties not already specified insearchCreate. -
onMatch- AMapused to update theVertexthat is found using thesearchCreatecriteria.
The searchCreate and onCreate Map instances must consists of any combination of T.id, T.label, or arbitrary
String keys (which are assumed to be vertex properties). The onMatch Map instance only allows for String keys
as the id and label of a Vertex are immutable. null Values for these valid keys are not allowed.
The Map that is used as the argument for searchCreate may be assigned from the incoming Traverser for the no-arg
mergeV(). If mergeV(Map) is used, then it will override the incoming Traverser. If mergeV(Traversal) is used,
the Traversal argument must resolve to a Map and it would also override the incoming Traverser. The onCreate and
onMatch arguments are assigned via modulation as described below.
If onMatch is triggered the Traverser becomes the matched Vertex, but the traversal still must return a Map
instance to be applied. Null is considered semantically equivalent to an empty Map.
| Event | Empty Map (or Null) |
|---|---|
Search |
Matches all vertices |
Create |
New vertex with defaults |
Update |
No update to matched vertex |
If T.id is used for searchCreate or onCreate, it may be ignored for vertex creation if the Graph does not
support user supplied identifiers. onCreate inherits from searchCreate - values for T.id, T.label do not need
to be specified twice. Additionally, onCreate cannot override values in searchCreate
(i.e. if (exists(x)) return(x) else create(y) is not supported).
Modulation:
-
option(Merge, Map)- Sets theonCreateoronMatcharguments directly. -
option(Merge, Traversal)- Sets theonCreateoronMatcharguments dynamically where theTraversalmust resolve to aMap.
Exceptions
-
Maparguments are validated for their keys resulting in exception if they do not meet requirements defined above. -
Use of
T.labelshould always have a value that is aString. -
If
T.idand/orT.labelare specified insearchCreate, they cannot be overriden inonCreate.
Considerations:
-
mergeV()(i.e. the zero-arg overload) can only be used mid-traversal. It is not a start step. -
As is common to Gremlin, it is expected that
Traversalarguments may utilizesideEffect()steps.
Policies
Provider Listing Policy
TinkerPop has two web site sections that help the community find TinkerPop-enabled providers, libraries and tools. There is the Providers page and the Community page. The Providers page lists graph systems that are TinkerPop-enabled. The Community page lists libraries and tools that are designed to work with TinkerPop providers and include things like drivers, object-graph mappers, visualization applications and other similar tools.
To be listed in either page a project should meet the following requirements:
-
The project must be either a TinkerPop-enabled graph system, a Gremlin language variant/compiler, a Gremlin language driver, or a TinkerPop-enabled middleware tool.
-
The project must have a public URL that can be referenced by Apache TinkerPop.
-
The project must have at least one release.
-
The project must be actively developed/maintained to a current or previous "y" version of Apache TinkerPop (3.y.z).
-
The project must have some documentation and that documentation must make explicit its usage of Apache TinkerPop and its version compatibility requirements.
Note that the Apache Software Foundation’s linking policy supersede those stipulated by Apache TinkerPop. All things considered, if your project meets the requirements, please email Apache TinkerPop’s developer mailing list requesting that your project be added to a listing.
Graphic Usage Policy
Apache TinkerPop has a plethora of graphics that the community can use. There are four categories of graphics. These categories and their respective policies are presented below. If you are unsure of the category of a particular graphic, please ask on our developer mailing list before using it. Finally, note that the Apache Software Foundation’s trademark policies supersede those stipulated by Apache TinkerPop.
Character Graphics
A character graphic can be used without permission as long as its being used in an Apache TinkerPop related context and it is acknowledged that the graphic is a trademark of the Apache Software Foundation/Apache TinkerPop.
Character Dress-Up Graphics
A character graphic can be manipulated ("dressed up") and used without permission as long as it’s being used in an Apache TinkerPop related context and it is acknowledged that the graphic is a trademark of the Apache Software Foundation/Apache TinkerPop.
|
|
|
Explanatory Diagrams
Explanatory diagrams can be used without permission as long as they are being used in an Apache TinkerPop related context, it is acknowledged that they are trademarks of the Apache Software Foundation/Apache TinkerPop, and are being used for technical explanatory purposes.
|
|
|
Character Scene Graphics
Character scene graphics require permission before being used. Please ask for permission on the Apache TinkerPop developer mailing list.
|
|
|
