addSource / updateGeoJSON slow performance on Android

When loading a 1 megabyte GeoJSON source to a map style and measure the time, I see a huge performance difference between Android and iOS.

var dateTimeNow = DateTime.now();

await mapboxMap?.style.addSource(
        GeoJsonSource(
          id: "my_source",
          data: jsonEncode(myGeoJSON)
        )
);

print(DateTime.now().difference(dateTimeNow).inMilliseconds);

Android:    1500ms (sometimes even more)
iOS:            130ms

I tested on Emulators as well as physical devices, the results are the same.

The same behaviour also occurs when using source.updateGeoJSON(...).

When building a native Android app, working with large GeoJSON sources in Mapbox did not result in performance issues like this.

Here you can find the full sample project:
flutter_mapbox.zip

Riproduci la differenza nei tempi con l’esempio flutter_mapbox.zip allegato, concentrandoti su style.addSource con una sorgente GeoJSON da 1 MB e source.updateGeoJSON(...). Confronta i tempi su Android e iOS e analizza il percorso Android; il lavoro è completato quando gli aggiornamenti di GeoJSON di grandi dimensioni non mostrano più il divario di prestazioni Android segnalato.