Subversion Repositories ao486

/*

 * Copyright (c) 2014, Aleksander Osman

 * All rights reserved.

 *

 * Redistribution and use in source and binary forms, with or without

 * modification, are permitted provided that the following conditions are met:

 *

 * * Redistributions of source code must retain the above copyright notice, this

 *   list of conditions and the following disclaimer.

 *

 * * Redistributions in binary form must reproduce the above copyright notice,

 *   this list of conditions and the following disclaimer in the documentation

 *   and/or other materials provided with the distribution.

 *

 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"

 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE

 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE

 * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE

 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL

 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR

 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER

 * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,

 * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE

 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

 */

package ao486.module.memory.test;

import ao486.module.memory.AvalonListener;

import ao486.module.memory.GlobalListener;

import ao486.module.memory.Input;

import ao486.module.memory.Listener;

import ao486.module.memory.Output;

import ao486.module.memory.Test;

import ao486.module.memory.WriteListener;

import java.util.HashMap;

import java.util.LinkedList;

import java.util.Random;

public class TestWriteCache extends Test implements Listener, WriteListener.WriteInterface {

    void go(long seed) throws Exception {

        random = new Random(seed);

        avalon = new AvalonListener(random, this);

        write  = new WriteListener();

        global = new GlobalListener();

        global.set(false, false, false, false, random.nextBoolean(), false, 0xABCDE000, false, false, false, false);

        expected_values = new HashMap<>();

        finish_cycle = 0;

        counter = 1;

        address_base = random.nextLong();

        address_base &= 0xFFFFFFF0L;

        address = address_base + random.nextInt(16);

        length  = 1 + random.nextInt(4);

        value   = random.nextLong();

        value &= 0xFFFFFFFF;

        write.write(4, 0, address, length, false, false, value, this);

        //----------

        LinkedList<Listener> listeners = new LinkedList<>();

        listeners.add(avalon);

        listeners.add(write);

        listeners.add(global);

        listeners.add(this);

        run_simulation(listeners);

    }

    @Override

    public void written(int cycle) throws Exception {

        for(int i=0; i<length; i++) {

            expected_values.put(address+i, value & 0xFF);

            value >>= 8;

        }

        counter++;

        if(counter >= 2000) {

            finish_cycle = cycle+20;

            return;

        }

        address = address_base + random.nextInt(16);

        length  = 1 + random.nextInt(4);

        value   = random.nextLong();

        value &= 0xFFFFFFFF;

        write.write(cycle+1, 0, address, length, false, false, value, this);

    }

    @Override

    public void write_page_fault(int cycle, long cr2, long error_code) throws Exception {

        throw new Exception("write page fault: " + cycle + ", cr2: " + cr2 + ", error_code: " + error_code);

    }

    @Override

    public void write_ac_fault(int cycle) throws Exception {

        throw new Exception("write ac fault.");

    }

    @Override

    public void set_input(int cycle, Input input) throws Exception {

        if(cycle >= finish_cycle && finish_cycle > 0) {

            input.finished = true;

            if(global.cr0_nw) {

                //check written values

                for(long local_address : expected_values.keySet()) {

                    long memory_data = avalon.get_memory(local_address);

                    long local_data = expected_values.get(local_address);

                    if((local_data & 0xFF) != (memory_data & 0xFF)) {

                        throw new Exception(String.format("Value mismatch: local_address: %x, memory_data: %x, local_data: %x\n", local_address, memory_data, local_data));

                    }

                }

            }

        }

    }

    @Override

    public void get_output(int cycle, Output output) throws Exception {

    }

    @Override

    public void avalon_read(int cycle, long read_address) throws Exception {

        if(cycle >= 350 && (read_address & 0xFFFFFFF0) == address_base) {

            if(address_base_read) throw new Exception("Reading double address_base_read.");

            address_base_read = true;

        }

        if(cycle >= 350 && (read_address & 0xFFFFFFF0) == address_base+1) {

            if(address_base_plus_1_read) throw new Exception("Reading double address_base_plus_1_read.");

            address_base_plus_1_read = true;

        }

        if(((read_address & 0xFFFFFFF0) != address_base) && ((read_address & 0xFFFFFFF0) == address_base+1)) throw new Exception("Unknown address read.");

    }

    long address_base;

    long address;

    int  length;

    long value;

    boolean address_base_read;

    boolean address_base_plus_1_read;

    int counter;

    Random random;

    int finish_cycle;

    HashMap<Long, Long> expected_values; //map address -> value

    AvalonListener avalon;

    WriteListener  write;

    GlobalListener global;

    //-------------

    public static void main(String args[]) throws Exception {

        TestWriteCache test1 = new TestWriteCache();

        for(int i=0; i<20; i++) {

            test1.go(i*i);

            System.out.println("Run " + i + " complete.");

        }

        System.out.println("[Main] thread end.");

    }

}