Writing a Director

Varnish already provides a set of general-purpose directors, and since Varnish 4, it is bundled in the built-in vmod_directors. Writing a director boils down to writing a VMOD, using the proper data structures and APIs. Not only can you write your own director if none of the built-ins fit your needs, but since Varnish 4.1 you can even write your own backends.

Backends can be categorized as such:

  • static: native backends declared in VCL

  • dynamic: native backends created by VMODs

  • custom: backends created and fully managed by VMODs

Backends vs Directors

The intuitive classification for backend and director is an endpoint for the former and a cluster for the latter, but the actual implementation is a bit more subtle. VMODs can accept backend arguments and return backends in VCL (see VCL and C data types), but the underlying C type is struct director. Under the hood director is a generic concept, and a backend is a kind of director.

The line between the two is somewhat blurry at this point, let’s look at some code instead:

struct director {
        unsigned                magic;
#define DIRECTOR_MAGIC          0x3336351d
        const char              *name;
        char                    *vcl_name;
        vdi_http1pipe_f         *http1pipe;
        vdi_healthy_f           *healthy;
        vdi_resolve_f           *resolve;
        vdi_gethdrs_f           *gethdrs;
        vdi_getbody_f           *getbody;
        vdi_getip_f             *getip;
        vdi_finish_f            *finish;
        vdi_panic_f             *panic;
        void                    *priv;
        const void              *priv2;
};

A director can be summed up as:

  • a name (used for panics)

  • a VCL name

  • a set of operations

  • the associated state

The difference between a cluster director and a backend director is mainly The functions they will implement.

Cluster Directors

As in vmod_directors, you can write directors that will group backends sharing the same role, and pick them according to a strategy. If you need more than the built-in strategies (round-robin, hash, …), even though they can be stacked, it is always possible to write your own.

In this case you simply need to implement the resolve function for the director. Directors are walked until a leaf director is found. A leaf director doesn’t have a resolve function and is used to actually make the backend request, just like the backends you declare in VCL.

Dynamic Backends

If you want to speak HTTP/1 over TCP, but for some reason VCL does not fit the bill, you can instead reuse the whole backend facility. It allows you for instance to add and remove backends on-demand without the need to reload your VCL. You can then leverage your provisioning system.

Consider the following snippet:

backend default {
    .host = "localhost";
}

The VCL compiler turns this declaration into a struct vrt_backend. When the VCL is loaded, Varnish calls VRT_new_backend in order to create the director. Varnish doesn’t expose its data structure for actual backends, only the director abstraction and dynamic backends are built just like static backends, one struct at a time. You can get rid of the struct vrt_backend as soon as you have the struct director.

A (dynamic) backend can’t exceed its VCL’s lifespan, because native backends are owned by VCLs. Though a dynamic backend can’t outlive its VCL, it can be deleted any time with VRT_delete_backend. The VCL will delete the remaining backends once discarded, you don’t need to take care of it.

Consider using an object to manipulate dynamic backends. They are tied to the VCL life cycle and make a handy data structure to keep track of backends and objects have a VCL name you can reuse for the director. It is also true for cluster directors that may reference native backends.

Finally, Varnish will take care of event propagation for all native backends, but dynamic backends can only be created when the VCL is warm. If your backends are created by an independent thread (basically outside of VCL scope) you must subscribe to VCL events and watch for VCL state (see Event functions). Varnish will panic if you try to create a backend on a cold VCL, and VRT_new_backend will return NULL if the VCL is cooling. You are also encouraged to comply with the VCL Temperature in general.

Health Probes

It is possible in a VCL program to query the health of a director (see BOOL healthy(BACKEND be)). A director can report its health if it implements the healthy function, it is otherwise always considered healthy.

Unless you are making a dynamic backend, you need to take care of the health probes yourselves. For cluster directors, being healthy typically means having at least one healthy underlying backend or director.

For dynamic backends, it is just a matter of assigning the probe field in the struct vrt_backend. Once the director is created, the probe definition too is no longer needed. It is then Varnish that will take care of the health probe and disable the feature on a cold VCL (see Event functions).

Instead of initializing your own probe definition, you can get a VCL_PROBE directly built from VCL (see VCL and C data types).

What’s the difference ?

Custom Backends

If you want to implement a custom backend, have a look at how Varnish implements native backends. It is the canonical implementation, and though it provides other services like connection pooling or statistics, it is essentially a director which state is a struct backend. Varnish native backends currently speak HTTP/1 over TCP, and as such, you need to make your own custom backend if you want Varnish to do otherwise such as connect over UDP or UNIX-domain sockets or speak a different protocol.

If you want to leverage probes declarations in VCL, which have the advantage of being reusable since they are only specifications, you can. However, you need to implement the whole probing infrastructure from scratch.

You may also consider making your custom backend compliant with regards to the VCL state (see Event functions).

Data structure considerations

When you are creating a custom backend, you may want to provide the semantics of the native backends. In this case, instead of repeating the redundant fields between data structures, you can use the macros VRT_BACKEND_FIELDS and VRT_BACKEND_PROBE_FIELDS to declare them all at once. This is the little dance Varnish uses to copy data between the struct vrt_backend and its internal data structure for example.

The copy can be automated with the macros VRT_BACKEND_HANDLE and VRT_BACKEND_PROBE_HANDLE. You can look at how they can be used in the Varnish code base.