2018-02-28 06:25:05 +00:00
|
|
|
package state
|
|
|
|
|
|
|
|
import (
|
|
|
|
"fmt"
|
2018-03-02 20:56:39 +00:00
|
|
|
"sort"
|
2018-02-28 06:25:05 +00:00
|
|
|
|
|
|
|
"github.com/hashicorp/consul/agent/structs"
|
|
|
|
"github.com/hashicorp/go-memdb"
|
|
|
|
)
|
|
|
|
|
|
|
|
const (
|
|
|
|
intentionsTableName = "connect-intentions"
|
|
|
|
)
|
|
|
|
|
|
|
|
// intentionsTableSchema returns a new table schema used for storing
|
|
|
|
// intentions for Connect.
|
|
|
|
func intentionsTableSchema() *memdb.TableSchema {
|
|
|
|
return &memdb.TableSchema{
|
|
|
|
Name: intentionsTableName,
|
|
|
|
Indexes: map[string]*memdb.IndexSchema{
|
|
|
|
"id": &memdb.IndexSchema{
|
|
|
|
Name: "id",
|
|
|
|
AllowMissing: false,
|
|
|
|
Unique: true,
|
|
|
|
Indexer: &memdb.UUIDFieldIndex{
|
|
|
|
Field: "ID",
|
|
|
|
},
|
|
|
|
},
|
|
|
|
"destination": &memdb.IndexSchema{
|
|
|
|
Name: "destination",
|
|
|
|
AllowMissing: true,
|
2018-04-05 11:41:49 +00:00
|
|
|
// This index is not unique since we need uniqueness across the whole
|
|
|
|
// 4-tuple.
|
|
|
|
Unique: false,
|
2018-02-28 06:25:05 +00:00
|
|
|
Indexer: &memdb.CompoundIndex{
|
|
|
|
Indexes: []memdb.Indexer{
|
|
|
|
&memdb.StringFieldIndex{
|
|
|
|
Field: "DestinationNS",
|
|
|
|
Lowercase: true,
|
|
|
|
},
|
|
|
|
&memdb.StringFieldIndex{
|
|
|
|
Field: "DestinationName",
|
|
|
|
Lowercase: true,
|
|
|
|
},
|
|
|
|
},
|
|
|
|
},
|
|
|
|
},
|
|
|
|
"source": &memdb.IndexSchema{
|
|
|
|
Name: "source",
|
|
|
|
AllowMissing: true,
|
2018-04-05 11:41:49 +00:00
|
|
|
// This index is not unique since we need uniqueness across the whole
|
|
|
|
// 4-tuple.
|
|
|
|
Unique: false,
|
|
|
|
Indexer: &memdb.CompoundIndex{
|
|
|
|
Indexes: []memdb.Indexer{
|
|
|
|
&memdb.StringFieldIndex{
|
|
|
|
Field: "SourceNS",
|
|
|
|
Lowercase: true,
|
|
|
|
},
|
|
|
|
&memdb.StringFieldIndex{
|
|
|
|
Field: "SourceName",
|
|
|
|
Lowercase: true,
|
|
|
|
},
|
|
|
|
},
|
|
|
|
},
|
|
|
|
},
|
|
|
|
"source_destination": &memdb.IndexSchema{
|
|
|
|
Name: "source_destination",
|
|
|
|
AllowMissing: true,
|
2018-02-28 06:25:05 +00:00
|
|
|
Unique: true,
|
|
|
|
Indexer: &memdb.CompoundIndex{
|
|
|
|
Indexes: []memdb.Indexer{
|
|
|
|
&memdb.StringFieldIndex{
|
|
|
|
Field: "SourceNS",
|
|
|
|
Lowercase: true,
|
|
|
|
},
|
|
|
|
&memdb.StringFieldIndex{
|
|
|
|
Field: "SourceName",
|
|
|
|
Lowercase: true,
|
|
|
|
},
|
2018-04-05 11:41:49 +00:00
|
|
|
&memdb.StringFieldIndex{
|
|
|
|
Field: "DestinationNS",
|
|
|
|
Lowercase: true,
|
|
|
|
},
|
|
|
|
&memdb.StringFieldIndex{
|
|
|
|
Field: "DestinationName",
|
|
|
|
Lowercase: true,
|
|
|
|
},
|
2018-02-28 06:25:05 +00:00
|
|
|
},
|
|
|
|
},
|
|
|
|
},
|
|
|
|
},
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func init() {
|
|
|
|
registerSchema(intentionsTableSchema)
|
|
|
|
}
|
|
|
|
|
2018-03-06 17:31:21 +00:00
|
|
|
// Intentions is used to pull all the intentions from the snapshot.
|
|
|
|
func (s *Snapshot) Intentions() (structs.Intentions, error) {
|
|
|
|
ixns, err := s.tx.Get(intentionsTableName, "id")
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
var ret structs.Intentions
|
|
|
|
for wrapped := ixns.Next(); wrapped != nil; wrapped = ixns.Next() {
|
|
|
|
ret = append(ret, wrapped.(*structs.Intention))
|
|
|
|
}
|
|
|
|
|
|
|
|
return ret, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// Intention is used when restoring from a snapshot.
|
|
|
|
func (s *Restore) Intention(ixn *structs.Intention) error {
|
|
|
|
// Insert the intention
|
|
|
|
if err := s.tx.Insert(intentionsTableName, ixn); err != nil {
|
|
|
|
return fmt.Errorf("failed restoring intention: %s", err)
|
|
|
|
}
|
|
|
|
if err := indexUpdateMaxTxn(s.tx, ixn.ModifyIndex, intentionsTableName); err != nil {
|
|
|
|
return fmt.Errorf("failed updating index: %s", err)
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2018-02-28 17:53:21 +00:00
|
|
|
// Intentions returns the list of all intentions.
|
|
|
|
func (s *Store) Intentions(ws memdb.WatchSet) (uint64, structs.Intentions, error) {
|
|
|
|
tx := s.db.Txn(false)
|
|
|
|
defer tx.Abort()
|
|
|
|
|
|
|
|
// Get the index
|
|
|
|
idx := maxIndexTxn(tx, intentionsTableName)
|
2018-06-15 20:03:19 +00:00
|
|
|
if idx < 1 {
|
|
|
|
idx = 1
|
|
|
|
}
|
2018-02-28 17:53:21 +00:00
|
|
|
|
|
|
|
// Get all intentions
|
|
|
|
iter, err := tx.Get(intentionsTableName, "id")
|
|
|
|
if err != nil {
|
|
|
|
return 0, nil, fmt.Errorf("failed intention lookup: %s", err)
|
|
|
|
}
|
|
|
|
ws.Add(iter.WatchCh())
|
|
|
|
|
|
|
|
var results structs.Intentions
|
|
|
|
for ixn := iter.Next(); ixn != nil; ixn = iter.Next() {
|
2018-06-12 11:26:12 +00:00
|
|
|
results = append(results, ixn.(*structs.Intention))
|
2018-02-28 17:53:21 +00:00
|
|
|
}
|
2018-06-08 12:10:06 +00:00
|
|
|
|
|
|
|
// Sort by precedence just because that's nicer and probably what most clients
|
|
|
|
// want for presentation.
|
|
|
|
sort.Sort(structs.IntentionPrecedenceSorter(results))
|
|
|
|
|
2018-02-28 17:53:21 +00:00
|
|
|
return idx, results, nil
|
|
|
|
}
|
|
|
|
|
2018-02-28 06:25:05 +00:00
|
|
|
// IntentionSet creates or updates an intention.
|
|
|
|
func (s *Store) IntentionSet(idx uint64, ixn *structs.Intention) error {
|
|
|
|
tx := s.db.Txn(true)
|
|
|
|
defer tx.Abort()
|
|
|
|
|
|
|
|
if err := s.intentionSetTxn(tx, idx, ixn); err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
|
|
|
tx.Commit()
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// intentionSetTxn is the inner method used to insert an intention with
|
|
|
|
// the proper indexes into the state store.
|
|
|
|
func (s *Store) intentionSetTxn(tx *memdb.Txn, idx uint64, ixn *structs.Intention) error {
|
|
|
|
// ID is required
|
|
|
|
if ixn.ID == "" {
|
|
|
|
return ErrMissingIntentionID
|
|
|
|
}
|
|
|
|
|
2018-06-12 11:26:12 +00:00
|
|
|
// Ensure Precedence is populated correctly on "write"
|
|
|
|
ixn.UpdatePrecedence()
|
|
|
|
|
2018-02-28 06:25:05 +00:00
|
|
|
// Check for an existing intention
|
|
|
|
existing, err := tx.First(intentionsTableName, "id", ixn.ID)
|
|
|
|
if err != nil {
|
2018-04-05 11:41:49 +00:00
|
|
|
return fmt.Errorf("failed intention lookup: %s", err)
|
2018-02-28 06:25:05 +00:00
|
|
|
}
|
|
|
|
if existing != nil {
|
2018-03-03 16:43:19 +00:00
|
|
|
oldIxn := existing.(*structs.Intention)
|
|
|
|
ixn.CreateIndex = oldIxn.CreateIndex
|
|
|
|
ixn.CreatedAt = oldIxn.CreatedAt
|
2018-02-28 06:25:05 +00:00
|
|
|
} else {
|
|
|
|
ixn.CreateIndex = idx
|
|
|
|
}
|
|
|
|
ixn.ModifyIndex = idx
|
|
|
|
|
2018-04-05 11:41:49 +00:00
|
|
|
// Check for duplicates on the 4-tuple.
|
|
|
|
duplicate, err := tx.First(intentionsTableName, "source_destination",
|
|
|
|
ixn.SourceNS, ixn.SourceName, ixn.DestinationNS, ixn.DestinationName)
|
|
|
|
if err != nil {
|
|
|
|
return fmt.Errorf("failed intention lookup: %s", err)
|
|
|
|
}
|
|
|
|
if duplicate != nil {
|
|
|
|
dupIxn := duplicate.(*structs.Intention)
|
2018-04-19 11:06:32 +00:00
|
|
|
// Same ID is OK - this is an update
|
|
|
|
if dupIxn.ID != ixn.ID {
|
|
|
|
return fmt.Errorf("duplicate intention found: %s", dupIxn.String())
|
|
|
|
}
|
2018-04-05 11:41:49 +00:00
|
|
|
}
|
|
|
|
|
2018-03-03 17:16:26 +00:00
|
|
|
// We always force meta to be non-nil so that we its an empty map.
|
|
|
|
// This makes it easy for API responses to not nil-check this everywhere.
|
|
|
|
if ixn.Meta == nil {
|
|
|
|
ixn.Meta = make(map[string]string)
|
|
|
|
}
|
|
|
|
|
2018-02-28 06:25:05 +00:00
|
|
|
// Insert
|
|
|
|
if err := tx.Insert(intentionsTableName, ixn); err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
if err := tx.Insert("index", &IndexEntry{intentionsTableName, idx}); err != nil {
|
|
|
|
return fmt.Errorf("failed updating index: %s", err)
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// IntentionGet returns the given intention by ID.
|
|
|
|
func (s *Store) IntentionGet(ws memdb.WatchSet, id string) (uint64, *structs.Intention, error) {
|
|
|
|
tx := s.db.Txn(false)
|
|
|
|
defer tx.Abort()
|
|
|
|
|
|
|
|
// Get the table index.
|
|
|
|
idx := maxIndexTxn(tx, intentionsTableName)
|
2018-06-15 20:03:19 +00:00
|
|
|
if idx < 1 {
|
|
|
|
idx = 1
|
|
|
|
}
|
2018-02-28 06:25:05 +00:00
|
|
|
|
|
|
|
// Look up by its ID.
|
|
|
|
watchCh, intention, err := tx.FirstWatch(intentionsTableName, "id", id)
|
|
|
|
if err != nil {
|
|
|
|
return 0, nil, fmt.Errorf("failed intention lookup: %s", err)
|
|
|
|
}
|
|
|
|
ws.Add(watchCh)
|
|
|
|
|
|
|
|
// Convert the interface{} if it is non-nil
|
|
|
|
var result *structs.Intention
|
|
|
|
if intention != nil {
|
|
|
|
result = intention.(*structs.Intention)
|
|
|
|
}
|
|
|
|
|
|
|
|
return idx, result, nil
|
|
|
|
}
|
2018-03-01 05:21:59 +00:00
|
|
|
|
|
|
|
// IntentionDelete deletes the given intention by ID.
|
|
|
|
func (s *Store) IntentionDelete(idx uint64, id string) error {
|
|
|
|
tx := s.db.Txn(true)
|
|
|
|
defer tx.Abort()
|
|
|
|
|
|
|
|
if err := s.intentionDeleteTxn(tx, idx, id); err != nil {
|
|
|
|
return fmt.Errorf("failed intention delete: %s", err)
|
|
|
|
}
|
|
|
|
|
|
|
|
tx.Commit()
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// intentionDeleteTxn is the inner method used to delete a intention
|
|
|
|
// with the proper indexes into the state store.
|
|
|
|
func (s *Store) intentionDeleteTxn(tx *memdb.Txn, idx uint64, queryID string) error {
|
|
|
|
// Pull the query.
|
|
|
|
wrapped, err := tx.First(intentionsTableName, "id", queryID)
|
|
|
|
if err != nil {
|
|
|
|
return fmt.Errorf("failed intention lookup: %s", err)
|
|
|
|
}
|
|
|
|
if wrapped == nil {
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// Delete the query and update the index.
|
|
|
|
if err := tx.Delete(intentionsTableName, wrapped); err != nil {
|
|
|
|
return fmt.Errorf("failed intention delete: %s", err)
|
|
|
|
}
|
|
|
|
if err := tx.Insert("index", &IndexEntry{intentionsTableName, idx}); err != nil {
|
|
|
|
return fmt.Errorf("failed updating index: %s", err)
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
|
|
|
}
|
2018-03-02 20:56:39 +00:00
|
|
|
|
|
|
|
// IntentionMatch returns the list of intentions that match the namespace and
|
|
|
|
// name for either a source or destination. This applies the resolution rules
|
|
|
|
// so wildcards will match any value.
|
|
|
|
//
|
|
|
|
// The returned value is the list of intentions in the same order as the
|
|
|
|
// entries in args. The intentions themselves are sorted based on the
|
|
|
|
// intention precedence rules. i.e. result[0][0] is the highest precedent
|
|
|
|
// rule to match for the first entry.
|
|
|
|
func (s *Store) IntentionMatch(ws memdb.WatchSet, args *structs.IntentionQueryMatch) (uint64, []structs.Intentions, error) {
|
|
|
|
tx := s.db.Txn(false)
|
|
|
|
defer tx.Abort()
|
|
|
|
|
|
|
|
// Get the table index.
|
|
|
|
idx := maxIndexTxn(tx, intentionsTableName)
|
2018-06-15 20:03:19 +00:00
|
|
|
if idx < 1 {
|
|
|
|
idx = 1
|
|
|
|
}
|
2018-03-02 20:56:39 +00:00
|
|
|
|
|
|
|
// Make all the calls and accumulate the results
|
|
|
|
results := make([]structs.Intentions, len(args.Entries))
|
|
|
|
for i, entry := range args.Entries {
|
|
|
|
// Each search entry may require multiple queries to memdb, so this
|
|
|
|
// returns the arguments for each necessary Get. Note on performance:
|
|
|
|
// this is not the most optimal set of queries since we repeat some
|
|
|
|
// many times (such as */*). We can work on improving that in the
|
|
|
|
// future, the test cases shouldn't have to change for that.
|
|
|
|
getParams, err := s.intentionMatchGetParams(entry)
|
|
|
|
if err != nil {
|
|
|
|
return 0, nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
// Perform each call and accumulate the result.
|
|
|
|
var ixns structs.Intentions
|
|
|
|
for _, params := range getParams {
|
|
|
|
iter, err := tx.Get(intentionsTableName, string(args.Type), params...)
|
|
|
|
if err != nil {
|
|
|
|
return 0, nil, fmt.Errorf("failed intention lookup: %s", err)
|
|
|
|
}
|
|
|
|
|
|
|
|
ws.Add(iter.WatchCh())
|
|
|
|
|
|
|
|
for ixn := iter.Next(); ixn != nil; ixn = iter.Next() {
|
2018-06-12 11:26:12 +00:00
|
|
|
ixns = append(ixns, ixn.(*structs.Intention))
|
2018-03-02 20:56:39 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Sort the results by precedence
|
|
|
|
sort.Sort(structs.IntentionPrecedenceSorter(ixns))
|
|
|
|
|
|
|
|
// Store the result
|
|
|
|
results[i] = ixns
|
|
|
|
}
|
|
|
|
|
|
|
|
return idx, results, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// intentionMatchGetParams returns the tx.Get parameters to find all the
|
|
|
|
// intentions for a certain entry.
|
|
|
|
func (s *Store) intentionMatchGetParams(entry structs.IntentionMatchEntry) ([][]interface{}, error) {
|
|
|
|
// We always query for "*/*" so include that. If the namespace is a
|
|
|
|
// wildcard, then we're actually done.
|
|
|
|
result := make([][]interface{}, 0, 3)
|
2020-01-13 20:51:40 +00:00
|
|
|
result = append(result, []interface{}{structs.WildcardSpecifier, structs.WildcardSpecifier})
|
|
|
|
if entry.Namespace == structs.WildcardSpecifier {
|
2018-03-02 20:56:39 +00:00
|
|
|
return result, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// Search for NS/* intentions. If we have a wildcard name, then we're done.
|
2020-01-13 20:51:40 +00:00
|
|
|
result = append(result, []interface{}{entry.Namespace, structs.WildcardSpecifier})
|
|
|
|
if entry.Name == structs.WildcardSpecifier {
|
2018-03-02 20:56:39 +00:00
|
|
|
return result, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// Search for the exact NS/N value.
|
|
|
|
result = append(result, []interface{}{entry.Namespace, entry.Name})
|
|
|
|
return result, nil
|
|
|
|
}
|