Mac

Unix

Android

IOS

Android

IOS

HoloLens

// 未实现

typedef FSystemWideCriticalSectionNotImplemented FSystemWideCriticalSection;

Mac

Unix

Android

IOS

FEventWin : public FEvent

Mac

Unix

Android

IOS

FPThreadEvent : public FEvent

从TArray上派生

提供了AddThreadsafe函数来线程安全地往数组中添加元素

注1：不会引发扩容时，AddThreadsafe才线程安全

注2：其他的操作（Add、Remove、Empty等）都不是线程安全的

无锁队列（lock free queue），先进先出（FIFO）

基类FLockFreePointerFIFOBase

template<class T, int TPaddingForCacheContention, uint64 TABAInc = 1> // TABAInc为解决无锁编程中ABA问题添加的参数值
class FLockFreePointerFIFOBase
{
  // 内存空隙（pad），防止cpu读内存的高速缓存行（Cache Line）机制引发伪共享（False sharing）问题，导致急剧地性能下降
  FPaddingForCacheContention<TPaddingForCacheContention> PadToAvoidContention1;
  TDoublePtr Head; // 头指针 被pad包裹
  FPaddingForCacheContention<TPaddingForCacheContention> PadToAvoidContention2;
  TDoublePtr Tail; // 尾指针 被pad包裹
  FPaddingForCacheContention<TPaddingForCacheContention> PadToAvoidContention3;
};

无锁栈（lock free stack），后进先出（LIFO）

基类FLockFreePointerListLIFOBase

template<class T, int TPaddingForCacheContention, uint64 TABAInc = 1> // TABAInc为解决无锁编程中ABA问题添加的参数值
class FLockFreePointerListLIFOBase
{
  FLockFreePointerListLIFORoot<TPaddingForCacheContention, TABAInc> RootList;
  {
    // 内存空隙（pad），防止cpu读内存的高速缓存行（Cache Line）机制引发伪共享（False sharing）问题，导致急剧地性能下降
    FPaddingForCacheContention<TPaddingForCacheContention> PadToAvoidContention1;
    TDoublePtr Head; // 栈指针 被pad包裹
    FPaddingForCacheContention<TPaddingForCacheContention> PadToAvoidContention2;
  };
};

内存空隙为0的无锁栈，后进先出（LIFO）

等价于TLockFreePointerListUnordered<T,TPaddingForCacheContention=0>

无锁任务队列

线程在while循环里不断的从队列里取任务然后执行，如果队列是空的，就会空跑while循环。虽然循环没有多少逻辑，也是会耗费系统资源的

比较好的办法就是让线程在没有任务执行时Wait等待，当把任务加进队列之后再Trigger唤醒线程，继续while循环

FStallingTaskQueue就是用来作此优化的类，stalling就是搁置线程的意思。另外它包含两个FLockFreePointerFIFOBase无锁队列，作为高优先级和低优先级队列

虽然真正让线程Wait等待和Trigger唤醒的地方并不是在这个类里实现的，但它维护了各个线程的搁置状态

这些状态记录在一个TDoublePtr MasterState里，还是这个64位指针，不过这次它的低26位不是指针了，而是表示26个线程的搁置状态，1表示被搁置，可以被唤醒

高于26位的部分仍然作为标记计数，防止ABA问题

基于链表（linked list）实现的不能插队（non-intrusive）的无锁队列（lock free queue），先进先出（FIFO）

有两种模式（EQueueMode）：Mpsc（多生产者单消费者）和Spsc（单生产者单消费者）。

其中Spsc模式是无竞争（contention free）的。

从Head处入队（Enqueue），从Tail处出队（Dequeue）。示意图如下：

   Tail                            Head
    |                               |
    V                               V
| Node C | --> | Node B | --> |  Node A | --> | nullptr |

基于数组（TArray）实现的循环无锁队列，先进先出（FIFO）

在仅有一个生产者和一个消费者时，线程安全

基于原子操作的FPlatformAtomics::Interlocked函数实现的线程安全的int32计数器

如：FThreadSafeCounter OutstandingHeartbeats;

基于作用域的自旋锁

利用c++的RAII（Resource Acquisition is Initialization）特性（即：对象构造的时候其所需的资源便应该在构造函数中初始化，而对象析构的时候则释放这些资源），基于FCriticalSection实现的自旋锁（或旋转锁）。

{
    // CritSection为一个FCriticalSection临界区段对象
    FScopeLock ScopeLock(&CritSection); // 如果CritSection被其他线程持有，则当前线程会在此等待

    // 临界段（critical section）


    // 离开作用域，ScopeLock对象生命周期结束，会在其析构函数中释放对CritSection临界区段对象的占用
}

基于作用域的同步事件

利用c++的RAII（Resource Acquisition is Initialization）特性，基于FEvent实现的同步等待事件。

{
    FScopedEvent MyEvent;
    SendReferenceOrPointerToSomeOtherThread(&MyEvent); // 当其他线程中完成了任务时，调用MyEvent->Trigger()，将MyEvent变成触发态

   // 离开作用域，会调用析构函数。MyEvent在析构函数中Wait任务的完成
}