Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat(java): jit support for chunk based map serialization #2027

Merged
Merged
Changes from 1 commit
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
b9e4bf6
jit write for chunk based map serialization
chaokunyang Jan 26, 2025
6f4435e
add variable decl expr
chaokunyang Jan 27, 2025
d317e4d
fix inline expr
chaokunyang Jan 27, 2025
30067ce
finish chunk writing codegen
chaokunyang Jan 27, 2025
301cbdf
fix TRACKING_KEY_REF flag
chaokunyang Jan 27, 2025
753e0ec
add more expressions
chaokunyang Jan 27, 2025
cfc6dd5
support jit for chunk read
chaokunyang Jan 27, 2025
db711a3
fix read jit
chaokunyang Jan 27, 2025
8d8ec2d
fix non-final map kv type jit
chaokunyang Jan 27, 2025
261b3d6
remove null from read kv serializer
chaokunyang Jan 27, 2025
977970a
support ref tracking for map chunk encoding
chaokunyang Jan 27, 2025
caf1dde
support nested map chunk encoding
chaokunyang Jan 27, 2025
ca1483d
remove old map serialization protocol
chaokunyang Jan 27, 2025
ca83c32
fix buffer rewind
chaokunyang Jan 27, 2025
8c10258
fix nested map class info reading
chaokunyang Jan 27, 2025
21e55ac
inline recursive by expr inputs
chaokunyang Jan 28, 2025
bde5b7d
inline chunk write/read and fix generics push/pop
chaokunyang Jan 28, 2025
df0be05
optimize inline invoke
chaokunyang Jan 28, 2025
9d763e0
lint code
chaokunyang Jan 28, 2025
7b090f9
fix get collection serializer
chaokunyang Jan 28, 2025
480446f
fix cast expr empty code
chaokunyang Jan 28, 2025
6f22c80
fix pkg level accessible
chaokunyang Jan 28, 2025
0b4a9c7
remove chunk switch
chaokunyang Jan 28, 2025
88d4a9c
refactor MapSerializationSuite
chaokunyang Jan 28, 2025
75e7e4b
extract readElements for scala map serializer
chaokunyang Jan 28, 2025
702e661
fix InvokeHint conflict
chaokunyang Jan 28, 2025
4305851
fix read chunk inline
chaokunyang Jan 28, 2025
a029cb1
fast path for read/write null k/v chunk
chaokunyang Jan 28, 2025
1ebeddb
add map benchmark plot script
chaokunyang Jan 28, 2025
96b53f8
fix wrong path in plot script
chaokunyang Jan 28, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
support ref tracking for map chunk encoding
chaokunyang committed Jan 27, 2025
commit 977970a97d55119c31b278e93acd8e03f90f892a
Original file line number Diff line number Diff line change
@@ -25,7 +25,6 @@
import static org.apache.fury.codegen.Expression.Reference.fieldRef;
import static org.apache.fury.codegen.ExpressionOptimizer.invokeGenerated;
import static org.apache.fury.codegen.ExpressionUtils.add;
import static org.apache.fury.codegen.ExpressionUtils.and;
import static org.apache.fury.codegen.ExpressionUtils.bitand;
import static org.apache.fury.codegen.ExpressionUtils.bitor;
import static org.apache.fury.codegen.ExpressionUtils.cast;
@@ -506,7 +505,7 @@ protected Expression writeClassInfo(
Expression classInfo = classInfoRef.f0;
writeClassAction.add(
new If(
neq(new Invoke(classInfo, "getCls", CLASS_TYPE), clsExpr),
neq(inlineInvoke(classInfo, "getCls", CLASS_TYPE), clsExpr),
new Assign(
classInfo,
inlineInvoke(classResolverRef, "getClassInfo", classInfoTypeRef, clsExpr))));
@@ -1149,10 +1148,18 @@ protected Expression writeChunk(
Expression chunkSizeOffset =
subtract(
inlineInvoke(buffer, "writerIndex", PRIMITIVE_INT_TYPE), ofInt(1), "chunkSizeOffset");
expressions.add(
key,
value,
keyTypeExpr,
valueTypeExpr,
writePlaceHolder,
chunkSizeOffset,
writePlaceHolder,
chunkSizeOffset);

Expression chunkHeader;
Expression keySerializer, valueSerializer;

boolean trackingKeyRef =
visitFury(fury -> fury.getClassResolver().needToWriteRef(keyTypeRawType));
boolean trackingValueRef =
@@ -1171,60 +1178,75 @@ protected Expression writeChunk(
header |= TRACKING_VALUE_REF;
}
chunkHeader = ofInt(header);
expressions.add(chunkHeader);
} else if (keyMonomorphic) {
int header = KEY_DECL_TYPE;
if (trackingKeyRef) {
header |= TRACKING_KEY_REF;
}
keySerializer = getOrCreateSerializer(keyTypeRawType);
walkPath.add("value:" + valueType);
valueSerializer = writeClassInfo(buffer, valueTypeExpr, valueTypeRawType, true);
chunkHeader = ofInt(header);
walkPath.removeLast();
chunkHeader = ExpressionUtils.ofInt("chunkHeader", header);
expressions.add(chunkHeader);
if (trackingValueRef) {
// value type may be subclass and not track ref.
valueWriteRef =
new Invoke(valueSerializer, "needToWriteRef", PRIMITIVE_BOOLEAN_TYPE, valueTypeExpr);
chunkHeader = and(chunkHeader, valueWriteRef, "chunkHeader");
new Invoke(valueSerializer, "needToWriteRef", "valueWriteRef", PRIMITIVE_BOOLEAN_TYPE);
expressions.add(
new If(
valueWriteRef,
new Assign(chunkHeader, bitor(chunkHeader, ofInt(TRACKING_VALUE_REF)))));
}
} else if (valueMonomorphic) {
walkPath.add("key:" + keyType);
keySerializer = writeClassInfo(buffer, keyTypeExpr, keyTypeRawType, true);
walkPath.removeLast();
valueSerializer = getOrCreateSerializer(valueTypeRawType);
int header = VALUE_DECL_TYPE;
if (trackingValueRef) {
header |= TRACKING_VALUE_REF;
}
chunkHeader = ofInt(header);
chunkHeader = ExpressionUtils.ofInt("chunkHeader", header);
expressions.add(chunkHeader);
if (trackingKeyRef) {
// key type may be subclass and not track ref.
keyWriteRef =
new Invoke(keySerializer, "needToWriteRef", PRIMITIVE_BOOLEAN_TYPE, keyTypeExpr);
chunkHeader = and(chunkHeader, keyWriteRef, "chunkHeader");
new Invoke(keySerializer, "needToWriteRef", "keyWriteRef", PRIMITIVE_BOOLEAN_TYPE);
expressions.add(
new If(
keyWriteRef, new Assign(chunkHeader, bitor(chunkHeader, ofInt(TRACKING_KEY_REF)))));
}
} else {
walkPath.add("key:" + keyType);
keySerializer = writeClassInfo(buffer, keyTypeExpr, keyTypeRawType, true);
walkPath.removeLast();
walkPath.add("value:" + valueType);
valueSerializer = writeClassInfo(buffer, valueTypeExpr, valueTypeRawType, true);
chunkHeader = ofInt(0);
walkPath.removeLast();
chunkHeader = ExpressionUtils.ofInt("chunkHeader", 0);
expressions.add(chunkHeader);
if (trackingKeyRef) {
// key type may be subclass and not track ref.
valueWriteRef =
new Invoke(valueSerializer, "needToWriteRef", PRIMITIVE_BOOLEAN_TYPE, valueTypeExpr);
chunkHeader = and(chunkHeader, valueWriteRef, "chunkHeader");
keyWriteRef =
new Invoke(keySerializer, "needToWriteRef", "keyWriteRef", PRIMITIVE_BOOLEAN_TYPE);
expressions.add(
new If(
keyWriteRef, new Assign(chunkHeader, bitor(chunkHeader, ofInt(TRACKING_KEY_REF)))));
}
if (trackingValueRef) {
// key type may be subclass and not track ref.
keyWriteRef =
new Invoke(keySerializer, "needToWriteRef", PRIMITIVE_BOOLEAN_TYPE, keyTypeExpr);
chunkHeader = and(chunkHeader, keyWriteRef, "chunkHeader");
valueWriteRef =
new Invoke(valueSerializer, "needToWriteRef", "valueWriteRef", PRIMITIVE_BOOLEAN_TYPE);
expressions.add(
new If(
valueWriteRef,
new Assign(chunkHeader, bitor(chunkHeader, ofInt(TRACKING_VALUE_REF)))));
}
}
Expression chunkSize = ExpressionUtils.ofInt("chunkSize", 0);
expressions.add(
key,
value,
keyTypeExpr,
valueTypeExpr,
writePlaceHolder,
chunkSizeOffset,
chunkHeader,
keySerializer,
valueSerializer,
keyWriteRef,
@@ -1447,8 +1469,10 @@ protected Expression deserializeForNotNull(
} else if (useMapSerialization(typeRef)) {
obj = deserializeForMap(buffer, typeRef, serializer, invokeHint);
} else {
if (serializer != null) {
return new Invoke(serializer, "read", OBJECT_TYPE, buffer);
}
if (isMonomorphic(cls)) {
Preconditions.checkState(serializer == null);
serializer = getOrCreateSerializer(cls);
Class<?> returnType =
ReflectionUtils.getReturnType(getRawType(serializer.type()), "read");
@@ -1812,43 +1836,29 @@ private Expression readChunk(
new If(
keyIsDeclaredType,
keySerializer,
new Invoke(
readClassInfo(keyTypeRawType, buffer),
"getSerializer",
"keySerializer",
SERIALIZER_TYPE),
inlineInvoke(readClassInfo(keyTypeRawType, buffer), "getSerializer", SERIALIZER_TYPE),
false);
valueSerializer =
new If(
valueIsDeclaredType,
valueSerializer,
new Invoke(
readClassInfo(valueTypeRawType, buffer),
"getSerializer",
"valueSerializer",
SERIALIZER_TYPE),
inlineInvoke(
readClassInfo(valueTypeRawType, buffer), "getSerializer", SERIALIZER_TYPE),
false);
} else if (!keyMonomorphic) {
keySerializer =
new If(
keyIsDeclaredType,
keySerializer,
new Invoke(
readClassInfo(keyTypeRawType, buffer),
"getSerializer",
"keySerializer",
SERIALIZER_TYPE),
inlineInvoke(readClassInfo(keyTypeRawType, buffer), "getSerializer", SERIALIZER_TYPE),
false);
} else if (!valueMonomorphic) {
valueSerializer =
new If(
valueIsDeclaredType,
valueSerializer,
new Invoke(
readClassInfo(valueTypeRawType, buffer),
"getSerializer",
"valueSerializer",
SERIALIZER_TYPE),
inlineInvoke(
readClassInfo(valueTypeRawType, buffer), "getSerializer", SERIALIZER_TYPE),
false);
}
Expression keySerializerExpr = uninline(keySerializer);
@@ -1877,7 +1887,8 @@ private Expression readChunk(
expr -> expr,
() ->
deserializeForNotNull(buffer, keyType, keySerializerExpr, keyHint)),
deserializeForNotNull(buffer, keyType, keySerializerExpr, keyHint));
deserializeForNotNull(buffer, keyType, keySerializerExpr, keyHint),
false);
} else {
keyAction = deserializeForNotNull(buffer, keyType, keySerializerExpr, keyHint);
}
@@ -1893,7 +1904,8 @@ private Expression readChunk(
() ->
deserializeForNotNull(
buffer, valueType, valueSerializerExpr, valueHint)),
deserializeForNotNull(buffer, valueType, valueSerializerExpr, valueHint));
deserializeForNotNull(buffer, valueType, valueSerializerExpr, valueHint),
false);
} else {
valueAction =
deserializeForNotNull(buffer, valueType, valueSerializerExpr, valueHint);
@@ -1913,14 +1925,15 @@ private Expression readChunk(
chunkHeader, inlineInvoke(buffer, "readUnsignedByte", PRIMITIVE_INT_TYPE))));
return expressions;
} else {
Expression sizeAndHeader =
Expression returnSizeAndHeader =
new If(
gt(size, ofInt(0)),
(bitor(
shift("<<", size, 8),
inlineInvoke(buffer, "readUnsignedByte", PRIMITIVE_INT_TYPE))),
ofInt(0));
expressions.add(new Return(sizeAndHeader));
new Return(
(bitor(
shift("<<", size, 8),
inlineInvoke(buffer, "readUnsignedByte", PRIMITIVE_INT_TYPE)))),
new Return(ofInt(0)));
expressions.add(returnSizeAndHeader);
// method too big, spilt it into a new method.
// Generate similar signature as `AbstractMapSerializer.writeJavaChunk`(
// MemoryBuffer buffer,
Original file line number Diff line number Diff line change
@@ -2438,7 +2438,6 @@ public ForLoop(
Preconditions.checkArgument(maxType.isPrimitive());
iref = new Reference(String.valueOf(System.identityHashCode(this)), TypeRef.of(maxType));
this.loopAction = action.apply(iref);
;
}

@Override
Original file line number Diff line number Diff line change
@@ -103,6 +103,12 @@ public static BitOr bitor(Expression left, Expression right) {
return new BitOr(left, right);
}

public static BitAnd bitand(Expression left, Expression right, String name) {
BitAnd bitAnd = new BitAnd(left, right);
bitAnd.inline(false);
return bitAnd;
}

public static BitAnd bitand(Expression left, Expression right) {
return new BitAnd(left, right);
}
Original file line number Diff line number Diff line change
@@ -53,6 +53,7 @@
import org.apache.fury.reflect.TypeRef;
import org.apache.fury.serializer.Serializer;
import org.apache.fury.serializer.collection.CollectionSerializersTest.TestEnum;
import org.apache.fury.test.bean.BeanB;
import org.apache.fury.test.bean.Cyclic;
import org.apache.fury.test.bean.MapFields;
import org.apache.fury.type.GenericType;
@@ -787,4 +788,27 @@ public void testMapFieldStructCodegen2(boolean referenceTrackingConfig) {
struct1.map3 = ofHashMap(1, "v1", 2, "v2");
serDeCheck(fury, struct1);
}

@Data
public static class MapFieldStruct3 {
public Map<Object, Object> map1;
public Map<BeanB, Object> map2;
public Map<Object, BeanB> map3;
}

@Test(dataProvider = "referenceTrackingConfig")
public void testMapFieldStructCodegen3(boolean referenceTrackingConfig) {
Fury fury =
Fury.builder()
.withRefTracking(referenceTrackingConfig)
.withCodegen(true)
.requireClassRegistration(false)
.build();
MapFieldStruct3 struct1 = new MapFieldStruct3();
BeanB beanB = BeanB.createBeanB(2);
struct1.map1 = ofHashMap(BeanB.createBeanB(2), BeanB.createBeanB(2));
struct1.map2 = ofHashMap(BeanB.createBeanB(2), 1, beanB, beanB);
struct1.map3 = ofHashMap(1, beanB, 2, beanB, 3, BeanB.createBeanB(2));
serDeCheck(fury, struct1);
}
}