Files
yabridge/src/common/serialization/vst3/README.md
T
Robbert van der Helm 5eb1fe2de2 Redesign how interface instantiation works
Transferring some argument pack is much easier than trying to
deserialize into an existing object when you also have to transfer more
information than just that object.
2020-12-08 17:33:51 +01:00

6.0 KiB

VST3 serialization

TODO: Once this is more fleshed out, move this document to docs/, and perhaps replace this readme with a link to that document.

TODO: There are now two approaches in use: the factory takes an interface pointer for serialization and deserializes into an object directly, and the component uses an args struct because the alternative involving pointers is just too unsafe (as we also have to communicate additional payload data). This should probably be unified into only using the latter appraoch.

The VST3 SDK uses an architecture where every object inherits from an interface, and every interface inherits from FUnknown which offers a dynamic casting interface through queryInterface(). Every interface gets a unique identifier. It then uses a smart pointer system (FUnknownPtr<I>) that queries whether the FUnknown matches a certain interface by checking whether the IDs match up, allowing casts to that interface if the FUnkonwn matches.

Another important part of this system is interface versioning. Old interfaces cannot be changed, so when the SDK adds new functionality to an existing interface it defines a new interface that inherits from the old one. The queryInterface() implementation should then allow casts to all of the implemented interface versions.

Lastly, the interfaces mostly provided a lot of getters for data, but some of the interfaces also provide callback functions that should perform some operation on the component implementing the interface.

Yabridge's serialization and communication model for VST3 is thus a lot more complicated than for VST2 since all of these objects are loosely coupled and are instantiated and managed by the host. The model works as follows:

  1. For an interface IFoo, we provide a possibly abstract implementation called YaFoo.
  2. This class has a constructor that takes an IPtr<IFoo> interface pointer and copies all of the data from the interface's functions that do not perform any side effects.
  3. YaFoo then implements all the boilerplate required for FUnknown. This includes the constructor, destructor and methods required for reference counting, as well as the query interface.
  4. If IFoo is a versioned interface such as IPluginFactory3, the above two steps work slightly differently. When copying the data for a plugin factory, we'll start copying from IPluginFactory, and we'll copy data from each newer version of the interface that the IPtr<IPluginFactory> supports. During this process we keep track of which interfaces were supported by the native plugin. In our query interface method we then only report support for the same itnerfaces that were supported by IPtr<IPluginFactory.
  5. YaFoo implements serialization and deserialization through bitsery so it can be sent between the native plugin and the Wine plugin host.
  6. If IFoo has methods that have side effects (such as instantiating a new object), then the implementations of those functions in YaFoo will be pure virtual. The side that requested the object (so for the plugin factory that would be on the side of the native plugin) should then provide a YaFoo{Plugin,Host}Impl that implements those functions through yabridge's Vst3MessageHandler callback interface.

Plugin Factory

Creating a new instance of an interface using the plugin factory wroks as follows:

  1. The host calls createInterface(cid, _iid, obj) on an IPluginFactory implementation exposed to the host as described above.
  2. We check which interface we support matches the _iid. If we don't support the interface, we'll log a message about it and return that we do not support the itnerface.
  3. If we determine that _iid matches IFoo, then we'll send a YaFoo::Create{cid} to the Wine plugin host process.
  4. The Wine plugin host will then call module->getFactory().createInstance<IFoo>(cid) using the Windows VST3 plugin's plugin factory to ask it to create an instance of that interface. If this operation fails and returns a null pointer, we'll send an std::nullopt back to indicate that the instantiation was not successful and we relay this on the plugin side.
  5. Using the newly created instance (which will be returned by the factory as an IPtr<IFoo>), we will instantiate a YaFoo object using YaFooHostImpl. This will read all simple data members from the IFoo smart pointer just like described in the above section. The YaFoo object will also gen a unique identifier which we generate on the Wine side using an atomic fetch-and-add on a counter. This way we can refer to this specific isntance when doing callbacks.
  6. Still on the Wine side of things, the IPtr<IFoo> will be moved to an std::map<size_t, IPtr<IFoo>> with that unique identifier we generated earlier as a key so we can refer to it later.
  7. Finally on the plugin side we will create an YaFooPluginImpl object that can send control messages to the Wine plugin host, and then we'll deserialize the YaFoo object we receive into that.
  8. A pointer to this YaFooPluginImpl then gets returned as the final step of the initialization process.

Safety notes

  • None of the destructors in the interfaces defined by the SDK are marked as virtual because this could apparently break binary compatibility. This means that the destructor of the class that implemented release() will be called. This is something to keep in mind when dealing with inheritence.
  • Since everything behind the scenes makes use of these addRef() and release() reference counting functions, we can't use the standard library's smart pointers when dealing with objects that are shared with the host or with the Windows VST3 plugin. In IPtr<T>'s destructor it will call release, and the objects will clean themselfs up with a delete this; when the reference count reaches 0. Combining this with the STL cmart pointers this would result in a double free.