Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Linux/arch/hexagon/include/asm/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 3 kB image not shown  

Quelle  spinlock.h   Sprache: C

 
/* SPDX-License-Identifier: GPL-2.0-only */
/*
 * Spinlock support for the Hexagon architecture
 *
 * Copyright (c) 2010-2011, The Linux Foundation. All rights reserved.
 */


#ifndef _ASM_SPINLOCK_H
#define _ASM_SPINLOCK_H

#include <asm/irqflags.h>
#include <asm/barrier.h>
#include <asm/processor.h>

/*
 * This file is pulled in for SMP builds.
 * Really need to check all the barrier stuff for "true" SMP
 */


/*
 * Read locks:
 * - load the lock value
 * - increment it
 * - if the lock value is still negative, go back and try again.
 * - unsuccessful store is unsuccessful.  Go back and try again.  Loser.
 * - successful store new lock value if positive -> lock acquired
 */

static inline void arch_read_lock(arch_rwlock_t *lock)
{
 __asm__ __volatile__(
  "1: R6 = memw_locked(%0);\n"
  " { P3 = cmp.ge(R6,#0); R6 = add(R6,#1);}\n"
  " { if (!P3) jump 1b; }\n"
  " memw_locked(%0,P3) = R6;\n"
  " { if (!P3) jump 1b; }\n"
  :
  : "r" (&lock->lock)
  : "memory""r6""p3"
 );

}

static inline void arch_read_unlock(arch_rwlock_t *lock)
{
 __asm__ __volatile__(
  "1: R6 = memw_locked(%0);\n"
  " R6 = add(R6,#-1);\n"
  " memw_locked(%0,P3) = R6\n"
  " if (!P3) jump 1b;\n"
  :
  : "r" (&lock->lock)
  : "memory""r6""p3"
 );

}

/*  I think this returns 0 on fail, 1 on success.  */
static inline int arch_read_trylock(arch_rwlock_t *lock)
{
 int temp;
 __asm__ __volatile__(
  " R6 = memw_locked(%1);\n"
  " { %0 = #0; P3 = cmp.ge(R6,#0); R6 = add(R6,#1);}\n"
  " { if (!P3) jump 1f; }\n"
  " memw_locked(%1,P3) = R6;\n"
  " { %0 = P3 }\n"
  "1:\n"
  : "=&r" (temp)
  : "r" (&lock->lock)
  : "memory""r6""p3"
 );
 return temp;
}

/*  Stuffs a -1 in the lock value?  */
static inline void arch_write_lock(arch_rwlock_t *lock)
{
 __asm__ __volatile__(
  "1: R6 = memw_locked(%0)\n"
  " { P3 = cmp.eq(R6,#0); R6 = #-1;}\n"
  " { if (!P3) jump 1b; }\n"
  " memw_locked(%0,P3) = R6;\n"
  " { if (!P3) jump 1b; }\n"
  :
  : "r" (&lock->lock)
  : "memory""r6""p3"
 );
}


static inline int arch_write_trylock(arch_rwlock_t *lock)
{
 int temp;
 __asm__ __volatile__(
  " R6 = memw_locked(%1)\n"
  " { %0 = #0; P3 = cmp.eq(R6,#0); R6 = #-1;}\n"
  " { if (!P3) jump 1f; }\n"
  " memw_locked(%1,P3) = R6;\n"
  " %0 = P3;\n"
  "1:\n"
  : "=&r" (temp)
  : "r" (&lock->lock)
  : "memory""r6""p3"
 );
 return temp;

}

static inline void arch_write_unlock(arch_rwlock_t *lock)
{
 smp_mb();
 lock->lock = 0;
}

static inline void arch_spin_lock(arch_spinlock_t *lock)
{
 __asm__ __volatile__(
  "1: R6 = memw_locked(%0);\n"
  " P3 = cmp.eq(R6,#0);\n"
  " { if (!P3) jump 1b; R6 = #1; }\n"
  " memw_locked(%0,P3) = R6;\n"
  " { if (!P3) jump 1b; }\n"
  :
  : "r" (&lock->lock)
  : "memory""r6""p3"
 );

}

static inline void arch_spin_unlock(arch_spinlock_t *lock)
{
 smp_mb();
 lock->lock = 0;
}

static inline unsigned int arch_spin_trylock(arch_spinlock_t *lock)
{
 int temp;
 __asm__ __volatile__(
  " R6 = memw_locked(%1);\n"
  " P3 = cmp.eq(R6,#0);\n"
  " { if (!P3) jump 1f; R6 = #1; %0 = #0; }\n"
  " memw_locked(%1,P3) = R6;\n"
  " %0 = P3;\n"
  "1:\n"
  : "=&r" (temp)
  : "r" (&lock->lock)
  : "memory""r6""p3"
 );
 return temp;
}

/*
 * SMP spinlocks are intended to allow only a single CPU at the lock
 */

#define arch_spin_is_locked(x) ((x)->lock != 0)

#endif

Messung V0.5
C=96 H=84 G=90

¤ Dauer der Verarbeitung: 0.19 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.