blob: b9f7d7bd877e852e2d811b93d38256c9f1ddecbc [file] [log] [blame]
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -07001// 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
5package nosql
6
7import (
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -07008 "math/rand"
Adam Sadovsky232c3662015-06-04 15:00:09 -07009 "path"
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -070010 "strconv"
11 "strings"
12 "sync"
13 "time"
Adam Sadovsky232c3662015-06-04 15:00:09 -070014
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -070015 wire "v.io/syncbase/v23/services/syncbase/nosql"
Adam Sadovskybc00bd62015-05-22 12:50:03 -070016 "v.io/syncbase/x/ref/services/syncbase/server/interfaces"
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -070017 "v.io/syncbase/x/ref/services/syncbase/server/util"
Adam Sadovsky8db74432015-05-29 17:37:32 -070018 "v.io/syncbase/x/ref/services/syncbase/server/watchable"
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -070019 "v.io/syncbase/x/ref/services/syncbase/store"
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -070020 "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 Sadovsky1c91f2a2015-06-04 22:23:51 -070027// 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 Sadovskyf3b7abc2015-05-04 15:33:22 -070032type database struct {
33 name string
Adam Sadovskybc00bd62015-05-22 12:50:03 -070034 a interfaces.App
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -070035 // The fields below are initialized iff this database exists.
Adam Sadovskyd6b9a232015-06-16 14:04:45 -070036 exists bool
37 st store.Store // stores all data for a single database
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -070038
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.
48type 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 Sadovskyf3b7abc2015-05-04 15:33:22 -070054}
55
56var (
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -070057 _ wire.DatabaseServerMethods = (*databaseReq)(nil)
Adam Sadovskybc00bd62015-05-22 12:50:03 -070058 _ interfaces.Database = (*database)(nil)
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -070059 _ util.Layer = (*database)(nil)
60)
61
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -070062// DatabaseOptions configures a database.
Adam Sadovsky232c3662015-06-04 15:00:09 -070063type 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 Sadovskyf3b7abc2015-05-04 15:33:22 -070072// NewDatabase creates a new database instance and returns it.
73// Returns a VDL-compatible error.
74// Designed for use from within App.CreateNoSQLDatabase.
Adam Sadovsky232c3662015-06-04 15:00:09 -070075func NewDatabase(ctx *context.T, call rpc.ServerCall, a interfaces.App, name string, opts DatabaseOptions) (*database, error) {
76 if opts.Perms == nil {
Adam Sadovsky49261192015-05-19 17:39:59 -070077 return nil, verror.New(verror.ErrInternal, ctx, "perms must be specified")
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -070078 }
Adam Sadovsky232c3662015-06-04 15:00:09 -070079 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 Sadovskyb2a65692015-05-29 21:57:40 -070084 ManagedPrefixes: []string{util.RowPrefix},
Adam Sadovsky8db74432015-05-29 17:37:32 -070085 })
Adam Sadovsky63fafbb2015-05-26 14:22:31 -070086 if err != nil {
87 return nil, err
88 }
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -070089 d := &database{
Adam Sadovskyd6b9a232015-06-16 14:04:45 -070090 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 Sadovskyf3b7abc2015-05-04 15:33:22 -070096 }
97 data := &databaseData{
98 Name: d.name,
Adam Sadovsky232c3662015-06-04 15:00:09 -070099 Perms: opts.Perms,
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -0700100 }
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 Sadovsky1c91f2a2015-06-04 22:23:51 -0700110func (d *databaseReq) Create(ctx *context.T, call rpc.ServerCall, perms access.Permissions) error {
Adam Sadovskyd6b9a232015-06-16 14:04:45 -0700111 if d.exists {
112 return verror.New(verror.ErrExist, ctx, d.name)
113 }
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700114 if d.batchId != nil {
115 return wire.NewErrBoundToBatch(ctx)
116 }
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -0700117 // 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 Sadovsky1c91f2a2015-06-04 22:23:51 -0700123func (d *databaseReq) Delete(ctx *context.T, call rpc.ServerCall) error {
124 if d.batchId != nil {
125 return wire.NewErrBoundToBatch(ctx)
126 }
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -0700127 return d.a.DeleteNoSQLDatabase(ctx, call, d.name)
128}
129
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700130var rng *rand.Rand = rand.New(rand.NewSource(time.Now().UTC().UnixNano()))
131
132func (d *databaseReq) BeginBatch(ctx *context.T, call rpc.ServerCall, bo wire.BatchOptions) (string, error) {
Adam Sadovskyd6b9a232015-06-16 14:04:45 -0700133 if !d.exists {
134 return "", verror.New(verror.ErrNoExist, ctx, d.name)
135 }
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700136 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 Sadovskyf3b7abc2015-05-04 15:33:22 -0700160}
161
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700162func (d *databaseReq) Commit(ctx *context.T, call rpc.ServerCall) error {
Adam Sadovskyd6b9a232015-06-16 14:04:45 -0700163 if !d.exists {
164 return verror.New(verror.ErrNoExist, ctx, d.name)
165 }
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700166 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 Sadovskyf3b7abc2015-05-04 15:33:22 -0700179}
180
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700181func (d *databaseReq) Abort(ctx *context.T, call rpc.ServerCall) error {
Adam Sadovskyd6b9a232015-06-16 14:04:45 -0700182 if !d.exists {
183 return verror.New(verror.ErrNoExist, ctx, d.name)
184 }
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700185 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 Sadovskyf3b7abc2015-05-04 15:33:22 -0700203}
204
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700205func (d *databaseReq) SetPermissions(ctx *context.T, call rpc.ServerCall, perms access.Permissions, version string) error {
Adam Sadovskyd6b9a232015-06-16 14:04:45 -0700206 if !d.exists {
207 return verror.New(verror.ErrNoExist, ctx, d.name)
208 }
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700209 if d.batchId != nil {
210 return wire.NewErrBoundToBatch(ctx)
211 }
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -0700212 return d.a.SetDatabasePerms(ctx, call, d.name, perms, version)
213}
214
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700215func (d *databaseReq) GetPermissions(ctx *context.T, call rpc.ServerCall) (perms access.Permissions, version string, err error) {
Adam Sadovskyd6b9a232015-06-16 14:04:45 -0700216 if !d.exists {
217 return nil, "", verror.New(verror.ErrNoExist, ctx, d.name)
218 }
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700219 if d.batchId != nil {
220 return nil, "", wire.NewErrBoundToBatch(ctx)
221 }
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -0700222 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 Sadovsky1c91f2a2015-06-04 22:23:51 -0700229func (d *databaseReq) GlobChildren__(ctx *context.T, call rpc.ServerCall) (<-chan string, error) {
Adam Sadovskyd6b9a232015-06-16 14:04:45 -0700230 if !d.exists {
231 return nil, verror.New(verror.ErrNoExist, ctx, d.name)
232 }
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700233 if d.batchId != nil {
234 return nil, wire.NewErrBoundToBatch(ctx)
235 }
Adam Sadovsky49261192015-05-19 17:39:59 -0700236 // Check perms.
237 sn := d.st.NewSnapshot()
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700238 closeSnapshot := func() error {
239 return sn.Close()
240 }
Adam Sadovsky49261192015-05-19 17:39:59 -0700241 if err := util.Get(ctx, call, sn, d, &databaseData{}); err != nil {
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700242 closeSnapshot()
Adam Sadovsky49261192015-05-19 17:39:59 -0700243 return nil, err
244 }
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700245 return util.Glob(ctx, call, "*", sn, closeSnapshot, util.TablePrefix)
Adam Sadovsky49261192015-05-19 17:39:59 -0700246}
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -0700247
248////////////////////////////////////////
Adam Sadovskybc00bd62015-05-22 12:50:03 -0700249// interfaces.Database methods
250
251func (d *database) St() store.Store {
Adam Sadovskyd6b9a232015-06-16 14:04:45 -0700252 if !d.exists {
Adam Sadovskybc00bd62015-05-22 12:50:03 -0700253 vlog.Fatalf("database %q does not exist", d.name)
254 }
255 return d.st
256}
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -0700257
Himabindu Puchaf9ec56f2015-06-02 11:34:05 -0700258func (d *database) App() interfaces.App {
259 return d.a
260}
261
262func (d *database) CheckPermsInternal(ctx *context.T, call rpc.ServerCall, st store.StoreReadWriter) error {
Adam Sadovskyd6b9a232015-06-16 14:04:45 -0700263 if !d.exists {
264 vlog.Fatalf("database %q does not exist", d.name)
265 }
Himabindu Puchaf9ec56f2015-06-02 11:34:05 -0700266 return util.Get(ctx, call, st, d, &databaseData{})
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -0700267}
268
269func (d *database) SetPermsInternal(ctx *context.T, call rpc.ServerCall, perms access.Permissions, version string) error {
Adam Sadovskyd6b9a232015-06-16 14:04:45 -0700270 if !d.exists {
Adam Sadovskyf3b7abc2015-05-04 15:33:22 -0700271 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
289func (d *database) Name() string {
290 return d.name
291}
292
293func (d *database) StKey() string {
294 return util.DatabasePrefix
295}
Adam Sadovsky1c91f2a2015-06-04 22:23:51 -0700296
297////////////////////////////////////////
298// Internal helpers
299
300func (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
310func (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}