pulumi/pkg/backend/local/state.go
Sean Gillespie 2c479c172d
Lift snapshot management out of the engine and serialize writes to snapshot (#1069)
* Lift snapshot management out of the engine

This PR is a prerequisite for parallelism by addressing a major problem
that the engine has to deal with when performing parallel resource
construction: parallel mutation of the global snapshot. This PR adds
a `SnapshotManager` type that is responsible for maintaining and
persisting the current resource snapshot. It serializes all reads and
writes to the global snapshot and persists the snapshot to persistent
storage upon every write.

As a side-effect of this, the core engine no longer needs to know about
snapshot management at all; all snapshot operations can be handled as
callbacks on deployment events. This will greatly simplify the
parallelization of the core engine.

Worth noting is that the core engine will still need to be able to read
the current snapshot, since it is interested in the dependency graphs
contained within. The full implications of that are out of scope of this
PR.

Remove dead code, Steps no longer need a reference to the plan iterator that created them

Fixing various issues that arise when bringing up pulumi-aws

Line length broke the build

Code review: remove dead field, fix yaml name error

Rebase against master, provide implementation of StackPersister for cloud backend

Code review feedback: comments on MutationStatus, style in snapshot.go

Code review feedback: move SnapshotManager to pkg/backend, change engine to use an interface SnapshotManager

Code review feedback: use a channel for synchronization

Add a comment and a new test

* Maintain two checkpoints, an immutable base and a mutable delta, and
periodically merge the two to produce snapshots

* Add a lot of tests - covers all of the non-error paths of BeginMutation and End

* Fix a test resource provider

* Add a few tests, fix a few issues

* Rebase against master, fixed merge
2018-04-12 09:55:34 -07:00

341 lines
9.5 KiB
Go

// Copyright 2016-2018, Pulumi Corporation. All rights reserved.
package local
import (
"encoding/json"
"fmt"
"io/ioutil"
"os"
"path"
"path/filepath"
"strings"
"time"
"github.com/golang/glog"
"github.com/pkg/errors"
"github.com/pulumi/pulumi/pkg/backend"
"github.com/pulumi/pulumi/pkg/encoding"
"github.com/pulumi/pulumi/pkg/resource/config"
"github.com/pulumi/pulumi/pkg/resource/deploy"
"github.com/pulumi/pulumi/pkg/resource/stack"
"github.com/pulumi/pulumi/pkg/tokens"
"github.com/pulumi/pulumi/pkg/util/cmdutil"
"github.com/pulumi/pulumi/pkg/util/contract"
"github.com/pulumi/pulumi/pkg/workspace"
)
const DisableCheckpointBackupsEnvVar = "PULUMI_DISABLE_CHECKPOINT_BACKUPS"
// DisableIntegrityChecking can be set to true to disable checkpoint state integrity verification. This is not
// recommended, because it could mean proceeding even in the face of a corrupted checkpoint state file, but can
// be used as a last resort when a command absolutely must be run.
var DisableIntegrityChecking bool
// update is an implementation of engine.Update backed by local state.
type update struct {
root string
proj *workspace.Project
target *deploy.Target
}
func (u *update) GetRoot() string {
return u.root
}
func (u *update) GetProject() *workspace.Project {
return u.proj
}
func (u *update) GetTarget() *deploy.Target {
return u.target
}
func (b *localBackend) newUpdate(stackName tokens.QName, proj *workspace.Project, root string) (*update, error) {
contract.Require(stackName != "", "stackName")
// Construct the deployment target.
target, err := b.getTarget(stackName)
if err != nil {
return nil, err
}
// Construct and return a new update.
return &update{
root: root,
proj: proj,
target: target,
}, nil
}
func (b *localBackend) newSnapshotPersister() *localSnapshotPersister {
return &localSnapshotPersister{}
}
func (b *localBackend) getTarget(stackName tokens.QName) (*deploy.Target, error) {
stk, err := workspace.DetectProjectStack(stackName)
if err != nil {
return nil, err
}
decrypter, err := defaultCrypter(stackName, stk.Config)
if err != nil {
return nil, err
}
_, snapshot, _, err := getStack(stackName)
if err != nil {
return nil, err
}
return &deploy.Target{
Name: stackName,
Config: stk.Config,
Decrypter: decrypter,
Snapshot: snapshot,
}, nil
}
func getStack(name tokens.QName) (config.Map, *deploy.Snapshot, string, error) {
if name == "" {
return nil, nil, "", errors.New("invalid empty stack name")
}
// Find a path to the stack file.
w, err := workspace.New()
if err != nil {
return nil, nil, "", err
}
file := w.StackPath(name)
chk, err := stack.GetCheckpoint(w, name)
if err != nil {
return nil, nil, file, errors.Wrap(err, "failed to load checkpoint")
}
// Materialize an actual snapshot object.
snapshot, err := stack.DeserializeCheckpoint(chk)
if err != nil {
return nil, nil, "", err
}
// Ensure the snapshot passes verification before returning it, to catch bugs early.
if !DisableIntegrityChecking && snapshot != nil {
if verifyerr := snapshot.VerifyIntegrity(); verifyerr != nil {
return nil, nil, file,
errors.Wrapf(verifyerr, "%s: snapshot integrity failure; refusing to use it", file)
}
}
return chk.Config, snapshot, file, nil
}
func saveStack(name tokens.QName, config map[config.Key]config.Value, snap *deploy.Snapshot) (string, error) {
w, err := workspace.New()
if err != nil {
return "", err
}
// Make a serializable stack and then use the encoder to encode it.
file := w.StackPath(name)
m, ext := encoding.Detect(file)
if m == nil {
return "", errors.Errorf("resource serialization failed; illegal markup extension: '%v'", ext)
}
if filepath.Ext(file) == "" {
file = file + ext
}
chk := stack.SerializeCheckpoint(name, config, snap)
b, err := m.Marshal(chk)
if err != nil {
return "", errors.Wrap(err, "An IO error occurred during the current operation")
}
// Back up the existing file if it already exists.
bck := backupTarget(file)
// Ensure the directory exists.
if err = os.MkdirAll(filepath.Dir(file), 0700); err != nil {
return "", errors.Wrap(err, "An IO error occurred during the current operation")
}
// And now write out the new snapshot file, overwriting that location.
if err = ioutil.WriteFile(file, b, 0600); err != nil {
return "", errors.Wrap(err, "An IO error occurred during the current operation")
}
glog.V(7).Infof("Saved stack %s checkpoint to: %s (backup=%s)", name, file, bck)
// And if we are retaining historical checkpoint information, write it out again
if cmdutil.IsTruthy(os.Getenv("PULUMI_RETAIN_CHECKPOINTS")) {
if err = ioutil.WriteFile(fmt.Sprintf("%v.%v", file, time.Now().UnixNano()), b, 0600); err != nil {
return "", errors.Wrap(err, "An IO error occurred during the current operation")
}
}
if !DisableIntegrityChecking && snap != nil {
// Finally, *after* writing the checkpoint, check the integrity. This is done afterwards so that we write
// out the checkpoint file since it may contain resource state updates. But we will warn the user that the
// file is already written and might be bad.
if verifyerr := snap.VerifyIntegrity(); verifyerr != nil {
return "", errors.Wrapf(verifyerr,
"%s: snapshot integrity failure; it was already written, but is invalid (backup available at %s)",
file, bck)
}
}
return file, nil
}
// removeStack removes information about a stack from the current workspace.
func removeStack(name tokens.QName) error {
contract.Require(name != "", "name")
w, err := workspace.New()
if err != nil {
return err
}
// Just make a backup of the file and don't write out anything new.
file := w.StackPath(name)
backupTarget(file)
historyDir := w.HistoryDirectory(name)
return os.RemoveAll(historyDir)
}
// backupTarget makes a backup of an existing file, in preparation for writing a new one. Instead of a copy, it
// simply renames the file, which is simpler, more efficient, etc.
func backupTarget(file string) string {
contract.Require(file != "", "file")
bck := file + ".bak"
err := os.Rename(file, bck)
contract.IgnoreError(err) // ignore errors.
// IDEA: consider multiple backups (.bak.bak.bak...etc).
return bck
}
// backupStack copies the current Checkpoint file to ~/.pulumi/backups.
func backupStack(name tokens.QName) error {
contract.Require(name != "", "name")
// Exit early if backups are disabled.
if cmdutil.IsTruthy(os.Getenv(DisableCheckpointBackupsEnvVar)) {
return nil
}
w, err := workspace.New()
if err != nil {
return err
}
// Read the current checkpoint file. (Assuming it aleady exists.)
stackPath := w.StackPath(name)
b, err := ioutil.ReadFile(stackPath)
if err != nil {
return err
}
// Get the backup directory.
backupDir, err := w.BackupDirectory()
if err != nil {
return err
}
// Ensure the backup directory exists.
if err = os.MkdirAll(backupDir, 0700); err != nil {
return err
}
// Write out the new backup checkpoint file.
stackFile := filepath.Base(stackPath)
ext := filepath.Ext(stackFile)
base := strings.TrimSuffix(stackFile, ext)
backupFile := fmt.Sprintf("%s.%v%s", base, time.Now().UnixNano(), ext)
return ioutil.WriteFile(filepath.Join(backupDir, backupFile), b, 0600)
}
// getHistory returns locally stored update history. The first element of the result will be
// the most recent update record.
func getHistory(name tokens.QName) ([]backend.UpdateInfo, error) {
w, err := workspace.New()
if err != nil {
return nil, err
}
contract.Require(name != "", "name")
dir := w.HistoryDirectory(name)
allFiles, err := ioutil.ReadDir(dir)
if err != nil {
// History doesn't exist until a stack has been updated.
if os.IsNotExist(err) {
return nil, nil
}
return nil, err
}
var updates []backend.UpdateInfo
// os.ReadDir returns the array sorted by file name, but because of how we name files, older updates come before
// newer ones. Loop backwards so we added the newest updates to the array we will return first.
for i := len(allFiles) - 1; i >= 0; i-- {
file := allFiles[i]
filepath := path.Join(dir, file.Name())
// Open all of the history files, ignoring the checkpoints.
if !strings.HasSuffix(filepath, ".history.json") {
continue
}
var update backend.UpdateInfo
b, err := ioutil.ReadFile(filepath)
if err != nil {
return nil, errors.Wrapf(err, "reading history file %s", filepath)
}
err = json.Unmarshal(b, &update)
if err != nil {
return nil, errors.Wrapf(err, "reading history file %s", filepath)
}
updates = append(updates, update)
}
return updates, nil
}
// addToHistory saves the UpdateInfo and makes a copy of the current Checkpoint file.
func addToHistory(name tokens.QName, update backend.UpdateInfo) error {
contract.Require(name != "", "name")
w, err := workspace.New()
if err != nil {
return err
}
dir := w.HistoryDirectory(name)
if err = os.MkdirAll(dir, os.ModePerm); err != nil {
return err
}
// Prefix for the update and checkpoint files.
pathPrefix := path.Join(dir, fmt.Sprintf("%s-%d", name, time.Now().UnixNano()))
// Save the history file.
b, err := json.MarshalIndent(&update, "", " ")
if err != nil {
return err
}
historyFile := fmt.Sprintf("%s.history.json", pathPrefix)
if err = ioutil.WriteFile(historyFile, b, os.ModePerm); err != nil {
return err
}
// Make a copy of the checkpoint file. (Assuming it aleady exists.)
b, err = ioutil.ReadFile(w.StackPath(name))
if err != nil {
return err
}
checkpointFile := fmt.Sprintf("%s.checkpoint.json", pathPrefix)
return ioutil.WriteFile(checkpointFile, b, os.ModePerm)
}