AtomicWorker3.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.
 */
/*
 * Copyright (C) 1998, 1999, 2000,
 *
 * Arjuna Solutions Limited,
 * Newcastle upon Tyne,
 * Tyne and Wear,
 * UK.  
 *
 * $Id: AtomicWorker3.java 2342 2006-03-30 13:06:17Z  $
 */

package com.hp.mwtests.ts.jts.orbspecific.resources;

import com.arjuna.ats.internal.jts.OTSImpleManager;
import com.arjuna.ats.internal.jts.orbspecific.CurrentImple;
import com.hp.mwtests.ts.jts.exceptions.TestException;
import com.hp.mwtests.ts.jts.utils.Util;
import org.jboss.logging.Logger;

public class AtomicWorker3
{
	public static final Logger logger = Logger.getLogger("AtomicWorker3");

public static void randomOperation (int thr, int level)
    {
	switch (Util.rand.nextInt() % 23)
	{
	case 0:
	case 1:
	case 2:
	case 3:
	    incr12(thr, level);
	    break;
	case 4:
	case 5:
	case 6:
	case 7:
	    incr21(thr, level);
	    break;
	case 8:
	case 9:
	case 10:
	case 11:
	    get12(thr, level);
	    break;
	case 12:
	case 13:
	case 14:
	case 15:
            get21(thr, level);
            break;
        case 16:
        case 17:
            {
		try
		{
		    current.begin();

		    logger.info(""+level);
		    logger.info("begin");

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

		    current.commit(false);

		    logger.info(""+level);
		    logger.info("end");
		}
		catch (Exception e)
		{
		    logger.warn(e, e);
		}
	    }
	break;
        case 18:
        case 19:
            {
		try
		{
		    current.begin();
		
		    logger.info(""+level);
		    logger.info("begin");

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

		    current.rollback();

		    logger.info(""+level);
		    logger.info("abort");
		}
		catch (Exception e)
		{
		    logger.warn(e, e);
		}
	    }
	break;
	case 20:
            {
                Thread thr1 = null;
                Thread thr2 = null;

                logger.info(""+level);
                logger.info("fork");

		thr1 = new ThreadObject3a(false);
		thr2 = new ThreadObject3a(false);

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

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

                logger.info(""+level);
                logger.info("join");
	    }
	break;
	case 21:
            {
                Thread thr1 = null;
                Thread thr2 = null;

                logger.info(""+level);
                logger.info("fork");

		thr1 = new ThreadObject3a(true);
		thr2 = new ThreadObject3a(false);

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

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

                logger.info(""+level);
                logger.info("join");
	    }
            break;
	case 22:
            {
                Thread thr1 = null;
                Thread thr2 = null;

                logger.info(""+level);
                logger.info("fork");

		thr1 = new ThreadObject3a(true);
		thr2 = new ThreadObject3a(true);

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

		try
		{
		    thr1.join();
		    thr2.join();
		}
		catch (InterruptedException e)
		{
		    logger.warn(e, e);
		}
                    
                logger.info(""+level);
                logger.info("join");
	    }
	break;
	}
    }
    
public static void incr12 (int thr, int level)
    {
	boolean res  = false;
	boolean res1 = false;
	boolean res2 = false;

	int ran;

	try
	{
	    current.begin();

	    logger.info(""+level);
	    logger.info("begin   incr12");

	    ran = Util.rand.nextInt() % 16;

	    res1 = atomicObject_1.incr(ran);
	    res  = res1;

	    logger.info(""+level);
	    logger.info("part1   incr12 : " + res1);

	    Util.lowProbYield();

	    if (res)
	    {
		res2 = atomicObject_2.incr(-ran);
		res  = res2;

		logger.info(""+level);
		logger.info("part2   incr12 : " + res2);
	    }

	    Util.lowProbYield();

	    logger.info(""+level);
	    if (res)
	    {
		logger.info("end ");
		current.commit(false);
	    }
	    else
	    {
		logger.info("abort  ");
		current.rollback();
	    }

	    logger.info(" incr12 : " + res1 + " : " + res2 + " : " + res
			       + " : " + ran);
	}
	catch (Exception e)
	{
	    logger.warn(e, e);
	}
    }

public static void incr21 (int thr, int level)
    {
	boolean res  = false;
	boolean res1 = false;
	boolean res2 = false;

	int ran;

	try
	{
	    current.begin();

	    logger.info(""+level);
	    logger.info("begin   incr21");

	    ran = Util.rand.nextInt() % 16;
	
	    res1 = atomicObject_2.incr(ran);
	    res  = res1;

	    logger.info(""+level);
	    logger.info("part1   incr21 : " + res1);
	
	    Util.lowProbYield();

	    if (res)
	    {
		res2 = atomicObject_1.incr(-ran);
		res  = res2;
	    
		logger.info(""+level);
		logger.info("part2   incr21 : " + res2);
	    }

	    Util.lowProbYield();

	    logger.info(""+level);
	    if (res)
	    {
		logger.info("end ");
		current.commit(false);
	    }
	    else
	    {
		logger.info("abort  ");
		current.rollback();
	    }

	    logger.info(" incr21 : " + res1 + " : " + res2 + " : " + res
			       + " : " + ran);
	}
	catch (Exception e)
	{
	    logger.warn(e, e);
	}
    }

public static void get12 (int thr, int level)
    {
	boolean res  = false;
	boolean res1 = false;
	boolean res2 = false;

	int value1 = 0;
	int value2 = 0;

	try
	{
	    current.begin();
	
	    logger.info(""+level);
	    logger.info("begin   get12");

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

	    logger.info(""+level);
	    logger.info("part1   get12  : " + res1);

	    Util.lowProbYield();

	    if (res)
	    {
		res2 = true;

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

		logger.info(""+level);
		logger.info("part2   get12  : " + res2);
	    }
		 
	    Util.lowProbYield();

	    logger.info(""+level);
	    if (res)
	    {
		logger.info("end ");
		current.commit(false);
	    }
	    else
	    {
		logger.info("abort  ");
		current.rollback();
	    }

	    logger.info(" get12  : " + res1 + " : " + res2 + " : " + res
			       + " : " + value1 + " : " + value2);
	}
	catch (Exception e)
	{
	    logger.warn(e, e);
	}
    }

public static void get21 (int thr, int level)
    {
	boolean res  = false;
	boolean res1 = false;
	boolean res2 = false;

	int value1 = 0;
	int value2 = 0;

	try
	{
	    current.begin();

	    logger.info(""+level);
	    logger.info("begin   get21");

	    res1 = true;

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

	    logger.info(""+level);
	    logger.info("part1   get21  : " + res1);

	    Util.lowProbYield();

	    if (res)
	    {
		res2 = true;

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

		logger.info(""+level);
		logger.info("part2   get21  : " + res2);
	    }

	    Util.lowProbYield();

	    logger.info(""+level);
	    if (res)
	    {
		logger.info("end ");
		current.commit(false);
	    }
	    else
	    {
		logger.info("abort  ");
		current.rollback();
	    }

	    logger.info(" get21  : " + res1 + " : " + res2 + " : " + res
			       + " : " + value1 + " : " + value2);
	}
	catch (Exception e)
	{
	    logger.warn(e, e);
	}
    }

    public static int get1() throws Exception
    {
        boolean res = false;
        int returnValue = -1;

        try
        {
            current.begin();
            returnValue = atomicObject_1.get();
            res = true;
        }
        catch (Exception e)
        {
            logger.warn(e, e);
            throw e;
        } finally {
            if (res)
                current.commit(false);
            else
                current.rollback();
        }

        return(returnValue);
    }

    public static int get2() throws Exception
    {
        boolean res = false;
        int returnValue = -1;

        try
        {
            current.begin();
            returnValue = atomicObject_2.get();
            res = true;
        }
        catch (Exception e)
        {
            logger.warn(e, e);
            throw e;
        }
        finally
        {
            if (res)
                current.commit(false);
            else
                current.rollback();
        }

        return(returnValue);
    }

    public static void init ()
    {
	AtomicWorker3.current = OTSImpleManager.current();
    }
    
    public static AtomicObject atomicObject_1 = null;
    public static AtomicObject atomicObject_2 = null;
    public static CurrentImple current = null;

}