| <!--- |
| Licensed to the Apache Software Foundation (ASF) under one |
| or more contributor license agreements. See the NOTICE file |
| distributed with this work for additional information |
| regarding copyright ownership. The ASF licenses this file |
| to you under the Apache License, Version 2.0 (the |
| "License"); you may not use this file except in compliance |
| with the License. You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, |
| software distributed under the License is distributed on an |
| "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY |
| KIND, either express or implied. See the License for the |
| specific language governing permissions and limitations |
| under the License. |
| --> |
| |
| (extension_codecs)= |
| |
| # Extension codecs |
| |
| A codec is what lets your objects survive being serialized into a plan and |
| rebuilt somewhere else — another process, or another program. If your library |
| contributes table providers, functions, or execution plan nodes and those plans |
| have to leave the process, you need one. |
| |
| Codecs are contributed to a session either through an |
| {ref}`extension bundle <extension_bundles>`, which is the recommended route, |
| or one at a time through |
| {py:meth}`~datafusion.SessionContext.with_logical_extension_codec` and |
| {py:meth}`~datafusion.SessionContext.with_physical_extension_codec`. |
| |
| ## Codecs compose |
| |
| Each call to `with_logical_extension_codec` or |
| `with_physical_extension_codec` **appends** the codec to the session's codec |
| chain rather than replacing prior codecs. One session can therefore carry |
| codecs from several independent libraries at once. |
| |
| **Nothing is asked of the codec itself.** Implement `LogicalExtensionCodec` or |
| `PhysicalExtensionCodec` exactly as you would for a session that installs only |
| yours. When your codec writes bytes into a serialized plan, datafusion-python |
| records which codec wrote them, and strips that record off again before handing |
| the bytes back. So your codec receives, byte for byte, the payload it wrote, |
| and is never offered a payload another codec wrote. |
| |
| A codec that also ships to hosts which dispatch differently may still want its |
| own guard against foreign payloads. Keeping one is fine; it is simply not |
| needed for the datafusion-python path. |
| |
| (extension_codec_durable_metadata)= |
| |
| ## Encode metadata, not a handle to a live object |
| |
| Your payload has to be enough to rebuild the object somewhere your process is |
| not. Write the metadata a fresh instance can be constructed from — a path, a |
| connection string, a schema, the options the object was created with. |
| |
| The example codecs in this repository do not do this, and it is worth knowing |
| before copying them. They keep a process-local `HashMap` of live providers and |
| encode an integer token into it: encoding inserts, decoding removes. That makes |
| Rust type identity observable across three separately loaded libraries in one |
| test, which is what the examples exist to show. It also means a decode consumes |
| its token, so the same bytes cannot be decoded twice, one encoded plan cannot |
| fan out to several readers, and a plan that never reaches a decoder keeps its |
| provider alive for the life of the process. A real codec has none of those |
| properties because it does not park the object anywhere. |
| |
| (extension_codec_ids)= |
| |
| ## Codec ids |
| |
| That record is the codec's **id**: a short string stored inside the plan, |
| naming the codec that wrote each payload. Because plans are decoded in another |
| process — or another program — the id has to name the same codec there as it |
| did where the plan was written. |
| |
| Ids are assigned for you. A codec's id is normally its exporting class's import |
| path, such as `my_library.Codec`, which is what you will see in |
| {py:meth}`~datafusion.SessionContext.logical_extension_codec_ids` and in decode |
| errors. You choose one yourself in three cases: |
| |
| - **Two instances of one class.** Both get the same id, so the second install |
| raises `ValueError`. Pass `codec_id=` to tell them apart. |
| - **A bare `PyCapsule`.** A capsule has no class to take a name from, so |
| installing one through `with_logical_extension_codec` or |
| `with_physical_extension_codec` gives it an id private to the session that |
| installed it; plans it encodes fail with a clear error on any other session |
| rather than being decoded by the wrong codec. Pass `codec_id=` if those plans |
| have to cross sessions. |
| |
| {py:meth}`~datafusion.SessionContext.with_extensions` takes no `codec_id=`, |
| so it refuses a bare capsule outright and tells you to wrap it. See |
| {ref}`extension_bundles_codecs_are_objects`. |
| - **A class you intend to rename.** The id follows the class name, so renaming |
| stops older plans from decoding. Declare `__datafusion_codec_id__` on the |
| exporting object to pin an id that survives the rename. |
| |
| {py:meth}`~datafusion.SessionContext.logical_extension_codec_ids` and its |
| physical counterpart list the ids installed on a session, which is also what a |
| decode failure names. |
| |
| Installing one context's codec stack on another session composes the two |
| sessions rather than copying codecs out of one: the imported codecs resolve |
| their task context against the original and stop working when it is dropped — |
| see {ref}`ffi_internals_one_arc`. Pass the context itself rather than the |
| capsule it exports, so its codecs get an id that other sessions can decode. |
| |
| ## Functions whose name is the whole encoding |
| |
| A codec may own functions that need no payload at all, where the name is the |
| whole encoding: `try_encode_udf` writes nothing and `try_decode_udf` rebuilds |
| the function from `name`. That is supported and needs no id, because an `Ok` |
| with an empty buffer is read as "no opinion" and passes the object to the next |
| codec. `NameOnlyUdfCodec` in [`datafusion-ffi-example`] is the worked case. |
| Anything no installed codec claims falls through to |
| `Default{Logical,Physical}ExtensionCodec`. |
| |
| This is the one case where your decoder is consulted about something you may |
| not own, because an empty payload has no id to route on. `try_decode_udf` and |
| its aggregate and window siblings can therefore be called with an empty `buf` |
| and a `name` belonging to another library. Decide from `name` and return an |
| error if it is not yours; do not assume `buf` is non-empty. |
| |
| :::{note} |
| The framing itself — how an id is stored alongside a payload and routed back, |
| and the two cases that stay unframed — is internal to datafusion-python and |
| documented in `crates/core/src/codec.rs` for anyone changing it. |
| ::: |
| |
| The current FFI logical codec supports providers and UDFs but not arbitrary |
| custom `LogicalPlan::Extension` nodes. See both example READMEs for the |
| supported flow and local build commands. |
| |
| (extension_codec_order)= |
| |
| ## When codec order matters |
| |
| Decoding is never order-dependent: a payload names its codec by id and the |
| chain dispatches straight to it. Encoding walks the chain in install order and |
| stops at the first codec that claims the node. Most of the time that is |
| invisible, because libraries claim disjoint things — one owns its table |
| providers, another its UDFs, a third its own execution plan nodes. |
| |
| It stops being invisible when a codec claims *broadly*. A node that came from |
| another library arrives as an opaque `ForeignExecutionPlan`, and a codec that |
| claims any of those will take nodes it does not own from any library installed |
| after it. The query still succeeds. What changes is which library wrote the |
| bytes — so a plan that has to decode in another process now needs whichever |
| library happened to win, not the one whose node it is. |
| `MyPhysicalExtensionCodec` in [`datafusion-ffi-example`] claims this way, and |
| the query-planner example's test suite pins the consequence. |
| |
| Two rules of thumb: |
| |
| - **Writing a codec, claim narrowly.** Downcast to your own types. Claiming a |
| broad category makes your library order-sensitive for everyone downstream of |
| it. |
| - **Shipping plans out of the process, verify.** Do not assume your node |
| reached your codec just because both are installed. Round-trip a plan through |
| {py:meth}`ExecutionPlan.to_bytes <datafusion.ExecutionPlan.to_bytes>` / |
| {py:meth}`~datafusion.ExecutionPlan.from_bytes` in a test and assert your |
| codec did the work. |
| |
| (extension_codec_decode_session)= |
| |
| ## A codec decodes against the session running the query |
| |
| Because the task-context provider comes from the host — see |
| {ref}`extension_getter_argument` — a decode callback running inside an |
| extension library resolves names against the session running the query. A |
| function registered with `ctx.register_udf(...)` is visible to a foreign codec |
| decoding a node that references it by name, and the handle is live rather than |
| a snapshot, so a registration made after the codec is installed is visible too. |
| |
| This is covered in |
| `examples/datafusion-ffi-query-planner-example/python/tests/_test_three_library_query_planner.py`, |
| where the example codecs take a `require_udf_on_decode` name and resolve it out |
| of the task context they are handed. |
| |
| [`datafusion-ffi-example`]: https://github.com/apache/datafusion-python/tree/main/examples/datafusion-ffi-example |