summaryrefslogtreecommitdiffstats
path: root/src/main/java/derms/replica/replica1/Resources.java
diff options
context:
space:
mode:
authorSam Anthony <sam@samanthony.xyz>2024-11-28 10:42:31 -0500
committerSam Anthony <sam@samanthony.xyz>2024-11-28 10:42:31 -0500
commit6a710c3943f2350f4575f8cb1898129ef3c7dfdd (patch)
treedc20bc0480e77a74f2176e5f0fed02ad2251a2cd /src/main/java/derms/replica/replica1/Resources.java
parent0cae203edc71b0285d2971f9124f24cb543b8e39 (diff)
downloadsoen423-6a710c3943f2350f4575f8cb1898129ef3c7dfdd.zip
rename assignment code replica package
Diffstat (limited to 'src/main/java/derms/replica/replica1/Resources.java')
-rw-r--r--src/main/java/derms/replica/replica1/Resources.java74
1 files changed, 0 insertions, 74 deletions
diff --git a/src/main/java/derms/replica/replica1/Resources.java b/src/main/java/derms/replica/replica1/Resources.java
deleted file mode 100644
index a6a8b3a..0000000
--- a/src/main/java/derms/replica/replica1/Resources.java
+++ /dev/null
@@ -1,74 +0,0 @@
-package derms.replica.replica1;
-
-import java.util.ArrayList;
-import java.util.List;
-import java.util.Map;
-import java.util.NoSuchElementException;
-import java.util.concurrent.ConcurrentHashMap;
-
-public class Resources {
- private Map<ResourceName, Map<ResourceID, Resource>> resources;
-
- public Resources() {
- this.resources = new ConcurrentHashMap<ResourceName, Map<ResourceID, Resource>>();
- }
-
- public List<Resource> borrowed(CoordinatorID borrower, ResourceName name) {
- List<Resource> borrowed = new ArrayList<Resource>();
- Resource[] namedResources = getByName(name);
- for (Resource r : namedResources) {
- if (r.isBorrowed && r.borrower.equals(borrower)) {
- borrowed.add(r);
- }
- }
- return borrowed;
- }
-
- public Resource getByID(ResourceID id) throws NoSuchElementException {
- for (Map<ResourceID, Resource> rids : resources.values()) {
- Resource resource = rids.get(id);
- if (resource != null) {
- return resource;
- }
- }
- throw new NoSuchElementException("No such resource "+id);
- }
-
- public Resource[] getByName(ResourceName name) {
- Map<ResourceID, Resource> rids = resources.get(name);
- if (rids == null) {
- return new Resource[0];
- }
- Resource[] r = new Resource[0];
- return rids.values().toArray(r);
- }
-
- public void add(Resource r) {
- Map<ResourceID, Resource> rids;
- synchronized (resources) {
- rids = resources.get(r.name);
- if (rids == null) {
- rids = new ConcurrentHashMap<ResourceID, Resource>();
- resources.put(r.name, rids);
- }
- }
- synchronized (rids) {
- Resource existing = rids.get(r.id);
- if (existing != null) {
- existing.duration += r.duration;
- } else {
- rids.put(r.id, r);
- }
- }
- }
-
- public void removeByID(ResourceID id) throws NoSuchElementException {
- for (Map<ResourceID, Resource> rids : resources.values()) {
- if (rids.containsKey(id)) {
- rids.remove(id);
- return;
- }
- }
- throw new NoSuchElementException("No such resource "+id);
- }
-}