Estoy buscando una forma de sincronizar el tiempo entre clientes con una buena precisión (digamos, al menos, 0,5 segundos).

Excluyo el uso de jsontime o la explotación de la marca de tiempo en los encabezados de respuesta del servidor debido a una precisión deficiente (un segundo o tal vez menos).

UPDATE: debería funcionar incluso con conexiones móviles. No es infrecuente (por ejemplo, aquí en Italia) que las conexiones 3G en sí mismas tengan un tiempo de ida y vuelta de alrededor de 0.5s, por lo que el algoritmo debe ser robust