Traitement de fichiers JSON volumineux en PHP

Je suis en train de traiter un peu grand (peut-être jusqu'à 200 M) des fichiers JSON.
La structure du fichier est en fait un tableau d'objets.

Si quelque chose le long des lignes de:

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

Chaque objet a des propriétés arbitraires et n'est pas nécessaire de les partager avec d'autres objets dans le tableau (comme dans l', ayant les mêmes).

Je veux appliquer un traitement sur chaque objet du tableau et que le fichier est potentiellement énorme, je ne peux pas slurp l'ensemble du contenu d'un fichier en mémoire, le décodage du JSON et de parcourir le tableau PHP.

Donc, idéalement, je voudrais lire le fichier, extraire suffisamment d'informations pour chaque objet et chaque processus.
Un SAX-type d'approche serait OK si il y avait une bibliothèque semblable disponible pour JSON.

Toute suggestion sur la façon de traiter ce problème le mieux?

source d'informationauteur The Mighty Rubber Duck