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.");
    }
}