|
Re: Guide to changing your pagepool
We seem to be going around in circles here and to be honest I've not had time to dig around over at Tech Net but here's my reasoning.
The OP assumed that a setting of 15 in the second field would result in a dynamic pagepool while a setting of 16 resulted in static. My assertion is that the values in the second field simply dictate the algorithm the OS uses to set the pagepool size and by definition if you've got a set size it has to be static. I'm inclined believe that FormerPalmOS is correct and that manually setting the pagepool size to 0 results in a dynamic pagepool for a couple of reasons. First, because I can see that there is a pagepool of some size based on memory usage. And secondly because I don't think your phone would perform very well without any pagepool; mine does and though I've only compared it against a static pagepool of 12MB I see no performance impact.
Anyway, to truely this question I just need to find the pagepool on my phone and observe it changing in size. If you can point me to the correct file I'll be happy to do that but as I said earlier I haven't had time to pursue this.
|