view tests-custom/src/main/resources/org/openjdk/jcstress/desc/causality.xml @ 152:7a9f5f818d94

Update the copyright year to 2014 for the files modifed in 2014.
author shade
date Wed, 07 May 2014 17:11:41 +0400
parents d7f7a93800e4
children
line wrap: on
line source
<!--

    Copyright (c) 2005, 2013, Oracle and/or its affiliates. All rights reserved.
    DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

    This code is free software; you can redistribute it and/or modify it
    under the terms of the GNU General Public License version 2 only, as
    published by the Free Software Foundation.  Oracle designates this
    particular file as subject to the "Classpath" exception as provided
    by Oracle in the LICENSE file that accompanied this code.

    This code is distributed in the hope that it will be useful, but WITHOUT
    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
    FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
    version 2 for more details (a copy is included in the LICENSE file that
    accompanied this code).

    You should have received a copy of the GNU General Public License version
    2 along with this work; if not, write to the Free Software Foundation,
    Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

    Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
    or visit www.oracle.com if you need additional information or have any
    questions.

-->
<testsuite>

    <template name="int_defaultValue">
        <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
        <description>Checks if re-reading the field picks up the same value.</description>
        <case>
            <match>[0, 1]</match>
            <match>[1, 0]</match>
            <expect>ACCEPTABLE_INTERESTING</expect>
            <description>
                There is the race on the field. Second read can still read the default value.
            </description>
        </case>
        <case>
            <match>[1, 1]</match>
            <expect>ACCEPTABLE</expect>
            <description>
                Everything is OK: both threads have the initialized value.
            </description>
        </case>
        <unmatched>
            <expect>FORBIDDEN</expect>
            <description>
                This case is not expected.
            </description>
        </unmatched>
    </template>

    <template name="float_defaultValue">
        <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
        <description>Checks if re-reading the field picks up the same value.</description>
        <case>
            <match>[0.0, 1.0]</match>
            <match>[1.0, 0.0]</match>
            <expect>ACCEPTABLE_INTERESTING</expect>
            <description>
                There is the race on the field. Second read can still read the default value.
            </description>
        </case>
        <case>
            <match>[1.0, 1.0]</match>
            <expect>ACCEPTABLE</expect>
            <description>
                Everything is OK: both threads have the initialized value.
            </description>
        </case>
        <unmatched>
            <expect>FORBIDDEN</expect>
            <description>
                This case is not expected.
            </description>
        </unmatched>
    </template>

    <template name="char_defaultValue">
        <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
        <description>Checks if re-reading the field picks up the same value.</description>
        <case>
            <match>[A, B]</match>
            <match>[B, A]</match>
            <expect>ACCEPTABLE_INTERESTING</expect>
            <description>
                There is the race on the field. Second read can still read the default value.
            </description>
        </case>
        <case>
            <match>[B, B]</match>
            <expect>ACCEPTABLE</expect>
            <description>
                Everything is OK: both threads have the initialized value.
            </description>
        </case>
        <unmatched>
            <expect>FORBIDDEN</expect>
            <description>
                This case is not expected.
            </description>
        </unmatched>
    </template>

    <template name="boolean_defaultValue">
        <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
        <description>Checks if re-reading the field picks up the same value.</description>
        <case>
            <match>[true, false]</match>
            <match>[false, true]</match>
            <expect>ACCEPTABLE_INTERESTING</expect>
            <description>
                There is the race on the field. Second read can still read the default value.
            </description>
        </case>
        <case>
            <match>[true, true]</match>
            <expect>ACCEPTABLE</expect>
            <description>
                Everything is OK: both threads have the initialized value.
            </description>
        </case>
        <unmatched>
            <expect>FORBIDDEN</expect>
            <description>
                This case is not expected.
            </description>
        </unmatched>
    </template>

    <template name="int_completeInit">
        <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
        <description>Checks if re-reading the field picks up the same value.</description>
        <case>
            <match>[0, 1]</match>
            <match>[1, 0]</match>
            <expect>FORBIDDEN</expect>
            <description>
                One of the actor threads had read the the default value; even though it set
            </description>
        </case>
        <case>
            <match>[1, 1]</match>
            <expect>ACCEPTABLE</expect>
            <description>
                Everything is OK: both threads have the initialized value.
            </description>
        </case>
        <unmatched>
            <expect>FORBIDDEN</expect>
            <description>
                This case is not expected.
            </description>
        </unmatched>
    </template>

    <template name="float_completeInit">
        <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
        <description>Checks if re-reading the field picks up the same value.</description>
        <case>
            <match>[0.0, 1.0]</match>
            <match>[1.0, 0.0]</match>
            <expect>FORBIDDEN</expect>
            <description>
                One of the actor threads had read the the default value; even though it set
            </description>
        </case>
        <case>
            <match>[1.0, 1.0]</match>
            <expect>ACCEPTABLE</expect>
            <description>
                Everything is OK: both threads have the initialized value.
            </description>
        </case>
        <unmatched>
            <expect>FORBIDDEN</expect>
            <description>
                This case is not expected.
            </description>
        </unmatched>
    </template>

    <template name="char_completeInit">
        <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
        <description>Checks if re-reading the field picks up the same value.</description>
        <case>
            <match>[A, B]</match>
            <match>[B, A]</match>
            <expect>FORBIDDEN</expect>
            <description>
                One of the actor threads had read the the default value; even though it set
            </description>
        </case>
        <case>
            <match>[B, B]</match>
            <expect>ACCEPTABLE</expect>
            <description>
                Everything is OK: both threads have the initialized value.
            </description>
        </case>
        <unmatched>
            <expect>FORBIDDEN</expect>
            <description>
                This case is not expected.
            </description>
        </unmatched>
    </template>

    <template name="boolean_completeInit">
        <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
        <description>Checks if re-reading the field picks up the same value.</description>
        <case>
            <match>[true, false]</match>
            <match>[false, true]</match>
            <expect>FORBIDDEN</expect>
            <description>
                One of the actor threads had read the the default value; even though it set
            </description>
        </case>
        <case>
            <match>[true, true]</match>
            <expect>ACCEPTABLE</expect>
            <description>
                Everything is OK: both threads have the initialized value.
            </description>
        </case>
        <unmatched>
            <expect>FORBIDDEN</expect>
            <description>
                This case is not expected.
            </description>
        </unmatched>
    </template>

    <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.BooleanLazyTest"    template="boolean_defaultValue"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.ByteLazyTest"       template="int_defaultValue"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.CharLazyTest"       template="char_defaultValue"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.DoubleLazyTest"     template="float_defaultValue"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.FloatLazyTest"      template="float_defaultValue"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.IntLazyTest"        template="int_defaultValue"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.LongLazyTest"       template="int_defaultValue"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.ObjectLazyTest"     template="int_defaultValue"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.ShortLazyTest"      template="int_defaultValue"/>

    <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.BooleanLazyTest"    template="boolean_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.ByteLazyTest"       template="int_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.CharLazyTest"       template="char_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.DoubleLazyTest"     template="float_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.FloatLazyTest"      template="float_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.IntLazyTest"        template="int_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.LongLazyTest"       template="int_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.ObjectLazyTest"     template="int_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.ShortLazyTest"      template="int_completeInit"/>

    <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.BooleanLazyTest"    template="boolean_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.ByteLazyTest"       template="int_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.CharLazyTest"       template="char_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.DoubleLazyTest"     template="float_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.FloatLazyTest"      template="float_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.IntLazyTest"        template="int_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.LongLazyTest"       template="int_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.ObjectLazyTest"     template="int_completeInit"/>
    <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.ShortLazyTest"      template="int_completeInit"/>

</testsuite>