Byte-array elements leak in `FromSchemaByteArray()`
- Lenguaje dominante
- Java
- Estrellas
- 94
- Forks
- 152
- Merge medio
- 3 d 16 h
- PR fusionados (30 d)
- 11
Descripción
### Describe the bug, including details regarding any error messages, version, and platform.
I found a possible JNI array leak in `FromSchemaByteArray()` when the serialized schema cannot be parsed.
File: `dataset/src/main/cpp/jni_util.cc`
Function: `FromSchemaByteArray`
Relevant code:
```cpp
jbyte* schemaBytes_data =
env->GetByteArrayElements(schemaBytes, nullptr);
auto serialized_schema = std::make_shared(
reinterpret_cast(schemaBytes_data),
schemaBytes_len);
arrow::io::BufferReader buf_reader(serialized_schema);
ARROW_ASSIGN_OR_RAISE(
std::shared_ptr schema,
arrow::ipc::ReadSchema(&buf_reader, &in_memo))
env->ReleaseByteArrayElements(
schemaBytes, schemaBytes_data, JNI_ABORT);
return schema;
```
`GetByteArrayElements()` returns a pointer that must be paired with
`ReleaseByteArrayElements()`.
`ARROW_ASSIGN_OR_RAISE` returns immediately when `ReadSchema()` returns an
error. On that path, the release below the macro is skipped, so the acquired
array elements remain unreleased:
```text
GetByteArrayElements succeeds
-> ReadSchema returns an error
-> ARROW_ASSIGN_OR_RAISE returns
-> ReleaseByteArrayElements is skipped
```
The function is used by the public native `createDataset()` method:
```cpp
schema = JniGetOrThrow(
FromSchemaByteArray(env, schema_bytes));
```
Malformed, corrupted, or incompatible serialized schema bytes can therefore
reach this path. Repeated failed calls can retain copied array buffers or keep
Java arrays pinned, depending on the JVM implementation.
Suggested fix: release the elements before propagating the parse result, for
example:
```cpp
auto schema_result =
arrow::ipc::ReadSchema(&buf_reader, &in_memo);
env->ReleaseByteArrayElements(
schemaBytes, schemaBytes_data, JNI_ABORT);
return schema_result;
```
An RAII guard for `schemaBytes_data` would also ensure release if additional
early returns are introduced later.
Guía de contribución
Línea de trabajo
Comienza en dataset/src/main/cpp/jni_util.cc, en FromSchemaByteArray(), e inspecciona el flujo de GetByteArrayElements, ReadSchema y ReleaseByteArrayElements. Verifica que la liberación también se produzca cuando el análisis falle y, después, ejecuta la ruta de un esquema no válido o incompatible mediante createDataset(); se considera terminado cuando los elementos de matriz JNI adquiridos se liberan tanto en las rutas de éxito como de error.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- cpp, java
- Área
- backend
- Tipo de issue
- Error
- Dificultad
- 2/5
- Tiempo estimado
- 1-3 horas
- Estado de actividad
- Tranquilo
- Claridad
- Bien especificado
- Aptitud para principiantes
- 85/100