2020-01-03 10:13:16 +08:00
|
|
|
// Copyright 2020 Kentaro Hibino. All rights reserved.
|
|
|
|
// Use of this source code is governed by a MIT license
|
|
|
|
// that can be found in the LICENSE file.
|
|
|
|
|
2019-12-04 22:25:58 +08:00
|
|
|
// Package rdb encapsulates the interactions with redis.
|
2019-12-04 13:01:26 +08:00
|
|
|
package rdb
|
2019-11-20 11:44:41 +08:00
|
|
|
|
|
|
|
import (
|
|
|
|
"encoding/json"
|
|
|
|
"errors"
|
|
|
|
"fmt"
|
2020-06-20 21:29:58 +08:00
|
|
|
"strconv"
|
2019-11-20 11:44:41 +08:00
|
|
|
"time"
|
|
|
|
|
|
|
|
"github.com/go-redis/redis/v7"
|
2019-12-22 23:15:45 +08:00
|
|
|
"github.com/hibiken/asynq/internal/base"
|
2020-01-07 22:28:34 +08:00
|
|
|
"github.com/spf13/cast"
|
2019-11-20 11:44:41 +08:00
|
|
|
)
|
|
|
|
|
2019-12-08 22:46:04 +08:00
|
|
|
var (
|
2020-01-07 22:28:34 +08:00
|
|
|
// ErrNoProcessableTask indicates that there are no tasks ready to be processed.
|
|
|
|
ErrNoProcessableTask = errors.New("no tasks are ready for processing")
|
2019-12-08 22:46:04 +08:00
|
|
|
|
|
|
|
// ErrTaskNotFound indicates that a task that matches the given identifier was not found.
|
|
|
|
ErrTaskNotFound = errors.New("could not find a task")
|
2020-03-18 21:49:39 +08:00
|
|
|
|
|
|
|
// ErrDuplicateTask indicates that another task with the same unique key holds the uniqueness lock.
|
|
|
|
ErrDuplicateTask = errors.New("task already exists")
|
2019-12-08 22:46:04 +08:00
|
|
|
)
|
2019-11-20 11:44:41 +08:00
|
|
|
|
2019-12-23 21:33:48 +08:00
|
|
|
const statsTTL = 90 * 24 * time.Hour // 90 days
|
|
|
|
|
2019-12-04 22:25:58 +08:00
|
|
|
// RDB is a client interface to query and mutate task queues.
|
2019-12-04 13:01:26 +08:00
|
|
|
type RDB struct {
|
2019-11-20 11:44:41 +08:00
|
|
|
client *redis.Client
|
|
|
|
}
|
|
|
|
|
2019-12-04 13:01:26 +08:00
|
|
|
// NewRDB returns a new instance of RDB.
|
|
|
|
func NewRDB(client *redis.Client) *RDB {
|
|
|
|
return &RDB{client}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Close closes the connection with redis server.
|
|
|
|
func (r *RDB) Close() error {
|
|
|
|
return r.client.Close()
|
2019-11-20 11:44:41 +08:00
|
|
|
}
|
|
|
|
|
2020-07-26 09:49:27 +08:00
|
|
|
// Ping checks the connection with redis server.
|
|
|
|
func (r *RDB) Ping() error {
|
|
|
|
return r.client.Ping().Err()
|
|
|
|
}
|
|
|
|
|
2019-12-28 12:37:15 +08:00
|
|
|
// Enqueue inserts the given task to the tail of the queue.
|
2019-12-22 23:15:45 +08:00
|
|
|
func (r *RDB) Enqueue(msg *base.TaskMessage) error {
|
2020-06-12 11:58:27 +08:00
|
|
|
encoded, err := base.EncodeMessage(msg)
|
2019-11-20 11:44:41 +08:00
|
|
|
if err != nil {
|
2019-12-28 12:37:15 +08:00
|
|
|
return err
|
2019-11-20 11:44:41 +08:00
|
|
|
}
|
2020-08-07 21:31:02 +08:00
|
|
|
err := r.client.SAdd(base.AllQueues, msg.Queue).Err()
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2020-01-07 13:27:51 +08:00
|
|
|
key := base.QueueKey(msg.Queue)
|
2020-08-07 21:31:02 +08:00
|
|
|
return r.client.LPush(key, encoded).Err()
|
2019-11-20 11:44:41 +08:00
|
|
|
}
|
|
|
|
|
2020-08-07 21:31:02 +08:00
|
|
|
// KEYS[1] -> unique key
|
|
|
|
// KEYS[2] -> asynq:{<qname>}
|
2020-03-18 21:49:39 +08:00
|
|
|
// ARGV[1] -> task ID
|
|
|
|
// ARGV[2] -> uniqueness lock TTL
|
|
|
|
// ARGV[3] -> task message data
|
|
|
|
var enqueueUniqueCmd = redis.NewScript(`
|
|
|
|
local ok = redis.call("SET", KEYS[1], ARGV[1], "NX", "EX", ARGV[2])
|
|
|
|
if not ok then
|
|
|
|
return 0
|
|
|
|
end
|
|
|
|
redis.call("LPUSH", KEYS[2], ARGV[3])
|
|
|
|
return 1
|
|
|
|
`)
|
|
|
|
|
|
|
|
// EnqueueUnique inserts the given task if the task's uniqueness lock can be acquired.
|
|
|
|
// It returns ErrDuplicateTask if the lock cannot be acquired.
|
|
|
|
func (r *RDB) EnqueueUnique(msg *base.TaskMessage, ttl time.Duration) error {
|
2020-06-12 11:58:27 +08:00
|
|
|
encoded, err := base.EncodeMessage(msg)
|
2020-03-18 21:49:39 +08:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2020-08-07 21:31:02 +08:00
|
|
|
err := r.client.SAdd(base.AllQueues, msg.Queue).Err()
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2020-03-18 21:49:39 +08:00
|
|
|
res, err := enqueueUniqueCmd.Run(r.client,
|
2020-08-07 21:31:02 +08:00
|
|
|
[]string{msg.UniqueKey, base.QueueKey(msg.Queue)},
|
2020-06-12 11:58:27 +08:00
|
|
|
msg.ID.String(), int(ttl.Seconds()), encoded).Result()
|
2020-03-18 21:49:39 +08:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
n, ok := res.(int64)
|
|
|
|
if !ok {
|
|
|
|
return fmt.Errorf("could not cast %v to int64", res)
|
|
|
|
}
|
|
|
|
if n == 0 {
|
|
|
|
return ErrDuplicateTask
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2020-06-18 20:45:10 +08:00
|
|
|
// Dequeue queries given queues in order and pops a task message
|
2020-06-19 02:25:33 +08:00
|
|
|
// off a queue if one exists and returns the message and deadline.
|
2020-06-04 20:37:17 +08:00
|
|
|
// Dequeue skips a queue if the queue is paused.
|
2020-02-09 03:06:14 +08:00
|
|
|
// If all queues are empty, ErrNoProcessableTask error is returned.
|
2020-06-19 02:25:33 +08:00
|
|
|
func (r *RDB) Dequeue(qnames ...string) (msg *base.TaskMessage, deadline time.Time, err error) {
|
2020-06-08 04:04:27 +08:00
|
|
|
var qkeys []interface{}
|
2020-06-04 20:37:17 +08:00
|
|
|
for _, q := range qnames {
|
2020-06-08 04:04:27 +08:00
|
|
|
qkeys = append(qkeys, base.QueueKey(q))
|
2020-01-07 22:28:34 +08:00
|
|
|
}
|
2020-06-19 02:25:33 +08:00
|
|
|
data, d, err := r.dequeue(qkeys...)
|
2019-11-28 11:36:56 +08:00
|
|
|
if err == redis.Nil {
|
2020-06-19 02:25:33 +08:00
|
|
|
return nil, time.Time{}, ErrNoProcessableTask
|
2019-11-28 11:36:56 +08:00
|
|
|
}
|
2019-11-20 11:44:41 +08:00
|
|
|
if err != nil {
|
2020-06-19 02:25:33 +08:00
|
|
|
return nil, time.Time{}, err
|
2019-11-20 11:44:41 +08:00
|
|
|
}
|
2020-06-18 20:45:10 +08:00
|
|
|
if msg, err = base.DecodeMessage(data); err != nil {
|
2020-06-19 02:25:33 +08:00
|
|
|
return nil, time.Time{}, err
|
2020-06-18 20:45:10 +08:00
|
|
|
}
|
2020-06-19 02:25:33 +08:00
|
|
|
return msg, time.Unix(d, 0), nil
|
2019-11-20 11:44:41 +08:00
|
|
|
}
|
|
|
|
|
2020-06-17 21:46:54 +08:00
|
|
|
// ARGV[1] -> current time in Unix time
|
|
|
|
// ARGV[2:] -> List of queues to query in order
|
2020-06-04 20:37:17 +08:00
|
|
|
//
|
|
|
|
// dequeueCmd checks whether a queue is paused first, before
|
|
|
|
// calling RPOPLPUSH to pop a task from the queue.
|
2020-06-17 21:46:54 +08:00
|
|
|
// It computes the task deadline by inspecting Timout and Deadline fields,
|
|
|
|
// and inserts the task with deadlines set.
|
2020-02-09 03:06:14 +08:00
|
|
|
var dequeueCmd = redis.NewScript(`
|
2020-06-17 21:46:54 +08:00
|
|
|
for i = 2, table.getn(ARGV) do
|
|
|
|
local qkey = ARGV[i]
|
2020-08-08 21:04:16 +08:00
|
|
|
local key_paused = qkey .. ":paused"
|
|
|
|
local key_inprogress = qkey .. ":in_progress"
|
|
|
|
local key_deadlines = qkey .. ":deadlines"
|
|
|
|
if redis.call("EXISTS", key_paused) == 0 then
|
|
|
|
local msg = redis.call("RPOPLPUSH", qkey, key_inprogress)
|
2020-06-18 20:45:10 +08:00
|
|
|
if msg then
|
|
|
|
local decoded = cjson.decode(msg)
|
2020-06-17 21:46:54 +08:00
|
|
|
local timeout = decoded["Timeout"]
|
|
|
|
local deadline = decoded["Deadline"]
|
|
|
|
local score
|
|
|
|
if timeout ~= 0 and deadline ~= 0 then
|
|
|
|
score = math.min(ARGV[1]+timeout, deadline)
|
|
|
|
elseif timeout ~= 0 then
|
|
|
|
score = ARGV[1] + timeout
|
|
|
|
elseif deadline ~= 0 then
|
2020-06-23 21:34:59 +08:00
|
|
|
score = deadline
|
2020-06-17 21:46:54 +08:00
|
|
|
else
|
|
|
|
return redis.error_reply("asynq internal error: both timeout and deadline are not set")
|
|
|
|
end
|
2020-08-08 21:04:16 +08:00
|
|
|
redis.call("ZADD", key_deadlines, score, msg)
|
2020-06-18 20:45:10 +08:00
|
|
|
return {msg, score}
|
2020-06-04 20:37:17 +08:00
|
|
|
end
|
2020-02-09 03:06:14 +08:00
|
|
|
end
|
|
|
|
end
|
2020-06-04 20:37:17 +08:00
|
|
|
return nil`)
|
2020-02-09 03:06:14 +08:00
|
|
|
|
2020-06-19 02:25:33 +08:00
|
|
|
func (r *RDB) dequeue(qkeys ...interface{}) (msgjson string, deadline int64, err error) {
|
2020-06-17 21:46:54 +08:00
|
|
|
var args []interface{}
|
|
|
|
args = append(args, time.Now().Unix())
|
|
|
|
args = append(args, qkeys...)
|
2020-08-08 21:04:16 +08:00
|
|
|
res, err := dequeueCmd.Run(r.client, nil, args...).Result()
|
2020-01-07 22:28:34 +08:00
|
|
|
if err != nil {
|
2020-06-18 20:45:10 +08:00
|
|
|
return "", 0, err
|
|
|
|
}
|
|
|
|
data, err := cast.ToSliceE(res)
|
|
|
|
if err != nil {
|
|
|
|
return "", 0, err
|
|
|
|
}
|
|
|
|
if len(data) != 2 {
|
2020-06-23 21:34:59 +08:00
|
|
|
return "", 0, fmt.Errorf("asynq: internal error: dequeue command returned %d values", len(data))
|
2020-06-18 20:45:10 +08:00
|
|
|
}
|
|
|
|
if msgjson, err = cast.ToStringE(data[0]); err != nil {
|
|
|
|
return "", 0, err
|
|
|
|
}
|
2020-06-19 02:25:33 +08:00
|
|
|
if deadline, err = cast.ToInt64E(data[1]); err != nil {
|
2020-06-18 20:45:10 +08:00
|
|
|
return "", 0, err
|
2020-01-07 22:28:34 +08:00
|
|
|
}
|
2020-06-18 20:45:10 +08:00
|
|
|
return msgjson, deadline, nil
|
2020-01-07 22:28:34 +08:00
|
|
|
}
|
|
|
|
|
2020-08-08 21:48:49 +08:00
|
|
|
// KEYS[1] -> asynq:{<qname>}:in_progress
|
|
|
|
// KEYS[2] -> asynq:{<qname>}:deadlines
|
|
|
|
// KEYS[3] -> asynq:{<qname>}:processed:<yyyy-mm-dd>
|
2020-08-07 21:31:02 +08:00
|
|
|
// KEYS[4] -> unique key
|
2020-02-09 03:06:14 +08:00
|
|
|
// ARGV[1] -> base.TaskMessage value
|
|
|
|
// ARGV[2] -> stats expiration timestamp
|
2020-03-18 21:49:39 +08:00
|
|
|
// ARGV[3] -> task ID
|
2020-02-09 03:06:14 +08:00
|
|
|
// Note: LREM count ZERO means "remove all elements equal to val"
|
|
|
|
var doneCmd = redis.NewScript(`
|
2020-06-19 03:12:29 +08:00
|
|
|
if redis.call("LREM", KEYS[1], 0, ARGV[1]) == 0 then
|
2020-06-08 04:04:27 +08:00
|
|
|
return redis.error_reply("NOT FOUND")
|
|
|
|
end
|
2020-06-19 03:12:29 +08:00
|
|
|
if redis.call("ZREM", KEYS[2], ARGV[1]) == 0 then
|
2020-06-18 22:10:57 +08:00
|
|
|
return redis.error_reply("NOT FOUND")
|
|
|
|
end
|
|
|
|
local n = redis.call("INCR", KEYS[3])
|
2020-02-09 03:06:14 +08:00
|
|
|
if tonumber(n) == 1 then
|
2020-06-18 22:10:57 +08:00
|
|
|
redis.call("EXPIREAT", KEYS[3], ARGV[2])
|
2020-02-09 03:06:14 +08:00
|
|
|
end
|
2020-06-18 22:10:57 +08:00
|
|
|
if string.len(KEYS[4]) > 0 and redis.call("GET", KEYS[4]) == ARGV[3] then
|
|
|
|
redis.call("DEL", KEYS[4])
|
2020-03-18 21:49:39 +08:00
|
|
|
end
|
2020-02-09 03:06:14 +08:00
|
|
|
return redis.status_reply("OK")
|
|
|
|
`)
|
|
|
|
|
2019-12-04 22:33:05 +08:00
|
|
|
// Done removes the task from in-progress queue to mark the task as done.
|
2020-03-18 21:49:39 +08:00
|
|
|
// It removes a uniqueness lock acquired by the task, if any.
|
2019-12-22 23:15:45 +08:00
|
|
|
func (r *RDB) Done(msg *base.TaskMessage) error {
|
2020-06-12 11:58:27 +08:00
|
|
|
encoded, err := base.EncodeMessage(msg)
|
2019-11-22 13:45:27 +08:00
|
|
|
if err != nil {
|
2019-12-28 12:37:15 +08:00
|
|
|
return err
|
2019-11-22 13:45:27 +08:00
|
|
|
}
|
2019-12-23 21:33:48 +08:00
|
|
|
now := time.Now()
|
|
|
|
expireAt := now.Add(statsTTL)
|
2020-02-09 03:06:14 +08:00
|
|
|
return doneCmd.Run(r.client,
|
2020-08-08 21:48:49 +08:00
|
|
|
[]string{base.InProgressKey(msg.Queue), base.DeadlinesKey(msg.Queue), base.ProcessedKey(msg.Queue, now), msg.UniqueKey},
|
2020-06-12 11:58:27 +08:00
|
|
|
encoded, expireAt.Unix(), msg.ID.String()).Err()
|
2019-11-22 13:45:27 +08:00
|
|
|
}
|
|
|
|
|
2020-08-09 20:40:44 +08:00
|
|
|
// KEYS[1] -> asynq:{<qname>}:in_progress
|
|
|
|
// KEYS[2] -> asynq:{<qname>}:deadlines
|
|
|
|
// KEYS[3] -> asynq:{<qname>}
|
2020-02-09 03:06:14 +08:00
|
|
|
// ARGV[1] -> base.TaskMessage value
|
|
|
|
// Note: Use RPUSH to push to the head of the queue.
|
|
|
|
var requeueCmd = redis.NewScript(`
|
2020-06-19 03:12:29 +08:00
|
|
|
if redis.call("LREM", KEYS[1], 0, ARGV[1]) == 0 then
|
|
|
|
return redis.error_reply("NOT FOUND")
|
|
|
|
end
|
|
|
|
if redis.call("ZREM", KEYS[2], ARGV[1]) == 0 then
|
|
|
|
return redis.error_reply("NOT FOUND")
|
|
|
|
end
|
|
|
|
redis.call("RPUSH", KEYS[3], ARGV[1])
|
2020-02-09 03:06:14 +08:00
|
|
|
return redis.status_reply("OK")`)
|
|
|
|
|
|
|
|
// Requeue moves the task from in-progress queue to the specified queue.
|
2019-12-22 23:15:45 +08:00
|
|
|
func (r *RDB) Requeue(msg *base.TaskMessage) error {
|
2020-06-12 11:58:27 +08:00
|
|
|
encoded, err := base.EncodeMessage(msg)
|
2019-12-18 12:07:17 +08:00
|
|
|
if err != nil {
|
2019-12-28 12:37:15 +08:00
|
|
|
return err
|
2019-12-18 12:07:17 +08:00
|
|
|
}
|
2020-02-09 03:06:14 +08:00
|
|
|
return requeueCmd.Run(r.client,
|
2020-08-09 20:40:44 +08:00
|
|
|
[]string{base.InProgressKey(msg.Queue), base.DeadlinesKey(msg.Queue), base.QueueKey(msg.Queue)},
|
2020-06-12 11:58:27 +08:00
|
|
|
encoded).Err()
|
2019-12-18 12:07:17 +08:00
|
|
|
}
|
|
|
|
|
2019-12-04 22:45:30 +08:00
|
|
|
// Schedule adds the task to the backlog queue to be processed in the future.
|
2019-12-22 23:15:45 +08:00
|
|
|
func (r *RDB) Schedule(msg *base.TaskMessage, processAt time.Time) error {
|
2020-06-12 11:58:27 +08:00
|
|
|
encoded, err := base.EncodeMessage(msg)
|
2019-12-16 09:18:43 +08:00
|
|
|
if err != nil {
|
2019-12-28 12:37:15 +08:00
|
|
|
return err
|
2019-12-16 09:18:43 +08:00
|
|
|
}
|
2020-08-07 21:31:02 +08:00
|
|
|
err := r.client.SAdd(base.AllQueues, msg.Queue).Err()
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2020-03-18 21:49:39 +08:00
|
|
|
score := float64(processAt.Unix())
|
2020-08-07 21:31:02 +08:00
|
|
|
return r.client.ZAdd(base.ScheduledKey(msg.Queue), &redis.Z{Score: score, Member: encoded}).Err()
|
2020-03-18 21:49:39 +08:00
|
|
|
}
|
|
|
|
|
2020-08-07 21:31:02 +08:00
|
|
|
// KEYS[1] -> unique key
|
|
|
|
// KEYS[2] -> asynq:{<qname>}:scheduled
|
2020-03-18 21:49:39 +08:00
|
|
|
// ARGV[1] -> task ID
|
|
|
|
// ARGV[2] -> uniqueness lock TTL
|
|
|
|
// ARGV[3] -> score (process_at timestamp)
|
|
|
|
// ARGV[4] -> task message
|
|
|
|
var scheduleUniqueCmd = redis.NewScript(`
|
|
|
|
local ok = redis.call("SET", KEYS[1], ARGV[1], "NX", "EX", ARGV[2])
|
|
|
|
if not ok then
|
|
|
|
return 0
|
|
|
|
end
|
|
|
|
redis.call("ZADD", KEYS[2], ARGV[3], ARGV[4])
|
|
|
|
return 1
|
|
|
|
`)
|
|
|
|
|
2020-03-22 02:44:26 +08:00
|
|
|
// ScheduleUnique adds the task to the backlog queue to be processed in the future if the uniqueness lock can be acquired.
|
2020-03-18 21:49:39 +08:00
|
|
|
// It returns ErrDuplicateTask if the lock cannot be acquired.
|
|
|
|
func (r *RDB) ScheduleUnique(msg *base.TaskMessage, processAt time.Time, ttl time.Duration) error {
|
2020-06-12 11:58:27 +08:00
|
|
|
encoded, err := base.EncodeMessage(msg)
|
2020-03-18 21:49:39 +08:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2020-08-07 21:31:02 +08:00
|
|
|
err := r.client.SAdd(base.AllQueues, msg.Queue).Err()
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2019-12-16 09:18:43 +08:00
|
|
|
score := float64(processAt.Unix())
|
2020-03-18 21:49:39 +08:00
|
|
|
res, err := scheduleUniqueCmd.Run(r.client,
|
2020-08-07 21:31:02 +08:00
|
|
|
[]string{msg.UniqueKey, base.ScheduledKey(msg.Queue)},
|
|
|
|
msg.ID.String(), int(ttl.Seconds()), score, encoded).Result()
|
2020-03-18 21:49:39 +08:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
n, ok := res.(int64)
|
|
|
|
if !ok {
|
|
|
|
return fmt.Errorf("could not cast %v to int64", res)
|
|
|
|
}
|
|
|
|
if n == 0 {
|
|
|
|
return ErrDuplicateTask
|
|
|
|
}
|
|
|
|
return nil
|
2019-12-04 22:45:30 +08:00
|
|
|
}
|
|
|
|
|
2020-08-09 03:17:33 +08:00
|
|
|
// KEYS[1] -> asynq:{<qname>}:in_progress
|
|
|
|
// KEYS[2] -> asynq:{<qname>}:deadlines
|
|
|
|
// KEYS[3] -> asynq:{<qname>}:retry
|
|
|
|
// KEYS[4] -> asynq:{<qname>}:processed:<yyyy-mm-dd>
|
|
|
|
// KEYS[5] -> asynq:{<qname>}:failure:<yyyy-mm-dd>
|
2020-02-09 03:06:14 +08:00
|
|
|
// ARGV[1] -> base.TaskMessage value to remove from base.InProgressQueue queue
|
|
|
|
// ARGV[2] -> base.TaskMessage value to add to Retry queue
|
|
|
|
// ARGV[3] -> retry_at UNIX timestamp
|
|
|
|
// ARGV[4] -> stats expiration timestamp
|
|
|
|
var retryCmd = redis.NewScript(`
|
2020-06-19 03:12:29 +08:00
|
|
|
if redis.call("LREM", KEYS[1], 0, ARGV[1]) == 0 then
|
2020-06-08 04:04:27 +08:00
|
|
|
return redis.error_reply("NOT FOUND")
|
|
|
|
end
|
2020-06-19 03:12:29 +08:00
|
|
|
if redis.call("ZREM", KEYS[2], ARGV[1]) == 0 then
|
2020-06-19 01:25:01 +08:00
|
|
|
return redis.error_reply("NOT FOUND")
|
|
|
|
end
|
|
|
|
redis.call("ZADD", KEYS[3], ARGV[3], ARGV[2])
|
|
|
|
local n = redis.call("INCR", KEYS[4])
|
2020-02-09 03:06:14 +08:00
|
|
|
if tonumber(n) == 1 then
|
2020-06-19 01:25:01 +08:00
|
|
|
redis.call("EXPIREAT", KEYS[4], ARGV[4])
|
2020-02-09 03:06:14 +08:00
|
|
|
end
|
2020-06-19 01:25:01 +08:00
|
|
|
local m = redis.call("INCR", KEYS[5])
|
2020-02-09 03:06:14 +08:00
|
|
|
if tonumber(m) == 1 then
|
2020-06-19 01:25:01 +08:00
|
|
|
redis.call("EXPIREAT", KEYS[5], ARGV[4])
|
2020-02-09 03:06:14 +08:00
|
|
|
end
|
|
|
|
return redis.status_reply("OK")`)
|
|
|
|
|
2019-12-16 08:15:07 +08:00
|
|
|
// Retry moves the task from in-progress to retry queue, incrementing retry count
|
|
|
|
// and assigning error message to the task message.
|
2019-12-22 23:15:45 +08:00
|
|
|
func (r *RDB) Retry(msg *base.TaskMessage, processAt time.Time, errMsg string) error {
|
2020-06-12 11:58:27 +08:00
|
|
|
msgToRemove, err := base.EncodeMessage(msg)
|
2019-12-16 08:15:07 +08:00
|
|
|
if err != nil {
|
2019-12-29 02:51:37 +08:00
|
|
|
return err
|
2019-12-16 08:15:07 +08:00
|
|
|
}
|
2019-12-16 12:05:56 +08:00
|
|
|
modified := *msg
|
|
|
|
modified.Retried++
|
|
|
|
modified.ErrorMsg = errMsg
|
2020-06-12 11:58:27 +08:00
|
|
|
msgToAdd, err := base.EncodeMessage(&modified)
|
2019-12-16 12:05:56 +08:00
|
|
|
if err != nil {
|
2019-12-29 02:51:37 +08:00
|
|
|
return err
|
2019-12-16 12:05:56 +08:00
|
|
|
}
|
2019-12-23 21:33:48 +08:00
|
|
|
now := time.Now()
|
2020-08-09 03:17:33 +08:00
|
|
|
processedKey := base.ProcessedKey(msg.Queue, now)
|
|
|
|
failedKey := base.FailedKey(msg.Queue, now)
|
2019-12-23 21:33:48 +08:00
|
|
|
expireAt := now.Add(statsTTL)
|
2020-02-09 03:06:14 +08:00
|
|
|
return retryCmd.Run(r.client,
|
2020-08-09 03:17:33 +08:00
|
|
|
[]string{base.InProgressKey(msg.Queue), base.DeadlinesKey(msg.Queue), base.RetryKey(msg.Queue), processedKey, failedKey},
|
2020-06-12 11:58:27 +08:00
|
|
|
msgToRemove, msgToAdd, processAt.Unix(), expireAt.Unix()).Err()
|
2019-12-16 08:15:07 +08:00
|
|
|
}
|
|
|
|
|
2019-12-26 23:17:26 +08:00
|
|
|
const (
|
|
|
|
maxDeadTasks = 10000
|
|
|
|
deadExpirationInDays = 90
|
|
|
|
)
|
|
|
|
|
2020-08-09 03:44:08 +08:00
|
|
|
// KEYS[1] -> asynq:{<qname>}:in_progress
|
|
|
|
// KEYS[2] -> asynq:{<qname>}:deadlines
|
|
|
|
// KEYS[3] -> asynq:{<qname>}:dead
|
|
|
|
// KEYS[4] -> asynq:{<qname>}:processed:<yyyy-mm-dd>
|
|
|
|
// KEYS[5] -> asynq:{<qname>}:failure:<yyyy-mm-dd>
|
2020-02-09 03:06:14 +08:00
|
|
|
// ARGV[1] -> base.TaskMessage value to remove from base.InProgressQueue queue
|
|
|
|
// ARGV[2] -> base.TaskMessage value to add to Dead queue
|
|
|
|
// ARGV[3] -> died_at UNIX timestamp
|
|
|
|
// ARGV[4] -> cutoff timestamp (e.g., 90 days ago)
|
|
|
|
// ARGV[5] -> max number of tasks in dead queue (e.g., 100)
|
|
|
|
// ARGV[6] -> stats expiration timestamp
|
|
|
|
var killCmd = redis.NewScript(`
|
2020-06-19 03:12:29 +08:00
|
|
|
if redis.call("LREM", KEYS[1], 0, ARGV[1]) == 0 then
|
2020-06-08 04:04:27 +08:00
|
|
|
return redis.error_reply("NOT FOUND")
|
|
|
|
end
|
2020-06-19 03:12:29 +08:00
|
|
|
if redis.call("ZREM", KEYS[2], ARGV[1]) == 0 then
|
2020-06-19 01:53:58 +08:00
|
|
|
return redis.error_reply("NOT FOUND")
|
|
|
|
end
|
|
|
|
redis.call("ZADD", KEYS[3], ARGV[3], ARGV[2])
|
|
|
|
redis.call("ZREMRANGEBYSCORE", KEYS[3], "-inf", ARGV[4])
|
|
|
|
redis.call("ZREMRANGEBYRANK", KEYS[3], 0, -ARGV[5])
|
|
|
|
local n = redis.call("INCR", KEYS[4])
|
2020-02-09 03:06:14 +08:00
|
|
|
if tonumber(n) == 1 then
|
2020-06-19 01:53:58 +08:00
|
|
|
redis.call("EXPIREAT", KEYS[4], ARGV[6])
|
2020-02-09 03:06:14 +08:00
|
|
|
end
|
2020-06-19 01:53:58 +08:00
|
|
|
local m = redis.call("INCR", KEYS[5])
|
2020-02-09 03:06:14 +08:00
|
|
|
if tonumber(m) == 1 then
|
2020-06-19 01:53:58 +08:00
|
|
|
redis.call("EXPIREAT", KEYS[5], ARGV[6])
|
2020-02-09 03:06:14 +08:00
|
|
|
end
|
|
|
|
return redis.status_reply("OK")`)
|
|
|
|
|
2019-12-16 09:16:13 +08:00
|
|
|
// Kill sends the task to "dead" queue from in-progress queue, assigning
|
|
|
|
// the error message to the task.
|
2019-12-04 22:50:52 +08:00
|
|
|
// It also trims the set by timestamp and set size.
|
2019-12-22 23:15:45 +08:00
|
|
|
func (r *RDB) Kill(msg *base.TaskMessage, errMsg string) error {
|
2020-06-12 11:58:27 +08:00
|
|
|
msgToRemove, err := base.EncodeMessage(msg)
|
2019-11-20 11:44:41 +08:00
|
|
|
if err != nil {
|
2019-12-29 02:51:37 +08:00
|
|
|
return err
|
2019-11-20 11:44:41 +08:00
|
|
|
}
|
2019-12-16 12:05:56 +08:00
|
|
|
modified := *msg
|
|
|
|
modified.ErrorMsg = errMsg
|
2020-06-12 11:58:27 +08:00
|
|
|
msgToAdd, err := base.EncodeMessage(&modified)
|
2019-12-16 12:05:56 +08:00
|
|
|
if err != nil {
|
2019-12-29 02:51:37 +08:00
|
|
|
return err
|
2019-12-16 12:05:56 +08:00
|
|
|
}
|
2019-11-20 11:44:41 +08:00
|
|
|
now := time.Now()
|
|
|
|
limit := now.AddDate(0, 0, -deadExpirationInDays).Unix() // 90 days ago
|
2020-08-09 03:44:08 +08:00
|
|
|
processedKey := base.ProcessedKey(msg.Queue, now)
|
|
|
|
failureKey := base.FailureKey(msg.Queue, now)
|
2019-12-23 21:33:48 +08:00
|
|
|
expireAt := now.Add(statsTTL)
|
2020-02-09 03:06:14 +08:00
|
|
|
return killCmd.Run(r.client,
|
2020-08-09 03:44:08 +08:00
|
|
|
[]string{base.InProgressKey(msg.Queue), base.DeadlinesKey(msg.Queue), base.DeadKey(msg.Queue), processedKey, failureKey},
|
2020-06-12 11:58:27 +08:00
|
|
|
msgToRemove, msgToAdd, now.Unix(), limit, maxDeadTasks, expireAt.Unix()).Err()
|
2019-11-20 11:44:41 +08:00
|
|
|
}
|
|
|
|
|
2020-08-09 21:26:14 +08:00
|
|
|
// CheckAndEnqueue checks for scheduled/retry tasks for the given queues
|
|
|
|
//and enqueues any tasks that are ready to be processed.
|
|
|
|
func (r *RDB) CheckAndEnqueue(qnames ...string) error {
|
|
|
|
for _, qname := range qnames {
|
|
|
|
if err := r.forwardAll(base.ScheduledKey(qname), base.QueueKey(qname)); err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
if err := r.forwardAll(base.RetryKey(qname), base.QueueKey(qname)); err != nil {
|
|
|
|
return err
|
2019-12-04 23:14:37 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2020-08-09 21:26:14 +08:00
|
|
|
// KEYS[1] -> source queue (e.g. asynq:{<qname>:scheduled or asynq:{<qname>}:retry})
|
|
|
|
// KEYS[2] -> destination queue (e.g. asynq:{<qname>})
|
2020-02-09 03:06:14 +08:00
|
|
|
// ARGV[1] -> current unix time
|
2020-06-08 04:04:27 +08:00
|
|
|
// Note: Script moves tasks up to 100 at a time to keep the runtime of script short.
|
2020-02-09 03:06:14 +08:00
|
|
|
var forwardCmd = redis.NewScript(`
|
2020-06-08 04:04:27 +08:00
|
|
|
local msgs = redis.call("ZRANGEBYSCORE", KEYS[1], "-inf", ARGV[1], "LIMIT", 0, 100)
|
2020-02-09 03:06:14 +08:00
|
|
|
for _, msg in ipairs(msgs) do
|
2020-08-09 21:26:14 +08:00
|
|
|
redis.call("LPUSH", KEYS[2], msg)
|
2020-02-09 03:06:14 +08:00
|
|
|
redis.call("ZREM", KEYS[1], msg)
|
|
|
|
end
|
2020-06-08 04:04:27 +08:00
|
|
|
return table.getn(msgs)`)
|
2020-02-09 03:06:14 +08:00
|
|
|
|
2020-06-08 04:04:27 +08:00
|
|
|
// forward moves tasks with a score less than the current unix time
|
2020-08-09 21:26:14 +08:00
|
|
|
// from the src zset to the dst list. It returns the number of tasks moved.
|
|
|
|
func (r *RDB) forward(src, dst string) (int, error) {
|
2020-01-14 23:26:41 +08:00
|
|
|
now := float64(time.Now().Unix())
|
2020-08-09 21:26:14 +08:00
|
|
|
res, err := forwardCmd.Run(r.client, []string{src, dst}, now).Result()
|
2020-06-08 04:04:27 +08:00
|
|
|
if err != nil {
|
|
|
|
return 0, err
|
|
|
|
}
|
|
|
|
return cast.ToInt(res), nil
|
2019-12-07 14:29:40 +08:00
|
|
|
}
|
2020-01-31 22:48:58 +08:00
|
|
|
|
2020-08-09 21:26:14 +08:00
|
|
|
// forwardAll moves tasks with a score less than the current unix time from the src zset,
|
|
|
|
// until there's no more tasks.
|
|
|
|
func (r *RDB) forwardAll(src, dst string) error {
|
|
|
|
n := 1
|
|
|
|
for n != 0 {
|
|
|
|
n, err = r.forward(src, dst)
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2020-08-10 20:37:49 +08:00
|
|
|
// ListDeadlineExceeded returns a list of task messages that have exceeded the deadline from the given queues.
|
|
|
|
func (r *RDB) ListDeadlineExceeded(deadline time.Time, qnames ...string) ([]*base.TaskMessage, error) {
|
2020-06-20 21:29:58 +08:00
|
|
|
var msgs []*base.TaskMessage
|
|
|
|
opt := &redis.ZRangeBy{
|
|
|
|
Min: "-inf",
|
|
|
|
Max: strconv.FormatInt(deadline.Unix(), 10),
|
|
|
|
}
|
2020-08-10 20:37:49 +08:00
|
|
|
for _, qname := range qnames {
|
|
|
|
res, err := r.client.ZRangeByScore(base.DeadlinesKey(qname), opt).Result()
|
2020-06-20 21:29:58 +08:00
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
2020-08-10 20:37:49 +08:00
|
|
|
for _, s := range res {
|
|
|
|
msg, err := base.DecodeMessage(s)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
msgs = append(msgs, msg)
|
|
|
|
}
|
2020-06-20 21:29:58 +08:00
|
|
|
}
|
|
|
|
return msgs, nil
|
|
|
|
}
|
|
|
|
|
2020-04-13 07:42:11 +08:00
|
|
|
// KEYS[1] -> asynq:servers:<host:pid:sid>
|
|
|
|
// KEYS[2] -> asynq:servers
|
|
|
|
// KEYS[3] -> asynq:workers<host:pid:sid>
|
2020-05-19 11:47:35 +08:00
|
|
|
// KEYS[4] -> asynq:workers
|
2020-02-21 23:18:22 +08:00
|
|
|
// ARGV[1] -> expiration time
|
|
|
|
// ARGV[2] -> TTL in seconds
|
2020-05-19 11:47:35 +08:00
|
|
|
// ARGV[3] -> server info
|
2020-02-21 23:18:22 +08:00
|
|
|
// ARGV[4:] -> alternate key-value pair of (worker id, worker data)
|
|
|
|
// Note: Add key to ZSET with expiration time as score.
|
|
|
|
// ref: https://github.com/antirez/redis/issues/135#issuecomment-2361996
|
2020-05-19 11:47:35 +08:00
|
|
|
var writeServerStateCmd = redis.NewScript(`
|
2020-02-21 23:18:22 +08:00
|
|
|
redis.call("SETEX", KEYS[1], ARGV[2], ARGV[3])
|
|
|
|
redis.call("ZADD", KEYS[2], ARGV[1], KEYS[1])
|
2020-02-23 13:06:02 +08:00
|
|
|
redis.call("DEL", KEYS[3])
|
2020-02-21 23:18:22 +08:00
|
|
|
for i = 4, table.getn(ARGV)-1, 2 do
|
|
|
|
redis.call("HSET", KEYS[3], ARGV[i], ARGV[i+1])
|
|
|
|
end
|
|
|
|
redis.call("EXPIRE", KEYS[3], ARGV[2])
|
|
|
|
redis.call("ZADD", KEYS[4], ARGV[1], KEYS[3])
|
2020-02-09 03:06:14 +08:00
|
|
|
return redis.status_reply("OK")`)
|
|
|
|
|
2020-05-19 11:47:35 +08:00
|
|
|
// WriteServerState writes server state data to redis with expiration set to the value ttl.
|
|
|
|
func (r *RDB) WriteServerState(info *base.ServerInfo, workers []*base.WorkerInfo, ttl time.Duration) error {
|
2020-02-21 23:18:22 +08:00
|
|
|
bytes, err := json.Marshal(info)
|
2020-01-31 22:48:58 +08:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2020-02-02 14:22:48 +08:00
|
|
|
exp := time.Now().Add(ttl).UTC()
|
2020-05-19 11:47:35 +08:00
|
|
|
args := []interface{}{float64(exp.Unix()), ttl.Seconds(), bytes} // args to the lua script
|
2020-02-21 23:18:22 +08:00
|
|
|
for _, w := range workers {
|
|
|
|
bytes, err := json.Marshal(w)
|
|
|
|
if err != nil {
|
|
|
|
continue // skip bad data
|
|
|
|
}
|
2020-05-19 11:47:35 +08:00
|
|
|
args = append(args, w.ID, bytes)
|
2020-01-31 22:48:58 +08:00
|
|
|
}
|
2020-04-13 07:42:11 +08:00
|
|
|
skey := base.ServerInfoKey(info.Host, info.PID, info.ServerID)
|
|
|
|
wkey := base.WorkersKey(info.Host, info.PID, info.ServerID)
|
2020-05-19 11:47:35 +08:00
|
|
|
return writeServerStateCmd.Run(r.client,
|
2020-04-13 07:42:11 +08:00
|
|
|
[]string{skey, base.AllServers, wkey, base.AllWorkers},
|
2020-02-21 23:18:22 +08:00
|
|
|
args...).Err()
|
2020-02-02 14:22:48 +08:00
|
|
|
}
|
|
|
|
|
2020-04-13 07:42:11 +08:00
|
|
|
// KEYS[1] -> asynq:servers
|
|
|
|
// KEYS[2] -> asynq:servers:<host:pid:sid>
|
2020-02-21 23:18:22 +08:00
|
|
|
// KEYS[3] -> asynq:workers
|
2020-04-13 07:42:11 +08:00
|
|
|
// KEYS[4] -> asynq:workers<host:pid:sid>
|
2020-06-20 21:29:58 +08:00
|
|
|
var clearServerStateCmd = redis.NewScript(`
|
2020-02-09 03:06:14 +08:00
|
|
|
redis.call("ZREM", KEYS[1], KEYS[2])
|
|
|
|
redis.call("DEL", KEYS[2])
|
2020-02-21 23:18:22 +08:00
|
|
|
redis.call("ZREM", KEYS[3], KEYS[4])
|
|
|
|
redis.call("DEL", KEYS[4])
|
2020-02-09 03:06:14 +08:00
|
|
|
return redis.status_reply("OK")`)
|
|
|
|
|
2020-04-13 02:41:50 +08:00
|
|
|
// ClearServerState deletes server state data from redis.
|
2020-05-19 11:47:35 +08:00
|
|
|
func (r *RDB) ClearServerState(host string, pid int, serverID string) error {
|
|
|
|
skey := base.ServerInfoKey(host, pid, serverID)
|
|
|
|
wkey := base.WorkersKey(host, pid, serverID)
|
2020-06-20 21:29:58 +08:00
|
|
|
return clearServerStateCmd.Run(r.client,
|
2020-04-13 07:42:11 +08:00
|
|
|
[]string{base.AllServers, skey, base.AllWorkers, wkey}).Err()
|
2020-01-31 22:48:58 +08:00
|
|
|
}
|
2020-02-13 09:12:09 +08:00
|
|
|
|
|
|
|
// CancelationPubSub returns a pubsub for cancelation messages.
|
|
|
|
func (r *RDB) CancelationPubSub() (*redis.PubSub, error) {
|
|
|
|
pubsub := r.client.Subscribe(base.CancelChannel)
|
|
|
|
_, err := pubsub.Receive()
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
return pubsub, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// PublishCancelation publish cancelation message to all subscribers.
|
2020-02-13 09:33:41 +08:00
|
|
|
// The message is the ID for the task to be canceled.
|
2020-02-13 09:12:09 +08:00
|
|
|
func (r *RDB) PublishCancelation(id string) error {
|
|
|
|
return r.client.Publish(base.CancelChannel, id).Err()
|
|
|
|
}
|