From 755352b7c6f69419ae27f799d9b2aa259194bd0a Mon Sep 17 00:00:00 2001
From: aaronkyx <aaron@DESKTOP-RQQ4F23.localdomain>
Date: Thu, 27 Feb 2020 12:23:17 +0800
Subject: [PATCH] finished

---
 .../StarterCode_Java/Banker.java              | 316 ------------------
 1 file changed, 316 deletions(-)
 delete mode 100644 BankersAlgorithmLab/StarterCode_Java/Banker.java

diff --git a/BankersAlgorithmLab/StarterCode_Java/Banker.java b/BankersAlgorithmLab/StarterCode_Java/Banker.java
deleted file mode 100644
index 4876931..0000000
--- a/BankersAlgorithmLab/StarterCode_Java/Banker.java
+++ /dev/null
@@ -1,316 +0,0 @@
-import java.io.BufferedReader;
-import java.io.FileReader;
-import java.io.IOException;
-import java.lang.reflect.Array;
-import java.util.Arrays;
-
-public class Banker {
-	private int numberOfCustomers;	// the number of customers
-	private int numberOfResources;	// the number of resources
-
-	private int[] available; 	// the available amount of each resource
-	private int[][] maximum; 	// the maximum demand of each customer
-	private int[][] allocation;	// the amount currently allocated
-	private int[][] need;		// the remaining needs of each customer
-
-	/**
-	 * Constructor for the Banker class.
-	 * @param resources          An array of the available count for each resource.
-	 * @param numberOfCustomers  The number of customers.
-	 */
-	public Banker (int[] resources, int numberOfCustomers) {
-		// TODO: set the number of resources
-		this.numberOfResources=resources.length;
-		// TODO: set the number of customers
-		this.numberOfCustomers=numberOfCustomers;
-		// TODO: set the value of bank resources to available
-		this.available=resources;
-		// TODO: set the array size for maximum, allocation, and need
-		maximum =new int[numberOfCustomers][numberOfResources];
-		allocation =new int[numberOfCustomers][numberOfResources];
-		need = new int[numberOfCustomers][numberOfResources];
-	}
-
-	/**
-	 * Sets the maximum number of demand of each resource for a customer.
-	 * @param customerIndex  The customer's index (0-indexed).
-	 * @param maximumDemand  An array of the maximum demanded count for each resource.
-	 */
-	public void setMaximumDemand(int customerIndex, int[] maximumDemand) {
-		// TODO: add customer, update maximum and need
-		for (int i =0; i<maximumDemand.length;i++) {
-			maximum[customerIndex][i]=maximumDemand[i];
-			need[customerIndex][i]=maximum[customerIndex][i]-allocation[customerIndex][i];
-		}
-
-	}
-
-	/**
-	 * Prints the current state of the bank.
-	 */
-	public void printState() {
-        System.out.println("\nCurrent state:");
-        // print available
-        System.out.println("Available:");
-        System.out.println(Arrays.toString(available));
-        System.out.println("");
-
-        // print maximum
-        System.out.println("Maximum:");
-        for (int[] aMaximum : maximum) {
-            System.out.println(Arrays.toString(aMaximum));
-        }
-        System.out.println("");
-        // print allocation
-        System.out.println("Allocation:");
-        for (int[] anAllocation : allocation) {
-            System.out.println(Arrays.toString(anAllocation));
-        }
-        System.out.println("");
-        // print need
-        System.out.println("Need:");
-        for (int[] aNeed : need) {
-            System.out.println(Arrays.toString(aNeed));
-        }
-        System.out.println("");
-	}
-
-	/**
-	 * Requests resources for a customer loan.
-	 * If the request leave the bank in a safe state, it is carried out.
-	 * @param customerIndex  The customer's index (0-indexed).
-	 * @param request        An array of the requested count for each resource.
-	 * @return true if the requested resources can be loaned, else false.
-	 */
-	public synchronized boolean requestResources(int customerIndex, int[] request) {
-		// TODO: print the request
-		System.out.printf("Customer %d requesting\n",customerIndex);
-		System.out.println(Arrays.toString(request));
-
-		for (int i=0;i<request.length;i++) {
-
-			// TODO: check if request larger than need
-			if (request[i]>need[customerIndex][i]) {
-				// System.out.println("More than allowed");
-				return false;
-			}
-			
-			// TODO: check if request larger than available
-			if (request[i]>available[i]) {
-				// System.out.println("More than available");
-				return false;
-			}
-		};
-
-		// TODO: check if the state is safe or not
-		if (!checkSafe(customerIndex, request)){
-			// System.out.println("Deadlock preempted");
-			return false;
-		}
-
-		// TODO: if it is safe, allocate the resources to customer customerNumber
-		for (int i=0;i<request.length;i++) {
-			available[i]-=request[i];
-			need[customerIndex][i]-=request[i];
-			allocation[customerIndex][i]+=request[i];
-			
-		};
-		// System.out.println("Safely allocated, available is - "+Arrays.toString(available));
-		return true;
-	}
-
-	/**
-	 * Releases resources borrowed by a customer. Assume release is valid for simplicity.
-	 * @param customerIndex  The customer's index (0-indexed).
-	 * @param release        An array of the release count for each resource.
-	 */
-	public synchronized void releaseResources(int customerIndex, int[] release) {
-		// TODO: print the release
-		System.out.printf("Customer %d releasing\n",customerIndex);
-		System.out.println(Arrays.toString(release));
-
-		// TODO: release the resources from customer customerNumber
-		for (int i=0;i<release.length;i++) {
-			available[i]+=release[i];
-			allocation[customerIndex][i]-=release[i];
-			need[customerIndex][i]+=release[i];
-		};
-		// System.out.println("Available - "+Arrays.toString(available));
-
-	}
-
-	/**
-	 * Checks if the request will leave the bank in a safe state.
-	 * @param customerIndex  The customer's index (0-indexed).
-	 * @param request        An array of the requested count for each resource.
-	 * @return true if the requested resources will leave the bank in a
-	 *         safe state, else false
-	 */
-	private synchronized boolean checkSafe(int customerIndex, int[] request) {
-		// TODO: check if the state is safe
-
-		// temp_avail = available - request;
-		int temp_avail[] = new int [numberOfResources];
-		for (int i=0; i<numberOfResources; i++) temp_avail[i]=available[i]-request[i];
-
-		// temp_need(customerNumber) = need - request;
-		int temp_need[][] = new int [numberOfCustomers][numberOfResources];
-		for (int p=0; p<numberOfCustomers; p++){
-			for (int i=0; i<numberOfResources; i++){
-				temp_need[p][i]=need[p][i];
-			}
-		}
-		for (int i=0; i<numberOfResources; i++) temp_need[customerIndex][i]=need[customerIndex][i]-request[i];
-
-		// temp_allocation(customerNumber) = allocation + request;
-		int temp_allocation[][] = new int [numberOfCustomers][numberOfResources];
-		for (int p=0; p<numberOfCustomers; p++){
-			for (int i=0; i<numberOfResources; i++){
-				temp_allocation[p][i]=allocation[p][i];
-			}
-		}
-		for (int i=0; i<numberOfResources; i++) temp_allocation[customerIndex][i]=allocation[customerIndex][i]+request[i];
-		
-		// work = temp_avail;
-		int work[] = new int [numberOfResources];
-		for (int i=0; i<numberOfResources; i++) work[i]=temp_avail[i];
-
-		//  finish(all) = false;
-		boolean finish[]= new boolean[numberOfCustomers];
-		for (int i=0; i<numberOfCustomers; i++) {
-			finish[i]=false;
-		};
-
-		// // rotational check
-		boolean possible=true;
-		while (possible) {
-			possible=false;
-			for (int p=0;p<numberOfCustomers;p++){
-				if (finish[p]==false){
-					int sum =0;
-					for (int i=0; i<numberOfResources; i++) {
-						if(temp_need[p][i]<=work[i]) {
-							sum++;
-						}
-					};
-					if (sum==numberOfResources) {
-						possible=true;
-						for (int i=0; i<numberOfResources; i++) work[i]+=temp_allocation[p][i];
-						finish[p]=true;
-					}
-				}
-			}
-		}
-		for(boolean b : finish) if(!b) return false;
-    	return true;
-	}
-
-	/**
-	 * Parses and runs the file simulating a series of resource request and releases.
-	 * Provided for your convenience.
-	 * @param filename  The name of the file.
-	 */
-	public static void runFile(String filename) {
-
-		try {
-			BufferedReader fileReader = new BufferedReader(new FileReader(filename));
-
-			String line = null;
-			String [] tokens = null;
-			int [] resources = null;
-
-			int n, m;
-
-			try {
-				n = Integer.parseInt(fileReader.readLine().split(",")[1]);
-			} catch (Exception e) {
-				System.out.println("Error parsing n on line 1.");
-				fileReader.close();
-				return;
-			}
-
-			try {
-				m = Integer.parseInt(fileReader.readLine().split(",")[1]);
-			} catch (Exception e) {
-				System.out.println("Error parsing n on line 2.");
-				fileReader.close();
-				return;
-			}
-
-			try {
-				tokens = fileReader.readLine().split(",")[1].split(" ");
-				resources = new int[tokens.length];
-				for (int i = 0; i < tokens.length; i++)
-					resources[i] = Integer.parseInt(tokens[i]);
-			} catch (Exception e) {
-				System.out.println("Error parsing resources on line 3.");
-				fileReader.close();
-				return;
-			}
-
-			Banker theBank = new Banker(resources, n);
-
-			int lineNumber = 4;
-			while ((line = fileReader.readLine()) != null) {
-				tokens = line.split(",");
-				if (tokens[0].equals("c")) {
-					try {
-						int customerIndex = Integer.parseInt(tokens[1]);
-						tokens = tokens[2].split(" ");
-						resources = new int[tokens.length];
-						for (int i = 0; i < tokens.length; i++)
-							resources[i] = Integer.parseInt(tokens[i]);
-						theBank.setMaximumDemand(customerIndex, resources);
-					} catch (Exception e) {
-						System.out.println("Error parsing resources on line "+lineNumber+".");
-						fileReader.close();
-						return;
-					}
-				} else if (tokens[0].equals("r")) {
-					try {
-						int customerIndex = Integer.parseInt(tokens[1]);
-						tokens = tokens[2].split(" ");
-						resources = new int[tokens.length];
-						for (int i = 0; i < tokens.length; i++)
-							resources[i] = Integer.parseInt(tokens[i]);
-						theBank.requestResources(customerIndex, resources);
-					} catch (Exception e) {
-						System.out.println("Error parsing resources on line "+lineNumber+".");
-						fileReader.close();
-						return;
-					}
-				} else if (tokens[0].equals("f")) {
-					try {
-						int customerIndex = Integer.parseInt(tokens[1]);
-						tokens = tokens[2].split(" ");
-						resources = new int[tokens.length];
-						for (int i = 0; i < tokens.length; i++)
-							resources[i] = Integer.parseInt(tokens[i]);
-						theBank.releaseResources(customerIndex, resources);
-					} catch (Exception e) {
-						System.out.println("Error parsing resources on line "+lineNumber+".");
-						fileReader.close();
-						return;
-					}
-				} else if (tokens[0].equals("p")) {
-					theBank.printState();
-				}
-			}
-			fileReader.close();
-		} catch (IOException e) {
-			System.out.println("Error opening: "+filename);
-		}
-
-	}
-
-	/**
-	 * Main function
-	 * @param args  The command line arguments
-	 */
-	public static void main(String [] args) {
-		if (args.length > 0) {
-			runFile(args[0]);
-		}
-	}
-
-}
\ No newline at end of file