mirror of https://github.com/prometheus/prometheus
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
420 lines
8.5 KiB
420 lines
8.5 KiB
// Package tsdb implements a time series storage for float64 sample data.
|
|
package tsdb
|
|
|
|
import (
|
|
"bytes"
|
|
"fmt"
|
|
"os"
|
|
"path/filepath"
|
|
"reflect"
|
|
"strconv"
|
|
"sync"
|
|
"time"
|
|
"unsafe"
|
|
|
|
"golang.org/x/sync/errgroup"
|
|
|
|
"github.com/fabxc/tsdb/chunks"
|
|
"github.com/fabxc/tsdb/labels"
|
|
"github.com/go-kit/kit/log"
|
|
)
|
|
|
|
// DefaultOptions used for the DB. They are sane for setups using
|
|
// millisecond precision timestamps.
|
|
var DefaultOptions = &Options{
|
|
Retention: 15 * 24 * 3600 * 1000, // 15 days
|
|
}
|
|
|
|
// Options of the DB storage.
|
|
type Options struct {
|
|
Retention int64
|
|
}
|
|
|
|
// DB is a time series storage.
|
|
type DB struct {
|
|
logger log.Logger
|
|
opts *Options
|
|
path string
|
|
|
|
shards []*Shard
|
|
}
|
|
|
|
// TODO(fabxc): make configurable
|
|
const (
|
|
shardShift = 3
|
|
numShards = 1 << shardShift
|
|
maxChunkSize = 1024
|
|
)
|
|
|
|
// Open or create a new DB.
|
|
func Open(path string, l log.Logger, opts *Options) (*DB, error) {
|
|
if opts == nil {
|
|
opts = DefaultOptions
|
|
}
|
|
if err := os.MkdirAll(path, 0777); err != nil {
|
|
return nil, err
|
|
}
|
|
if l == nil {
|
|
l = log.NewLogfmtLogger(os.Stdout)
|
|
l = log.NewContext(l).With("ts", log.DefaultTimestampUTC, "caller", log.DefaultCaller)
|
|
}
|
|
|
|
c := &DB{
|
|
logger: l,
|
|
opts: opts,
|
|
path: path,
|
|
}
|
|
|
|
// Initialize vertical shards.
|
|
// TODO(fabxc): validate shard number to be power of 2, which is required
|
|
// for the bitshift-modulo when finding the right shard.
|
|
for i := 0; i < numShards; i++ {
|
|
l := log.NewContext(l).With("shard", i)
|
|
d := shardDir(path, i)
|
|
|
|
s, err := OpenShard(d, l)
|
|
if err != nil {
|
|
return nil, fmt.Errorf("initializing shard %q failed: %s", d, err)
|
|
}
|
|
|
|
c.shards = append(c.shards, s)
|
|
}
|
|
|
|
// TODO(fabxc): run background compaction + GC.
|
|
|
|
return c, nil
|
|
}
|
|
|
|
func shardDir(base string, i int) string {
|
|
return filepath.Join(base, strconv.Itoa(i))
|
|
}
|
|
|
|
// Close the database.
|
|
func (db *DB) Close() error {
|
|
var g errgroup.Group
|
|
|
|
for _, shard := range db.shards {
|
|
// Fix closure argument to goroutine.
|
|
shard := shard
|
|
g.Go(shard.Close)
|
|
}
|
|
|
|
return g.Wait()
|
|
}
|
|
|
|
// Appender allows committing batches of samples to a database.
|
|
// The data held by the appender is reset after Commit returns.
|
|
type Appender interface {
|
|
// AddSeries registers a new known series label set with the appender
|
|
// and returns a reference number used to add samples to it over the
|
|
// life time of the Appender.
|
|
// AddSeries(Labels) uint64
|
|
|
|
// Add adds a sample pair for the referenced series.
|
|
Add(lset labels.Labels, t int64, v float64)
|
|
|
|
// Commit submits the collected samples and purges the batch.
|
|
Commit() error
|
|
}
|
|
|
|
// Appender returns a new appender against the database.
|
|
func (db *DB) Appender() Appender {
|
|
return &bucketAppender{
|
|
db: db,
|
|
buckets: make([][]hashedSample, numShards),
|
|
}
|
|
}
|
|
|
|
type bucketAppender struct {
|
|
db *DB
|
|
buckets [][]hashedSample
|
|
}
|
|
|
|
func (ba *bucketAppender) Add(lset labels.Labels, t int64, v float64) {
|
|
h := lset.Hash()
|
|
s := h >> (64 - shardShift)
|
|
|
|
ba.buckets[s] = append(ba.buckets[s], hashedSample{
|
|
hash: h,
|
|
labels: lset,
|
|
t: t,
|
|
v: v,
|
|
})
|
|
}
|
|
|
|
func (ba *bucketAppender) reset() {
|
|
for i := range ba.buckets {
|
|
ba.buckets[i] = ba.buckets[i][:0]
|
|
}
|
|
}
|
|
|
|
func (ba *bucketAppender) Commit() error {
|
|
defer ba.reset()
|
|
|
|
var merr MultiError
|
|
|
|
// Spill buckets into shards.
|
|
for s, b := range ba.buckets {
|
|
merr.Add(ba.db.shards[s].appendBatch(b))
|
|
}
|
|
return merr.Err()
|
|
}
|
|
|
|
type hashedSample struct {
|
|
hash uint64
|
|
labels labels.Labels
|
|
|
|
t int64
|
|
v float64
|
|
}
|
|
|
|
const sep = '\xff'
|
|
|
|
// Shard handles reads and writes of time series falling into
|
|
// a hashed shard of a series.
|
|
type Shard struct {
|
|
path string
|
|
persistCh chan struct{}
|
|
logger log.Logger
|
|
|
|
mtx sync.RWMutex
|
|
persisted persistedBlocks
|
|
head *HeadBlock
|
|
}
|
|
|
|
// OpenShard returns a new Shard.
|
|
func OpenShard(path string, logger log.Logger) (*Shard, error) {
|
|
// Create directory if shard is new.
|
|
if _, err := os.Stat(path); os.IsNotExist(err) {
|
|
if err := os.MkdirAll(path, 0777); err != nil {
|
|
return nil, err
|
|
}
|
|
}
|
|
|
|
// Initialize previously persisted blocks.
|
|
pbs, err := findPersistedBlocks(path)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
s := &Shard{
|
|
path: path,
|
|
persistCh: make(chan struct{}, 1),
|
|
logger: logger,
|
|
persisted: pbs,
|
|
// TODO(fabxc): restore from checkpoint.
|
|
}
|
|
// TODO(fabxc): get base time from pre-existing blocks. Otherwise
|
|
// it should come from a user defined start timestamp.
|
|
// Use actual time for now.
|
|
s.head = NewHeadBlock(time.Now().UnixNano() / int64(time.Millisecond))
|
|
|
|
return s, nil
|
|
}
|
|
|
|
// Close the shard.
|
|
func (s *Shard) Close() error {
|
|
var e MultiError
|
|
|
|
for _, pb := range s.persisted {
|
|
e.Add(pb.Close())
|
|
}
|
|
|
|
return e.Err()
|
|
}
|
|
|
|
func (s *Shard) appendBatch(samples []hashedSample) error {
|
|
s.mtx.Lock()
|
|
defer s.mtx.Unlock()
|
|
|
|
var merr MultiError
|
|
|
|
for _, sm := range samples {
|
|
merr.Add(s.head.append(sm.hash, sm.labels, sm.t, sm.v))
|
|
}
|
|
|
|
// TODO(fabxc): randomize over time
|
|
if s.head.stats.SampleCount/uint64(s.head.stats.ChunkCount) > 400 {
|
|
select {
|
|
case s.persistCh <- struct{}{}:
|
|
go func() {
|
|
if err := s.persist(); err != nil {
|
|
s.logger.Log("msg", "persistance error", "err", err)
|
|
}
|
|
}()
|
|
default:
|
|
}
|
|
}
|
|
|
|
return merr.Err()
|
|
}
|
|
|
|
func intervalOverlap(amin, amax, bmin, bmax int64) bool {
|
|
if bmin >= amin && bmin <= amax {
|
|
return true
|
|
}
|
|
if amin >= bmin && amin <= bmax {
|
|
return true
|
|
}
|
|
return false
|
|
}
|
|
|
|
func intervalContains(min, max, t int64) bool {
|
|
return t >= min && t <= max
|
|
}
|
|
|
|
// blocksForRange returns all blocks within the shard that may contain
|
|
// data for the given time range.
|
|
func (s *Shard) blocksForInterval(mint, maxt int64) []block {
|
|
var bs []block
|
|
|
|
for _, b := range s.persisted {
|
|
bmin, bmax := b.interval()
|
|
|
|
if intervalOverlap(mint, maxt, bmin, bmax) {
|
|
bs = append(bs, b)
|
|
}
|
|
}
|
|
|
|
hmin, hmax := s.head.interval()
|
|
|
|
if intervalOverlap(mint, maxt, hmin, hmax) {
|
|
bs = append(bs, s.head)
|
|
}
|
|
|
|
return bs
|
|
}
|
|
|
|
// TODO(fabxc): make configurable.
|
|
const shardGracePeriod = 60 * 1000 // 60 seconds for millisecond scale
|
|
|
|
func (s *Shard) persist() error {
|
|
s.mtx.Lock()
|
|
|
|
// Set new head block.
|
|
head := s.head
|
|
s.head = NewHeadBlock(head.stats.MaxTime)
|
|
|
|
s.mtx.Unlock()
|
|
|
|
// Only allow another persistence to be triggered after the current one
|
|
// has completed (successful or not.)
|
|
defer func() {
|
|
<-s.persistCh
|
|
}()
|
|
|
|
// TODO(fabxc): add grace period where we can still append to old head shard
|
|
// before actually persisting it.
|
|
p := filepath.Join(s.path, fmt.Sprintf("%d", head.stats.MinTime))
|
|
|
|
if err := os.MkdirAll(p, 0777); err != nil {
|
|
return err
|
|
}
|
|
|
|
n, err := head.persist(p)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
sz := fmt.Sprintf("%.2fMiB", float64(n)/1024/1024)
|
|
s.logger.Log("size", sz, "samples", head.stats.SampleCount, "chunks", head.stats.ChunkCount, "msg", "persisted head")
|
|
|
|
// Reopen block as persisted block for querying.
|
|
pb, err := newPersistedBlock(p)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
s.mtx.Lock()
|
|
s.persisted = append(s.persisted, pb)
|
|
s.mtx.Unlock()
|
|
|
|
return nil
|
|
}
|
|
|
|
// chunkDesc wraps a plain data chunk and provides cached meta data about it.
|
|
type chunkDesc struct {
|
|
lset labels.Labels
|
|
chunk chunks.Chunk
|
|
|
|
// Caching fields.
|
|
firsTimestamp int64
|
|
lastTimestamp int64
|
|
lastValue float64
|
|
|
|
app chunks.Appender // Current appender for the chunks.
|
|
}
|
|
|
|
func (cd *chunkDesc) append(ts int64, v float64) (err error) {
|
|
if cd.app == nil {
|
|
cd.app, err = cd.chunk.Appender()
|
|
if err != nil {
|
|
return err
|
|
}
|
|
cd.firsTimestamp = ts
|
|
}
|
|
if err := cd.app.Append(ts, v); err != nil {
|
|
return err
|
|
}
|
|
|
|
cd.lastTimestamp = ts
|
|
cd.lastValue = v
|
|
|
|
return nil
|
|
}
|
|
|
|
// The MultiError type implements the error interface, and contains the
|
|
// Errors used to construct it.
|
|
type MultiError []error
|
|
|
|
// Returns a concatenated string of the contained errors
|
|
func (es MultiError) Error() string {
|
|
var buf bytes.Buffer
|
|
|
|
if len(es) > 0 {
|
|
fmt.Fprintf(&buf, "%d errors: ", len(es))
|
|
}
|
|
|
|
for i, err := range es {
|
|
if i != 0 {
|
|
buf.WriteString("; ")
|
|
}
|
|
buf.WriteString(err.Error())
|
|
}
|
|
|
|
return buf.String()
|
|
}
|
|
|
|
// Add adds the error to the error list if it is not nil.
|
|
func (es MultiError) Add(err error) {
|
|
if err != nil {
|
|
es = append(es, err)
|
|
}
|
|
}
|
|
|
|
// Err returns the error list as an error or nil if it is empty.
|
|
func (es MultiError) Err() error {
|
|
if len(es) == 0 {
|
|
return nil
|
|
}
|
|
return es
|
|
}
|
|
|
|
func yoloString(b []byte) string {
|
|
h := reflect.StringHeader{
|
|
Data: uintptr(unsafe.Pointer(&b[0])),
|
|
Len: len(b),
|
|
}
|
|
return *((*string)(unsafe.Pointer(&h)))
|
|
}
|
|
|
|
func yoloBytes(s string) []byte {
|
|
sh := (*reflect.StringHeader)(unsafe.Pointer(&s))
|
|
|
|
h := reflect.SliceHeader{
|
|
Cap: sh.Len,
|
|
Len: sh.Len,
|
|
Data: sh.Data,
|
|
}
|
|
return *((*[]byte)(unsafe.Pointer(&h)))
|
|
}
|