|
31
|
1 package alice.jungle.transaction;
|
|
30
|
2
|
|
|
3 import java.util.Iterator;
|
|
|
4
|
|
180
|
5 import fj.data.List;
|
|
|
6 import fj.data.TreeMap;
|
|
30
|
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeList;
|
|
|
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeListWriter;
|
|
|
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.Result;
|
|
|
10 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.ChangeSet;
|
|
181
|
11 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath;
|
|
30
|
12 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
|
|
|
13 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.logger.TreeOperationLog;
|
|
|
14 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.TreeOperation;
|
|
|
15 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.AtomicReservableReference;
|
|
|
16 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.AtomicReservableReference.Reservation;
|
|
|
17 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultChangeSet;
|
|
|
18 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultTreeContext;
|
|
|
19 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.TransactionManager;
|
|
|
20 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.TreeContext;
|
|
|
21 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.DefaultEither;
|
|
|
22 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.DefaultError;
|
|
|
23 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
|
|
|
24 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
|
|
181
|
25 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Pair;
|
|
30
|
26
|
|
179
|
27 public class NetworkTransactionManager implements TransactionManager
|
|
30
|
28 {
|
|
|
29
|
|
179
|
30 private final AtomicReservableReference<TreeContext> repository;
|
|
|
31 private final TreeContext tip;
|
|
30
|
32 private final ChangeListWriter writer;
|
|
|
33 private final String uuid;
|
|
|
34 private final String treeName;
|
|
|
35
|
|
179
|
36 public NetworkTransactionManager(String _treeName, ChangeListWriter _writer,TreeContext _tip,
|
|
|
37 AtomicReservableReference<TreeContext> _repository,String _uuid)
|
|
30
|
38 {
|
|
|
39 repository = _repository;
|
|
|
40 tip = _tip;
|
|
|
41 writer = _writer;
|
|
|
42 uuid = _uuid;
|
|
|
43 treeName = _treeName;
|
|
|
44 }
|
|
|
45
|
|
|
46 @Override
|
|
181
|
47 public Either<Error, TransactionManager> commit(TreeNode _newRoot,final TreeOperationLog _log,TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index) {
|
|
30
|
48 ChangeSet cs = tip.getChangeSet();
|
|
|
49 long currentRevision = cs.revision();
|
|
|
50 long nextRevision = currentRevision + 1;
|
|
|
51
|
|
|
52 ChangeList list = new ChangeList() {
|
|
|
53 @Override
|
|
|
54 public Iterator<TreeOperation> iterator(){
|
|
|
55 return _log.iterator();
|
|
|
56 }
|
|
87
|
57 @Override
|
|
|
58 public String uuid() {
|
|
|
59 return uuid;
|
|
|
60 }
|
|
|
61 @Override
|
|
|
62 public String getTreeName() {
|
|
|
63 return treeName;
|
|
|
64 }
|
|
30
|
65 };
|
|
|
66
|
|
177
|
67 TreeNode root = _newRoot;
|
|
180
|
68 DefaultChangeSet newCs = new DefaultChangeSet(root, cs, list, uuid, treeName, nextRevision, null);
|
|
179
|
69 DefaultTreeContext newContext = new DefaultTreeContext(_newRoot,newCs);
|
|
30
|
70
|
|
|
71 @SuppressWarnings("rawtypes")
|
|
|
72 Reservation reservation = repository.makeReservation(tip, newContext);
|
|
|
73 if(reservation == null) {
|
|
|
74 return DefaultEither.newA((Error)new DefaultError());
|
|
|
75 }
|
|
|
76 Result r = writer.write(list);
|
|
34
|
77 if(r != Result.SUCCESS) {
|
|
|
78 return DefaultEither.newA((Error)new DefaultError());
|
|
|
79 }
|
|
|
80 reservation.confirm();
|
|
179
|
81 TransactionManager txManager = new NetworkTransactionManager(treeName, writer, newContext, repository, uuid);
|
|
34
|
82 return DefaultEither.newB(txManager);
|
|
|
83 }
|
|
30
|
84
|
|
|
85 @Override
|
|
|
86 public long getRevision()
|
|
|
87 {
|
|
|
88 ChangeSet cs = tip.getChangeSet();
|
|
|
89 return cs.revision();
|
|
|
90 }
|
|
|
91
|
|
|
92 @Override
|
|
|
93 public String getUUID() {
|
|
|
94 return uuid;
|
|
|
95 }
|
|
|
96
|
|
|
97 }
|
