Request for review: 7196080: assert(max_heap >= InitialHeapSize) in arguments.cpp

[Jon Masamitsu]

Tao,

The original assertion seems a worthwhile one
(i.e., the maximum heap size is >= to the
initial heap size) to enforce.   The CR says the problem
that not everything has been page aligned.  Is
the latter not true?

Jon

On 03/06/13 14:33, Tao Mao wrote:
> 7196080: assert(max_heap >= InitialHeapSize) in arguments.cpp
> https://jbs.oracle.com/bugs/browse/JDK-7196080
>
> webrev:
> http://cr.openjdk.java.net/~tamao/7196080/webrev.00/
>
> changeset:
> 1. inequality doesn't transfer here.
> X >= align_down(X)
> X >= I
> altogether, cannot infer that align_down(X) >= I. Simple math!
> So, I have removed the original assertion "max_heap >= InitialHeapSize".
> 2. It's reasonable to check an extra assertion "max_heap > = OldSize", 
> following the comment above the assertions.