blob: 6a13cf09102b4255c53310d5197d9a7cca8ffbf4 [file] [log] [blame]
/*
* Copyright (C) 2015-2017 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
* OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
// On Mac, you can build this like so:
// xcrun clang++ -o ConditionSpeedTest Source/WTF/benchmarks/ConditionSpeedTest.cpp -O3 -W -ISource/WTF -ISource/WTF/icu -LWebKitBuild/Release -lWTF -framework Foundation -licucore -std=c++14 -fvisibility=hidden
#include "ToyLocks.h"
#include <condition_variable>
#include <mutex>
#include <thread>
#include <type_traits>
#include <unistd.h>
#include <wtf/Condition.h>
#include <wtf/CurrentTime.h>
#include <wtf/DataLog.h>
#include <wtf/Deque.h>
#include <wtf/Lock.h>
#include <wtf/StdLibExtras.h>
#include <wtf/StringPrintStream.h>
#include <wtf/Threading.h>
#include <wtf/ThreadingPrimitives.h>
#include <wtf/Vector.h>
namespace {
const bool verbose = false;
unsigned numProducers;
unsigned numConsumers;
unsigned maxQueueSize;
unsigned numMessagesPerProducer;
template<typename Functor, typename ConditionType, typename LockType, typename std::enable_if<!std::is_same<ConditionType, std::condition_variable>::value>::type* = nullptr>
void wait(ConditionType& condition, LockType& lock, std::unique_lock<LockType>&, const Functor& predicate)
{
while (!predicate())
condition.wait(lock);
}
template<typename Functor, typename ConditionType, typename LockType, typename std::enable_if<std::is_same<ConditionType, std::condition_variable>::value>::type* = nullptr>
void wait(ConditionType& condition, LockType&, std::unique_lock<LockType>& locker, const Functor& predicate)
{
while (!predicate())
condition.wait(locker);
}
template<typename LockType, typename ConditionType, typename NotifyFunctor, typename NotifyAllFunctor>
void runTest(
unsigned numProducers,
unsigned numConsumers,
unsigned maxQueueSize,
unsigned numMessagesPerProducer,
const NotifyFunctor& notify,
const NotifyAllFunctor& notifyAll)
{
Deque<unsigned> queue;
bool shouldContinue = true;
LockType lock;
ConditionType emptyCondition;
ConditionType fullCondition;
Vector<RefPtr<Thread>> consumerThreads;
Vector<RefPtr<Thread>> producerThreads;
Vector<unsigned> received;
LockType receivedLock;
for (unsigned i = numConsumers; i--;) {
RefPtr<Thread> thread = Thread::create(
"Consumer thread",
[&] () {
for (;;) {
unsigned result;
unsigned mustNotify = false;
{
std::unique_lock<LockType> locker(lock);
wait(
emptyCondition, lock, locker,
[&] () {
if (verbose)
dataLog(toString(Thread::current(), ": Checking consumption predicate with shouldContinue = ", shouldContinue, ", queue.size() == ", queue.size(), "\n"));
return !shouldContinue || !queue.isEmpty();
});
if (!shouldContinue && queue.isEmpty())
return;
mustNotify = queue.size() == maxQueueSize;
result = queue.takeFirst();
}
notify(fullCondition, mustNotify);
{
std::lock_guard<LockType> locker(receivedLock);
received.append(result);
}
}
});
consumerThreads.append(thread);
}
for (unsigned i = numProducers; i--;) {
RefPtr<Thread> thread = Thread::create(
"Producer Thread",
[&] () {
for (unsigned i = 0; i < numMessagesPerProducer; ++i) {
bool mustNotify = false;
{
std::unique_lock<LockType> locker(lock);
wait(
fullCondition, lock, locker,
[&] () {
if (verbose)
dataLog(toString(Thread::current(), ": Checking production predicate with shouldContinue = ", shouldContinue, ", queue.size() == ", queue.size(), "\n"));
return queue.size() < maxQueueSize;
});
mustNotify = queue.isEmpty();
queue.append(i);
}
notify(emptyCondition, mustNotify);
}
});
producerThreads.append(thread);
}
for (RefPtr<Thread>& thread : producerThreads)
thread->waitForCompletion();
{
std::lock_guard<LockType> locker(lock);
shouldContinue = false;
}
notifyAll(emptyCondition);
for (auto& threadIdentifier : consumerThreads)
threadIdentifier->waitForCompletion();
RELEASE_ASSERT(numProducers * numMessagesPerProducer == received.size());
std::sort(received.begin(), received.end());
for (unsigned messageIndex = 0; messageIndex < numMessagesPerProducer; ++messageIndex) {
for (unsigned producerIndex = 0; producerIndex < numProducers; ++producerIndex)
RELEASE_ASSERT(messageIndex == received[messageIndex * numProducers + producerIndex]);
}
}
template<typename LockType, typename ConditionType, typename NotifyFunctor, typename NotifyAllFunctor>
void runBenchmark(
const char* name,
const NotifyFunctor& notify,
const NotifyAllFunctor& notifyAll)
{
double before = monotonicallyIncreasingTimeMS();
runTest<LockType, ConditionType>(
numProducers,
numConsumers,
maxQueueSize,
numMessagesPerProducer,
notify,
notifyAll);
double after = monotonicallyIncreasingTimeMS();
printf(" %12s: %9.3lf ms", name, after - before);
}
} // anonymous namespace
int main()
{
WTF::initializeThreading();
static constexpr struct {
unsigned producers, consumers, queueSize, messagesPerProducer;
} maximums[] = {
{ 1, 1, 1000, 1000000 },
{ 2, 2, 1000, 1000000 },
{ 4, 4, 1000, 1000000 },
{ 8, 8, 1000, 1000000 },
{ 1, 1, 100, 1000000 },
{ 2, 2, 100, 1000000 },
{ 4, 4, 100, 1000000 },
{ 8, 8, 100, 1000000 },
{ 1, 2, 1000, 1000000 },
{ 2, 4, 1000, 1000000 },
{ 2, 8, 1000, 1000000 },
{ 4, 8, 1000, 1000000 },
{ 2, 1, 1000, 1000000 },
{ 4, 2, 1000, 1000000 },
{ 8, 2, 1000, 1000000 },
{ 8, 4, 1000, 1000000 },
};
for (auto&& m : maximums) {
numProducers = m.producers;
numConsumers = m.consumers;
maxQueueSize = m.queueSize;
numMessagesPerProducer = m.messagesPerProducer;
printf("Running with %3u producers, %3u consumers, queue of %4u, %10u messages: ",
m.producers, m.consumers, m.queueSize, m.messagesPerProducer);
runBenchmark<Lock, Condition>(
"WTF Lock NotifyOne",
[&] (Condition& condition, bool) {
condition.notifyOne();
},
[&] (Condition& condition) {
condition.notifyAll();
});
runBenchmark<Lock, Condition>(
"WTF Lock NotifyAll",
[&] (Condition& condition, bool mustNotify) {
if (mustNotify)
condition.notifyAll();
},
[&] (Condition& condition) {
condition.notifyAll();
});
/* FIXME the native mutex is really way too slow.
runBenchmark<std::mutex, std::condition_variable>(
"std::mutex NotifyOne",
[&] (std::condition_variable& condition, bool) {
condition.notify_one();
},
[&] (std::condition_variable& condition) {
condition.notify_all();
});
runBenchmark<std::mutex, std::condition_variable>(
"std::mutex NotifyAll",
[&] (std::condition_variable& condition, bool mustNotify) {
if (mustNotify)
condition.notify_all();
},
[&] (std::condition_variable& condition) {
condition.notify_all();
});
*/
printf("\n");
}
return 0;
}