ꦫꦣꦺꦤ꧀ꦄꦤ꧀ꦠꦱꦺꦤ

PATH: usr / include / bind9 / isc

/*
 * Copyright (C) Internet Systems Consortium, Inc. ("ISC")
 *
 * 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.
 */

/*
 * Hazard Pointer implementation.
 *
 * 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.
 */

#pragma once

#include <isc/atomic.h>
#include <isc/mem.h>
#include <isc/string.h>
#include <isc/types.h>
#include <isc/util.h>

/*%
 * Hazard pointers are a mechanism for protecting objects in memory
 * from being deleted by other threads while in use. This allows
 * safe lock-free data structures.
 *
 * This is an adaptation of the ConcurrencyFreaks implementation in C.
 * More details available at https://github.com/pramalhe/ConcurrencyFreaks,
 * in the file HazardPointers.hpp.
 */

typedef void(isc_hp_deletefunc_t)(void *);

void
isc_hp_init(int max_threads);
/*%<
 * Initialize hazard pointer constants - isc__hp_max_threads. If more threads
 * will try to access hp it will assert.
 */

isc_hp_t *
isc_hp_new(isc_mem_t *mctx, size_t max_hps, isc_hp_deletefunc_t *deletefunc);
/*%<
 * Create a new hazard pointer array of size 'max_hps' (or a reasonable
 * default value if 'max_hps' is 0). The function 'deletefunc' will be
 * used to delete objects protected by hazard pointers when it becomes
 * safe to retire them.
 */

void
isc_hp_destroy(isc_hp_t *hp);
/*%<
 * Destroy a hazard pointer array and clean up all objects protected
 * by hazard pointers.
 */

void
isc_hp_clear(isc_hp_t *hp);
/*%<
 * Clear all hazard pointers in the array for the current thread.
 *
 * Progress condition: wait-free bounded (by max_hps)
 */

void
isc_hp_clear_one(isc_hp_t *hp, int ihp);
/*%<
 * Clear a specified hazard pointer in the array for the current thread.
 *
 * Progress condition: wait-free population oblivious.
 */

uintptr_t
isc_hp_protect(isc_hp_t *hp, int ihp, atomic_uintptr_t *atom);
/*%<
 * Protect an object referenced by 'atom' with a hazard pointer for the
 * current thread.
 *
 * Progress condition: lock-free.
 */

uintptr_t
isc_hp_protect_ptr(isc_hp_t *hp, int ihp, atomic_uintptr_t ptr);
/*%<
 * This returns the same value that is passed as ptr, which is sometimes
 * useful.
 *
 * Progress condition: wait-free population oblivious.
 */

uintptr_t
isc_hp_protect_release(isc_hp_t *hp, int ihp, atomic_uintptr_t ptr);
/*%<
 * Same as isc_hp_protect_ptr(), but explicitly uses memory_order_release.
 *
 * Progress condition: wait-free population oblivious.
 */

void
isc_hp_retire(isc_hp_t *hp, uintptr_t ptr);
/*%<
 * Retire an object that is no longer in use by any thread, calling
 * the delete function that was specified in isc_hp_new().
 *
 * Progress condition: wait-free bounded (by the number of threads squared)
 */

[+] ..
[-] types.h [edit]
[-] stats.h [edit]
[-] netscope.h [edit]
[-] httpd.h [edit]
[-] offset.h [edit]
[-] result.h [edit]
[-] random.h [edit]
[-] time.h [edit]
[-] counter.h [edit]
[-] base64.h [edit]
[-] file.h [edit]
[-] barrier.h [edit]
[-] stdtime.h [edit]
[-] thread.h [edit]
[-] safe.h [edit]
[-] print.h [edit]
[-] queue.h [edit]
[-] radix.h [edit]
[-] event.h [edit]
[-] backtrace.h [edit]
[-] crc64.h [edit]
[-] resultclass.h [edit]
[-] bind9.h [edit]
[-] version.h [edit]
[-] ht.h [edit]
[-] stdatomic.h [edit]
[-] mutexblock.h [edit]
[-] serial.h [edit]
[-] md.h [edit]
[-] log.h [edit]
[-] eventclass.h [edit]
[-] stdio.h [edit]
[-] error.h [edit]
[-] quota.h [edit]
[-] meminfo.h [edit]
[-] hp.h [edit]
[-] siphash.h [edit]
[-] util.h [edit]
[-] cmocka.h [edit]
[-] mutex.h [edit]
[-] heap.h [edit]
[-] iterated_hash.h [edit]
[-] string.h [edit]
[-] likely.h [edit]
[-] atomic.h [edit]
[-] app.h [edit]
[-] errno.h [edit]
[-] lib.h [edit]
[-] url.h [edit]
[-] ratelimiter.h [edit]
[-] regex.h [edit]
[-] commandline.h [edit]
[-] symtab.h [edit]
[-] os.h [edit]
[-] lfsr.h [edit]
[-] netdb.h [edit]
[-] condition.h [edit]
[-] magic.h [edit]
[-] hmac.h [edit]
[-] rwlock.h [edit]
[-] mutexatomic.h [edit]
[-] mem.h [edit]
[-] sockaddr.h [edit]
[-] astack.h [edit]
[-] deprecated.h [edit]
[-] errno2result.h [edit]
[-] parseint.h [edit]
[-] bufferlist.h [edit]
[-] tm.h [edit]
[-] timer.h [edit]
[-] buffer.h [edit]
[-] dir.h [edit]
[-] hex.h [edit]
[-] socket.h [edit]
[-] endian.h [edit]
[-] resource.h [edit]
[-] formatcheck.h [edit]
[-] stat.h [edit]
[-] region.h [edit]
[-] netmgr.h [edit]
[-] nonce.h [edit]
[-] refcount.h [edit]
[-] fuzz.h [edit]
[-] align.h [edit]
[-] lex.h [edit]
[-] pool.h [edit]
[-] interfaceiter.h [edit]
[-] assertions.h [edit]
[-] strerr.h [edit]
[-] taskpool.h [edit]
[-] aes.h [edit]
[-] base32.h [edit]
[-] platform.h [edit]
[-] syslog.h [edit]
[-] netaddr.h [edit]
[-] task.h [edit]
[-] net.h [edit]
[-] lang.h [edit]
[-] portset.h [edit]
[-] once.h [edit]
[-] fsaccess.h [edit]
[-] hash.h [edit]
[-] managers.h [edit]
[-] list.h [edit]
[-] utf8.h [edit]