Você pode usar um script de shell simples para isso:
#!/bin/bash
while true; do
php /path/to/your/script.php & sleep 0.5s;
done
O '& amp;' vai bifurcar o processo em segundo plano, então o tempo deve ser de alguma forma preciso. Eu acho que depois de algum tempo ele ficará fora de sincronia com um relógio real, então você pode querer adicionar timestamps a qualquer coisa que seu script faça ou usar uma abordagem com um daemon que usa a hora do sistema.
(Obrigado pela entrada nos comentários)
Eu recomendo adicionar esse script com systemctl. Este tutorial parece bem para isso: Criando meus próprios arquivos de serviço systemd