Hi, Sounds good. I guess we could do both: always prefetch 20 nodes, and if there is still time, fetch more up to 0.1 seconds or so, or at most 200 nodes. I guess 200 should be enough to for a GUI to decide what to display (10 pages for 20 nodes per page).
Regards, Thomas On 9/13/12 10:27 AM, "Jukka Zitting" <[email protected]> wrote: >Hi, > >On Thu, Sep 13, 2012 at 10:22 AM, Thomas Mueller <[email protected]> >wrote: >> Yes. Let's discuss the value now! 1000 sounds OK in general, however >>there >> is a potential performance problem. > >How about instead of a size limit we set a time limit on getSize()? >I.e. we limit the method to use no more than the mentioned 0.2 seconds >for prefetching nodes. If the total size is not available by that >time, it'll return -1. > >BR, > >Jukka Zitting
