Visió tècnica
Aquesta pàgina explica com està construït OpenMixer i per què està construït així. És per a qui ha de decidir si hi construeix a sobre, si el fa servir o si el desmunta peça a peça.
01 — Propietat
Hi ha un sol model canònic de taula de mescles — canals, faders, busos, sends, DCA, la matrix, camins de latència, sessions — i no depèn de cap dispositiu. La superfície, el motor d'àudio i les entrades i sortides es connecten a aquest model i cap d'ells no pressuposa una taula concreta. S'hi poden connectar taules físiques a través d'adaptadors, però són un camí de control opcional, no el producte.
L'estat el custodia el servidor, que n'és l'única font de veritat. Els clients demanen canvis i mostren el que els torna; ningú més no té opinió sobre com és la taula. Això importa més del que sembla. Un límit que viu en un client — un màxim de canals, un rang permès, un bloqueig de seguretat — és només orientatiu: el client següent se'l salta sense més. Un límit que viu a la porta s'aplica a tot el que hi truqui.
Tots els clients són clients remots. Un portàtil al control de sala té exactament la mateixa categoria que una tauleta al lateral de l'escenari o un mòbil damunt l'escenari. Que tots vegin la mateixa taula no és una funció del producte; és el producte.
// tot el protocol
GET /api/channel/input/9/mute
PATCH /api/channel/input/9/mute
OPTIONS /api/channel/input/9/mute
GET /api/channel/input/9/mute?watch=1
// un sol flux per a tota la taula
GET /api/?watch=1
02 — L'espai d'adreces
La taula publica unes vuitanta-cinc entitats i totes són accessibles en un camí construït amb la mateixa gramàtica: /{root}/{kind}/{index}[/{sub}…]. kind i index són dos segments i mai un de sol, de manera que una adreça es pot continuar escrivint a mà i curl continua servint com a prova d'acceptació. Una taula que no podeu adreçar a mà és una taula que no podeu depurar a les tres de la tarda amb l'obertura de portes a les set.
Cada entitat respon a GET, PATCH i OPTIONS. OPTIONS és el contracte: els camps modificables, els rangs, les unitats i les opcions enumerades els publica el servidor, de manera que un client mostra els límits que li han arribat per la xarxa en lloc de portar-ne una còpia pròpia.
Els busos, els DCA, els grups de mute i les matrix no són espais d'adreces separats. Són tipus de canal: /channel/aux/3, /channel/dca/2, /channel/muteGroup/1, /channel/main/1.
Unificar-los va eliminar la major part de la duplicació del protocol amb una decisió d'adreçament, sense cap refactorització. Per això MAIN i els busos són canals normals, sense cap maquinària exclusiva del màster al darrere.
Una fila no s'inventa el seu propi espai d'adreces ni el seu propi camí. Tots dos es dedueixen del contracte i de la configuració de la taula, de manera que la forma de l'API és una conseqüència de la declaració i no una cosa que es manté al seu costat.
Ara mateix la taula registra 183 plantilles de camí, 58 de les quals sota /channel.
Tota entitat que declara el disseny és una entitat que el servidor respon. No hi ha cap llista pendent de noms que existeixen sobre el paper i que a la xarxa donen 404. Les dues direccions es comproven l'una contra l'altra automàticament, no a ull.
Un control que res no pot anomenar no és un defecte menor: és un control que cap superfície, script ni automatització no podrà assolir mai.
03 — Estat en directe
Un flux no és un recurs diferent. És el mateix recurs, que encara s'està enviant.
Qualsevol GET admet ?watch=1 i es converteix en un flux d'esdeveniments enviats pel servidor. La regla que hi ha a sota es pot provar en una línia: un flux sobre la URL R emet exactament el JSON que retorna GET R. No hi ha un segon esquema, ni un vocabulari d'esdeveniments per aprendre, ni cap risc que tots dos acabin divergint.
Tots els fluxos s'obren amb una instantània completa, de manera que un client que s'acaba de connectar i un que fa tota la nit que funciona veuen la mateixa taula. A partir d'aquí, un canvi arriba com un pegat sobre una fila, mai com una reconnexió.
El flux arrel porta tots els canvis confirmats per una sola connexió. És intencionat: un navegador només permet sis connexions per origen. Una superfície que obre un flux per panell les gasta totes i, a partir d'aquí, deixa en cua per sempre totes les peticions següents.
Uns quants paràmetres de consulta els limita el servidor en lloc de fiar-se del que envia el client. Un d'ells es guanya el lloc amb una mesura: demanar menys bandes d'analitzador redueix la FFT a l'origen i no després de la xarxa. És la diferència entre 372 KB i uns 13 KB per trama.
No hi ha WebSocket. Una porta, un canal de comunicació, un vocabulari. I el contrapès honest, perquè aquesta pàgina no és un fullet comercial: el buffering dels proxys és l'argument de debò contra els esdeveniments enviats pel servidor. Quan falla, les coses funcionen però a batzegades, cosa que almenys es veu.
04 — Com arriba l'estat a l'àudio
Un recurs declara quatre coses: la seva identitat, el seu estat únic, els camps modificables i la seva projecció cap a l'àudio. D'aquesta declaració única el sistema en dedueix la lectura, l'escriptura, el contracte publicat, la trama de difusió i l'accionament que arriba al motor.
Deduir tots dos sentits d'una sola declaració és la decisió que sosté tota la resta. Quan la meitat cap als clients i la meitat cap al motor s'escriuen per separat, només coincideixen mentre algú s'encarrega que coincideixin. I la fallada és silenciosa, perquè un control que no arriba enlloc es continua llegint bé des del model, que mai no n'ha dubtat. Aquí no hi ha cap segona meitat per oblidar.
D'aquí en surten tres regles. Un accionament que no ha arribat enlloc informa d'un error, no d'un èxit. Un control envia el valor compost, mai un indicador en brut: al motor se li diu quin és ara el guany del canal, no quina de les sis causes que hi contribueixen ha canviat. I els busos i MAIN són canals, de manera que fan el mateix camí que tota la resta.
Com es manté honest un estat retingut
Per a l'estat que viu en maquinari extern, la resposta correcta més barata és consultar i comparar: preguntar al dispositiu què té i escriure només si no coincideix. Reafirmar-lo periòdicament a cegues és el recurs de reserva, només per als dispositius als quals no es pot preguntar.
Consultar no és només més barat. Una reafirmació a cegues durant una actuació sobreescriu el que algú hagi tocat a la caixa; consultant, la desviació es converteix en informació en lloc de quedar tapada. Dues preguntes decideixen si un control necessita aquesta cura: es corregeix sol? L'operador se n'adonaria? Un fader es corregeix sol i se sent, així que no necessita ni una cosa ni l'altra. El Phantom 48V i un pad es fixen una vegada a la prova de so i no es tornen a enviar mai; així és exactament com un error de 20 dB de pad pot sobreviure tota una gira com a «aquest canal sona estrany».
L'excepció honesta: un stagebox REAC no ofereix cap manera de consultar el previ. Allà el registre de la taula és l'estat, no una còpia en memòria cau. Tot i així, el que la taula informa com a aplicat no pot mentir sobre aquest fet.
05 — El camí de l'àudio
El processament estructural del senyal és un sol node pw_filter escrit en C per a cada grup d'stagebox: guany per canal, fader, pan, polaritat, suma, el banc d'EQ, el gate i el compressor, el delay i la reverb natius i el punt de presa de l'analitzador. Un node, un sol callback de temps real, una sola passada per tot el mix que aprofita bé la memòria cau.
Va substituir uns quaranta subprocessos pw-loopback, per dues raons que tenen a veure amb la quantitat de nodes i no amb PipeWire. El dimoni arribava al límit de descriptors de fitxer cap al canal onze i el graf es quedava congelat. I quan una interfície física se suspenia, PipeWire passava al seu driver fictici: tot el graf quedava aturat, sense càrrega i sense àudio.
La forma d'un sol node també guanya per mèrits propis. Un sol callback de temps real té menys jitter que N nodes planificats per separat; un node amb enllaços de sortida queda lligat net al grup del driver de la sortida per construcció. Els nodes es creen quan es connecta un stagebox i es destrueixen quan es desconnecta; els canals s'afegeixen a un node en marxa sense interrompre'l; i tots els nodes comparteixen un sol client, de manera que el cost en descriptors de fitxer de tota la taula és una sola connexió.
Si se li demana una taula més ampla del que pot portar, s'hi nega en lloc de retallar-la. Retallar-la donava una taula que informava d'èxit i que, simplement, no tenia canals més enllà del límit: canals que existien al model, dibuixaven faders a la superfície i no portaven àudio.
El nucli
L'aritmètica viu en una sola capçalera de petites funcions static inline, sense PipeWire, sense assignació de memòria i sense res de la libc més enllà de <math.h>. És intencionat. Una llei de pan és el tipus de cosa que s'ha de poder demostrar correcta, així que es manté comprovable aïllada del cicle de vida del filtre.
El contracte de temps real
El callback llegeix els paràmetres de cada canal amb accessos atòmics d'una paraula, obté el nombre de canals amb una lectura acquire, no assigna memòria, no escriu res al registre i aplica una rampa a cada canvi de guany perquè moure un control no pugui provocar un clic.
Per sobre
Els inserts de plugins LV2 els allotja mod-host i s'encadenen a la frontera d'aquest node, per canal i per sortida. Són dues capes de processament de senyal que no són intercanviables: una és la taula; l'altra, el que hi munteu al rack.
06 — Verificació
El nucli en C es verifica amb oracles de forma tancada: cada valor esperat es calcula primer sobre el paper, mai no es pren d'una execució del codi. Aquesta distinció és tota la qüestió. Una prova que desa el que ha produït la implementació i després comprova que la implementació encara ho produeix donarà la raó a un error per sempre. Una prova que fixa 500,0 ms abans que s'executi res, no.
La bateria d'oracles és C pur, sense PipeWire ni assignació de memòria, de manera que es compila i s'executa en segons i es pot fer córrer amb tota seguretat al costat d'una taula en directe.
Per sobre, els controls que diuen afectar l'àudio es verifiquen mesurant àudio — un to que travessa un graf real i una lectura a l'altre extrem — i no comprovant que un model ha canviat. Un model és correcte exactament en els casos en què és ell mateix el que falla.
Una prova que necessita un graf real en té un de propi. Cada procés de prova arrenca un dimoni PipeWire privat en un directori temporal, amb un socket que porta el nom del procés. Tant el dimoni com els seus clients apunten a aquest socket i no al de la sessió; així una bateria de proves no pot arribar a l'àudio de l'operador, dues bateries que s'executen alhora no es veuen entre elles i res no sobreviu al procés que ho ha creat. El dimoni no s'espera amb un sleep: es considera engegat quan respon una pregunta.
Com és un oracle: la línia de delay
fb¹ i el tercer, fb².La mateixa disciplina cobreix el bus de suma, la llei de pan, la matriu d'encaminament, l'ajust de l'alineació i el format de fitxer de l'enregistrador.