Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 1 | // Copyright 2015 The Vanadium Authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style |
| 3 | // license that can be found in the LICENSE file. |
| 4 | |
| 5 | package nosql |
| 6 | |
| 7 | import ( |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 8 | "math/rand" |
Adam Sadovsky | 232c366 | 2015-06-04 15:00:09 -0700 | [diff] [blame] | 9 | "path" |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 10 | "strconv" |
| 11 | "strings" |
| 12 | "sync" |
| 13 | "time" |
Adam Sadovsky | 232c366 | 2015-06-04 15:00:09 -0700 | [diff] [blame] | 14 | |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 15 | wire "v.io/syncbase/v23/services/syncbase/nosql" |
Adam Sadovsky | bc00bd6 | 2015-05-22 12:50:03 -0700 | [diff] [blame] | 16 | "v.io/syncbase/x/ref/services/syncbase/server/interfaces" |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 17 | "v.io/syncbase/x/ref/services/syncbase/server/util" |
Adam Sadovsky | 8db7443 | 2015-05-29 17:37:32 -0700 | [diff] [blame] | 18 | "v.io/syncbase/x/ref/services/syncbase/server/watchable" |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 19 | "v.io/syncbase/x/ref/services/syncbase/store" |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 20 | "v.io/v23/context" |
| 21 | "v.io/v23/rpc" |
| 22 | "v.io/v23/security/access" |
| 23 | "v.io/v23/verror" |
| 24 | "v.io/x/lib/vlog" |
| 25 | ) |
| 26 | |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 27 | // database is a per-database singleton (i.e. not per-request). It does not |
| 28 | // directly handle RPCs. |
| 29 | // Note: If a database does not exist at the time of a database RPC, the |
| 30 | // dispatcher creates a short-lived database object to service that particular |
| 31 | // request. |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 32 | type database struct { |
| 33 | name string |
Adam Sadovsky | bc00bd6 | 2015-05-22 12:50:03 -0700 | [diff] [blame] | 34 | a interfaces.App |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 35 | // The fields below are initialized iff this database exists. |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 36 | exists bool |
| 37 | st store.Store // stores all data for a single database |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 38 | |
| 39 | // Active snapshots and transactions corresponding to client batches. |
| 40 | // TODO(sadovsky): Add timeouts and GC. |
| 41 | mu sync.Mutex // protects the fields below |
| 42 | sns map[uint64]store.Snapshot |
| 43 | txs map[uint64]store.Transaction |
| 44 | } |
| 45 | |
| 46 | // databaseReq is a per-request object that handles Database RPCs. |
| 47 | // It embeds database and tracks request-specific batch state. |
| 48 | type databaseReq struct { |
| 49 | *database |
| 50 | // If non-nil, sn or tx will be non-nil. |
| 51 | batchId *uint64 |
| 52 | sn store.Snapshot |
| 53 | tx store.Transaction |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 54 | } |
| 55 | |
| 56 | var ( |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 57 | _ wire.DatabaseServerMethods = (*databaseReq)(nil) |
Adam Sadovsky | bc00bd6 | 2015-05-22 12:50:03 -0700 | [diff] [blame] | 58 | _ interfaces.Database = (*database)(nil) |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 59 | _ util.Layer = (*database)(nil) |
| 60 | ) |
| 61 | |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 62 | // DatabaseOptions configures a database. |
Adam Sadovsky | 232c366 | 2015-06-04 15:00:09 -0700 | [diff] [blame] | 63 | type DatabaseOptions struct { |
| 64 | // Database-level permissions. |
| 65 | Perms access.Permissions |
| 66 | // Root dir for data storage. |
| 67 | RootDir string |
| 68 | // Storage engine to use. |
| 69 | Engine string |
| 70 | } |
| 71 | |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 72 | // NewDatabase creates a new database instance and returns it. |
| 73 | // Returns a VDL-compatible error. |
| 74 | // Designed for use from within App.CreateNoSQLDatabase. |
Adam Sadovsky | 232c366 | 2015-06-04 15:00:09 -0700 | [diff] [blame] | 75 | func NewDatabase(ctx *context.T, call rpc.ServerCall, a interfaces.App, name string, opts DatabaseOptions) (*database, error) { |
| 76 | if opts.Perms == nil { |
Adam Sadovsky | 4926119 | 2015-05-19 17:39:59 -0700 | [diff] [blame] | 77 | return nil, verror.New(verror.ErrInternal, ctx, "perms must be specified") |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 78 | } |
Adam Sadovsky | 232c366 | 2015-06-04 15:00:09 -0700 | [diff] [blame] | 79 | st, err := util.OpenStore(opts.Engine, path.Join(opts.RootDir, opts.Engine)) |
| 80 | if err != nil { |
| 81 | return nil, err |
| 82 | } |
| 83 | st, err = watchable.Wrap(st, &watchable.Options{ |
Adam Sadovsky | b2a6569 | 2015-05-29 21:57:40 -0700 | [diff] [blame] | 84 | ManagedPrefixes: []string{util.RowPrefix}, |
Adam Sadovsky | 8db7443 | 2015-05-29 17:37:32 -0700 | [diff] [blame] | 85 | }) |
Adam Sadovsky | 63fafbb | 2015-05-26 14:22:31 -0700 | [diff] [blame] | 86 | if err != nil { |
| 87 | return nil, err |
| 88 | } |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 89 | d := &database{ |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 90 | name: name, |
| 91 | a: a, |
| 92 | exists: true, |
| 93 | st: st, |
| 94 | sns: make(map[uint64]store.Snapshot), |
| 95 | txs: make(map[uint64]store.Transaction), |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 96 | } |
| 97 | data := &databaseData{ |
| 98 | Name: d.name, |
Adam Sadovsky | 232c366 | 2015-06-04 15:00:09 -0700 | [diff] [blame] | 99 | Perms: opts.Perms, |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 100 | } |
| 101 | if err := util.Put(ctx, call, d.st, d, data); err != nil { |
| 102 | return nil, err |
| 103 | } |
| 104 | return d, nil |
| 105 | } |
| 106 | |
| 107 | //////////////////////////////////////// |
| 108 | // RPC methods |
| 109 | |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 110 | func (d *databaseReq) Create(ctx *context.T, call rpc.ServerCall, perms access.Permissions) error { |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 111 | if d.exists { |
| 112 | return verror.New(verror.ErrExist, ctx, d.name) |
| 113 | } |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 114 | if d.batchId != nil { |
| 115 | return wire.NewErrBoundToBatch(ctx) |
| 116 | } |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 117 | // This database does not yet exist; d is just an ephemeral handle that holds |
| 118 | // {name string, a *app}. d.a.CreateNoSQLDatabase will create a new database |
| 119 | // handle and store it in d.a.dbs[d.name]. |
| 120 | return d.a.CreateNoSQLDatabase(ctx, call, d.name, perms) |
| 121 | } |
| 122 | |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 123 | func (d *databaseReq) Delete(ctx *context.T, call rpc.ServerCall) error { |
| 124 | if d.batchId != nil { |
| 125 | return wire.NewErrBoundToBatch(ctx) |
| 126 | } |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 127 | return d.a.DeleteNoSQLDatabase(ctx, call, d.name) |
| 128 | } |
| 129 | |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 130 | var rng *rand.Rand = rand.New(rand.NewSource(time.Now().UTC().UnixNano())) |
| 131 | |
| 132 | func (d *databaseReq) BeginBatch(ctx *context.T, call rpc.ServerCall, bo wire.BatchOptions) (string, error) { |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 133 | if !d.exists { |
| 134 | return "", verror.New(verror.ErrNoExist, ctx, d.name) |
| 135 | } |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 136 | if d.batchId != nil { |
| 137 | return "", wire.NewErrBoundToBatch(ctx) |
| 138 | } |
| 139 | d.mu.Lock() |
| 140 | defer d.mu.Unlock() |
| 141 | var id uint64 |
| 142 | var batchType string |
| 143 | for { |
| 144 | id = uint64(rng.Int63()) |
| 145 | if bo.ReadOnly { |
| 146 | if _, ok := d.sns[id]; !ok { |
| 147 | d.sns[id] = d.st.NewSnapshot() |
| 148 | batchType = "sn" |
| 149 | break |
| 150 | } |
| 151 | } else { |
| 152 | if _, ok := d.txs[id]; !ok { |
| 153 | d.txs[id] = d.st.NewTransaction() |
| 154 | batchType = "tx" |
| 155 | break |
| 156 | } |
| 157 | } |
| 158 | } |
| 159 | return strings.Join([]string{d.name, batchType, strconv.FormatUint(id, 10)}, util.BatchSep), nil |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 160 | } |
| 161 | |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 162 | func (d *databaseReq) Commit(ctx *context.T, call rpc.ServerCall) error { |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 163 | if !d.exists { |
| 164 | return verror.New(verror.ErrNoExist, ctx, d.name) |
| 165 | } |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 166 | if d.batchId == nil { |
| 167 | return wire.NewErrNotBoundToBatch(ctx) |
| 168 | } |
| 169 | if d.tx == nil { |
| 170 | return wire.NewErrReadOnlyBatch(ctx) |
| 171 | } |
| 172 | var err error |
| 173 | if err = d.tx.Commit(); err == nil { |
| 174 | d.mu.Lock() |
| 175 | delete(d.txs, *d.batchId) |
| 176 | d.mu.Unlock() |
| 177 | } |
| 178 | return err |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 179 | } |
| 180 | |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 181 | func (d *databaseReq) Abort(ctx *context.T, call rpc.ServerCall) error { |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 182 | if !d.exists { |
| 183 | return verror.New(verror.ErrNoExist, ctx, d.name) |
| 184 | } |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 185 | if d.batchId == nil { |
| 186 | return wire.NewErrNotBoundToBatch(ctx) |
| 187 | } |
| 188 | var err error |
| 189 | if d.tx != nil { |
| 190 | if err = d.tx.Abort(); err == nil { |
| 191 | d.mu.Lock() |
| 192 | delete(d.txs, *d.batchId) |
| 193 | d.mu.Unlock() |
| 194 | } |
| 195 | } else { |
| 196 | if err = d.sn.Close(); err == nil { |
| 197 | d.mu.Lock() |
| 198 | delete(d.sns, *d.batchId) |
| 199 | d.mu.Unlock() |
| 200 | } |
| 201 | } |
| 202 | return err |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 203 | } |
| 204 | |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 205 | func (d *databaseReq) SetPermissions(ctx *context.T, call rpc.ServerCall, perms access.Permissions, version string) error { |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 206 | if !d.exists { |
| 207 | return verror.New(verror.ErrNoExist, ctx, d.name) |
| 208 | } |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 209 | if d.batchId != nil { |
| 210 | return wire.NewErrBoundToBatch(ctx) |
| 211 | } |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 212 | return d.a.SetDatabasePerms(ctx, call, d.name, perms, version) |
| 213 | } |
| 214 | |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 215 | func (d *databaseReq) GetPermissions(ctx *context.T, call rpc.ServerCall) (perms access.Permissions, version string, err error) { |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 216 | if !d.exists { |
| 217 | return nil, "", verror.New(verror.ErrNoExist, ctx, d.name) |
| 218 | } |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 219 | if d.batchId != nil { |
| 220 | return nil, "", wire.NewErrBoundToBatch(ctx) |
| 221 | } |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 222 | data := &databaseData{} |
| 223 | if err := util.Get(ctx, call, d.st, d, data); err != nil { |
| 224 | return nil, "", err |
| 225 | } |
| 226 | return data.Perms, util.FormatVersion(data.Version), nil |
| 227 | } |
| 228 | |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 229 | func (d *databaseReq) GlobChildren__(ctx *context.T, call rpc.ServerCall) (<-chan string, error) { |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 230 | if !d.exists { |
| 231 | return nil, verror.New(verror.ErrNoExist, ctx, d.name) |
| 232 | } |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 233 | if d.batchId != nil { |
| 234 | return nil, wire.NewErrBoundToBatch(ctx) |
| 235 | } |
Adam Sadovsky | 4926119 | 2015-05-19 17:39:59 -0700 | [diff] [blame] | 236 | // Check perms. |
| 237 | sn := d.st.NewSnapshot() |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 238 | closeSnapshot := func() error { |
| 239 | return sn.Close() |
| 240 | } |
Adam Sadovsky | 4926119 | 2015-05-19 17:39:59 -0700 | [diff] [blame] | 241 | if err := util.Get(ctx, call, sn, d, &databaseData{}); err != nil { |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 242 | closeSnapshot() |
Adam Sadovsky | 4926119 | 2015-05-19 17:39:59 -0700 | [diff] [blame] | 243 | return nil, err |
| 244 | } |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 245 | return util.Glob(ctx, call, "*", sn, closeSnapshot, util.TablePrefix) |
Adam Sadovsky | 4926119 | 2015-05-19 17:39:59 -0700 | [diff] [blame] | 246 | } |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 247 | |
| 248 | //////////////////////////////////////// |
Adam Sadovsky | bc00bd6 | 2015-05-22 12:50:03 -0700 | [diff] [blame] | 249 | // interfaces.Database methods |
| 250 | |
| 251 | func (d *database) St() store.Store { |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 252 | if !d.exists { |
Adam Sadovsky | bc00bd6 | 2015-05-22 12:50:03 -0700 | [diff] [blame] | 253 | vlog.Fatalf("database %q does not exist", d.name) |
| 254 | } |
| 255 | return d.st |
| 256 | } |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 257 | |
Himabindu Pucha | f9ec56f | 2015-06-02 11:34:05 -0700 | [diff] [blame] | 258 | func (d *database) App() interfaces.App { |
| 259 | return d.a |
| 260 | } |
| 261 | |
| 262 | func (d *database) CheckPermsInternal(ctx *context.T, call rpc.ServerCall, st store.StoreReadWriter) error { |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 263 | if !d.exists { |
| 264 | vlog.Fatalf("database %q does not exist", d.name) |
| 265 | } |
Himabindu Pucha | f9ec56f | 2015-06-02 11:34:05 -0700 | [diff] [blame] | 266 | return util.Get(ctx, call, st, d, &databaseData{}) |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 267 | } |
| 268 | |
| 269 | func (d *database) SetPermsInternal(ctx *context.T, call rpc.ServerCall, perms access.Permissions, version string) error { |
Adam Sadovsky | d6b9a23 | 2015-06-16 14:04:45 -0700 | [diff] [blame^] | 270 | if !d.exists { |
Adam Sadovsky | f3b7abc | 2015-05-04 15:33:22 -0700 | [diff] [blame] | 271 | vlog.Fatalf("database %q does not exist", d.name) |
| 272 | } |
| 273 | return store.RunInTransaction(d.st, func(st store.StoreReadWriter) error { |
| 274 | data := &databaseData{} |
| 275 | return util.Update(ctx, call, st, d, data, func() error { |
| 276 | if err := util.CheckVersion(ctx, version, data.Version); err != nil { |
| 277 | return err |
| 278 | } |
| 279 | data.Perms = perms |
| 280 | data.Version++ |
| 281 | return nil |
| 282 | }) |
| 283 | }) |
| 284 | } |
| 285 | |
| 286 | //////////////////////////////////////// |
| 287 | // util.Layer methods |
| 288 | |
| 289 | func (d *database) Name() string { |
| 290 | return d.name |
| 291 | } |
| 292 | |
| 293 | func (d *database) StKey() string { |
| 294 | return util.DatabasePrefix |
| 295 | } |
Adam Sadovsky | 1c91f2a | 2015-06-04 22:23:51 -0700 | [diff] [blame] | 296 | |
| 297 | //////////////////////////////////////// |
| 298 | // Internal helpers |
| 299 | |
| 300 | func (d *databaseReq) batchReader() store.StoreReader { |
| 301 | if d.batchId == nil { |
| 302 | return nil |
| 303 | } else if d.sn != nil { |
| 304 | return d.sn |
| 305 | } else { |
| 306 | return d.tx |
| 307 | } |
| 308 | } |
| 309 | |
| 310 | func (d *databaseReq) batchReadWriter() (store.StoreReadWriter, error) { |
| 311 | if d.batchId == nil { |
| 312 | return nil, nil |
| 313 | } else if d.tx != nil { |
| 314 | return d.tx, nil |
| 315 | } else { |
| 316 | return nil, wire.NewErrReadOnlyBatch(nil) |
| 317 | } |
| 318 | } |