get for UArray blows the heap for large arrays
- Vorherrschende Sprache
- Haskell
- Sterne
- 120
- Forks
- 70
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
``` haskell
instance (Binary i, Ix i, Binary e, IArray UArray e) => Binary (UArray i e) where
get = do
bs <- get
n <- get
xs <- getMany n
return (listArray bs xs)
```
getMany is fully strict in the list, since it uses an accumulator and reverses it at the end. The intermediate xs list can be huge in cases where the eventual UArray is much more manageable (eg 28M Booleans).
Two questions:
1) Is there a known alternative for (un)serializing UArrays to(from) disk? Such an alternative would make this Issue far less important.
2) Have you considered a version that serializes the bytes directly? I drafted one up; it's tremendously more efficient, though I'm concerned about robustness wrt endianness etc. Furthermore, it requires a base monad that can mutate arrays, which requires an "unsafe" invocation. And lastly it's not portable, using ghc-prim.
HTH. Thanks.
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Rechercherichtung
Beginne mit der get-Instanz von Binary (UArray i e) und ihrem getMany-Pfad und reproduziere die Dekodierung eines großen Boolean UArray, um den Speicherverbrauch der zwischenzeitlichen Liste zu messen. Überprüfe den vorgeschlagenen direct-byte-Ansatz im Hinblick auf Endianness, Mutabilität, ghc-prim-Portabilität und Alternativen zur Serialisierung auf der Festplatte. Als abgeschlossen gilt die Vereinbarung eines Umfangs und eines getesteten UArray-Serialisierungspfads, der den Heap-Überlauf vermeidet.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- haskell
- Bereich
- data
- Issue-Typ
- Bug
- Schwierigkeit
- 5/5
- Geschätzter Aufwand
- Über eine Woche
- Aktivitätsstatus
- Veraltet
- Klarheit
- Muss geklärt werden
- Anfängerfreundlichkeit
- 25/100