|
1
|
|
|
package utils |
|
2
|
|
|
|
|
3
|
|
|
import ( |
|
4
|
|
|
"context" |
|
5
|
|
|
"crypto/rand" |
|
6
|
|
|
"encoding/binary" |
|
7
|
|
|
"errors" |
|
8
|
|
|
"fmt" |
|
9
|
|
|
"log/slog" |
|
10
|
|
|
"math" |
|
11
|
|
|
"strings" |
|
12
|
|
|
"time" |
|
13
|
|
|
|
|
14
|
|
|
"go.opentelemetry.io/otel/codes" |
|
15
|
|
|
|
|
16
|
|
|
"go.opentelemetry.io/otel/trace" |
|
17
|
|
|
|
|
18
|
|
|
"github.com/Masterminds/squirrel" |
|
19
|
|
|
|
|
20
|
|
|
base "github.com/Permify/permify/pkg/pb/base/v1" |
|
21
|
|
|
) |
|
22
|
|
|
|
|
23
|
|
|
const ( |
|
24
|
|
|
TransactionTemplate = `INSERT INTO transactions (tenant_id) VALUES ($1) RETURNING id` |
|
25
|
|
|
InsertTenantTemplate = `INSERT INTO tenants (id, name) VALUES ($1, $2) RETURNING created_at` |
|
26
|
|
|
DeleteTenantTemplate = `DELETE FROM tenants WHERE id = $1 RETURNING name, created_at` |
|
27
|
|
|
DeleteAllByTenantTemplate = `DELETE FROM %s WHERE tenant_id = $1` |
|
28
|
|
|
) |
|
29
|
|
|
|
|
30
|
|
|
// SnapshotQuery adds conditions to a SELECT query for checking transaction visibility based on created and expired transaction IDs. |
|
31
|
|
|
// The query checks if transactions are visible in a snapshot associated with the provided value. |
|
32
|
|
|
func SnapshotQuery(sl squirrel.SelectBuilder, value uint64) squirrel.SelectBuilder { |
|
33
|
|
|
// Convert the value to a string once to reduce redundant calls to fmt.Sprintf. |
|
34
|
|
|
valStr := fmt.Sprintf("'%v'::xid8", value) |
|
35
|
|
|
|
|
36
|
|
|
// Create a subquery for the snapshot associated with the provided value. |
|
37
|
|
|
snapshotQuery := fmt.Sprintf("(select snapshot from transactions where id = %s)", valStr) |
|
38
|
|
|
|
|
39
|
|
|
// Create an expression to check if a transaction with a specific created_tx_id is visible in the snapshot. |
|
40
|
|
|
visibilityExpr := squirrel.Expr(fmt.Sprintf("pg_visible_in_snapshot(created_tx_id, %s) = true", snapshotQuery)) |
|
41
|
|
|
// Create an expression to check if the created_tx_id is equal to the provided value. |
|
42
|
|
|
createdExpr := squirrel.Expr(fmt.Sprintf("created_tx_id = %s", valStr)) |
|
43
|
|
|
// Use OR condition for the created expressions. |
|
44
|
|
|
createdWhere := squirrel.Or{visibilityExpr, createdExpr} |
|
45
|
|
|
|
|
46
|
|
|
// Create an expression to check if a transaction with a specific expired_tx_id is not visible in the snapshot. |
|
47
|
|
|
expiredVisibilityExpr := squirrel.Expr(fmt.Sprintf("pg_visible_in_snapshot(expired_tx_id, %s) = false", snapshotQuery)) |
|
48
|
|
|
// Create an expression to check if the expired_tx_id is equal to zero. |
|
49
|
|
|
expiredZeroExpr := squirrel.Expr("expired_tx_id = '0'::xid8") |
|
50
|
|
|
// Create an expression to check if the expired_tx_id is not equal to the provided value. |
|
51
|
|
|
expiredNotExpr := squirrel.Expr(fmt.Sprintf("expired_tx_id <> %s", valStr)) |
|
52
|
|
|
// Use AND condition for the expired expressions, checking both visibility and non-equality with value. |
|
53
|
|
|
expiredWhere := squirrel.And{squirrel.Or{expiredVisibilityExpr, expiredZeroExpr}, expiredNotExpr} |
|
54
|
|
|
|
|
55
|
|
|
// Add the created and expired conditions to the SELECT query. |
|
56
|
|
|
return sl.Where(createdWhere).Where(expiredWhere) |
|
57
|
|
|
} |
|
58
|
|
|
|
|
59
|
|
|
// GenerateGCQuery generates a Squirrel DELETE query builder for garbage collection. |
|
60
|
|
|
// It constructs a query to delete expired records from the specified table |
|
61
|
|
|
// based on the provided value, which represents a transaction ID. |
|
62
|
|
|
func GenerateGCQuery(table string, value uint64) squirrel.DeleteBuilder { |
|
63
|
|
|
// Convert the provided value into a string format suitable for our SQL query, formatted as a transaction ID. |
|
64
|
|
|
valStr := fmt.Sprintf("'%v'::xid8", value) |
|
65
|
|
|
|
|
66
|
|
|
// Create a Squirrel DELETE builder for the specified table. |
|
67
|
|
|
deleteBuilder := squirrel.Delete(table) |
|
68
|
|
|
|
|
69
|
|
|
// Create an expression to check if 'expired_tx_id' is not equal to '0' (not expired). |
|
70
|
|
|
expiredZeroExpr := squirrel.Expr("expired_tx_id <> '0'::xid8") |
|
71
|
|
|
|
|
72
|
|
|
// Create an expression to check if 'expired_tx_id' is less than the provided value (before the cutoff). |
|
73
|
|
|
beforeExpr := squirrel.Expr(fmt.Sprintf("expired_tx_id < %s", valStr)) |
|
74
|
|
|
|
|
75
|
|
|
// Add the WHERE clauses to the DELETE query builder to filter and delete expired data. |
|
76
|
|
|
return deleteBuilder.Where(expiredZeroExpr).Where(beforeExpr) |
|
77
|
|
|
} |
|
78
|
|
|
|
|
79
|
|
|
// GenerateGCQueryForTenant generates a Squirrel DELETE query builder for tenant-aware garbage collection. |
|
80
|
|
|
// It constructs a query to delete expired records from the specified table for a specific tenant |
|
81
|
|
|
// based on the provided value, which represents a transaction ID. |
|
82
|
|
|
func GenerateGCQueryForTenant(table, tenantID string, value uint64) squirrel.DeleteBuilder { |
|
83
|
|
|
// Convert the provided value into a string format suitable for our SQL query, formatted as a transaction ID. |
|
84
|
|
|
valStr := fmt.Sprintf("'%v'::xid8", value) |
|
85
|
|
|
|
|
86
|
|
|
// Create a Squirrel DELETE builder for the specified table. |
|
87
|
|
|
deleteBuilder := squirrel.Delete(table) |
|
88
|
|
|
|
|
89
|
|
|
// Create an expression to check if 'expired_tx_id' is not equal to '0' (not expired). |
|
90
|
|
|
expiredZeroExpr := squirrel.Expr("expired_tx_id <> '0'::xid8") |
|
91
|
|
|
|
|
92
|
|
|
// Create an expression to check if 'expired_tx_id' is less than the provided value (before the cutoff). |
|
93
|
|
|
beforeExpr := squirrel.Expr(fmt.Sprintf("expired_tx_id < %s", valStr)) |
|
94
|
|
|
|
|
95
|
|
|
// Add the WHERE clauses to the DELETE query builder to filter and delete expired data for the specific tenant. |
|
96
|
|
|
return deleteBuilder.Where(squirrel.Eq{"tenant_id": tenantID}).Where(expiredZeroExpr).Where(beforeExpr) |
|
97
|
|
|
} |
|
98
|
|
|
|
|
99
|
|
|
// HandleError records an error in the given span, logs the error, and returns a standardized error. |
|
100
|
|
|
// This function is used for consistent error handling across different parts of the application. |
|
101
|
|
|
func HandleError(ctx context.Context, span trace.Span, err error, errorCode base.ErrorCode) error { |
|
102
|
|
|
// Check if the error is context-related |
|
103
|
|
|
if IsContextRelatedError(ctx, err) { |
|
104
|
|
|
slog.DebugContext(ctx, "A context-related error occurred", |
|
105
|
|
|
slog.String("error", err.Error())) |
|
106
|
|
|
return errors.New(base.ErrorCode_ERROR_CODE_CANCELLED.String()) |
|
107
|
|
|
} |
|
108
|
|
|
|
|
109
|
|
|
// Check if the error is serialization-related |
|
110
|
|
|
if IsSerializationRelatedError(err) { |
|
111
|
|
|
slog.DebugContext(ctx, "A serialization-related error occurred", |
|
112
|
|
|
slog.String("error", err.Error())) |
|
113
|
|
|
return errors.New(base.ErrorCode_ERROR_CODE_SERIALIZATION.String()) |
|
114
|
|
|
} |
|
115
|
|
|
|
|
116
|
|
|
// For all other types of errors, log them at the error level and record them in the span |
|
117
|
|
|
slog.ErrorContext(ctx, "An operational error occurred", |
|
118
|
|
|
slog.Any("error", err)) |
|
119
|
|
|
span.RecordError(err) |
|
120
|
|
|
span.SetStatus(codes.Error, err.Error()) |
|
121
|
|
|
|
|
122
|
|
|
// Return a new error with the standard error code provided |
|
123
|
|
|
return errors.New(errorCode.String()) |
|
124
|
|
|
} |
|
125
|
|
|
|
|
126
|
|
|
// IsContextRelatedError checks if the error is due to context cancellation, deadline exceedance, or closed connection |
|
127
|
|
|
func IsContextRelatedError(ctx context.Context, err error) bool { |
|
128
|
|
|
if errors.Is(ctx.Err(), context.Canceled) || errors.Is(ctx.Err(), context.DeadlineExceeded) { |
|
129
|
|
|
return true |
|
130
|
|
|
} |
|
131
|
|
|
if errors.Is(err, context.Canceled) || |
|
132
|
|
|
errors.Is(err, context.DeadlineExceeded) || |
|
133
|
|
|
strings.Contains(err.Error(), "conn closed") { |
|
134
|
|
|
return true |
|
135
|
|
|
} |
|
136
|
|
|
return false |
|
137
|
|
|
} |
|
138
|
|
|
|
|
139
|
|
|
// IsSerializationRelatedError checks if the error is a serialization failure, typically in database transactions. |
|
140
|
|
|
func IsSerializationRelatedError(err error) bool { |
|
141
|
|
|
if strings.Contains(err.Error(), "could not serialize") || |
|
142
|
|
|
strings.Contains(err.Error(), "duplicate key value") { |
|
143
|
|
|
return true |
|
144
|
|
|
} |
|
145
|
|
|
return false |
|
146
|
|
|
} |
|
147
|
|
|
|
|
148
|
|
|
// WaitWithBackoff implements an exponential backoff strategy with jitter for retries. |
|
149
|
|
|
// It waits for a calculated duration or until the context is cancelled, whichever comes first. |
|
150
|
|
|
func WaitWithBackoff(ctx context.Context, tenantID string, retries int) { |
|
151
|
|
|
// Calculate the base backoff |
|
152
|
|
|
backoff := time.Duration(math.Min(float64(20*time.Millisecond)*math.Pow(2, float64(retries)), float64(1*time.Second))) |
|
153
|
|
|
|
|
154
|
|
|
// Generate jitter using crypto/rand |
|
155
|
|
|
jitter := time.Duration(secureRandomFloat64() * float64(backoff) * 0.5) |
|
156
|
|
|
nextBackoff := backoff + jitter |
|
157
|
|
|
|
|
158
|
|
|
// Log the retry wait |
|
159
|
|
|
slog.WarnContext(ctx, "waiting before retry", |
|
160
|
|
|
slog.String("tenant_id", tenantID), |
|
161
|
|
|
slog.Int64("backoff_duration", nextBackoff.Milliseconds())) |
|
162
|
|
|
|
|
163
|
|
|
// Wait or exit on context cancellation |
|
164
|
|
|
select { |
|
165
|
|
|
case <-time.After(nextBackoff): |
|
166
|
|
|
case <-ctx.Done(): |
|
167
|
|
|
} |
|
168
|
|
|
} |
|
169
|
|
|
|
|
170
|
|
|
// secureRandomFloat64 generates a float64 value in the range [0, 1) using crypto/rand. |
|
171
|
|
|
func secureRandomFloat64() float64 { |
|
172
|
|
|
var b [8]byte |
|
173
|
|
|
if _, err := rand.Read(b[:]); err != nil { |
|
174
|
|
|
return 0 // Default to 0 jitter on error |
|
175
|
|
|
} |
|
176
|
|
|
return float64(binary.BigEndian.Uint64(b[:])) / (1 << 64) |
|
177
|
|
|
} |
|
178
|
|
|
|