summaryrefslogtreecommitdiff
path: root/chromium/device/base/synchronization/one_writer_seqlock.h
blob: 6a3eeda56584fba3ba11ee536e71f018434e9fce (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
// Copyright 2013 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef DEVICE_BASE_SYNCHRONIZATION_ONE_WRITER_SEQLOCK_H_
#define DEVICE_BASE_SYNCHRONIZATION_ONE_WRITER_SEQLOCK_H_

#include <atomic>

#include "base/atomicops.h"
#include "base/check.h"

namespace device {

// This SeqLock handles only *one* writer and multiple readers. It may be
// suitable for low-contention with relatively infrequent writes, and many
// readers. See:
//   http://en.wikipedia.org/wiki/Seqlock
//   http://www.concurrencykit.org/doc/ck_sequence.html
// This implementation is based on ck_sequence.h from http://concurrencykit.org.
//
// Currently this type of lock is used in at least two implementations (gamepad
// and device motion, in particular see e.g. shared_memory_seqlock_buffer.h).
// It may make sense to generalize this lock to multiple writers.
//
// You must be very careful not to operate on potentially inconsistent read
// buffers. If the read must be retry'd, the data in the read buffer could
// contain any random garbage. e.g., contained pointers might be
// garbage, or indices could be out of range. Probably the only suitable thing
// to do during the read loop is to make a copy of the data, and operate on it
// only after the read was found to be consistent.
//
// Accesses to data protected by this SeqLock is recommended to be atomic.
// See:
//   https://www.hpl.hp.com/techreports/2012/HPL-2012-68.pdf
//   http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1478r1.html
class OneWriterSeqLock {
 public:
  OneWriterSeqLock();

  OneWriterSeqLock(const OneWriterSeqLock&) = delete;
  OneWriterSeqLock& operator=(const OneWriterSeqLock&) = delete;

  // Copies data from src into dest using atomic stores. This should be used by
  // writer of SeqLock. Data must be 4-byte aligned.
  static void AtomicWriterMemcpy(void* dest, const void* src, size_t size);
  // Copies data from src into dest using atomic loads. This should be used by
  // readers of SeqLock. Data must be 4-byte aligned.
  static void AtomicReaderMemcpy(void* dest, const void* src, size_t size);
  // ReadBegin returns |sequence_| when it is even, or when it has retried
  // |max_retries| times. Omitting |max_retries| results in ReadBegin not
  // returning until |sequence_| is even.
  int32_t ReadBegin(uint32_t max_retries = UINT32_MAX) const;
  bool ReadRetry(int32_t version) const;
  void WriteBegin();
  void WriteEnd();

 private:
  std::atomic<int32_t> sequence_;
};

}  // namespace device

#endif  // DEVICE_BASE_SYNCHRONIZATION_ONE_WRITER_SEQLOCK_H_