Files
tasks/service/history/visibility_queue_task_executor.go
Rodrigo ZhouandGitHub cc2aca7378 Add dynamic configs for min size to remove attributes from mutable state and disabling fetch from visibility (#6686)
## What changed?
<!-- Describe what has changed in this PR -->
Added two dynamic configs:
- min blob size of memo or search attributes to be removed from mutable
state after the close visibility task is done.
- disabling fetch those attributes from visibility in the describe
workflow API.

## Why?
<!-- Tell your future self why have you made these changes -->

## How did you test it?
<!-- How have you verified this change? Tested locally? Added a unit
test? Checked in staging env? -->
Unit tests, and verified locally.

## Potential risks
<!-- Assuming the worst case, what can be broken when deploying this
change to production? -->

## Documentation
<!-- Have you made sure this change doesn't falsify anything currently
stated in `docs/`? If significant
new behavior is added, have you described that in `docs/`? -->

## Is hotfix candidate?
<!-- Is this PR a hotfix candidate or does it require a notification to
be sent to the broader community? (Yes/No) -->
2024-10-25 12:33:59 -05:00

496 lines
16 KiB
Go

// The MIT License
//
// Copyright (c) 2020 Temporal Technologies Inc. All rights reserved.
//
// Copyright (c) 2020 Uber Technologies, Inc.
//
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
//
// The above copyright notice and this permission notice shall be included in
// all copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.
package history
import (
"context"
"time"
commonpb "go.temporal.io/api/common/v1"
enumspb "go.temporal.io/api/enums/v1"
"go.temporal.io/api/serviceerror"
"go.temporal.io/server/common"
"go.temporal.io/server/common/definition"
"go.temporal.io/server/common/dynamicconfig"
"go.temporal.io/server/common/log"
"go.temporal.io/server/common/metrics"
"go.temporal.io/server/common/namespace"
"go.temporal.io/server/common/persistence/visibility/manager"
"go.temporal.io/server/common/primitives/timestamp"
"go.temporal.io/server/service/history/consts"
"go.temporal.io/server/service/history/queues"
"go.temporal.io/server/service/history/shard"
"go.temporal.io/server/service/history/tasks"
"go.temporal.io/server/service/history/workflow"
wcache "go.temporal.io/server/service/history/workflow/cache"
)
type (
visibilityQueueTaskExecutor struct {
shardContext shard.Context
cache wcache.Cache
logger log.Logger
metricProvider metrics.Handler
visibilityMgr manager.VisibilityManager
ensureCloseBeforeDelete dynamicconfig.BoolPropertyFn
enableCloseWorkflowCleanup dynamicconfig.BoolPropertyFnWithNamespaceFilter
relocateAttributesMinBlobSize dynamicconfig.IntPropertyFnWithNamespaceFilter
}
)
var errUnknownVisibilityTask = serviceerror.NewInternal("unknown visibility task")
func newVisibilityQueueTaskExecutor(
shardContext shard.Context,
workflowCache wcache.Cache,
visibilityMgr manager.VisibilityManager,
logger log.Logger,
metricProvider metrics.Handler,
ensureCloseBeforeDelete dynamicconfig.BoolPropertyFn,
enableCloseWorkflowCleanup dynamicconfig.BoolPropertyFnWithNamespaceFilter,
relocateAttributesMinBlobSize dynamicconfig.IntPropertyFnWithNamespaceFilter,
) queues.Executor {
return &visibilityQueueTaskExecutor{
shardContext: shardContext,
cache: workflowCache,
logger: logger,
metricProvider: metricProvider,
visibilityMgr: visibilityMgr,
ensureCloseBeforeDelete: ensureCloseBeforeDelete,
enableCloseWorkflowCleanup: enableCloseWorkflowCleanup,
relocateAttributesMinBlobSize: relocateAttributesMinBlobSize,
}
}
func (t *visibilityQueueTaskExecutor) Execute(
ctx context.Context,
executable queues.Executable,
) queues.ExecuteResponse {
task := executable.GetTask()
taskType := queues.GetVisibilityTaskTypeTagValue(task)
namespaceTag, replicationState := getNamespaceTagAndReplicationStateByID(
t.shardContext.GetNamespaceRegistry(),
task.GetNamespaceID(),
)
metricsTags := []metrics.Tag{
namespaceTag,
metrics.TaskTypeTag(taskType),
metrics.OperationTag(taskType), // for backward compatibility
}
if replicationState == enumspb.REPLICATION_STATE_HANDOVER {
// TODO: exclude task types here if we believe it's safe & necessary to execute
// them during namespace handover.
// Visibility tasks should all be safe, but close execution task
// might do a setWorkflowExecution to clean up memo and search attributes, which
// will be blocked by shard context during ns handover
// TODO: move this logic to queues.Executable when metrics tag doesn't need to
// be returned from task executor
return queues.ExecuteResponse{
ExecutionMetricTags: metricsTags,
ExecutedAsActive: true,
ExecutionErr: consts.ErrNamespaceHandover,
}
}
var err error
switch task := task.(type) {
case *tasks.StartExecutionVisibilityTask:
err = t.processStartExecution(ctx, task)
case *tasks.UpsertExecutionVisibilityTask:
err = t.processUpsertExecution(ctx, task)
case *tasks.CloseExecutionVisibilityTask:
err = t.processCloseExecution(ctx, task)
case *tasks.DeleteExecutionVisibilityTask:
err = t.processDeleteExecution(ctx, task)
default:
err = errUnknownVisibilityTask
}
return queues.ExecuteResponse{
ExecutionMetricTags: metricsTags,
ExecutedAsActive: true,
ExecutionErr: err,
}
}
func (t *visibilityQueueTaskExecutor) processStartExecution(
ctx context.Context,
task *tasks.StartExecutionVisibilityTask,
) (retError error) {
ctx, cancel := context.WithTimeout(ctx, taskTimeout)
defer cancel()
namespaceEntry, err := t.shardContext.GetNamespaceRegistry().
GetNamespaceByID(namespace.ID(task.GetNamespaceID()))
if err != nil {
return err
}
weContext, release, err := getWorkflowExecutionContextForTask(ctx, t.shardContext, t.cache, task)
if err != nil {
return err
}
defer func() { release(retError) }()
mutableState, err := weContext.LoadMutableState(ctx, t.shardContext)
if err != nil {
return err
}
if mutableState == nil || !mutableState.IsWorkflowExecutionRunning() {
return nil
}
// verify task version for RecordWorkflowStarted.
// upsert doesn't require verifyTask, because it is just a sync of mutableState.
startVersion, err := mutableState.GetStartVersion()
if err != nil {
return err
}
err = CheckTaskVersion(t.shardContext, t.logger, mutableState.GetNamespaceEntry(), startVersion, task.Version, task)
if err != nil {
return err
}
requestBase := t.getVisibilityRequestBase(task, namespaceEntry, mutableState)
// NOTE: do not access anything related mutable state after this lock release
// release the context lock since we no longer need mutable state and
// the rest of logic is making RPC call, which takes time.
release(nil)
return t.visibilityMgr.RecordWorkflowExecutionStarted(
ctx,
&manager.RecordWorkflowExecutionStartedRequest{
VisibilityRequestBase: requestBase,
},
)
}
func (t *visibilityQueueTaskExecutor) processUpsertExecution(
ctx context.Context,
task *tasks.UpsertExecutionVisibilityTask,
) (retError error) {
ctx, cancel := context.WithTimeout(ctx, taskTimeout)
defer cancel()
namespaceEntry, err := t.shardContext.GetNamespaceRegistry().
GetNamespaceByID(namespace.ID(task.GetNamespaceID()))
if err != nil {
return err
}
weContext, release, err := getWorkflowExecutionContextForTask(ctx, t.shardContext, t.cache, task)
if err != nil {
return err
}
defer func() { release(retError) }()
mutableState, err := weContext.LoadMutableState(ctx, t.shardContext)
if err != nil {
return err
}
if mutableState == nil || !mutableState.IsWorkflowExecutionRunning() {
return nil
}
requestBase := t.getVisibilityRequestBase(task, namespaceEntry, mutableState)
// NOTE: do not access anything related mutable state after this lock release
// release the context lock since we no longer need mutable state and
// the rest of logic is making RPC call, which takes time.
release(nil)
return t.visibilityMgr.UpsertWorkflowExecution(
ctx,
&manager.UpsertWorkflowExecutionRequest{
VisibilityRequestBase: requestBase,
},
)
}
func (t *visibilityQueueTaskExecutor) processCloseExecution(
parentCtx context.Context,
task *tasks.CloseExecutionVisibilityTask,
) (retError error) {
ctx, cancel := context.WithTimeout(parentCtx, taskTimeout)
defer cancel()
namespaceEntry, err := t.shardContext.GetNamespaceRegistry().
GetNamespaceByID(namespace.ID(task.GetNamespaceID()))
if err != nil {
return err
}
weContext, release, err := getWorkflowExecutionContextForTask(ctx, t.shardContext, t.cache, task)
if err != nil {
return err
}
defer func() { release(retError) }()
mutableState, err := weContext.LoadMutableState(ctx, t.shardContext)
if err != nil {
return err
}
if mutableState == nil || mutableState.IsWorkflowExecutionRunning() {
return nil
}
closeVersion, err := mutableState.GetCloseVersion()
if err != nil {
return err
}
err = CheckTaskVersion(t.shardContext, t.logger, mutableState.GetNamespaceEntry(), closeVersion, task.Version, task)
if err != nil {
return err
}
wfCloseTime, err := mutableState.GetWorkflowCloseTime(ctx)
if err != nil {
return err
}
wfExecutionDuration, err := mutableState.GetWorkflowExecutionDuration(ctx)
if err != nil {
return err
}
historyLength := mutableState.GetNextEventID() - 1
executionInfo := mutableState.GetExecutionInfo()
stateTransitionCount := executionInfo.GetStateTransitionCount()
historySizeBytes := executionInfo.GetExecutionStats().GetHistorySize()
requestBase := t.getVisibilityRequestBase(task, namespaceEntry, mutableState)
// NOTE: do not access anything related mutable state after this lock release
// release the context lock since we no longer need mutable state and
// the rest of logic is making RPC call, which takes time.
release(nil)
err = t.visibilityMgr.RecordWorkflowExecutionClosed(
ctx,
&manager.RecordWorkflowExecutionClosedRequest{
VisibilityRequestBase: requestBase,
CloseTime: wfCloseTime,
ExecutionDuration: wfExecutionDuration,
HistoryLength: historyLength,
HistorySizeBytes: historySizeBytes,
StateTransitionCount: stateTransitionCount,
},
)
if err != nil {
return err
}
// Elasticsearch bulk processor doesn't respect context timeout
// because under heavy load bulk flush might take longer than taskTimeout.
// Therefore, ctx timeout might be already expired
// and parentCtx (which doesn't have timeout) must be used everywhere bellow.
if t.needRunCleanUp(requestBase) {
return t.cleanupExecutionInfo(parentCtx, task)
}
return nil
}
func (t *visibilityQueueTaskExecutor) needRunCleanUp(
request *manager.VisibilityRequestBase,
) bool {
if !t.enableCloseWorkflowCleanup(request.Namespace.String()) {
return false
}
// If there are no memo nor search attributes, then no clean up is necessary.
if len(request.Memo.GetFields()) == 0 && len(request.SearchAttributes.GetIndexedFields()) == 0 {
return false
}
minSize := t.relocateAttributesMinBlobSize(request.Namespace.String())
return request.Memo.Size()+request.SearchAttributes.Size() >= minSize
}
func (t *visibilityQueueTaskExecutor) processDeleteExecution(
ctx context.Context,
task *tasks.DeleteExecutionVisibilityTask,
) (retError error) {
ctx, cancel := context.WithTimeout(ctx, taskTimeout)
defer cancel()
request := &manager.VisibilityDeleteWorkflowExecutionRequest{
NamespaceID: namespace.ID(task.NamespaceID),
WorkflowID: task.WorkflowID,
RunID: task.RunID,
TaskID: task.TaskID,
}
if task.CloseTime.After(time.Unix(0, 0)) {
request.CloseTime = &task.CloseTime
}
if t.ensureCloseBeforeDelete() {
// If visibility delete task is executed before visibility close task then visibility close task
// (which change workflow execution status by uploading new visibility record) will resurrect visibility record.
//
// Queue states/ack levels are updated with delay (default 30s). Therefore, this check could return false
// if the workflow was closed and then deleted within this delay period.
if t.isCloseExecutionVisibilityTaskPending(task) {
// Return retryable error for task processor to retry the operation later.
return consts.ErrDependencyTaskNotCompleted
}
}
return t.visibilityMgr.DeleteWorkflowExecution(ctx, request)
}
func (t *visibilityQueueTaskExecutor) getVisibilityRequestBase(
task tasks.Task,
namespaceEntry *namespace.Namespace,
mutableState workflow.MutableState,
) *manager.VisibilityRequestBase {
var (
executionInfo = mutableState.GetExecutionInfo()
startTime = timestamp.TimeValue(mutableState.GetExecutionState().GetStartTime())
executionTime = timestamp.TimeValue(executionInfo.GetExecutionTime())
visibilityMemo = getWorkflowMemo(copyMapPayload(executionInfo.Memo))
searchAttributes = getSearchAttributes(copyMapPayload(executionInfo.SearchAttributes))
)
var parentExecution *commonpb.WorkflowExecution
if executionInfo.ParentWorkflowId != "" && executionInfo.ParentRunId != "" {
parentExecution = &commonpb.WorkflowExecution{
WorkflowId: executionInfo.ParentWorkflowId,
RunId: executionInfo.ParentRunId,
}
}
// Data from mutable state used to build VisibilityRequestBase must be deep
// copied to ensure that the mutable state is not accessed after the workflow
// lock is released and that there is no data race.
return &manager.VisibilityRequestBase{
NamespaceID: namespaceEntry.ID(),
Namespace: namespaceEntry.Name(),
Execution: &commonpb.WorkflowExecution{
WorkflowId: task.GetWorkflowID(),
RunId: task.GetRunID(),
},
WorkflowTypeName: executionInfo.WorkflowTypeName,
StartTime: startTime,
Status: mutableState.GetExecutionState().GetStatus(),
ExecutionTime: executionTime,
TaskID: task.GetTaskID(),
ShardID: t.shardContext.GetShardID(),
Memo: visibilityMemo,
TaskQueue: executionInfo.TaskQueue,
SearchAttributes: searchAttributes,
ParentExecution: parentExecution,
RootExecution: &commonpb.WorkflowExecution{
WorkflowId: executionInfo.RootWorkflowId,
RunId: executionInfo.RootRunId,
},
}
}
func (t *visibilityQueueTaskExecutor) isCloseExecutionVisibilityTaskPending(task *tasks.DeleteExecutionVisibilityTask) bool {
CloseExecutionVisibilityTaskID := task.CloseExecutionVisibilityTaskID
// taskID == 0 if workflow still running in passive cluster or closed before this field was added (v1.17).
if CloseExecutionVisibilityTaskID == 0 {
return false
}
// check if close execution visibility task is completed
visibilityQueueState, ok := t.shardContext.GetQueueState(tasks.CategoryVisibility)
if !ok {
return true
}
queryTask := &tasks.CloseExecutionVisibilityTask{
WorkflowKey: definition.NewWorkflowKey(task.GetNamespaceID(), task.GetWorkflowID(), task.GetRunID()),
TaskID: CloseExecutionVisibilityTaskID,
}
return !queues.IsTaskAcked(queryTask, visibilityQueueState)
}
// cleanupExecutionInfo cleans up workflow execution info after visibility close
// task has been processed and acked by visibility store.
func (t *visibilityQueueTaskExecutor) cleanupExecutionInfo(
ctx context.Context,
task *tasks.CloseExecutionVisibilityTask,
) (retError error) {
ctx, cancel := context.WithTimeout(ctx, taskTimeout)
defer cancel()
weContext, release, err := getWorkflowExecutionContextForTask(ctx, t.shardContext, t.cache, task)
if err != nil {
return err
}
defer func() { release(retError) }()
mutableState, err := weContext.LoadMutableState(ctx, t.shardContext)
if err != nil {
return err
}
if mutableState == nil || mutableState.IsWorkflowExecutionRunning() {
return nil
}
closeVersion, err := mutableState.GetCloseVersion()
if err != nil {
return err
}
err = CheckTaskVersion(t.shardContext, t.logger, mutableState.GetNamespaceEntry(), closeVersion, task.Version, task)
if err != nil {
return err
}
executionInfo := mutableState.GetExecutionInfo()
executionInfo.Memo = nil
executionInfo.SearchAttributes = nil
executionInfo.RelocatableAttributesRemoved = true
return weContext.SetWorkflowExecution(ctx, t.shardContext)
}
func getWorkflowMemo(
memoFields map[string]*commonpb.Payload,
) *commonpb.Memo {
if memoFields == nil {
return nil
}
return &commonpb.Memo{Fields: memoFields}
}
func getSearchAttributes(
indexedFields map[string]*commonpb.Payload,
) *commonpb.SearchAttributes {
if indexedFields == nil {
return nil
}
return &commonpb.SearchAttributes{IndexedFields: indexedFields}
}
func copyMapPayload(input map[string]*commonpb.Payload) map[string]*commonpb.Payload {
if input == nil {
return nil
}
result := make(map[string]*commonpb.Payload, len(input))
for k, v := range input {
result[k] = common.CloneProto(v)
}
return result
}