check point before reconsidering the lock management feature of the SRM
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Thu, 2 Jan 2025 04:26:35 +0000 (04:26 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Thu, 2 Jan 2025 04:26:35 +0000 (04:26 +0000)
commit43724fa99a3324720764b7933b199ae9e5162ae5
tree907dd3cfa46b0031b55d1202585398193bfd24a8
parent59f399afe6fccebbf870b04c841988168cb1900e
check point before reconsidering the lock management feature of the SRM
31 files changed:
developer/documentđź–‰/Step_Right_Machine.txt [new file with mode: 0644]
developer/documentđź–‰/bugs.txt [new file with mode: 0644]
developer/example/CountingNumber.class
developer/example/CountingNumber.java
developer/example/Example_Ariadne_SRM [deleted file]
developer/example/Example_Ariadne_SRM.class [deleted file]
developer/example/Example_Ariadne_SRM.java [deleted file]
developer/example/Example_Ariadne_SRM_Array.java [deleted file]
developer/example/Example_Ariadne_SRM_List.java [deleted file]
developer/example/Example_IdentityManager_0.java [new file with mode: 0644]
developer/example/Example_IndexTree_0.java [new file with mode: 0644]
developer/example/Example_SRMI_Array.java [new file with mode: 0644]
developer/example/Example_SRM_0.java [new file with mode: 0644]
developer/example/Example_SRM_1.java [new file with mode: 0644]
developer/example/Example_SRM_List.java [new file with mode: 0644]
developer/javacđź–‰/#Ariadne_OwnershipManager.java# [new file with mode: 0644]
developer/javacđź–‰/Ariadne_Graph.java
developer/javacđź–‰/Ariadne_IdentityManager.java [new file with mode: 0644]
developer/javacđź–‰/Ariadne_IndexTree_Graph.java [new file with mode: 0644]
developer/javacđź–‰/Ariadne_IndexTree_Node.java [new file with mode: 0644]
developer/javacđź–‰/Ariadne_IndexTree_SRM.java [new file with mode: 0644]
developer/javacđź–‰/Ariadne_Node.java
developer/javacđź–‰/Ariadne_OwnershipManager.java [new file with mode: 0644]
developer/javacđź–‰/Ariadne_OwnershipManagerDelegate.java [new file with mode: 0644]
developer/javacđź–‰/Ariadne_SRM.java
developer/javacđź–‰/Ariadne_SRMI.java
developer/javacđź–‰/Ariadne_SRMI_Array.java [new file with mode: 0644]
developer/javacđź–‰/Ariadne_SRM_Array.java [deleted file]
developer/javacđź–‰/Ariadne_SRM_List.java
developer/toolđź–‰/clean
developer/toolđź–‰/make_example