#ifndef Py_BUILD_CORE_BUILTIN

# define Py_BUILD_CORE_MODULE 1

#include "Python.h"

#include "pycore_crossinterp.h" // _PyXIData_t

#define REGISTERS_HEAP_TYPES

#define HAS_FALLBACK

#define HAS_UNBOUND_ITEMS

#include "_interpreters_common.h"

#undef HAS_UNBOUND_ITEMS

#undef HAS_FALLBACK

#undef REGISTERS_HEAP_TYPES

#define MODULE_NAME _interpqueues

#define MODULE_NAME_STR Py_STRINGIFY(MODULE_NAME)

#define MODINIT_FUNC_NAME RESOLVE_MODINIT_FUNC_NAME(MODULE_NAME)

#define GLOBAL_MALLOC(TYPE) \

PyMem_RawMalloc(sizeof(TYPE))

#define GLOBAL_FREE(VAR) \

PyMem_RawFree(VAR)

#define XID_IGNORE_EXC 1

#define XID_FREE 2

static int

_release_xid_data(_PyXIData_t *data, int flags)

{

int ignoreexc = flags & XID_IGNORE_EXC;

PyObject *exc;

if (ignoreexc) {

exc = PyErr_GetRaisedException();

}

int res;

if (flags & XID_FREE) {

res = _PyXIData_ReleaseAndRawFree(data);

}

else {

res = _PyXIData_Release(data);

}

if (res < 0) {

/* The owning interpreter is already destroyed. */

if (ignoreexc) {

// XXX Emit a warning?

PyErr_Clear();

}

}

if (flags & XID_FREE) {

/* Either way, we free the data. */

}

if (ignoreexc) {

PyErr_SetRaisedException(exc);

}

return res;

}

static PyInterpreterState *

_get_current_interp(void)

{

// PyInterpreterState_Get() aborts if lookup fails, so don't need

// to check the result for NULL.

return PyInterpreterState_Get();

}

static PyObject *

_get_current_module(void)

{

PyObject *name = PyUnicode_FromString(MODULE_NAME_STR);

if (name == NULL) {

return NULL;

}

PyObject *mod = PyImport_GetModule(name);

Py_DECREF(name);

if (mod == NULL) {

return NULL;

}

assert(mod != Py_None);

return mod;

}

struct idarg_int64_converter_data {

};

static int

idarg_int64_converter(PyObject *arg, void *ptr)

{

int64_t id;

struct idarg_int64_converter_data *data = ptr;

const char *label = data->label;

if (label == NULL) {

label = "ID";

}

if (PyIndex_Check(arg)) {

int overflow = 0;

id = PyLong_AsLongLongAndOverflow(arg, &overflow);

if (id == -1 && PyErr_Occurred()) {

return 0;

}

else if (id == -1 && overflow == 1) {

PyErr_Format(PyExc_OverflowError,

"max %s is %lld, got %R", label, INT64_MAX, arg);

return 0;

}

else if (id < 0) {

PyErr_Format(PyExc_ValueError,

"%s must be a non-negative int, got %R", label, arg);

return 0;

}

}

else {

PyErr_Format(PyExc_TypeError,

"%s must be an int, got %.100s",

label, Py_TYPE(arg)->tp_name);

return 0;

}

data->id = id;

return 1;

}

static int

ensure_highlevel_module_loaded(void)

{

PyObject *highlevel =

PyImport_ImportModule("concurrent.interpreters._queues");

if (highlevel == NULL) {

return -1;

}

Py_DECREF(highlevel);

return 0;

}

typedef struct {

/* external types (added at runtime by interpreters module) */

PyTypeObject *queue_type;

/* QueueError (and its subclasses) */

PyObject *QueueError;

PyObject *QueueNotFoundError;

PyObject *QueueEmpty;

PyObject *QueueFull;

} module_state;

static inline module_state *

get_module_state(PyObject *mod)

{

assert(mod != NULL);

module_state *state = PyModule_GetState(mod);

assert(state != NULL);

return state;

}

static int

traverse_module_state(module_state *state, visitproc visit, void *arg)

{

/* external types */

Py_VISIT(state->queue_type);

/* QueueError */

Py_VISIT(state->QueueError);

Py_VISIT(state->QueueNotFoundError);

Py_VISIT(state->QueueEmpty);

Py_VISIT(state->QueueFull);

return 0;

}

static int

clear_module_state(module_state *state)

{

/* external types */

if (state->queue_type != NULL) {

(void)clear_xid_class(state->queue_type);

}

Py_CLEAR(state->queue_type);

/* QueueError */

Py_CLEAR(state->QueueError);

Py_CLEAR(state->QueueNotFoundError);

Py_CLEAR(state->QueueEmpty);

Py_CLEAR(state->QueueFull);

return 0;

}

#define ERR_EXCEPTION_RAISED (-1)

#define ERR_QUEUES_ALLOC (-11)

#define ERR_QUEUE_ALLOC (-12)

#define ERR_NO_NEXT_QUEUE_ID (-13)

#define ERR_QUEUE_NOT_FOUND (-14)

#define ERR_QUEUE_EMPTY (-21)

#define ERR_QUEUE_FULL (-22)

#define ERR_QUEUE_NEVER_BOUND (-23)

static int ensure_external_exc_types(module_state *);

static int

resolve_module_errcode(module_state *state, int errcode, int64_t qid,

PyObject **p_exctype, PyObject **p_msgobj)

{

PyObject *exctype = NULL;

PyObject *msg = NULL;

switch (errcode) {

case ERR_NO_NEXT_QUEUE_ID:

exctype = state->QueueError;

msg = PyUnicode_FromString("ran out of queue IDs");

break;

case ERR_QUEUE_NOT_FOUND:

exctype = state->QueueNotFoundError;

msg = PyUnicode_FromFormat("queue %" PRId64 " not found", qid);

break;

case ERR_QUEUE_EMPTY:

if (ensure_external_exc_types(state) < 0) {

return -1;

}

exctype = state->QueueEmpty;

msg = PyUnicode_FromFormat("queue %" PRId64 " is empty", qid);

break;

case ERR_QUEUE_FULL:

if (ensure_external_exc_types(state) < 0) {

return -1;

}

exctype = state->QueueFull;

msg = PyUnicode_FromFormat("queue %" PRId64 " is full", qid);

break;

case ERR_QUEUE_NEVER_BOUND:

exctype = state->QueueError;

msg = PyUnicode_FromFormat("queue %" PRId64 " never bound", qid);

break;

default:

PyErr_Format(PyExc_ValueError,

"unsupported error code %d", errcode);

return -1;

}

if (msg == NULL) {

assert(PyErr_Occurred());

return -1;

}

*p_exctype = exctype;

*p_msgobj = msg;

return 0;

}

static int

add_exctype(PyObject *mod, PyObject **p_state_field,

const char *qualname, const char *doc, PyObject *base)

{

#ifndef NDEBUG

const char *dot = strrchr(qualname, '.');

assert(dot != NULL);

const char *name = dot+1;

assert(*p_state_field == NULL);

assert(!PyObject_HasAttrStringWithError(mod, name));

PyObject *exctype = PyErr_NewExceptionWithDoc(qualname, doc, base, NULL);

if (exctype == NULL) {

return -1;

}

if (PyModule_AddType(mod, (PyTypeObject *)exctype) < 0) {

Py_DECREF(exctype);

return -1;

}

*p_state_field = exctype;

return 0;

}

static int

add_QueueError(PyObject *mod)

{

module_state *state = get_module_state(mod);

#define PREFIX "concurrent.interpreters."

#define ADD_EXCTYPE(NAME, BASE, DOC) \

assert(state->NAME == NULL); \

if (add_exctype(mod, &state->NAME, PREFIX #NAME, DOC, BASE) < 0) { \

return -1; \

}

ADD_EXCTYPE(QueueError, PyExc_RuntimeError,

"Indicates that a queue-related error happened.")

ADD_EXCTYPE(QueueNotFoundError, state->QueueError, NULL)

// QueueEmpty and QueueFull are set by set_external_exc_types().

state->QueueEmpty = NULL;

state->QueueFull = NULL;

#undef ADD_EXCTYPE

#undef PREFIX

return 0;

}

static int

set_external_exc_types(module_state *state,

PyObject *emptyerror, PyObject *fullerror)

{

if (state->QueueEmpty != NULL) {

assert(state->QueueFull != NULL);

Py_CLEAR(state->QueueEmpty);

Py_CLEAR(state->QueueFull);

}

else {

assert(state->QueueFull == NULL);

}

assert(PyObject_IsSubclass(emptyerror, state->QueueError));

assert(PyObject_IsSubclass(fullerror, state->QueueError));

state->QueueEmpty = Py_NewRef(emptyerror);

state->QueueFull = Py_NewRef(fullerror);

return 0;

}

static int

ensure_external_exc_types(module_state *state)

{

if (state->QueueEmpty != NULL) {

assert(state->QueueFull != NULL);

return 0;

}

assert(state->QueueFull == NULL);

// Force the module to be loaded, to register the type.

if (ensure_highlevel_module_loaded() < 0) {

return -1;

}

assert(state->QueueEmpty != NULL);

assert(state->QueueFull != NULL);

return 0;

}

static int

handle_queue_error(int err, PyObject *mod, int64_t qid)

{

if (err == 0) {

assert(!PyErr_Occurred());

return 0;

}

assert(err < 0);

assert((err == -1) == (PyErr_Occurred() != NULL));

module_state *state;

switch (err) {

case ERR_QUEUE_ALLOC: _Py_FALLTHROUGH;

case ERR_QUEUES_ALLOC:

PyErr_NoMemory();

break;

case -1:

return -1;

default:

state = get_module_state(mod);

assert(state->QueueError != NULL);

PyObject *exctype = NULL;

PyObject *msg = NULL;

if (resolve_module_errcode(state, err, qid, &exctype, &msg) < 0) {

return -1;

}

PyObject *exc = PyObject_CallOneArg(exctype, msg);

Py_DECREF(msg);

if (exc == NULL) {

return -1;

}

PyErr_SetObject(exctype, exc);

Py_DECREF(exc);

}

return 1;

}

struct _queueitem;

typedef struct _queueitem {

} _queueitem;

static void

_queueitem_init(_queueitem *item,

int64_t interpid, _PyXIData_t *data, unboundop_t unboundop)

{

if (interpid < 0) {

interpid = _get_interpid(data);

}

else {

assert(data == NULL

|| _PyXIData_INTERPID(data) < 0

|| interpid == _PyXIData_INTERPID(data));

}

assert(check_unbound(unboundop));

*item = (_queueitem){

.interpid = interpid,

.data = data,

.unboundop = unboundop,

};

}

static void

_queueitem_clear_data(_queueitem *item)

{

if (item->data == NULL) {

return;

}

// It was allocated in queue_put().

(void)_release_xid_data(item->data, XID_IGNORE_EXC | XID_FREE);

item->data = NULL;

}

static void

_queueitem_clear(_queueitem *item)

{

item->next = NULL;

_queueitem_clear_data(item);

}

static _queueitem *

_queueitem_new(int64_t interpid, _PyXIData_t *data, int unboundop)

{

_queueitem *item = GLOBAL_MALLOC(_queueitem);

if (item == NULL) {

PyErr_NoMemory();

return NULL;

}

_queueitem_init(item, interpid, data, unboundop);

return item;

}

static void

_queueitem_free(_queueitem *item)

{

_queueitem_clear(item);

GLOBAL_FREE(item);

}

static void

_queueitem_free_all(_queueitem *item)

{

while (item != NULL) {

_queueitem *last = item;

item = item->next;

_queueitem_free(last);

}

}

static void

_queueitem_popped(_queueitem *item,

_PyXIData_t **p_data, unboundop_t *p_unboundop)

{

*p_data = item->data;

*p_unboundop = item->unboundop;

// We clear them here, so they won't be released in _queueitem_clear().

item->data = NULL;

_queueitem_free(item);

}

static int

_queueitem_clear_interpreter(_queueitem *item)

{

assert(item->interpid >= 0);

if (item->data == NULL) {

// Its interpreter was already cleared (or it was never bound).

// For UNBOUND_REMOVE it should have been freed at that time.

assert(item->unboundop != UNBOUND_REMOVE);

return 0;

}

assert(_PyXIData_INTERPID(item->data) == item->interpid);

switch (item->unboundop) {

case UNBOUND_REMOVE:

// The caller must free/clear it.

return 1;

case UNBOUND_ERROR:

case UNBOUND_REPLACE:

// We won't need the cross-interpreter data later

// so we completely throw it away.

_queueitem_clear_data(item);

return 0;

default:

Py_FatalError("not reachable");

return -1;

}

}

typedef struct _queue {

} _queue;

static int

_queue_init(_queue *queue, Py_ssize_t maxsize, struct _queuedefaults defaults)

{

assert(check_unbound(defaults.unboundop));

PyThread_type_lock mutex = PyThread_allocate_lock();

if (mutex == NULL) {

return ERR_QUEUE_ALLOC;

}

*queue = (_queue){

.mutex = mutex,

.alive = 1,

.items = {

.maxsize = maxsize,

},

.defaults = defaults,

};

return 0;

}

static void

_queue_clear(_queue *queue)

{

assert(!queue->alive);

assert(queue->num_waiters == 0);

_queueitem_free_all(queue->items.first);

assert(queue->mutex != NULL);

PyThread_free_lock(queue->mutex);

*queue = (_queue){0};

}

static void _queue_free(_queue *);

static void

_queue_kill_and_wait(_queue *queue)

{

// Mark it as dead.

PyThread_acquire_lock(queue->mutex, WAIT_LOCK);

assert(queue->alive);

queue->alive = 0;

PyThread_release_lock(queue->mutex);

// Wait for all waiters to fail.

while (queue->num_waiters > 0) {

PyThread_acquire_lock(queue->mutex, WAIT_LOCK);

PyThread_release_lock(queue->mutex);

};

}

static void

_queue_mark_waiter(_queue *queue, PyThread_type_lock parent_mutex)

{

if (parent_mutex != NULL) {

PyThread_acquire_lock(parent_mutex, WAIT_LOCK);

queue->num_waiters += 1;

PyThread_release_lock(parent_mutex);

}

else {

// The caller must be holding the parent lock already.

queue->num_waiters += 1;

}

}

static void

_queue_unmark_waiter(_queue *queue, PyThread_type_lock parent_mutex)

{

if (parent_mutex != NULL) {

PyThread_acquire_lock(parent_mutex, WAIT_LOCK);

queue->num_waiters -= 1;

PyThread_release_lock(parent_mutex);

}

else {

// The caller must be holding the parent lock already.

queue->num_waiters -= 1;

}

}

static int

_queue_lock(_queue *queue)

{

// The queue must be marked as a waiter already.

PyThread_acquire_lock(queue->mutex, WAIT_LOCK);

if (!queue->alive) {

PyThread_release_lock(queue->mutex);

return ERR_QUEUE_NOT_FOUND;

}

return 0;

}

static void

_queue_unlock(_queue *queue)

{

PyThread_release_lock(queue->mutex);

}

static int

_queue_add(_queue *queue, int64_t interpid, _PyXIData_t *data, int unboundop)

{

int err = _queue_lock(queue);

if (err < 0) {

return err;

}

Py_ssize_t maxsize = queue->items.maxsize;

if (maxsize <= 0) {

maxsize = PY_SSIZE_T_MAX;

}

if (queue->items.count >= maxsize) {

_queue_unlock(queue);

return ERR_QUEUE_FULL;

}

_queueitem *item = _queueitem_new(interpid, data, unboundop);

if (item == NULL) {

_queue_unlock(queue);

return -1;

}

queue->items.count += 1;

if (queue->items.first == NULL) {

queue->items.first = item;

}

else {

queue->items.last->next = item;

}

queue->items.last = item;

_queue_unlock(queue);

return 0;

}

static int

_queue_next(_queue *queue, _PyXIData_t **p_data, int *p_unboundop)

{

int err = _queue_lock(queue);

if (err < 0) {

return err;

}

assert(queue->items.count >= 0);

_queueitem *item = queue->items.first;

if (item == NULL) {

_queue_unlock(queue);

return ERR_QUEUE_EMPTY;

}

queue->items.first = item->next;

if (queue->items.last == item) {

queue->items.last = NULL;

}

queue->items.count -= 1;

_queueitem_popped(item, p_data, p_unboundop);

_queue_unlock(queue);

return 0;

}

static int

_queue_get_maxsize(_queue *queue, Py_ssize_t *p_maxsize)

{

int err = _queue_lock(queue);

if (err < 0) {

return err;

}

*p_maxsize = queue->items.maxsize;

_queue_unlock(queue);

return 0;

}

static int

_queue_is_full(_queue *queue, int *p_is_full)

{

int err = _queue_lock(queue);

if (err < 0) {

return err;

}

assert(queue->items.maxsize <= 0

|| queue->items.count <= queue->items.maxsize);

*p_is_full = queue->items.maxsize > 0

? queue->items.count == queue->items.maxsize

: 0;

_queue_unlock(queue);

return 0;

}

static int

_queue_get_count(_queue *queue, Py_ssize_t *p_count)

{

int err = _queue_lock(queue);

if (err < 0) {

return err;

}

*p_count = queue->items.count;

_queue_unlock(queue);

return 0;

}

static void

_queue_clear_interpreter(_queue *queue, int64_t interpid)

{

int err = _queue_lock(queue);

if (err == ERR_QUEUE_NOT_FOUND) {

// The queue is already destroyed, so there's nothing to clear.

assert(!PyErr_Occurred());

return;

}

assert(err == 0); // There should be no other errors.

_queueitem *prev = NULL;

_queueitem *next = queue->items.first;

while (next != NULL) {

_queueitem *item = next;

next = item->next;

int remove = (item->interpid == interpid)

? _queueitem_clear_interpreter(item)

: 0;

if (remove) {

_queueitem_free(item);

if (prev == NULL) {

queue->items.first = next;

}

else {

prev->next = next;

}

queue->items.count -= 1;

}

else {

prev = item;

}

}

_queue_unlock(queue);

}

struct _queueref;

typedef struct _queueref {

} _queueref;

static _queueref *

_queuerefs_find(_queueref *first, int64_t qid, _queueref **pprev)

{

_queueref *prev = NULL;

_queueref *ref = first;

while (ref != NULL) {

if (ref->qid == qid) {

break;

}

prev = ref;

ref = ref->next;

}

if (pprev != NULL) {

*pprev = prev;

}

return ref;

}

static void

_queuerefs_clear(_queueref *head)

{

_queueref *next = head;

while (next != NULL) {

_queueref *ref = next;

next = ref->next;

#ifdef Py_DEBUG

int64_t qid = ref->qid;

fprintf(stderr, "queue %" PRId64 " still exists\n", qid);

_queue *queue = ref->queue;

GLOBAL_FREE(ref);

_queue_kill_and_wait(queue);

#ifdef Py_DEBUG

if (queue->items.count > 0) {

fprintf(stderr, "queue %" PRId64 " still holds %zd items\n",

qid, queue->items.count);

}

_queue_free(queue);

}

}

typedef struct _queues {

} _queues;

static void

_queues_init(_queues *queues, PyThread_type_lock mutex)

{

assert(mutex != NULL);

assert(queues->mutex == NULL);

*queues = (_queues){

.mutex = mutex,

.head = NULL,

.count = 0,

.next_id = 1,

};

}

static void

_queues_fini(_queues *queues, PyThread_type_lock *p_mutex)

{

PyThread_type_lock mutex = queues->mutex;

assert(mutex != NULL);

PyThread_acquire_lock(mutex, WAIT_LOCK);

if (queues->count > 0) {

assert(queues->head != NULL);

_queuerefs_clear(queues->head);

}

*queues = (_queues){0};

PyThread_release_lock(mutex);

*p_mutex = mutex;

}

static int64_t

_queues_next_id(_queues *queues) // needs lock

{

int64_t qid = queues->next_id;

if (qid < 0) {

/* overflow */

return ERR_NO_NEXT_QUEUE_ID;

}

queues->next_id += 1;

return qid;

}

static int

_queues_lookup(_queues *queues, int64_t qid, _queue **res)

{

PyThread_acquire_lock(queues->mutex, WAIT_LOCK);

_queueref *ref = _queuerefs_find(queues->head, qid, NULL);

if (ref == NULL) {

PyThread_release_lock(queues->mutex);

return ERR_QUEUE_NOT_FOUND;

}

assert(ref->queue != NULL);

_queue *queue = ref->queue;

_queue_mark_waiter(queue, NULL);

// The caller must unmark it.

PyThread_release_lock(queues->mutex);

*res = queue;

return 0;

}

static int64_t

_queues_add(_queues *queues, _queue *queue)

{

int64_t qid = -1;

PyThread_acquire_lock(queues->mutex, WAIT_LOCK);

// Create a new ref.

int64_t _qid = _queues_next_id(queues);

if (_qid < 0) {

goto done;

}

_queueref *ref = GLOBAL_MALLOC(_queueref);

if (ref == NULL) {

qid = ERR_QUEUE_ALLOC;

goto done;

}

*ref = (_queueref){

.qid = _qid,

.queue = queue,

};

// Add it to the list.

// We assume that the queue is a new one (not already in the list).

ref->next = queues->head;

queues->head = ref;

queues->count += 1;

qid = _qid;

done:

PyThread_release_lock(queues->mutex);

return qid;

}

static void

_queues_remove_ref(_queues *queues, _queueref *ref, _queueref *prev,

_queue **p_queue)

{

assert(ref->queue != NULL);

if (ref == queues->head) {

queues->head = ref->next;

}

else {

prev->next = ref->next;

}

ref->next = NULL;

queues->count -= 1;

*p_queue = ref->queue;

ref->queue = NULL;

GLOBAL_FREE(ref);

}

static int

_queues_remove(_queues *queues, int64_t qid, _queue **p_queue)

{

PyThread_acquire_lock(queues->mutex, WAIT_LOCK);

_queueref *prev = NULL;

_queueref *ref = _queuerefs_find(queues->head, qid, &prev);

if (ref == NULL) {

PyThread_release_lock(queues->mutex);

return ERR_QUEUE_NOT_FOUND;

}

_queues_remove_ref(queues, ref, prev, p_queue);

PyThread_release_lock(queues->mutex);

return 0;

}

static int

_queues_incref(_queues *queues, int64_t qid)

{

// XXX Track interpreter IDs?

int res = -1;

PyThread_acquire_lock(queues->mutex, WAIT_LOCK);

_queueref *ref = _queuerefs_find(queues->head, qid, NULL);

if (ref == NULL) {

assert(!PyErr_Occurred());

res = ERR_QUEUE_NOT_FOUND;

goto done;

}

ref->refcount += 1;

res = 0;

done:

PyThread_release_lock(queues->mutex);

return res;

}

static int

_queues_decref(_queues *queues, int64_t qid)

{

int res = -1;