]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | #include "include/int_types.h" |
2 | ||
3 | #include <string.h> | |
4 | #include <fcntl.h> | |
5 | ||
7c673cae FG |
6 | #include "locks.h" |
7 | ||
eafe8130 TL |
8 | /* Duplicated from ceph_fs.h, which we cannot include into a C file. */ |
9 | #define CEPH_CAP_GSHARED 1 /* client can reads */ | |
10 | #define CEPH_CAP_GEXCL 2 /* client can read and update */ | |
11 | #define CEPH_CAP_GCACHE 4 /* (file) client can cache reads */ | |
12 | #define CEPH_CAP_GRD 8 /* (file) client can read */ | |
13 | #define CEPH_CAP_GWR 16 /* (file) client can write */ | |
14 | #define CEPH_CAP_GBUFFER 32 /* (file) client can buffer writes */ | |
15 | #define CEPH_CAP_GWREXTEND 64 /* (file) client can extend EOF */ | |
16 | #define CEPH_CAP_GLAZYIO 128 /* (file) client can perform lazy io */ | |
17 | ||
7c673cae FG |
18 | static const struct sm_state_t simplelock[LOCK_MAX] = { |
19 | // stable loner rep state r rp rd wr fwr l x caps,other | |
20 | [LOCK_SYNC] = { 0, false, LOCK_SYNC, ANY, 0, ANY, 0, 0, ANY, 0, CEPH_CAP_GSHARED,0,0,CEPH_CAP_GSHARED }, | |
94b18763 | 21 | [LOCK_LOCK_SYNC] = { LOCK_SYNC, false, LOCK_LOCK, AUTH, XCL, XCL, 0, 0, XCL, 0, 0,0,0,0 }, |
7c673cae FG |
22 | [LOCK_EXCL_SYNC] = { LOCK_SYNC, true, LOCK_LOCK, 0, 0, 0, 0, XCL, 0, 0, 0,CEPH_CAP_GSHARED,0,0 }, |
23 | [LOCK_SNAP_SYNC] = { LOCK_SYNC, false, LOCK_LOCK, 0, 0, 0, 0, AUTH,0, 0, 0,0,0,0 }, | |
24 | ||
25 | [LOCK_LOCK] = { 0, false, LOCK_LOCK, AUTH, 0, REQ, 0, 0, 0, 0, 0,0,0,0 }, | |
26 | [LOCK_SYNC_LOCK] = { LOCK_LOCK, false, LOCK_LOCK, ANY, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, | |
27 | [LOCK_EXCL_LOCK] = { LOCK_LOCK, false, LOCK_LOCK, 0, 0, 0, 0, XCL, 0, 0, 0,0,0,0 }, | |
28 | ||
29 | [LOCK_PREXLOCK] = { LOCK_LOCK, false, LOCK_LOCK, 0, XCL, 0, 0, 0, 0, ANY, 0,0,0,0 }, | |
30 | [LOCK_XLOCK] = { LOCK_SYNC, false, LOCK_LOCK, 0, XCL, 0, 0, 0, 0, 0, 0,0,0,0 }, | |
31 | [LOCK_XLOCKDONE] = { LOCK_SYNC, false, LOCK_LOCK, XCL, XCL, XCL, 0, 0, XCL, 0, 0,0,CEPH_CAP_GSHARED,0 }, | |
32 | [LOCK_LOCK_XLOCK]= { LOCK_PREXLOCK,false,LOCK_LOCK,0, XCL, 0, 0, 0, 0, XCL, 0,0,0,0 }, | |
33 | ||
34 | [LOCK_EXCL] = { 0, true, LOCK_LOCK, 0, 0, REQ, XCL, 0, 0, 0, 0,CEPH_CAP_GEXCL|CEPH_CAP_GSHARED,0,0 }, | |
35 | [LOCK_SYNC_EXCL] = { LOCK_EXCL, true, LOCK_LOCK, ANY, 0, 0, 0, 0, 0, 0, 0,CEPH_CAP_GSHARED,0,0 }, | |
94b18763 | 36 | [LOCK_LOCK_EXCL] = { LOCK_EXCL, false, LOCK_LOCK, AUTH, 0, 0, 0, 0, 0, 0, CEPH_CAP_GSHARED,0,0,0 }, |
7c673cae FG |
37 | |
38 | [LOCK_REMOTEXLOCK]={ LOCK_LOCK, false, LOCK_LOCK, 0, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, | |
39 | ||
40 | }; | |
41 | ||
42 | const struct sm_t sm_simplelock = { | |
43 | .states = simplelock, | |
44 | .allowed_ever_auth = CEPH_CAP_GSHARED | CEPH_CAP_GEXCL, | |
45 | .allowed_ever_replica = CEPH_CAP_GSHARED, | |
46 | .careful = CEPH_CAP_GSHARED | CEPH_CAP_GEXCL, | |
47 | .can_remote_xlock = 1, | |
48 | }; | |
49 | ||
50 | ||
51 | // lock state machine states: | |
52 | // Sync -- Lock -- sCatter | |
53 | // Tempsync _/ | |
54 | // (out of date) | |
55 | ||
56 | static const struct sm_state_t scatterlock[LOCK_MAX] = { | |
57 | // stable loner rep state r rp rd wr fwr l x caps,other | |
58 | [LOCK_SYNC] = { 0, false, LOCK_SYNC, ANY, 0, ANY, 0, 0, ANY, 0, CEPH_CAP_GSHARED,0,0,CEPH_CAP_GSHARED }, | |
59 | [LOCK_LOCK_SYNC] = { LOCK_SYNC, false, LOCK_LOCK, AUTH, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, | |
60 | [LOCK_MIX_SYNC] = { LOCK_SYNC, false, LOCK_LOCK, 0, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, | |
61 | [LOCK_SNAP_SYNC] = { LOCK_SYNC, false, LOCK_LOCK, 0, 0, 0, 0, AUTH,0, 0, 0,0,0,0 }, | |
62 | ||
63 | [LOCK_LOCK] = { 0, false, LOCK_LOCK, AUTH, 0, REQ, AUTH,0, 0, ANY, 0,0,0,0 }, | |
94b18763 | 64 | [LOCK_SYNC_LOCK] = { LOCK_LOCK, false, LOCK_LOCK, ANY, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, |
7c673cae FG |
65 | [LOCK_MIX_LOCK] = { LOCK_LOCK, false, LOCK_MIX, 0, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, |
66 | [LOCK_MIX_LOCK2] = { LOCK_LOCK, false, LOCK_LOCK, 0, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, | |
94b18763 | 67 | [LOCK_TSYN_LOCK] = { LOCK_LOCK, false, LOCK_LOCK, AUTH, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, |
7c673cae FG |
68 | |
69 | [LOCK_TSYN] = { 0, false, LOCK_LOCK, AUTH, 0, AUTH,0, 0, 0, 0, 0,0,0,0 }, | |
70 | [LOCK_LOCK_TSYN] = { LOCK_TSYN, false, LOCK_LOCK, 0, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, | |
71 | [LOCK_MIX_TSYN] = { LOCK_TSYN, false, LOCK_LOCK, 0, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, | |
72 | ||
73 | [LOCK_MIX] = { 0, false, LOCK_MIX, 0, 0, REQ, ANY, 0, 0, 0, 0,0,0,0 }, | |
74 | [LOCK_TSYN_MIX] = { LOCK_MIX, false, LOCK_LOCK, 0, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, | |
94b18763 | 75 | [LOCK_SYNC_MIX] = { LOCK_MIX, false, LOCK_SYNC_MIX2,ANY,0, 0, 0, 0, 0, 0, 0,0,0,0 }, |
7c673cae FG |
76 | [LOCK_SYNC_MIX2] = { LOCK_MIX, false, 0, 0, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, |
77 | }; | |
78 | ||
79 | const struct sm_t sm_scatterlock = { | |
80 | .states = scatterlock, | |
81 | .allowed_ever_auth = CEPH_CAP_GSHARED | CEPH_CAP_GEXCL, | |
82 | .allowed_ever_replica = CEPH_CAP_GSHARED, | |
83 | .careful = CEPH_CAP_GSHARED | CEPH_CAP_GEXCL, | |
84 | .can_remote_xlock = 0, | |
85 | }; | |
86 | ||
87 | const struct sm_state_t filelock[LOCK_MAX] = { | |
88 | // stable loner rep state r rp rd wr fwr l x caps(any,loner,xlocker,replica) | |
11fdf7f2 | 89 | [LOCK_SYNC] = { 0, false, LOCK_SYNC, ANY, 0, ANY, 0, 0, ANY, 0, CEPH_CAP_GSHARED|CEPH_CAP_GCACHE|CEPH_CAP_GRD|CEPH_CAP_GLAZYIO,0,0,CEPH_CAP_GSHARED|CEPH_CAP_GCACHE|CEPH_CAP_GRD }, |
7c673cae FG |
90 | [LOCK_LOCK_SYNC] = { LOCK_SYNC, false, LOCK_LOCK, AUTH, 0, 0, 0, 0, 0, 0, CEPH_CAP_GCACHE,0,0,0 }, |
91 | [LOCK_EXCL_SYNC] = { LOCK_SYNC, true, LOCK_LOCK, 0, 0, 0, 0, XCL, 0, 0, 0,CEPH_CAP_GSHARED|CEPH_CAP_GCACHE|CEPH_CAP_GRD,0,0 }, | |
92 | [LOCK_MIX_SYNC] = { LOCK_SYNC, false, LOCK_MIX_SYNC2,0,0, 0, 0, 0, 0, 0, CEPH_CAP_GRD|CEPH_CAP_GLAZYIO,0,0,CEPH_CAP_GRD }, | |
93 | [LOCK_MIX_SYNC2] = { LOCK_SYNC, false, 0, 0, 0, 0, 0, 0, 0, 0, CEPH_CAP_GRD|CEPH_CAP_GLAZYIO,0,0,CEPH_CAP_GRD }, | |
94 | [LOCK_SNAP_SYNC] = { LOCK_SYNC, false, LOCK_LOCK, 0, 0, 0, 0, AUTH,0, 0, 0,0,0,0 }, | |
95 | [LOCK_XSYN_SYNC] = { LOCK_SYNC, true, LOCK_LOCK, AUTH, 0, AUTH,0, 0, 0, 0, 0,CEPH_CAP_GCACHE,0,0 }, | |
96 | ||
97 | [LOCK_LOCK] = { 0, false, LOCK_LOCK, AUTH, 0, REQ, AUTH,0, 0, 0, CEPH_CAP_GCACHE|CEPH_CAP_GBUFFER,0,0,0 }, | |
94b18763 | 98 | [LOCK_SYNC_LOCK] = { LOCK_LOCK, false, LOCK_LOCK, ANY, 0, REQ, 0, 0, 0, 0, CEPH_CAP_GCACHE,0,0,0 }, |
7c673cae | 99 | [LOCK_EXCL_LOCK] = { LOCK_LOCK, false, LOCK_LOCK, 0, 0, 0, 0, XCL, 0, 0, CEPH_CAP_GCACHE|CEPH_CAP_GBUFFER,0,0,0 }, |
94b18763 FG |
100 | [LOCK_MIX_LOCK] = { LOCK_LOCK, false, LOCK_MIX, 0, 0, REQ, 0, 0, 0, 0, 0,0,0,0 }, |
101 | [LOCK_MIX_LOCK2] = { LOCK_LOCK, false, LOCK_LOCK, 0, 0, REQ, 0, 0, 0, 0, 0,0,0,0 }, | |
b32b8144 | 102 | [LOCK_XSYN_LOCK] = { LOCK_LOCK, true, LOCK_LOCK, AUTH, 0, 0, XCL, 0, 0, 0, 0,CEPH_CAP_GCACHE|CEPH_CAP_GBUFFER,0,0 }, |
7c673cae FG |
103 | |
104 | [LOCK_PREXLOCK] = { LOCK_LOCK, false, LOCK_LOCK, 0, XCL, 0, 0, 0, 0, ANY, CEPH_CAP_GCACHE|CEPH_CAP_GBUFFER,0,0,0 }, | |
105 | [LOCK_XLOCK] = { LOCK_LOCK, false, LOCK_LOCK, 0, XCL, 0, 0, 0, 0, 0, CEPH_CAP_GCACHE|CEPH_CAP_GBUFFER,0,0,0 }, | |
106 | [LOCK_XLOCKDONE] = { LOCK_LOCK, false, LOCK_LOCK, XCL, XCL, XCL, 0, 0, XCL, 0, CEPH_CAP_GCACHE|CEPH_CAP_GBUFFER,0,CEPH_CAP_GSHARED,0 }, | |
107 | [LOCK_XLOCKSNAP] = { LOCK_LOCK, false, LOCK_LOCK, 0, XCL, 0, 0, 0, 0, 0, CEPH_CAP_GCACHE,0,0,0 }, | |
108 | [LOCK_LOCK_XLOCK]= { LOCK_PREXLOCK,false,LOCK_LOCK,0, XCL, 0, 0, 0, 0, XCL, CEPH_CAP_GCACHE|CEPH_CAP_GBUFFER,0,0,0 }, | |
109 | ||
110 | [LOCK_MIX] = { 0, false, LOCK_MIX, 0, 0, REQ, ANY, 0, 0, 0, CEPH_CAP_GRD|CEPH_CAP_GWR|CEPH_CAP_GLAZYIO,0,0,CEPH_CAP_GRD }, | |
111 | [LOCK_SYNC_MIX] = { LOCK_MIX, false, LOCK_SYNC_MIX2,ANY,0, 0, 0, 0, 0, 0, CEPH_CAP_GRD|CEPH_CAP_GLAZYIO,0,0,CEPH_CAP_GRD }, | |
112 | [LOCK_SYNC_MIX2] = { LOCK_MIX, false, 0, 0, 0, 0, 0, 0, 0, 0, CEPH_CAP_GRD|CEPH_CAP_GLAZYIO,0,0,CEPH_CAP_GRD }, | |
11fdf7f2 | 113 | [LOCK_EXCL_MIX] = { LOCK_MIX, true, LOCK_LOCK, 0, 0, 0, XCL, 0, 0, 0, 0,CEPH_CAP_GRD|CEPH_CAP_GWR,0,0 }, |
b32b8144 | 114 | [LOCK_XSYN_MIX] = { LOCK_MIX, true, LOCK_LOCK, 0, 0, 0, XCL, 0, 0, 0, 0,0,0,0 }, |
7c673cae | 115 | |
11fdf7f2 | 116 | [LOCK_EXCL] = { 0, true, LOCK_LOCK, 0, 0, XCL, XCL, 0, 0, 0, 0,CEPH_CAP_GSHARED|CEPH_CAP_GEXCL|CEPH_CAP_GCACHE|CEPH_CAP_GRD|CEPH_CAP_GWR|CEPH_CAP_GBUFFER,0,0 }, |
94b18763 | 117 | [LOCK_SYNC_EXCL] = { LOCK_EXCL, true, LOCK_LOCK, ANY, 0, 0, 0, 0, 0, 0, 0,CEPH_CAP_GSHARED|CEPH_CAP_GCACHE|CEPH_CAP_GRD,0,0 }, |
11fdf7f2 | 118 | [LOCK_MIX_EXCL] = { LOCK_EXCL, true, LOCK_LOCK, 0, 0, 0, XCL, 0, 0, 0, 0,CEPH_CAP_GRD|CEPH_CAP_GWR,0,0 }, |
7c673cae FG |
119 | [LOCK_LOCK_EXCL] = { LOCK_EXCL, true, LOCK_LOCK, AUTH, 0, 0, 0, 0, 0, 0, 0,CEPH_CAP_GCACHE|CEPH_CAP_GBUFFER,0,0 }, |
120 | [LOCK_XSYN_EXCL] = { LOCK_EXCL, true, LOCK_LOCK, AUTH, 0, XCL, 0, 0, 0, 0, 0,CEPH_CAP_GCACHE|CEPH_CAP_GBUFFER,0,0 }, | |
121 | ||
122 | [LOCK_XSYN] = { 0, true, LOCK_LOCK, AUTH, AUTH,AUTH,XCL, 0, 0, 0, 0,CEPH_CAP_GCACHE|CEPH_CAP_GBUFFER,0,0 }, | |
123 | [LOCK_EXCL_XSYN] = { LOCK_XSYN, false, LOCK_LOCK, 0, 0, XCL, 0, 0, 0, 0, 0,CEPH_CAP_GCACHE|CEPH_CAP_GBUFFER,0,0 }, | |
124 | ||
125 | [LOCK_PRE_SCAN] = { LOCK_SCAN, false, LOCK_LOCK, 0, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, | |
126 | [LOCK_SCAN] = { LOCK_LOCK, false, LOCK_LOCK, 0, 0, 0, 0, 0, 0, 0, 0,0,0,0 }, | |
127 | }; | |
128 | ||
129 | const struct sm_t sm_filelock = { | |
130 | .states = filelock, | |
131 | .allowed_ever_auth = (CEPH_CAP_GSHARED | | |
132 | CEPH_CAP_GEXCL | | |
133 | CEPH_CAP_GCACHE | | |
134 | CEPH_CAP_GRD | | |
135 | CEPH_CAP_GWR | | |
136 | CEPH_CAP_GWREXTEND | | |
137 | CEPH_CAP_GBUFFER | | |
138 | CEPH_CAP_GLAZYIO), | |
139 | .allowed_ever_replica = (CEPH_CAP_GSHARED | | |
140 | CEPH_CAP_GCACHE | | |
141 | CEPH_CAP_GRD | | |
142 | CEPH_CAP_GLAZYIO), | |
143 | .careful = (CEPH_CAP_GSHARED | | |
144 | CEPH_CAP_GEXCL | | |
145 | CEPH_CAP_GCACHE | | |
146 | CEPH_CAP_GBUFFER), | |
147 | .can_remote_xlock = 0, | |
148 | }; | |
149 | ||
150 | ||
151 | const struct sm_state_t locallock[LOCK_MAX] = { | |
152 | // stable loner rep state r rp rd wr fwr l x caps(any,loner,xlocker,replica) | |
153 | [LOCK_LOCK] = { 0, false, LOCK_LOCK, ANY, 0, ANY, 0, 0, ANY, AUTH,0,0,0,0 }, | |
154 | }; | |
155 | ||
156 | const struct sm_t sm_locallock = { | |
157 | .states = locallock, | |
158 | .allowed_ever_auth = 0, | |
159 | .allowed_ever_replica = 0, | |
160 | .careful = 0, | |
161 | .can_remote_xlock = 0, | |
162 | }; |