AtomicObjectTest2.java

/*
 * JBoss, Home of Professional Open Source
 * Copyright 2006, Red Hat Middleware LLC, and individual contributors
 * as indicated by the @author tags.
 * See the copyright.txt in the distribution for a
 * full listing of individual contributors.
 * This copyrighted material is made available to anyone wishing to use,
 * modify, copy, or redistribute it subject to the terms and conditions
 * of the GNU Lesser General Public License, v. 2.1.
 * This program is distributed in the hope that it will be useful, but WITHOUT A
 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
 * PARTICULAR PURPOSE.  See the GNU Lesser General Public License for more details.
 * You should have received a copy of the GNU Lesser General Public License,
 * v.2.1 along with this distribution; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
 * MA  02110-1301, USA.
 *
 * (C) 2005-2006,
 * @author JBoss Inc.
 */
package com.hp.mwtests.ts.txoj.atomicobject;

/*
 * Copyright (C) 1998, 1999, 2000,
 *
 * Arjuna Solutions Limited,
 * Newcastle upon Tyne,
 * Tyne and Wear,
 * UK.
 *
 * $Id: AtomicObjectTest2.java 2342 2006-03-30 13:06:17Z  $
 */

import static org.junit.Assert.assertEquals;

import java.util.Random;

import org.junit.Test;

import com.arjuna.ats.arjuna.AtomicAction;
import com.arjuna.ats.arjuna.coordinator.ActionStatus;
import com.hp.mwtests.ts.txoj.common.exceptions.TestException;
import com.hp.mwtests.ts.txoj.common.resources.AtomicObject;

public class AtomicObjectTest2
{
    public static final int START_VALUE_1 = 10;

    public static final int START_VALUE_2 = 101;

    public static final int EXPECTED_RESULT = START_VALUE_1 + START_VALUE_2;

    @Test
    public void test () throws TestException
    {
        rand = new Random();
        atomicObject1 = new AtomicObject();
        atomicObject2 = new AtomicObject();

        System.out.println(atomicObject1.get_uid());
        System.out.println(atomicObject2.get_uid());

        atomicObject1.set(START_VALUE_1);

        atomicObject2.set(START_VALUE_2);

        ThreadObject2 thr1 = new ThreadObject2('1');
        ThreadObject2 thr2 = new ThreadObject2('2');

        thr1.start();
        thr2.start();

        try
        {
            thr1.join();
            thr2.join();
        }
        catch (InterruptedException e)
        {
        }

        get12('m', 0);
        get21('m', 0);

        assertEquals(EXPECTED_RESULT, (getValue1() + getValue2()));

    }

    public static void randomOperation (char thr, int level)
    {
        switch (Math.abs(rand.nextInt()) % 6)
        {
        case 0:
            incr12(thr, level);
            break;
        case 1:
            incr21(thr, level);
            break;
        case 2:
            get12(thr, level);
            break;
        case 3:
            get21(thr, level);
            break;
        case 4:
        {
            AtomicAction a = new AtomicAction();

            a.begin();

            indent(thr, level);
            System.out.println("begin");

            randomOperation(thr, level + 1);
            randomOperation(thr, level + 1);

            a.commit();

            indent(thr, level);
            System.out.println("commit");
        }
            break;
        case 5:
        {
            AtomicAction a = new AtomicAction();

            a.begin();

            indent(thr, level);
            System.out.println("begin");

            randomOperation(thr, level + 1);
            randomOperation(thr, level + 1);

            a.abort();

            indent(thr, level);
            System.out.println("abort");
        }
            break;
        }
    }

    public static void lowProbYield ()
    {
        while ((Math.abs(rand.nextInt()) % 2) != 0)
            Thread.yield();
    }

    public static void highProbYield ()
    {
        while ((Math.abs(rand.nextInt()) % 4) != 0)
            Thread.yield();
    }

    private static void indent (char thr, int level)
    {
        System.out.print(thr + " ");
        for (int i = 0; i < level; i++)
            System.out.print(" ");
    }

    private static void incr12 (char thr, int level)
    {
        boolean res = true;
        boolean res1 = true;
        boolean res2 = true;

        int ran;

        AtomicAction a = new AtomicAction();

        a.begin();

        indent(thr, level);
        System.out.println("begin   incr12");

        ran = Math.abs(rand.nextInt()) % 16;

        try
        {
            atomicObject1.incr(ran);
        }
        catch (TestException e)
        {
            res = res1 = false;
        }

        indent(thr, level);
        System.out.println("part1   incr12 : " + res1);

        lowProbYield();

        if (res)
        {
            try
            {
                atomicObject2.incr(-ran);
            }
            catch (TestException e)
            {
                res = res2 = false;
            }

            indent(thr, level);
            System.out.println("part2   incr12 : " + res2);
        }
        else
            res2 = false;

        lowProbYield();

        indent(thr, level);
        if (res)
        {
            System.out.print("commit ");
            res = (boolean) (a.commit() == ActionStatus.COMMITTED);
        }
        else
        {
            System.out.print("abort  ");
            a.abort();
        }

        System.out.println(" incr12 : " + res1 + " : " + res2 + " : " + res
                + " : " + ran);
    }

    private static void incr21 (char thr, int level)
    {
        boolean res = true;
        boolean res1 = true;
        boolean res2 = true;

        int ran;

        AtomicAction a = new AtomicAction();

        a.begin();

        indent(thr, level);
        System.out.println("begin   incr21");

        ran = Math.abs(rand.nextInt()) % 16;

        try
        {
            atomicObject2.incr(ran);
        }
        catch (TestException e)
        {
            res = res1 = false;
        }

        indent(thr, level);
        System.out.println("part1   incr21 : " + res1);

        lowProbYield();

        if (res)
        {
            try
            {
                atomicObject1.incr(-ran);
            }
            catch (TestException e)
            {
                res = res2 = false;
            }

            indent(thr, level);
            System.out.println("part2   incr21 : " + res2);
        }
        else
            res2 = false;

        lowProbYield();

        indent(thr, level);
        if (res)
        {
            System.out.print("commit ");
            res = (boolean) (a.commit() == ActionStatus.COMMITTED);
        }
        else
        {
            System.out.print("abort  ");
            a.abort();
        }

        System.out.println(" incr21 : " + res1 + " : " + res2 + " : " + res
                + " : " + ran);
    }

    public static int getValue1 () throws TestException
    {
        return (atomicObject1.get());
    }

    public static int getValue2 () throws TestException
    {
        return (atomicObject2.get());
    }

    private static void get12 (char thr, int level)
    {
        boolean res = true;
        boolean res1 = true;
        boolean res2 = true;

        int value1 = 0;
        int value2 = 0;

        AtomicAction a = new AtomicAction();

        a.begin();

        indent(thr, level);
        System.out.println("begin   get12");

        try
        {
            value1 = atomicObject1.get();
        }
        catch (TestException e)
        {
            res = res1 = false;
        }

        indent(thr, level);
        System.out.println("part1   get12  : " + res1);

        lowProbYield();

        if (res)
        {
            try
            {
                value2 = atomicObject2.get();
            }
            catch (TestException e)
            {
                res = res2 = false;
            }

            indent(thr, level);
            System.out.println("part2   get12  : " + res2);
        }
        else
            res2 = false;

        lowProbYield();

        indent(thr, level);
        if (res)
        {
            System.out.print("commit ");
            res = (boolean) (a.commit() == ActionStatus.COMMITTED);
        }
        else
        {
            System.out.print("abort  ");
            a.abort();
        }

        System.out.println(" get12  : " + res1 + " : " + res2 + " : " + res
                + " : " + value1 + " : " + value2);
    }

    private static void get21 (char thr, int level)
    {
        boolean res = true;
        boolean res1 = true;
        boolean res2 = true;

        int value1 = 0;
        int value2 = 0;

        AtomicAction a = new AtomicAction();

        a.begin();

        indent(thr, level);
        System.out.println("begin   get21");

        try
        {
            value1 = atomicObject2.get();
        }
        catch (TestException e)
        {
            res = res1 = false;
        }

        indent(thr, level);
        System.out.println("part1   get21  : " + res1);

        lowProbYield();

        if (res)
        {
            try
            {
                value2 = atomicObject1.get();
            }
            catch (TestException e)
            {
                res = res2 = false;
            }

            indent(thr, level);
            System.out.println("part2   get21  : " + res2);
        }
        else
            res2 = false;

        lowProbYield();

        indent(thr, level);
        if (res)
        {
            System.out.print("commit ");
            res = (boolean) (a.commit() == ActionStatus.COMMITTED);
        }
        else
        {
            System.out.print("abort  ");
            a.abort();
        }

        System.out.println(" get21  : " + res1 + " : " + res2 + " : " + res
                + " : " + value1 + " : " + value2);
    }

    private static AtomicObject atomicObject1 = null;

    private static AtomicObject atomicObject2 = null;

    private static Random rand = null;

}