equal
deleted
inserted
replaced
1 /* |
1 /* |
2 * Copyright (c) 2011, 2014, Oracle and/or its affiliates. All rights reserved. |
2 * Copyright (c) 2011, 2015, Oracle and/or its affiliates. All rights reserved. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * |
4 * |
5 * This code is free software; you can redistribute it and/or modify it |
5 * This code is free software; you can redistribute it and/or modify it |
6 * under the terms of the GNU General Public License version 2 only, as |
6 * under the terms of the GNU General Public License version 2 only, as |
7 * published by the Free Software Foundation. |
7 * published by the Free Software Foundation. |
55 // appropriate locks and the set changes underneath our feet |
55 // appropriate locks and the set changes underneath our feet |
56 // verification might fail and send us on a wild goose chase. |
56 // verification might fail and send us on a wild goose chase. |
57 check_mt_safety(); |
57 check_mt_safety(); |
58 |
58 |
59 guarantee(( is_empty() && length() == 0 && total_capacity_bytes() == 0) || |
59 guarantee(( is_empty() && length() == 0 && total_capacity_bytes() == 0) || |
60 (!is_empty() && length() >= 0 && total_capacity_bytes() >= 0), |
60 (!is_empty() && length() > 0 && total_capacity_bytes() > 0) , |
61 hrs_ext_msg(this, "invariant")); |
61 hrs_ext_msg(this, "invariant")); |
62 } |
62 } |
63 |
63 |
64 void HeapRegionSetBase::verify_start() { |
64 void HeapRegionSetBase::verify_start() { |
65 // See comment in verify() about MT safety and verification. |
65 // See comment in verify() about MT safety and verification. |