void enqueue(ArgVal arg, int pid) {
ToggleVector diffs, l_toggles;
pointer_t ldw, mod_dw, tmp_sp;
int i, j, enq_counter, prefix, mybank;
EnqState *mod_sp, *lsp_data;
Node *node, *llist;
announce[pid] = arg; // A Fetch&Add instruction follows soon, thus a barrier is needless
mybank = TVEC_GET_BANK_OF_BIT(pid);
TVEC_REVERSE_BIT(&my_enq_bit, pid);
TVEC_NEGATIVE_BANK(&enq_toggle, &enq_toggle, mybank);
mod_sp = &enq_pool[pid * LOCAL_POOL_SIZE + enq_local_index];
TVEC_ATOMIC_ADD_BANK(&enqueuers, &enq_toggle, mybank); // toggle pid's bit in a_toggles, Fetch&Add acts as a full write-barrier
#if N_THREADS > USE_CPUS
if (simRandomRange(1, N_THREADS) > 4)
sched_yield();
#else
volatile int k;
int backoff_limit;
if (simRandomRange(1, N_THREADS) > 1) {
backoff_limit = simRandomRange(backoff >> 1, backoff);
for (k = 0; k < backoff_limit; k++)
;
}
void SimQueueEnqueue(SimQueueStruct *queue, SimQueueThreadState *th_state, ArgVal arg, int pid) {
ToggleVector diffs, l_toggles;
pointer_t ldw, mod_dw, tmp_sp;
int i, j, enq_counter, prefix;
EnqState *mod_sp, *lsp_data;
Node *node, *llist;
queue->announce[pid] = arg; // A Fetch&Add instruction follows soon, thus a barrier is needless
TVEC_REVERSE_BIT(&th_state->my_enq_bit, pid);
TVEC_NEGATIVE_BANK(&th_state->enq_toggle, &th_state->enq_toggle, th_state->mybank);
mod_sp = &queue->enq_pool[pid * LOCAL_POOL_SIZE + th_state->enq_local_index];
TVEC_ATOMIC_ADD_BANK(&queue->enqueuers, &th_state->enq_toggle, th_state->mybank); // toggle pid's bit in a_toggles, Fetch&Add acts as a full write-barrier
#if N_THREADS > USE_CPUS
if (fastRandomRange(1, N_THREADS) > 4)
resched();
#else
volatile int k;
int backoff_limit;
if (fastRandomRange(1, N_THREADS) > 1) {
backoff_limit = fastRandomRange(th_state->backoff >> 1, th_state->backoff);
for (k = 0; k < backoff_limit; k++)
;
}
