Identyfikacja miejsca przydzielania pamięci w rdzeniu

Question

To może być głupie pytanie lub zbyt otwarte, ale czego szukam w rdzeniu wyjściowym GHC, aby zrozumieć, gdzie odbywa się przydzielanie pamięci? Moją motywacją jest lepsze zrozumienie sposobu optymalizacji kodu, takiego jak this, lub np. aby uniknąć wywłaszczania podczas krytycznych sekcji w kodzie współbieżnym.

Answer 1

let s zazwyczaj gdzie to się dzieje, przy założeniu, że zmienna istota bounds id nie stanowi rodzaj # (czyli niech związana Int# nie powoduje alokację.) Jednakże, to naprawdę STG który określa dokładnie, gdzie to się dzieje.