Re: Unmark pdumped objects

Tuesday, 26 October 1999

        Jan Vroonhof <vroonhof(a)math.ethz.ch&gt; writes:

...
 Hrvoje Niksic <hniksic(a)srce.hr&gt; writes:

 > optimize_compiled_function() is supposed to be lazy.  Doing all that
 > works (and allocating all that data) for a bunch of functions that
 > might not get called could be perceived as wasteful.

 The CPU work is irrelevant. 
Wasteful in memory/disk space, not CPU.

...
 This is dumping time. Anyway, if the function doesn't get used
 often, why are dumping it? 
Because other functions from the same file might be used often.  Or
because the function can get called from C code.

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998