XTAL is a cross-platform header-only zipper/combinator library for musical Digital Signal Processing (DSP).
It provides an extensible and performant framework for rapid prototyping and development,
aimed at building real-time instruments/effects for hardware and software. Programs developed using XTAL resemble the SynthDef subsystem of SuperCollider, while fulfilling the event-handling and buffer-processing cycle required by C++ frameworks like CoreAudio, JUCE, and Max/Min.
Core to the design of XTAL is template composition, utilizing the class-decorator pattern to compose behaviour/state transparently. Both pure and stateful functors can be compiled into acyclic networks through functional application and composition. Defined at the sample-level and range/block-level respectively, processes and processors can be controlled dynamically either by manipulating state directly (e.g. sample history) or through vtabled template switching (e.g. algorithm reconfiguration). As a result, branching and queueing is kept to a minimum, enhancing both code ergonomics and program throughput/latency.
Networks are are organized into self-contained nodes, driven by statically-routed events which can be immediate, delayed, or slewed/tweened. Nodes represent a discrete processing unit, and decorated with custom scheduling, storage, queues, and other resources. The functional construction determines the architecture of the network, and observes rvalue/lvalue semantics to organize data flow.
The following sections provide an overview of the usage and development of this library.
Further insight may be gleaned from the *.hh implementations or *.cc tests in include/xtal/**.
The fundamental mechanism for defining stream-based operators is range-lifting,
whereby both pure and stateful processes are converted to processors in order to transform block-based data.
struct Mix : process::confine_t<Mix>
{
template <auto...>
XTAL_RET functor(auto &&...xs)
{
return (XTAL_REF_(xs) + ... + 0);
}
};
The implementation of a process is defined by the templated function functor.
When the template parameter list is undefined <auto...>,
this functor is aliased as the invocation operator().
Mix mix;
auto six = mix(1.1, 2.2, 3.3);// 6.6
Range-lifting is achieved using functors like processor::{conferred,confined},
which zip the underlying functor.
using Mixer = processor::conferred_t<Mix>;
Mixer mixer;
auto sixer = mixer(one, two, three);// mixes the ranges/processors `one`, `two`, `three`
In either case, dependencies are defined by functional application of process(?:or)?s,
with the inner-most components representing inputs, and the outer-most component representing the output.
Attributes are bound to a process(?:or)? using the occur decorators attach and dispatch.
The value of an attribute is type-indexed on this, and can be read either by explicit conversion or by using the method this->template head<...>().
using Active = occur::reinferred_t<class active, int>;
struct Mix : process::confine_t<Mix, Active::template attach>
{
XTAL_RET functor(auto &&...xs)
{
return (XTAL_REF_(xs) + ... + 0)*Active(*this);
// return (XTAL_REF_(xs) + ... + 0)*this->template head<Active>();
}
};
Templated parameters can be bound using dispatch to build the vtable required for dynamic resolution. For processes the function is resolved once per sample, while for processors the function is resolved only once per block, providing coarse-grained choice without branching.
using Offset = occur::reinferred_t<class active, int>;
struct Mix : process::confine_t<Mix
, Offset::template dispatch<2>
, Active::template dispatch<2>
>
{
template <auto offset, auto active>
XTAL_RET functor(auto &&...xs)
{
return (XTAL_REF_(xs) + ... + offset)*active;
}
};
Update is managed by the influx and efflux operators and methods. The influx method and operator <<= updates the dependency graph from the outside-in, using caching to limit unnecessary propagation. The efflux method and operator >>= updates the dependency graph from the inside-out, following the functional flow of data.
mixer <<= Active(0);// off
mixer <<= Active(1);// on
To schedule messages within processor blocks, messages may be attached using intermit to splice them at a specific offset.
using Mixer = processor::conferred_t<Mix, Active::template intermit<>>;
// ...
mixer.influx(cell::cue_s<>(123), Active(0));// `active == 0` @ offset 123
Alternatively, messages may themselves be reincorporated as process(?:or)?s using hold:
using Gated = processor::confined_t<Gate::template hold<>>;
Gated gated;
gated <<= std::make_tuple(cell::cue_s<>(123), (Gate) 1);// `gated()[123] == 1`
They are often used in tandem, e.g. the global block size/step may be updated by influx before using efflux to review the outcome.
auto resize = resize_f(1024);
auto render = cursor_f(1024);
using Mixer = processor::monomer_t<Mix, provision::stored<>>;
auto sixer = Mixer::binding_f(one, two, three);
// initialization
{
// allocate all `processor`s reachable from `sixer`
sixer <<= resize;
}
// 1st iteration
{
// activate the `sixer` for the entirety of the first block
sixer <<= Active(1);
// process the current graph, and advance the render cursor
sixer >>= cursor++;
}
// 2nd iteration
{
// deactivate the `sixer` at an offset of `123` into the current block
sixer <<= sixer <<= std::make_tuple(123, Active(0));
// process the current graph, and advance the render cursor
sixer >>= cursor++;
}
Using C++20 and ranges-v3@0.12.0, the following compilers have been successfully tested:
clang: 14msvc: 19.33gcc: 12
The transition to C++23 ranges is limited by the lack of general support for zip_transform a.k.a. zip_with.
With the project in genesis, the only supported package manager is conan --version 2. The test_package (comprising ~1000 assertions in ~50 test cases) can be resolved/compiled/executed with:
conan create . --build=missing
The directories in the project are organised by namespace with the leaves representing distinct type-families.
The **/all.hh exports all implementations at a given level. At the leaves, this includes the fundamental types defined by any.hh and specializations like monomer, etc.
The **/any.hh provides the key implementations of [dr]efine and [dr]efer which are scaffolded by bond/any.ii to create higher-level decorators like confine and confer.
The **/any.hh provides the key dependencies for the respective domain, including the identifying concepts.
As a header-only library, the accompanying *.cc are there only for testing and are ommitted from the published package.
NOTE: When browsing/editing include, it can be useful to toggle the visibility of the all.*, any.*, and *.cc files. This can be accomplished in VSCode with the plug-ins Toggle Excluded Files and Open Related Files.
The majority of definitions in this library operate on decorators: type-level functions that map from a superclass S to a subclass. These decorators are expressed as a struct containing class subtype:
template <...> struct {template <class S> class subtype;};
Typically, these structures are themselves templated in order to realise a specific trait. For example, define uses the Curiously Recursive Template Pattern (CRTP) to construct the supplied subclass T.
template <class T>
struct define
{
template <class S>
class subtype
{
XTAL_DEF_(return,inline) XTAL_RET self() XTAL_0FX {return static_cast<T const &>(*this);}
XTAL_DEF_(return,inline) XTAL_RET self() XTAL_0EX {return static_cast<T &>(*this);}
// [[nodiscard]] __attribute__((always_inline)) constexpr decltype(auto) self() const noexcept...
// [[nodiscard]] __attribute__((always_inline)) constexpr decltype(auto) self() noexcept...
};
};
The type-functions compose and compose_s are used to linearize the inheritance chain, apropos of Scala's trait linearization. For example, the following definitions are equivalent (noting that A, ..., Z are applied in order to S)...
using T = compose<A, Z>::template subtype<S>;
using T = compose<A>::template subtype<S, Z>;
using T = compose<>::template subtype<S, Z, A>;
The primary namespaces within xtal constitute a hierarchy linked by the namespace _retail designating the parent:
namespace cell {}
namespace flow {namespace _retail = cell;}
namespace occur {namespace _retail = flow;}
namespace process {namespace _retail = flow;}
namespace processor {namespace _retail = process;}
The any.hh for each namespace provides the main definitions (specializing only [dr]efine and [dr]efer), using the supplied _retail to refer to the parent definitions. The inclusion of bond/any.ii within each namespace scaffolds the higher-order constructs based on these definitions, emulating family inheritance. For example...
The confer decorator reifies the supplied type U by composing defer and refer, respectively providing proxy management (e.g. constructors and accessors) and forwarding (e.g. operators).
template <class U> struct defer;
template <class U> struct refer;
template <class U, typename ...As>
struct confer : compose<refer<U>, As..., defer<U>> {};
The confine decorator constructs
6FC7
the supplied type T by composing define and refine, respectively providing initialization (e.g. providing begin and end) and finalization (e.g. applying ranges::view_interface).
template <class U> struct define;
template <class U> struct refine;
template <class U, typename ...As>
struct confine : compose<refine<U>, As..., define<U>> {};
| Feature | Reference |
|---|---|
| Dependency composition | bond/compose.hh |
| Dependency management | flow/any.hh via \.(?:de|ef|in)(?:flow|fuse) |
| Parameter bundling | flow/any.hh via \.operator(?:<<|>>)= with std::tuple |
| Parameter handling | occur/any.hh via ::(?:attach|dispatch|hold|intermit) |
| Process lifting | process/any.hh via \.(?:de|re)fer |
| Matrix modulation | process/cross.hh |
| Processor lifting | processor/any.hh via \.(?:de|re)fer |
| Processor scheduling | processor/monomer.hh via ::binding |
| Processor polymorphism | processor/polymer.hh via ::binding |
| Buffer sharing | processor/monomer.hh via ::binding compatible &&arguments |
| Buffer allocation | atom/store.hh impl. static std::vector |
If you would like to help or get in touch, contact @goomtrex wherever you find me. Otherwise, feel free to submit an issue or pull-request.