/*
 * Copyright (C) Internet Systems Consortium, Inc. ("ISC")
 *
 * SPDX-License-Identifier: MPL-2.0
 *
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, you can obtain one at https://mozilla.org/MPL/2.0/.
 *
 * See the COPYRIGHT file distributed with this work for additional
 * information regarding copyright ownership.
 */

/*
 * Modified C-RW-WP Implementation from NUMA-Aware Reader-Writer Locks paper:
 * http://dl.acm.org/citation.cfm?id=2442532
 *
 * This work is based on C++ code available from
 * https://github.com/pramalhe/ConcurrencyFreaks/
 *
 * Copyright (c) 2014-2016, Pedro Ramalhete, Andreia Correia
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 *     * Redistributions of source code must retain the above copyright
 *       notice, this list of conditions and the following disclaimer.
 *     * 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.
 *     * Neither the name of Concurrency Freaks nor the
 *       names of its contributors may be used to endorse or promote products
 *       derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "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 <COPYRIGHT HOLDER>
 * 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.
 */

/*! \file */

#include <inttypes.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdlib.h>
#include <unistd.h>

#include <isc/atomic.h>
#include <isc/hash.h>
#include <isc/pause.h>
#include <isc/rwlock.h>
#include <isc/thread.h>
#include <isc/tid.h>
#include <isc/util.h>

#include "probes-isc.h"

static atomic_uint_fast16_t isc__crwlock_workers = 128;

#define ISC_RWLOCK_UNLOCKED false
#define ISC_RWLOCK_LOCKED   true

/*
 * See https://csce.ucmss.com/cr/books/2017/LFS/CSREA2017/FCS3701.pdf for
 * guidance on patience level
 */
#ifndef RWLOCK_MAX_READER_PATIENCE
#define RWLOCK_MAX_READER_PATIENCE 500
#endif /* ifndef RWLOCK_MAX_READER_PATIENCE */

static void
read_indicator_wait_until_empty(isc_rwlock_t *rwl);

#include <stdio.h>

static void
read_indicator_arrive(isc_rwlock_t *rwl) {
	(void)atomic_fetch_add_release(&rwl->readers_ingress, 1);
}

static void
read_indicator_depart(isc_rwlock_t *rwl) {
	(void)atomic_fetch_add_release(&rwl->readers_egress, 1);
}

static bool
read_indicator_isempty(isc_rwlock_t *rwl) {
	return atomic_load_acquire(&rwl->readers_egress) ==
	       atomic_load_acquire(&rwl->readers_ingress);
}

static void
writers_barrier_raise(isc_rwlock_t *rwl) {
	(void)atomic_fetch_add_release(&rwl->writers_barrier, 1);
}

static void
writers_barrier_lower(isc_rwlock_t *rwl) {
	(void)atomic_fetch_sub_release(&rwl->writers_barrier, 1);
}

static bool
writers_barrier_israised(isc_rwlock_t *rwl) {
	return atomic_load_acquire(&rwl->writers_barrier) > 0;
}

static bool
writers_lock_islocked(isc_rwlock_t *rwl) {
	return atomic_load_acquire(&rwl->writers_lock) == ISC_RWLOCK_LOCKED;
}

static bool
writers_lock_acquire(isc_rwlock_t *rwl) {
	return atomic_compare_exchange_weak_acq_rel(
		&rwl->writers_lock, &(bool){ ISC_RWLOCK_UNLOCKED },
		ISC_RWLOCK_LOCKED);
}

static void
writers_lock_release(isc_rwlock_t *rwl) {
	REQUIRE(atomic_compare_exchange_strong_acq_rel(
		&rwl->writers_lock, &(bool){ ISC_RWLOCK_LOCKED },
		ISC_RWLOCK_UNLOCKED));
}

#define ran_out_of_patience(cnt) (cnt >= RWLOCK_MAX_READER_PATIENCE)

void
isc_rwlock_rdlock(isc_rwlock_t *rwl) {
	uint32_t cnt = 0;
	bool barrier_raised = false;

	LIBISC_RWLOCK_RDLOCK_REQ(rwl);

	while (true) {
		read_indicator_arrive(rwl);
		if (!writers_lock_islocked(rwl)) {
			/* Acquired lock in read-only mode */
			break;
		}

		/* Writer has acquired the lock, must reset to 0 and wait */
		read_indicator_depart(rwl);

		while (writers_lock_islocked(rwl)) {
			isc_pause();
			if (ran_out_of_patience(cnt++) && !barrier_raised) {
				writers_barrier_raise(rwl);
				barrier_raised = true;
			}
		}
	}
	if (barrier_raised) {
		writers_barrier_lower(rwl);
	}

	LIBISC_RWLOCK_RDLOCK_ACQ(rwl);
}

isc_result_t
isc_rwlock_tryrdlock(isc_rwlock_t *rwl) {
	read_indicator_arrive(rwl);
	if (writers_lock_islocked(rwl)) {
		/* Writer has acquired the lock, release the read lock */
		read_indicator_depart(rwl);

		LIBISC_RWLOCK_TRYRDLOCK(rwl, ISC_R_LOCKBUSY);
		return ISC_R_LOCKBUSY;
	}

	/* Acquired lock in read-only mode */
	LIBISC_RWLOCK_TRYRDLOCK(rwl, ISC_R_SUCCESS);
	return ISC_R_SUCCESS;
}

void
isc_rwlock_rdunlock(isc_rwlock_t *rwl) {
	read_indicator_depart(rwl);
	LIBISC_RWLOCK_RDUNLOCK(rwl);
}

isc_result_t
isc_rwlock_tryupgrade(isc_rwlock_t *rwl) {
	/* Write Barriers has been raised */
	if (writers_barrier_israised(rwl)) {
		LIBISC_RWLOCK_TRYUPGRADE(rwl, ISC_R_LOCKBUSY);
		return ISC_R_LOCKBUSY;
	}

	/* Try to acquire the write-lock */
	if (!writers_lock_acquire(rwl)) {
		LIBISC_RWLOCK_TRYUPGRADE(rwl, ISC_R_LOCKBUSY);
		return ISC_R_LOCKBUSY;
	}

	/* Unlock the read-lock */
	read_indicator_depart(rwl);

	if (!read_indicator_isempty(rwl)) {
		/* Re-acquire the read-lock back */
		read_indicator_arrive(rwl);

		/* Unlock the write-lock */
		writers_lock_release(rwl);
		LIBISC_RWLOCK_TRYUPGRADE(rwl, ISC_R_LOCKBUSY);
		return ISC_R_LOCKBUSY;
	}
	LIBISC_RWLOCK_TRYUPGRADE(rwl, ISC_R_SUCCESS);
	return ISC_R_SUCCESS;
}

static void
read_indicator_wait_until_empty(isc_rwlock_t *rwl) {
	/* Write-lock was acquired, now wait for running Readers to finish */
	while (true) {
		if (read_indicator_isempty(rwl)) {
			break;
		}
		isc_pause();
	}
}

void
isc_rwlock_wrlock(isc_rwlock_t *rwl) {
	LIBISC_RWLOCK_WRLOCK_REQ(rwl);

	/* Write Barriers has been raised, wait */
	while (writers_barrier_israised(rwl)) {
		isc_pause();
	}

	/* Try to acquire the write-lock */
	while (!writers_lock_acquire(rwl)) {
		isc_pause();
	}

	read_indicator_wait_until_empty(rwl);

	LIBISC_RWLOCK_WRLOCK_ACQ(rwl);
}

void
isc_rwlock_wrunlock(isc_rwlock_t *rwl) {
	writers_lock_release(rwl);
	LIBISC_RWLOCK_WRUNLOCK(rwl);
}

isc_result_t
isc_rwlock_trywrlock(isc_rwlock_t *rwl) {
	/* Write Barriers has been raised */
	if (writers_barrier_israised(rwl)) {
		LIBISC_RWLOCK_TRYWRLOCK(rwl, ISC_R_LOCKBUSY);
		return ISC_R_LOCKBUSY;
	}

	/* Try to acquire the write-lock */
	if (!writers_lock_acquire(rwl)) {
		LIBISC_RWLOCK_TRYWRLOCK(rwl, ISC_R_LOCKBUSY);
		return ISC_R_LOCKBUSY;
	}

	if (!read_indicator_isempty(rwl)) {
		/* Unlock the write-lock */
		writers_lock_release(rwl);

		LIBISC_RWLOCK_TRYWRLOCK(rwl, ISC_R_LOCKBUSY);
		return ISC_R_LOCKBUSY;
	}

	LIBISC_RWLOCK_TRYWRLOCK(rwl, ISC_R_SUCCESS);
	return ISC_R_SUCCESS;
}

void
isc_rwlock_downgrade(isc_rwlock_t *rwl) {
	read_indicator_arrive(rwl);

	writers_lock_release(rwl);

	LIBISC_RWLOCK_DOWNGRADE(rwl);
}

void
isc_rwlock_init(isc_rwlock_t *rwl) {
	REQUIRE(rwl != NULL);

	atomic_init(&rwl->writers_lock, ISC_RWLOCK_UNLOCKED);
	atomic_init(&rwl->writers_barrier, 0);
	atomic_init(&rwl->readers_ingress, 0);
	atomic_init(&rwl->readers_egress, 0);
	LIBISC_RWLOCK_INIT(rwl);
}

void
isc_rwlock_destroy(isc_rwlock_t *rwl) {
	LIBISC_RWLOCK_DESTROY(rwl);
	/* Check whether write lock has been unlocked */
	REQUIRE(atomic_load(&rwl->writers_lock) == ISC_RWLOCK_UNLOCKED);
	REQUIRE(read_indicator_isempty(rwl));
}

void
isc_rwlock_setworkers(uint16_t workers) {
	atomic_store(&isc__crwlock_workers, workers);
}
