From: Thomas Walker Lynch <eknp9n@reasoningtechnology.com>
Date: Thu, 2 Jan 2025 04:34:34 +0000 (+0000)
Subject: check point before reconsidering the lock management feature of the SRM
X-Git-Url: https://git.reasoningtechnology.com/usr/lib/python2.7/encodings/cp857.py?a=commitdiff_plain;h=c6bb8fc66e2e740916b1de20f6f2682204379cec;p=Ariadne

check point before reconsidering the lock management feature of the SRM
---

diff --git "a/developer/javac\360\237\226\211/#Ariadne_LockManager.java#" "b/developer/javac\360\237\226\211/#Ariadne_LockManager.java#"
new file mode 100644
index 0000000..06773c8
--- /dev/null
+++ "b/developer/javac\360\237\226\211/#Ariadne_LockManager.java#"
@@ -0,0 +1,12 @@
+/*
+
+
+*/
+
+
+package com.ReasoningTechnology.Ariadne;
+
+public interface Ariadne_OwnershipServer{
+  Ariadne_LockManagerDelegate<T>  single_thread(Object resource);
+  Ariadne_LockManagerDelegate<T>  multiple_thread(Object resource);
+}
diff --git "a/developer/javac\360\237\226\211/#Ariadne_OwnershipManager.java#" "b/developer/javac\360\237\226\211/#Ariadne_OwnershipManager.java#"
deleted file mode 100644
index 06773c8..0000000
--- "a/developer/javac\360\237\226\211/#Ariadne_OwnershipManager.java#"
+++ /dev/null
@@ -1,12 +0,0 @@
-/*
-
-
-*/
-
-
-package com.ReasoningTechnology.Ariadne;
-
-public interface Ariadne_OwnershipServer{
-  Ariadne_LockManagerDelegate<T>  single_thread(Object resource);
-  Ariadne_LockManagerDelegate<T>  multiple_thread(Object resource);
-}
diff --git "a/developer/javac\360\237\226\211/Ariadne_LockManager.java" "b/developer/javac\360\237\226\211/Ariadne_LockManager.java"
new file mode 100644
index 0000000..21bdb05
--- /dev/null
+++ "b/developer/javac\360\237\226\211/Ariadne_LockManager.java"
@@ -0,0 +1,12 @@
+/*
+
+
+*/
+
+
+package com.ReasoningTechnology.Ariadne;
+
+public interface Ariadne_LockManager{
+  Ariadne_LockManagerDelegate<T>  single_thread(Object resource);
+  Ariadne_LockManagerDelegate<T>  multiple_thread(Object resource);
+}
diff --git "a/developer/javac\360\237\226\211/Ariadne_LockManagerDelegate.java" "b/developer/javac\360\237\226\211/Ariadne_LockManagerDelegate.java"
new file mode 100644
index 0000000..1b46908
--- /dev/null
+++ "b/developer/javac\360\237\226\211/Ariadne_LockManagerDelegate.java"
@@ -0,0 +1,6 @@
+package com.ReasoningTechnology.Ariadne;
+
+public interface Ariadne_LockManagerDelegate{
+  void request();
+  void relinquish();
+}
diff --git "a/developer/javac\360\237\226\211/Ariadne_OwnershipManager.java" "b/developer/javac\360\237\226\211/Ariadne_OwnershipManager.java"
deleted file mode 100644
index 06773c8..0000000
--- "a/developer/javac\360\237\226\211/Ariadne_OwnershipManager.java"
+++ /dev/null
@@ -1,12 +0,0 @@
-/*
-
-
-*/
-
-
-package com.ReasoningTechnology.Ariadne;
-
-public interface Ariadne_OwnershipServer{
-  Ariadne_LockManagerDelegate<T>  single_thread(Object resource);
-  Ariadne_LockManagerDelegate<T>  multiple_thread(Object resource);
-}
diff --git "a/developer/javac\360\237\226\211/Ariadne_OwnershipManagerDelegate.java" "b/developer/javac\360\237\226\211/Ariadne_OwnershipManagerDelegate.java"
deleted file mode 100644
index 35cd60d..0000000
--- "a/developer/javac\360\237\226\211/Ariadne_OwnershipManagerDelegate.java"
+++ /dev/null
@@ -1,6 +0,0 @@
-package com.ReasoningTechnology.Ariadne;
-
-public interface Ariadne_Arbiter{
-  void request();
-  void relinquish();
-}