annotate src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/IndexJungleTreeEditor.java @ 127:b2c1fd513feb

push index thread add read log
author one
date Mon, 13 Oct 2014 03:22:16 +0900
parents f81ec544a155
children 9c46e5c2ffac
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
118
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
1 package jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
2
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
3 import java.nio.ByteBuffer;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
4
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
5 import fj.data.List;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
6 import fj.data.TreeMap;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.JungleTreeEditor;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.TreeEditor;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
10 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
11 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.logger.DefaultTreeOperationLog;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
12 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.logger.LoggingNode;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
13 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.logger.OperationLog;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
14 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.logger.TreeOperationLog;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
15 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.DefaultTreeOperation;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
16 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.NodeOperation;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
17 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.TreeOperation;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
18 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.trasnformer.AppendChildAt;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
19 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.trasnformer.DeleteAttribute;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
20 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.trasnformer.DeleteChildAt;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
21 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.trasnformer.NodeEditor;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
22 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.trasnformer.PutAttribute;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
23 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.DefaultEither;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
24 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
25 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
26 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.IterableConverter;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
27 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Pair;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
28 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.DeleteIndexEditor;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
29 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.IndexEditor;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
30 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.PutIndexEditor;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
31
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
32 public class IndexJungleTreeEditor implements JungleTreeEditor
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
33 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
34 private final TransactionManager txManager;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
35 private final TreeNode root;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
36 private final TreeEditor editor;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
37 private final TreeOperationLog log;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
38 private TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
39
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
40 // public DefaultJungleTreeEditor(TreeNode root)
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
41 // {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
42 // this(root,txManager,_editor,new DefaultTreeOperationLog());
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
43 // }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
44
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
45 public TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> getIndex() {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
46 return index;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
47 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
48
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
49 public void setIndex(
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
50 TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index) {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
51 this.index = index;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
52 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
53
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
54 public IndexJungleTreeEditor(TreeNode _root,TransactionManager _txManager,TreeEditor _editor, TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index)
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
55 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
56 this(_root,_txManager,_editor,new DefaultTreeOperationLog(), index);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
57 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
58
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
59 public IndexJungleTreeEditor(TreeNode newNode,TransactionManager _txManager,TreeEditor _editor,TreeOperationLog _log, TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index)
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
60 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
61 this.root = newNode;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
62 this.txManager = _txManager;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
63 this.editor = _editor;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
64 this.log = _log;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
65 this.index = index;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
66 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
67
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
68 private Either<Error,IndexJungleTreeEditor> _edit(final NodePath _path,NodeEditor _e)
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
69 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
70 Either<Error,LoggingNode> either = editor.edit(root,_path,_e);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
71 if(either.isA()){
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
72 return DefaultEither.newA(either.a());
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
73 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
74
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
75 LoggingNode newLogging = either.b();
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
76 OperationLog newLog = newLogging.getOperationLog();
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
77 TreeNode newNode = newLogging.getWrap();
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
78
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
79 IterableConverter.Converter<TreeOperation,NodeOperation> converter = new IterableConverter.Converter<TreeOperation,NodeOperation>(){
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
80 @Override
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
81 public TreeOperation conv(NodeOperation _b){
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
82 return new DefaultTreeOperation(_path,_b);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
83 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
84 };
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
85
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
86 Iterable<TreeOperation> iterable = new IterableConverter<TreeOperation,NodeOperation>(newLog,converter);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
87 DefaultTreeOperationLog treeOperationLog = new DefaultTreeOperationLog(iterable,newLog.length());
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
88 TreeOperationLog newTreeOpLog = log.append(treeOperationLog);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
89
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
90 IndexJungleTreeEditor newEditor = new IndexJungleTreeEditor(newNode,txManager,editor,newTreeOpLog, index);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
91 return DefaultEither.newB(newEditor);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
92 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
93
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
94 @Override
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
95 public Either<Error,JungleTreeEditor> addNewChildAt(NodePath _path, int _pos)
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
96 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
97 AppendChildAt appendChildAt = new AppendChildAt(_pos);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
98 Either<Error,IndexJungleTreeEditor> either = _edit(_path,appendChildAt);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
99 JungleTreeEditor editor = either.b();
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
100 Either<Error,JungleTreeEditor> newEither = DefaultEither.newB(editor);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
101 return newEither;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
102 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
103
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
104 @Override
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
105 public Either<Error,JungleTreeEditor> deleteChildAt(NodePath _path, int _pos)
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
106 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
107 DeleteChildAt deleteChildAt = new DeleteChildAt(_pos);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
108 Either<Error,IndexJungleTreeEditor> either = _edit(_path,deleteChildAt);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
109 JungleTreeEditor editor = either.b();
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
110 Either<Error,JungleTreeEditor> newEither = DefaultEither.newB(editor);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
111 return newEither;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
112 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
113
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
114 @Override
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
115 public Either<Error,JungleTreeEditor> putAttribute(NodePath _path,String _key,ByteBuffer _value)
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
116 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
117 PutAttribute putAttribute = new PutAttribute(_key,_value);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
118 Either<Error,IndexJungleTreeEditor> either = _edit(_path,putAttribute);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
119 PutIndexEditor indexEditor = new PutIndexEditor();
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
120 Either<Error,JungleTreeEditor> newEither = indexEditor.edit(either.b());
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
121 return newEither;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
122 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
123
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
124 @Override
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
125 public Either<Error,JungleTreeEditor> deleteAttribute(NodePath _path, String _key)
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
126 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
127 DeleteAttribute deleteAttribute = new DeleteAttribute(_key);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
128 Either<Error,IndexJungleTreeEditor> either = _edit(_path,deleteAttribute);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
129 DeleteIndexEditor indexEditor = new DeleteIndexEditor();
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
130 Either<Error,JungleTreeEditor> newEither = indexEditor.edit(either.b());
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
131 return newEither;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
132 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
133
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
134 @Override
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
135 public Either<Error,JungleTreeEditor> edit(NodePath _path,NodeEditor _editor)
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
136 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
137 Either<Error,IndexJungleTreeEditor> either = _edit(_path,_editor);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
138 JungleTreeEditor editor = either.b();
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
139 Either<Error,JungleTreeEditor> newEither = DefaultEither.newB(editor);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
140 return newEither;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
141 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
142
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
143 @Override
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
144 public Either<Error,JungleTreeEditor> success()
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
145 {
126
f81ec544a155 add index push but bad compete
one
parents: 118
diff changeset
146 Either<Error,TransactionManager> either = txManager.commit(root,log,index);
118
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
147 if(either.isA()){
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
148 return DefaultEither.newA(either.a());
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
149 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
150
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
151 TransactionManager newTxManager = either.b();
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
152 JungleTreeEditor newTreeEditor = new DefaultJungleTreeEditor(root,newTxManager,editor);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
153
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
154 return DefaultEither.newB(newTreeEditor);
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
155 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
156
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
157 @Override
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
158 public String getID()
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
159 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
160 return txManager.getUUID();
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
161 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
162
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
163 @Override
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
164 public String getRevision()
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
165 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
166 return Long.toString(txManager.getRevision());
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
167 }
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
168
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
169 @Override
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
170 public TreeNode getRoot()
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
171 {
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
172 return root;
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
173 }
127
b2c1fd513feb push index thread add read log
one
parents: 126
diff changeset
174
118
baa1e2e7c503 add IndexEditor
one
parents:
diff changeset
175 }