Estou tentando processar arquivos JSON um pouco grandes (possivelmente até 200 milhões). A estrutura do arquivo é basicamente uma matriz de objetos.

Então, algo como:

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

Cada objeto possui propriedades arbitrárias e não as compartilha com outros objetos na matriz (como em, tendo o mesmo).

Desejo aplicar um processamento em cada objeto da matriz e, como o arquivo é potencialmente grande, não consigo absorver todo o conteúdo do arquivo na memória, decodificando o JSON e iterando sobre a matriz PHP.

Idealmente, eu gostaria de ler o arquivo, buscar informações suficientes para cada objeto e processá-lo. Uma abordagem do tipo SAX seria aceitável se houvesse uma biblioteca semelhante disponível para JSON.

Alguma sugestão sobre como lidar melhor com esse problema?