[libcamera-devel,v10] Documentation: Add IPA writers guide
diff mbox series

Message ID 20210309054025.89116-1-paul.elder@ideasonboard.com
State Accepted
Delegated to: Paul Elder
Headers show
Series
  • [libcamera-devel,v10] Documentation: Add IPA writers guide
Related show

Commit Message

Paul Elder March 9, 2021, 5:40 a.m. UTC
Add a guide about writing IPAs.

Signed-off-by: Paul Elder <paul.elder@ideasonboard.com>
Reviewed-by: Kieran Bingham <kieran.bingham@ideasonboard.com>

---
Changes in v10:
- fix typos and indentation and remove todos

Changes in v9:
- update documentation to include customizable init() and direct return
  of int32

No change in v8

Changes in v8:
- fix bullet points
- update wording about struct field names
- fix typos

Changes in v7:
- fix TODO syntax
- update the generated struct fiels
  - no more postfix underscore

Changes in v6:
- namespacing is now required
- start() is now customizable
- {pipeline_name} is no longer required
- fix code block indentations

Changes in v5:
- fix doxygen compile errors
- update example struct names from raspberry pi changes
- add todo for restricting pre-start() to sync and post-start() to async

Changes in v4.1:
- Add section on namespacing, custom data structures, compiling, and
  usage of the data structures and interface
- Add examples to the main ipa interface and event ipa interface
  sections

New in v4
---
 Documentation/guides/ipa.rst | 505 +++++++++++++++++++++++++++++++++++
 Documentation/index.rst      |   1 +
 Documentation/meson.build    |   1 +
 3 files changed, 507 insertions(+)
 create mode 100644 Documentation/guides/ipa.rst

Comments

Laurent Pinchart March 14, 2021, 11:57 p.m. UTC | #1
Hi Paul,

Thank you for the patch.

On Tue, Mar 09, 2021 at 02:40:25PM +0900, Paul Elder wrote:
> Add a guide about writing IPAs.
> 
> Signed-off-by: Paul Elder <paul.elder@ideasonboard.com>
> Reviewed-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
> 
> ---
> Changes in v10:
> - fix typos and indentation and remove todos
> 
> Changes in v9:
> - update documentation to include customizable init() and direct return
>   of int32
> 
> No change in v8
> 
> Changes in v8:
> - fix bullet points
> - update wording about struct field names
> - fix typos
> 
> Changes in v7:
> - fix TODO syntax
> - update the generated struct fiels
>   - no more postfix underscore
> 
> Changes in v6:
> - namespacing is now required
> - start() is now customizable
> - {pipeline_name} is no longer required
> - fix code block indentations
> 
> Changes in v5:
> - fix doxygen compile errors
> - update example struct names from raspberry pi changes
> - add todo for restricting pre-start() to sync and post-start() to async
> 
> Changes in v4.1:
> - Add section on namespacing, custom data structures, compiling, and
>   usage of the data structures and interface
> - Add examples to the main ipa interface and event ipa interface
>   sections
> 
> New in v4
> ---
>  Documentation/guides/ipa.rst | 505 +++++++++++++++++++++++++++++++++++
>  Documentation/index.rst      |   1 +
>  Documentation/meson.build    |   1 +
>  3 files changed, 507 insertions(+)
>  create mode 100644 Documentation/guides/ipa.rst
> 
> diff --git a/Documentation/guides/ipa.rst b/Documentation/guides/ipa.rst
> new file mode 100644
> index 00000000..27430c4b
> --- /dev/null
> +++ b/Documentation/guides/ipa.rst
> @@ -0,0 +1,505 @@
> +.. SPDX-License-Identifier: CC-BY-SA-4.0
> +
> +IPA Writers Guide

s/Writers/Writer's/ ?

> +=================
> +
> +IPA modules are Image Processing Algorithm modules. They provide functionality
> +that the pipeline handler can use for image processing.
> +
> +This guide so far only covers the definition of the IPA interface, and how to

s/so far only // ?

> +plumb the connection between the pipeline handler and the IPA.
> +
> +The IPA interface and protocol
> +------------------------------
> +
> +The IPA interface defines the interface between the pipeline handler and the
> +IPA. Specifically, it defines the functions that the IPA exposes that the
> +pipeline handler can call, and the Signals that the pipeline handler can

We try not to pluralize class names. The rationale is that Doxygen will
correctly link to Signal, but not to Signals. We thus usually write "the
signals that ..." or "the Signal instances that ...". This is less
relevant here as this file won't be processed by Doxygen, but it would
be nice to be consistant. I'd go for "signals".

> +connect to, in order to receive data from the IPA asynchronously. In addition,
> +it contains any custom data structures that the pipeline handler and IPA may
> +pass to each other.
> +
> +The IPA protocol refers to the agreement between the pipeline handler and the
> +IPA regarding the expected response(s) from the IPA for given calls to the IPA.
> +This protocol doesn't need to be declared anywhere in code, but it would be
> +useful to document it, as there may be multiple IPA implementations for one

s/it would be useful to document it/it shall be documented/

> +pipeline handler.
> +
> +The IPA interface must be defined in a mojom file. The interface includes:

A link to the mojom documentation could be useful.

> +
> +- the functions that the pipeline handler can call from the IPA
> +
> +- Signals in the pipeline handler that the IPA can emit
> +
> +- any data structures that are to be passed between the pipeline handler and the IPA
> +
> +All IPA modules of a given pipeline handler use the same IPA interface. The IPA
> +interface definition is thus likely to be written by the pipeline handler

s/likely to be //

> +author, based on how they imagine the pipeline handler will interact with the

... how they design the interactions between the pipeline handler and the
IPA.

> +IPA.
> +
> +The entire IPA interface, including the functions, Signals, and any custom
> +structs shall be defined in a file named {pipeline_name}.mojom under
> +include/libcamera/ipa/ using the mojo interface definition language (IDL). This
> +will be covered in detail in the following sections.

Reading this introduction, I find it quite clear. If I however try to
read it from the point of view of someone who isn't familiar with the
matter, I think I'd be confused. I think it's missing an explanation of
why an interface is needed, and what it's used for. It mentiones
signals, asynchronous calls, mojom, without introducing those concepts.
For instance, instead of "The IPA interface must be defined in a mojom
file", I'd write "libcamera uses the mojom Interface Definition Language
(IDL) to specify IPA interfaces. Every interface is defined in a mojom
file and includes: ...".

There's no need to rewrite the introduction now, I think this is good
enough to start with, improvements can be done later (of course any
improvement you would like to include already will be welcome :-)).
Documentation isn't easy, as it requires the difficult exercise of
looking at it from the point of view of someone who doesn't have your
knowledge. In general, making sure to introduce concepts before you use
them is a good start.

> +
> +Namespacing
> +-----------
> +
> +Namespacing is required, to avoid potential collisions with libcamera types.
> +Use mojo's module directive for this.

Another example, following the comment above:

To avoid name collisions between data types defined by different IPA
interfaces and data types defined by libcamera, each IPA interface must
be defined in its own namespace.

The namespace is specified with the mojo's module directive. It must be
the first non-comment line in the mojo data definition file. For
example, the Raspberry Pi IPA interface uses:

> +
> +It must be the first meaningful line in the mojo data definition file, for
> +example (defining a raspberry pi IPA):
> +
> +.. code-block:: none
> +
> +        module ipa.rpi;
> +
> +This will become the ipa::rpi namespace in C++ code.
> +
> +Data containers
> +---------------
> +
> +Since the data passed between the pipeline handler and the IPA must support
> +serialization, any custom data containers must be defined with the mojo IDL.
> +
> +The following list of libcamera objects are supported in the interface
> +definition, and may be used as function parameter types or struct field types:
> +
> +- CameraSensorInfo
> +
> +- ControlInfoMap
> +
> +- ControlList
> +
> +- FileDescriptor
> +
> +- IPABuffer
> +
> +- IPASettings
> +
> +- IPAStream
> +
> +- Point
> +
> +- Size
> +
> +- SizeRange
> +
> +- Rectangle

You could maybe drop the blank lines ?

And how about sorting this alphabetically ? You're nearly there, only
Rectangle is misplaced :-)

> +
> +To use them, core.mojom must be included in the mojo data definition file:
> +
> +.. code-block:: none
> +
> +        import "include/libcamera/ipa/core.mojom";
> +
> +Other custom structs may be defined and used as well. There is no requirement
> +that they must be defined before usage. enums and structs are supported.
> +
> +The following is an example of a definition of an enum, for the purpose of
> +being used as flags:
> +
> +.. code-block:: none
> +
> +        enum ConfigParameters {
> +                ConfigLsTable = 0x01,
> +                ConfigStaggeredWrite = 0x02,
> +                ConfigSensor = 0x04,
> +                ConfigDropFrames = 0x08,
> +        };
> +
> +The following is an example of a definition of a struct:
> +
> +.. code-block:: none
> +
> +        struct ConfigInput {
> +                uint32 op;
> +                uint32 transform;
> +                FileDescriptor lsTableHandle;
> +                int32 lsTableHandleStatic = -1;
> +                map<uint32, IPAStream> streamConfig;
> +                array<IPABuffer> buffers;
> +        };
> +
> +This example has some special things about it. First of all, it uses the
> +FileDescriptor data type. This type must be used to ensure that the file
> +descriptor that it contains is translated property across the IPC boundary

s/property/properly/

> +(when the IPA is in an isolated process).

Another example of a concept dropped out of the blue, without any
introduction :-) I think the introduction section should explain why we
use an IDL (thread vs. IPC, which requires serialization, ...). This
didn't strike me as needed when reading the introduction, as I know
about this already, I've only realized right here. Documentation is
hard.

(To be clear, not something you need to fix now)

> +
> +This does mean that if the file descriptor should be sent without being
> +translated (for example, for the IPA to tell the pipeline handler which
> +fd *that the pipeline handler holds* to act on), then it must be in a
> +regular int32 type.
> +
> +This example also illustrates that struct fields may have default values, as
> +is assigned to lsTableHandleStatic. This is the value that the field will
> +take when the struct is constructed with the default constructor.
> +
> +Arrays and maps are supported as well. They are translated to C++ vectors and
> +maps, respectively. The members of the arrays and maps are embedded, and cannot
> +be const.
> +
> +Note that nullable fields, static-length arrays, handles, and unions, which
> +are supported by mojo, are not supported by our code generator.
> +
> +The Main IPA interface
> +----------------------
> +
> +The IPA interface is split in two parts, the Main IPA interface, which
> +describes the functions that the pipeline handler can call from the IPA,
> +and the Event IPA interface, which describes the Signals in the pipeline
> +handler that the IPA can emit. Both must be defined. This section focuses

The signals *in the pipeline handler* ? The signals are defined by the
interface, emitted by the IPA and received by the pipeline handler.

> +on the Main IPA interface.
> +
> +The main interface must be named as IPA{pipeline_name}Interface.
> +
> +At a minimum, the following three functions must be present (and implemented):
> +
> +- init();
> +
> +- start();
> +
> +- stop();
> +
> +All three of these functions are synchronous.

Another note for later, this mentions synchronous calls, but we haven't
introduced sync vs. async above.

> +
> +TODO: Restrict pre-start to synchronous, and post-start to asynchronous

What do you mean by this ?

> +
> +The parameters for start() and init() may be customized.
> +
> +A configure() method is recommended. Any ContolInfoMap instances that will be

s/ContolInfoMap/ControlInfoMap/

> +used by the IPA must be sent to the IPA from the pipeline handler, at configure
> +time, for example.
> +
> +All input parameters will become const references, except for arithmetic types,
> +which will be passed by value. Output parameters will become pointers, unless
> +the first output parameter is an int32, or there is only one primitive output
> +parameter, in which case it will become a regular return value.
> +
> +const is not allowed inside of arrays and maps. mojo arrays will become C++
> +std::vector<>.
> +
> +By default, all methods defined in the main interface are synchronous. This
> +means that in the case of IPC (i.e. isolated IPA), the function call will not
> +return until the return value or output parameters are ready. To specify an
> +asynchronous function, the [async] attribute can be used. Asynchronous
> +methods must not have any return value or output parameters, since in the
> +case of IPC the call needs to return immediately.
> +
> +It is also possible that the IPA will not be run in isolation. In this case,
> +the IPA thread will not exist until start() is called. This means that in the
> +case of no isolation, asynchronous calls cannot be made before start(). Since
> +the IPA interface must be the same regardless of isolation, the same
> +restriction applies to the case of isolation, and any function that will be
> +called before start() must be synchronous.
> +
> +In addition, any call made after start() and before stop() must be
> +asynchronous. The motivation for this is to avoid damaging real-time
> +performance of the pipeline handler. If the pipeline handler wants some data
> +from the IPA, the IPA should return the data asynchronously via an event
> +(see "The Event IPA interface").
> +
> +The following is an example of a main interface definition:
> +
> +.. code-block:: none
> +
> +        interface IPARPiInterface {
> +                init(IPASettings settings, string sensorName)
> +                        => (int32 ret, bool metadataSupport);
> +                start() => (int32 ret);
> +                stop();
> +
> +                configure(CameraSensorInfo sensorInfo,
> +                          map<uint32, IPAStream> streamConfig,
> +                          map<uint32, ControlInfoMap> entityControls,
> +                          ConfigInput ipaConfig)
> +                => (int32 ret, ConfigOutput results);

Maybe one more indentation level to match init() ?

> +
> +                mapBuffers(array<IPABuffer> buffers);
> +                unmapBuffers(array<uint32> ids);
> +
> +                [async] signalStatReady(uint32 bufferId);
> +                [async] signalQueueRequest(ControlList controls);
> +                [async] signalIspPrepare(ISPConfig data);
> +        };
> +
> +
> +The first three functions are the required functions. Functions do not need to
> +have return values, like stop(), mapBuffers(), and unmapBuffers(). In the case
> +of asynchronous functions, as explained before, they *must not* have return
> +values.
> +
> +The Event IPA interface
> +-----------------------
> +
> +The event IPA interface describes the Signals in the pipeline handler that the

Same as above regarding "in the pipeline handler".

> +IPA can emit. It must be defined. If there are no event functions, then it may
> +be empty. These emissions are meant to notify the pipeline handler of some
> +event, such as request data is ready, and *must not* be used to drive the
> +camera pipeline from the IPA.
> +
> +The event interface must be named as IPA{pipeline_name}EventInterface.
> +
> +Methods defined in the event interface are implicitly asynchronous.
> +Thus they cannot return any value. Specifying the [async] tag is not
> +necessary.
> +
> +Methods defined in the event interface will become Signals in the IPA
> +interface. The IPA can emit signals, while the pipeline handler can connect
> +slots to them.
> +
> +The following is an example of an event interface definition:
> +
> +.. code-block:: none
> +
> +        interface IPARPiEventInterface {
> +                statsMetadataComplete(uint32 bufferId, ControlList controls);
> +                runIsp(uint32 bufferId);
> +                embeddedComplete(uint32 bufferId);
> +                setIsp(ControlList controls);
> +                setStaggered(ControlList controls);
> +        };
> +
> +Compiling the IPA interface
> +---------------------------
> +
> +After the IPA interface is defined in include/libcamera/ipa/{pipeline_name}.mojom,
> +an entry for it must be added in meson so that it can be compiled. The filename
> +must be added to the ipa_mojom_files object in include/libcamera/ipa/meson.build.
> +
> +For example, adding the raspberrypi.mojom file to meson:
> +
> +.. code-block:: none
> +
> +        ipa_mojom_files = [
> +            'raspberrypi.mojom',
> +        ]
> +
> +This will cause the mojo data definition file to be compiled. Specifically, it
> +generates five files:
> +
> +- a header describing the custom data structures, and the complete IPA interface
> +
> +- a serializer implementing de/serialization for the custom data structures
> +
> +- a proxy header describing a specialized IPA proxy

Another concept not previously explained :-) A section explaining IPA
isolation at the top of the file would be a good idea (again, not a
blocker).

> +
> +- a proxy source implementing the IPA proxy
> +
> +- a proxy worker source implementing the other end of the IPA proxy

How about naming those files ?

> +
> +The pipeline handler and the IPA only require the header and the proxy header.

s/the header/the interface header/ ?

> +The serializer is only used internally by the proxy.
> +
> +Using the custom data structures
> +--------------------------------
> +
> +To use the custom data structures that are defined in the mojo data definition
> +file, the following header must be included:
> +
> +.. code-block:: C++
> +
> +   #include <libcamera/ipa/{pipeline_name}_ipa_interface.h>
> +
> +The POD types of the structs simply become their C++ counterparts, eg. uint32
> +in mojo will become uint32_t in C++. mojo map becomes C++ std::map, and mojo
> +array becomes C++ std::vector. All members of maps and vectors are embedded,
> +and are not pointers. The members cannot be const.
> +
> +The names of all the fields of structs can be used in C++ in exactly the same
> +way as they are defined in the data definition file. For example, the following
> +struct as defined in the mojo file:
> +
> +.. code-block:: none
> +
> +   struct SensorConfig {
> +        uint32 gainDelay = 1;
> +        uint32 exposureDelay;
> +        uint32 sensorMetadata;
> +   };
> +
> +Will become this in C++:
> +
> +.. code-block:: C++
> +
> +   struct SensorConfig {
> +        uint32_t gainDelay;
> +        uint32_t exposureDelay;
> +        uint32_t sensorMetadata;
> +   };
> +
> +The generated structs will also have two constructors, a constructor that
> +fills all fields with the default values, and a second constructor that takes
> +a value for every field. The default value constructor will fill in the fields
> +with the specified default value if it exists. In the above example, `gainDelay_`
> +will be initialized to 1. If no default value is specified, then it will be
> +filled in as zero (or -1 for a FileDescriptor type).
> +
> +All fields and constructors/destructors in these generated structs are public.
> +
> +Using the IPA interface (pipeline handler)
> +------------------------------------------
> +
> +The following headers are necessary to use an IPA in the pipeline handler
> +(with raspberrypi as an example):
> +
> +.. code-block:: C++
> +
> +   #include <libcamera/ipa/raspberrypi_ipa_interface.h>
> +   #include <libcamera/ipa/raspberrypi_ipa_proxy.h>
> +
> +The first header includes definitions of the custom data structures, and
> +the definition of the complete IPA interface (including both the Main and
> +the Event IPA interfaces). The name of the header file comes from the name
> +of the mojom file, which in this case was raspberrypi.mojom.
> +
> +The second header includes the definition of the specialized IPA proxy. It
> +exposes the complete IPA interface. We will see how to use it in this section.
> +
> +In the pipeline handler, we first need to construct a specialized IPA proxy.
> +From the point of view of the pipeline hander, this is the object that is the
> +IPA.
> +
> +To do so, we invoke the IPAManager:
> +
> +.. code-block:: C++
> +
> +        std::unique_ptr<ipa::rpi::IPAProxyRPi> ipa_ =
> +                IPAManager::createIPA<ipa::rpi::IPAProxyRPi>(pipe_, 1, 1);
> +
> +The ipa::rpi namespace comes from the namespace that we defined in the mojo
> +data definition file, in the "Namespacing" section. The name of the proxy,
> +IPAProxyRPi, comes from the name given to the main IPA interface,
> +IPARPiInterface, in the "The Main IPA interface" section.
> +
> +The return value of IPAManager::createIPA shall be error-checked, to confirm
> +that the returned pointer is not a nullptr.
> +
> +After this, before initializing the IPA, slots should be connected to all of
> +the IPA's Signals, as defined in the Event IPA interface:
> +
> +.. code-block:: C++
> +
> +	ipa_->statsMetadataComplete.connect(this, &RPiCameraData::statsMetadataComplete);
> +	ipa_->runIsp.connect(this, &RPiCameraData::runIsp);
> +	ipa_->embeddedComplete.connect(this, &RPiCameraData::embeddedComplete);
> +	ipa_->setIsp.connect(this, &RPiCameraData::setIsp);
> +	ipa_->setStaggered.connect(this, &RPiCameraData::setStaggered);
> +
> +The slot functions have a function signature based on the function definition
> +in the Event IPA interface. All plain old data (POD) types are as-is (with
> +their C++ versions, eg. uint32 -> uint32_t), and all structs are const references.
> +
> +For example, for the following entry in the Event IPA interface:
> +
> +.. code-block:: none
> +
> +   statsMetadataComplete(uint32 bufferId, ControlList controls);
> +
> +A function with the following function signature shall be connected to the
> +signal:
> +
> +.. code-block:: C++
> +
> +   statsMetadataComplete(uint32_t bufferId, const ControlList &controls);

void ?

> +
> +After connecting the slots to the signals, the IPA should be initialized
> +(using the main interface definition example from earlier):
> +
> +.. code-block:: C++
> +
> +   IPASettings settings{};
> +   bool metadataSupport;
> +   int ret = ipa_->init(settings, "sensor name", &metadataSupport);
> +
> +At this point, any IPA functions that were defined in the Main IPA interface
> +can be called as if they were regular member functions, for example (based on
> +the main interface definition example from earlier):
> +
> +.. code-block:: C++
> +
> +   ipa_->start();
> +   int ret = ipa_->configure(sensorInfo_, streamConfig, entityControls, ipaConfig, &result);
> +   ipa_->signalStatReady(RPi::BufferMask::STATS | static_cast<unsigned int>(index));
> +
> +Remember that any functions designated as asynchronous *must not* be called
> +before start().
> +
> +Notice that for both init() and configure(), the first output parameter is a
> +direct return, since it is an int32, while the other output parameter is a
> +pointer-based output parameter.
> +
> +Using the IPA interface (IPA)

s/(IPA)/(IPA Module)/

> +-----------------------------
> +
> +The following header is necessary to implement an IPA (with raspberrypi as

s/IPA/IPA module/

> +an example):

Maybe you could mention somewhere towards the top (possibly just before
the first example) that all examples are based on the Raspberry Pi
pipeline handler and IPA, to avoid repeating it ?

> +
> +.. code-block:: C++
> +
> +   #include <libcamera/ipa/raspberrypi_ipa_interface.h>
> +
> +This header includes definitions of the custom data structures, and
> +the definition of the complete IPA interface (including both the Main and
> +the Event IPA interfaces). The name of the header file comes from the name
> +of the mojom file, which in this case was raspberrypi.mojom.

This is already explained in the previous section, you can drop this
paragraph.

> +
> +The IPA must implement the IPA interface class that is defined in the header.

s/The IPA/The IPA module/

(and possibly in other locations below)

> +In the case of our example, that is ipa::rpi::IPARPiInterface. The ipa::rpi
> +namespace comes from the namespace that we defined in the mojo data definition
> +file, in the "Namespacing" section. The name of the interface is the same as
> +the name given to the Main IPA interface.
> +
> +The function signature rules are the same as for the slots in the pipeline
> +handler side; PODs are passed by value, and structs are passed by const
> +reference. For the Main IPA interface, output values are also allowed (only
> +for synchronous calls), so there may be output parameters as well. If the
> +output parameter is a single POD it will be returned by value, otherwise

s/the output/the first output/ ?

Reviewed-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>

> +(multiple PODs or struct(s)) it will be returned by output parameter pointers.
> +
> +For example, for the following function specification in the Main IPA interface
> +definition:
> +
> +.. code-block:: none
> +
> +   configure(CameraSensorInfo sensorInfo,
> +             uint32 exampleNumber,
> +             map<uint32, IPAStream> streamConfig,
> +             map<uint32, ControlInfoMap> entityControls,
> +             ConfigInput ipaConfig)
> +   => (int32 ret, ConfigOutput results);
> +
> +We will need to implement a function with the following function signature:
> +
> +.. code-block:: C++
> +
> +        int configure(const CameraSensorInfo &sensorInfo,
> +                      uint32_t exampleNumber,
> +                      const std::map<unsigned int, IPAStream> &streamConfig,
> +                      const std::map<unsigned int, ControlInfoMap> &entityControls,
> +                      const ipa::rpi::ConfigInput &data,
> +                      ipa::rpi::ConfigOutput *response);
> +
> +The return value is int, because the first output parameter is int32.  The rest
> +of the output parameters (in this case, only response) become output parameter
> +pointers. The non-POD input parameters become const references, and the POD
> +input parameter is passed by value.
> +
> +At any time after start() and before stop() (though usually only in response to
> +an IPA call), the IPA may send data to the pipeline handler by emitting
> +signals. These signals are defined in the C++ IPA interface class (which is in
> +the generated and included header).
> +
> +For example, for the following function defined in the Event IPA interface:
> +
> +.. code-block:: none
> +
> +   statsMetadataComplete(uint32 bufferId, ControlList controls);
> +
> +We can emit a signal like so:
> +
> +.. code-block:: C++
> +
> +   statsMetadataComplete.emit(bufferId & RPi::BufferMask::ID, libcameraMetadata_);
> diff --git a/Documentation/index.rst b/Documentation/index.rst
> index 285ca7c3..b40a4586 100644
> --- a/Documentation/index.rst
> +++ b/Documentation/index.rst
> @@ -16,6 +16,7 @@
>     Developer Guide <guides/introduction>
>     Application Writer's Guide <guides/application-developer>
>     Pipeline Handler Writer's Guide <guides/pipeline-handler>
> +   IPA Writer's guide <guides/ipa>
>     Tracing guide <guides/tracing>
>     Environment variables <environment_variables>
>     Sensor driver requirements <sensor_driver_requirements>
> diff --git a/Documentation/meson.build b/Documentation/meson.build
> index 9950465d..8cf68a07 100644
> --- a/Documentation/meson.build
> +++ b/Documentation/meson.build
> @@ -54,6 +54,7 @@ if sphinx.found()
>          'environment_variables.rst',
>          'guides/application-developer.rst',
>          'guides/introduction.rst',
> +        'guides/ipa.rst',
>          'guides/pipeline-handler.rst',
>          'guides/tracing.rst',
>          'index.rst',

Patch
diff mbox series

diff --git a/Documentation/guides/ipa.rst b/Documentation/guides/ipa.rst
new file mode 100644
index 00000000..27430c4b
--- /dev/null
+++ b/Documentation/guides/ipa.rst
@@ -0,0 +1,505 @@ 
+.. SPDX-License-Identifier: CC-BY-SA-4.0
+
+IPA Writers Guide
+=================
+
+IPA modules are Image Processing Algorithm modules. They provide functionality
+that the pipeline handler can use for image processing.
+
+This guide so far only covers the definition of the IPA interface, and how to
+plumb the connection between the pipeline handler and the IPA.
+
+The IPA interface and protocol
+------------------------------
+
+The IPA interface defines the interface between the pipeline handler and the
+IPA. Specifically, it defines the functions that the IPA exposes that the
+pipeline handler can call, and the Signals that the pipeline handler can
+connect to, in order to receive data from the IPA asynchronously. In addition,
+it contains any custom data structures that the pipeline handler and IPA may
+pass to each other.
+
+The IPA protocol refers to the agreement between the pipeline handler and the
+IPA regarding the expected response(s) from the IPA for given calls to the IPA.
+This protocol doesn't need to be declared anywhere in code, but it would be
+useful to document it, as there may be multiple IPA implementations for one
+pipeline handler.
+
+The IPA interface must be defined in a mojom file. The interface includes:
+
+- the functions that the pipeline handler can call from the IPA
+
+- Signals in the pipeline handler that the IPA can emit
+
+- any data structures that are to be passed between the pipeline handler and the IPA
+
+All IPA modules of a given pipeline handler use the same IPA interface. The IPA
+interface definition is thus likely to be written by the pipeline handler
+author, based on how they imagine the pipeline handler will interact with the
+IPA.
+
+The entire IPA interface, including the functions, Signals, and any custom
+structs shall be defined in a file named {pipeline_name}.mojom under
+include/libcamera/ipa/ using the mojo interface definition language (IDL). This
+will be covered in detail in the following sections.
+
+Namespacing
+-----------
+
+Namespacing is required, to avoid potential collisions with libcamera types.
+Use mojo's module directive for this.
+
+It must be the first meaningful line in the mojo data definition file, for
+example (defining a raspberry pi IPA):
+
+.. code-block:: none
+
+        module ipa.rpi;
+
+This will become the ipa::rpi namespace in C++ code.
+
+Data containers
+---------------
+
+Since the data passed between the pipeline handler and the IPA must support
+serialization, any custom data containers must be defined with the mojo IDL.
+
+The following list of libcamera objects are supported in the interface
+definition, and may be used as function parameter types or struct field types:
+
+- CameraSensorInfo
+
+- ControlInfoMap
+
+- ControlList
+
+- FileDescriptor
+
+- IPABuffer
+
+- IPASettings
+
+- IPAStream
+
+- Point
+
+- Size
+
+- SizeRange
+
+- Rectangle
+
+To use them, core.mojom must be included in the mojo data definition file:
+
+.. code-block:: none
+
+        import "include/libcamera/ipa/core.mojom";
+
+Other custom structs may be defined and used as well. There is no requirement
+that they must be defined before usage. enums and structs are supported.
+
+The following is an example of a definition of an enum, for the purpose of
+being used as flags:
+
+.. code-block:: none
+
+        enum ConfigParameters {
+                ConfigLsTable = 0x01,
+                ConfigStaggeredWrite = 0x02,
+                ConfigSensor = 0x04,
+                ConfigDropFrames = 0x08,
+        };
+
+The following is an example of a definition of a struct:
+
+.. code-block:: none
+
+        struct ConfigInput {
+                uint32 op;
+                uint32 transform;
+                FileDescriptor lsTableHandle;
+                int32 lsTableHandleStatic = -1;
+                map<uint32, IPAStream> streamConfig;
+                array<IPABuffer> buffers;
+        };
+
+This example has some special things about it. First of all, it uses the
+FileDescriptor data type. This type must be used to ensure that the file
+descriptor that it contains is translated property across the IPC boundary
+(when the IPA is in an isolated process).
+
+This does mean that if the file descriptor should be sent without being
+translated (for example, for the IPA to tell the pipeline handler which
+fd *that the pipeline handler holds* to act on), then it must be in a
+regular int32 type.
+
+This example also illustrates that struct fields may have default values, as
+is assigned to lsTableHandleStatic. This is the value that the field will
+take when the struct is constructed with the default constructor.
+
+Arrays and maps are supported as well. They are translated to C++ vectors and
+maps, respectively. The members of the arrays and maps are embedded, and cannot
+be const.
+
+Note that nullable fields, static-length arrays, handles, and unions, which
+are supported by mojo, are not supported by our code generator.
+
+The Main IPA interface
+----------------------
+
+The IPA interface is split in two parts, the Main IPA interface, which
+describes the functions that the pipeline handler can call from the IPA,
+and the Event IPA interface, which describes the Signals in the pipeline
+handler that the IPA can emit. Both must be defined. This section focuses
+on the Main IPA interface.
+
+The main interface must be named as IPA{pipeline_name}Interface.
+
+At a minimum, the following three functions must be present (and implemented):
+
+- init();
+
+- start();
+
+- stop();
+
+All three of these functions are synchronous.
+
+TODO: Restrict pre-start to synchronous, and post-start to asynchronous
+
+The parameters for start() and init() may be customized.
+
+A configure() method is recommended. Any ContolInfoMap instances that will be
+used by the IPA must be sent to the IPA from the pipeline handler, at configure
+time, for example.
+
+All input parameters will become const references, except for arithmetic types,
+which will be passed by value. Output parameters will become pointers, unless
+the first output parameter is an int32, or there is only one primitive output
+parameter, in which case it will become a regular return value.
+
+const is not allowed inside of arrays and maps. mojo arrays will become C++
+std::vector<>.
+
+By default, all methods defined in the main interface are synchronous. This
+means that in the case of IPC (i.e. isolated IPA), the function call will not
+return until the return value or output parameters are ready. To specify an
+asynchronous function, the [async] attribute can be used. Asynchronous
+methods must not have any return value or output parameters, since in the
+case of IPC the call needs to return immediately.
+
+It is also possible that the IPA will not be run in isolation. In this case,
+the IPA thread will not exist until start() is called. This means that in the
+case of no isolation, asynchronous calls cannot be made before start(). Since
+the IPA interface must be the same regardless of isolation, the same
+restriction applies to the case of isolation, and any function that will be
+called before start() must be synchronous.
+
+In addition, any call made after start() and before stop() must be
+asynchronous. The motivation for this is to avoid damaging real-time
+performance of the pipeline handler. If the pipeline handler wants some data
+from the IPA, the IPA should return the data asynchronously via an event
+(see "The Event IPA interface").
+
+The following is an example of a main interface definition:
+
+.. code-block:: none
+
+        interface IPARPiInterface {
+                init(IPASettings settings, string sensorName)
+                        => (int32 ret, bool metadataSupport);
+                start() => (int32 ret);
+                stop();
+
+                configure(CameraSensorInfo sensorInfo,
+                          map<uint32, IPAStream> streamConfig,
+                          map<uint32, ControlInfoMap> entityControls,
+                          ConfigInput ipaConfig)
+                => (int32 ret, ConfigOutput results);
+
+                mapBuffers(array<IPABuffer> buffers);
+                unmapBuffers(array<uint32> ids);
+
+                [async] signalStatReady(uint32 bufferId);
+                [async] signalQueueRequest(ControlList controls);
+                [async] signalIspPrepare(ISPConfig data);
+        };
+
+
+The first three functions are the required functions. Functions do not need to
+have return values, like stop(), mapBuffers(), and unmapBuffers(). In the case
+of asynchronous functions, as explained before, they *must not* have return
+values.
+
+The Event IPA interface
+-----------------------
+
+The event IPA interface describes the Signals in the pipeline handler that the
+IPA can emit. It must be defined. If there are no event functions, then it may
+be empty. These emissions are meant to notify the pipeline handler of some
+event, such as request data is ready, and *must not* be used to drive the
+camera pipeline from the IPA.
+
+The event interface must be named as IPA{pipeline_name}EventInterface.
+
+Methods defined in the event interface are implicitly asynchronous.
+Thus they cannot return any value. Specifying the [async] tag is not
+necessary.
+
+Methods defined in the event interface will become Signals in the IPA
+interface. The IPA can emit signals, while the pipeline handler can connect
+slots to them.
+
+The following is an example of an event interface definition:
+
+.. code-block:: none
+
+        interface IPARPiEventInterface {
+                statsMetadataComplete(uint32 bufferId, ControlList controls);
+                runIsp(uint32 bufferId);
+                embeddedComplete(uint32 bufferId);
+                setIsp(ControlList controls);
+                setStaggered(ControlList controls);
+        };
+
+Compiling the IPA interface
+---------------------------
+
+After the IPA interface is defined in include/libcamera/ipa/{pipeline_name}.mojom,
+an entry for it must be added in meson so that it can be compiled. The filename
+must be added to the ipa_mojom_files object in include/libcamera/ipa/meson.build.
+
+For example, adding the raspberrypi.mojom file to meson:
+
+.. code-block:: none
+
+        ipa_mojom_files = [
+            'raspberrypi.mojom',
+        ]
+
+This will cause the mojo data definition file to be compiled. Specifically, it
+generates five files:
+
+- a header describing the custom data structures, and the complete IPA interface
+
+- a serializer implementing de/serialization for the custom data structures
+
+- a proxy header describing a specialized IPA proxy
+
+- a proxy source implementing the IPA proxy
+
+- a proxy worker source implementing the other end of the IPA proxy
+
+The pipeline handler and the IPA only require the header and the proxy header.
+The serializer is only used internally by the proxy.
+
+Using the custom data structures
+--------------------------------
+
+To use the custom data structures that are defined in the mojo data definition
+file, the following header must be included:
+
+.. code-block:: C++
+
+   #include <libcamera/ipa/{pipeline_name}_ipa_interface.h>
+
+The POD types of the structs simply become their C++ counterparts, eg. uint32
+in mojo will become uint32_t in C++. mojo map becomes C++ std::map, and mojo
+array becomes C++ std::vector. All members of maps and vectors are embedded,
+and are not pointers. The members cannot be const.
+
+The names of all the fields of structs can be used in C++ in exactly the same
+way as they are defined in the data definition file. For example, the following
+struct as defined in the mojo file:
+
+.. code-block:: none
+
+   struct SensorConfig {
+        uint32 gainDelay = 1;
+        uint32 exposureDelay;
+        uint32 sensorMetadata;
+   };
+
+Will become this in C++:
+
+.. code-block:: C++
+
+   struct SensorConfig {
+        uint32_t gainDelay;
+        uint32_t exposureDelay;
+        uint32_t sensorMetadata;
+   };
+
+The generated structs will also have two constructors, a constructor that
+fills all fields with the default values, and a second constructor that takes
+a value for every field. The default value constructor will fill in the fields
+with the specified default value if it exists. In the above example, `gainDelay_`
+will be initialized to 1. If no default value is specified, then it will be
+filled in as zero (or -1 for a FileDescriptor type).
+
+All fields and constructors/destructors in these generated structs are public.
+
+Using the IPA interface (pipeline handler)
+------------------------------------------
+
+The following headers are necessary to use an IPA in the pipeline handler
+(with raspberrypi as an example):
+
+.. code-block:: C++
+
+   #include <libcamera/ipa/raspberrypi_ipa_interface.h>
+   #include <libcamera/ipa/raspberrypi_ipa_proxy.h>
+
+The first header includes definitions of the custom data structures, and
+the definition of the complete IPA interface (including both the Main and
+the Event IPA interfaces). The name of the header file comes from the name
+of the mojom file, which in this case was raspberrypi.mojom.
+
+The second header includes the definition of the specialized IPA proxy. It
+exposes the complete IPA interface. We will see how to use it in this section.
+
+In the pipeline handler, we first need to construct a specialized IPA proxy.
+From the point of view of the pipeline hander, this is the object that is the
+IPA.
+
+To do so, we invoke the IPAManager:
+
+.. code-block:: C++
+
+        std::unique_ptr<ipa::rpi::IPAProxyRPi> ipa_ =
+                IPAManager::createIPA<ipa::rpi::IPAProxyRPi>(pipe_, 1, 1);
+
+The ipa::rpi namespace comes from the namespace that we defined in the mojo
+data definition file, in the "Namespacing" section. The name of the proxy,
+IPAProxyRPi, comes from the name given to the main IPA interface,
+IPARPiInterface, in the "The Main IPA interface" section.
+
+The return value of IPAManager::createIPA shall be error-checked, to confirm
+that the returned pointer is not a nullptr.
+
+After this, before initializing the IPA, slots should be connected to all of
+the IPA's Signals, as defined in the Event IPA interface:
+
+.. code-block:: C++
+
+	ipa_->statsMetadataComplete.connect(this, &RPiCameraData::statsMetadataComplete);
+	ipa_->runIsp.connect(this, &RPiCameraData::runIsp);
+	ipa_->embeddedComplete.connect(this, &RPiCameraData::embeddedComplete);
+	ipa_->setIsp.connect(this, &RPiCameraData::setIsp);
+	ipa_->setStaggered.connect(this, &RPiCameraData::setStaggered);
+
+The slot functions have a function signature based on the function definition
+in the Event IPA interface. All plain old data (POD) types are as-is (with
+their C++ versions, eg. uint32 -> uint32_t), and all structs are const references.
+
+For example, for the following entry in the Event IPA interface:
+
+.. code-block:: none
+
+   statsMetadataComplete(uint32 bufferId, ControlList controls);
+
+A function with the following function signature shall be connected to the
+signal:
+
+.. code-block:: C++
+
+   statsMetadataComplete(uint32_t bufferId, const ControlList &controls);
+
+After connecting the slots to the signals, the IPA should be initialized
+(using the main interface definition example from earlier):
+
+.. code-block:: C++
+
+   IPASettings settings{};
+   bool metadataSupport;
+   int ret = ipa_->init(settings, "sensor name", &metadataSupport);
+
+At this point, any IPA functions that were defined in the Main IPA interface
+can be called as if they were regular member functions, for example (based on
+the main interface definition example from earlier):
+
+.. code-block:: C++
+
+   ipa_->start();
+   int ret = ipa_->configure(sensorInfo_, streamConfig, entityControls, ipaConfig, &result);
+   ipa_->signalStatReady(RPi::BufferMask::STATS | static_cast<unsigned int>(index));
+
+Remember that any functions designated as asynchronous *must not* be called
+before start().
+
+Notice that for both init() and configure(), the first output parameter is a
+direct return, since it is an int32, while the other output parameter is a
+pointer-based output parameter.
+
+Using the IPA interface (IPA)
+-----------------------------
+
+The following header is necessary to implement an IPA (with raspberrypi as
+an example):
+
+.. code-block:: C++
+
+   #include <libcamera/ipa/raspberrypi_ipa_interface.h>
+
+This header includes definitions of the custom data structures, and
+the definition of the complete IPA interface (including both the Main and
+the Event IPA interfaces). The name of the header file comes from the name
+of the mojom file, which in this case was raspberrypi.mojom.
+
+The IPA must implement the IPA interface class that is defined in the header.
+In the case of our example, that is ipa::rpi::IPARPiInterface. The ipa::rpi
+namespace comes from the namespace that we defined in the mojo data definition
+file, in the "Namespacing" section. The name of the interface is the same as
+the name given to the Main IPA interface.
+
+The function signature rules are the same as for the slots in the pipeline
+handler side; PODs are passed by value, and structs are passed by const
+reference. For the Main IPA interface, output values are also allowed (only
+for synchronous calls), so there may be output parameters as well. If the
+output parameter is a single POD it will be returned by value, otherwise
+(multiple PODs or struct(s)) it will be returned by output parameter pointers.
+
+For example, for the following function specification in the Main IPA interface
+definition:
+
+.. code-block:: none
+
+   configure(CameraSensorInfo sensorInfo,
+             uint32 exampleNumber,
+             map<uint32, IPAStream> streamConfig,
+             map<uint32, ControlInfoMap> entityControls,
+             ConfigInput ipaConfig)
+   => (int32 ret, ConfigOutput results);
+
+We will need to implement a function with the following function signature:
+
+.. code-block:: C++
+
+        int configure(const CameraSensorInfo &sensorInfo,
+                      uint32_t exampleNumber,
+                      const std::map<unsigned int, IPAStream> &streamConfig,
+                      const std::map<unsigned int, ControlInfoMap> &entityControls,
+                      const ipa::rpi::ConfigInput &data,
+                      ipa::rpi::ConfigOutput *response);
+
+The return value is int, because the first output parameter is int32.  The rest
+of the output parameters (in this case, only response) become output parameter
+pointers. The non-POD input parameters become const references, and the POD
+input parameter is passed by value.
+
+At any time after start() and before stop() (though usually only in response to
+an IPA call), the IPA may send data to the pipeline handler by emitting
+signals. These signals are defined in the C++ IPA interface class (which is in
+the generated and included header).
+
+For example, for the following function defined in the Event IPA interface:
+
+.. code-block:: none
+
+   statsMetadataComplete(uint32 bufferId, ControlList controls);
+
+We can emit a signal like so:
+
+.. code-block:: C++
+
+   statsMetadataComplete.emit(bufferId & RPi::BufferMask::ID, libcameraMetadata_);
diff --git a/Documentation/index.rst b/Documentation/index.rst
index 285ca7c3..b40a4586 100644
--- a/Documentation/index.rst
+++ b/Documentation/index.rst
@@ -16,6 +16,7 @@ 
    Developer Guide <guides/introduction>
    Application Writer's Guide <guides/application-developer>
    Pipeline Handler Writer's Guide <guides/pipeline-handler>
+   IPA Writer's guide <guides/ipa>
    Tracing guide <guides/tracing>
    Environment variables <environment_variables>
    Sensor driver requirements <sensor_driver_requirements>
diff --git a/Documentation/meson.build b/Documentation/meson.build
index 9950465d..8cf68a07 100644
--- a/Documentation/meson.build
+++ b/Documentation/meson.build
@@ -54,6 +54,7 @@  if sphinx.found()
         'environment_variables.rst',
         'guides/application-developer.rst',
         'guides/introduction.rst',
+        'guides/ipa.rst',
         'guides/pipeline-handler.rst',
         'guides/tracing.rst',
         'index.rst',