Estoy tratando de procesar archivos JSON algo grandes (posiblemente hasta 200M). La estructura del archivo es básicamente una matriz de objetos.

Entonces algo en la línea de:

[
  {"property":"value", "property2":"value2"},
  {"prop":"val"},
  ...
  {"foo":"bar"}
]

Cada objeto tiene propiedades arbitrarias y no es necesario compartirlas con otros objetos en la matriz (como en tener el mismo).

Quiero aplicar un procesamiento en cada objeto de la matriz y, dado que el archivo es potencialmente enorme, no puedo sorber todo el contenido del archivo en la memoria, decodificar el JSON e iterar sobre la matriz de PHP.

Así que, idealmente, me gustaría leer el archivo, obtener suficiente información para cada objeto y procesarlo. Un enfoque de tipo SAX estaría bien si hubiera una biblioteca similar disponible para JSON.

¿Alguna sugerencia sobre cómo lidiar mejor con este problema?