products/Sources/formale Sprachen/PVS/ACCoRD/pvsbin/   (Gnome Linux Desktop Version 4.23.2©)  Datei vom 8.10.2014 mit Größe 577 kB image not shown  

SSL cache.c

  Sprache: C
 

// SPDX-License-Identifier: GPL-2.0
/*
 * Copyright (C) 2024 Google LLC
 */


#include "gendwarfksyms.h"

struct cache_item {
 unsigned long key;
 int value;
 struct hlist_node hash;
};

void cache_set(struct cache *cache, unsigned long key, int value)
{
 struct cache_item *ci;

 ci = xmalloc(sizeof(*ci));
 ci->key = key;
 ci->value = value;
 hash_add(cache->cache, &ci->hash, hash_32(key));
}

int cache_get(struct cache *cache, unsigned long key)
{
 struct cache_item *ci;

 hash_for_each_possible(cache->cache, ci, hash, hash_32(key)) {
  if (ci->key == key)
   return ci->value;
 }

 return -1;
}

void cache_init(struct cache *cache)
{
 hash_init(cache->cache);
}

void cache_free(struct cache *cache)
{
 struct hlist_node *tmp;
 struct cache_item *ci;

 hash_for_each_safe(cache->cache, ci, tmp, hash) {
  free(ci);
 }

 hash_init(cache->cache);
}

Messung V0.5 in Prozent
C=96 H=92 G=93

¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet am  2026-06-07) ¤

*© Formatika GbR, Deutschland






Wurzel

Ziele

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Ergonomie der
Schnittstellen

Diese beiden folgenden Angebotsgruppen bietet das Unternehmen

Angebot

Hier finden Sie eine Liste der Produkte des Unternehmens