Memo-Bibliotheken für C?

Question 1

Für ein Projekt, an dem ich arbeite, gibt es eine Reihe von Zuständen, in denen Berechnungen zuverlässig dieselben Ergebnisse liefern (und keine Nebenwirkungen haben). Die offensichtliche Lösung wäre, die Memoisierung für alle kostspieligen Funktionen zu verwenden.

Ich müsste eine Memoisierung haben, die mehr als einen Zustand handhabt (damit ich einen Cache-Satz ungültig machen könnte, ohne einen anderen ungültig zu machen). Kennt jemand eine gute C-Bibliothek für so etwas? (Beachten Sie, dass es nicht C++ sein kann, wir sprechen von C.)

Ich habe mit einigen guten Implementierungen in Python gearbeitet, die Decorators verwenden, um sich eine Reihe verschiedener Funktionen flexibel merken zu können. Ich frage mich, ob es eine generische Bibliothek gibt, die ähnliche Dinge mit C tun könnte (obwohl wahrscheinlich eher mit explizitem Funktionsumbruch als mit bequemer Syntax). Ich denke nur, dass es albern wäre, jeder Funktion einzeln Caching hinzufügen zu müssen, wenn es sich um ein häufig genug auftretendes Problem handelt, für das es einige Standardlösungen geben muss.

Folgende Eigenschaften würde ich suchen:

Kann Funktionen mit verschiedenen Eingabe- und Ausgabetypen zwischenspeichern
Verwaltet mehrere verschiedene Caches (so dass Sie kurz- und langfristiges Caching haben können)

Hat gute Funktionen zum Invalidieren von Caches
Soll von Wrapping-Funktionen verwendet werden, anstatt vorhandene Funktionen zu ändern

Kennt jemand eine C-Implementierung, die alle oder die meisten dieser Anforderungen erfüllen kann?

Question 2

Okay, da es keine Memoization-Bibliotheken für C gab und ich nach einer Drop-In-Lösung suchte, um vorhandene C-Funktionen in einer Codebasis zu memoisieren, habe ich meine eigene kleine Memoization-Bibliothek erstellt, die ich unter der APL 2.0 veröffentliche. Hoffentlich finden die Leute das nützlich und es wird nicht auf anderen Compilern abstürzen und brennen. Wenn es Probleme gibt, senden Sie mir hier eine Nachricht und ich werde mich darum kümmern, wann immer ich Zeit habe (was wahrscheinlich in Schritten von Monaten gemessen wird).

Diese Bibliothek ist nicht auf Geschwindigkeit ausgelegt, aber sie funktioniert und wurde getestet, um sicherzustellen, dass sie relativ einfach zu verwenden ist und bei meinen Tests keine Speicherlecks aufweist. Im Grunde lässt mich dies memoization zu Funktionen hinzufügen, die dem Decorator-Muster ähneln, an das ich in Python gewöhnt bin.

Die Bibliothek befindet sich derzeit auf SourceForge als C-Memo-Bibliothek. Es wird mit einem kleinen Benutzerhandbuch und einigen freizügig lizenzierten Bibliotheken von Drittanbietern für generisches Hashing geliefert. Wenn sich der Standort ändert, werde ich versuchen, diesen Link zu aktualisieren. Ich fand das hilfreich bei der Arbeit an meinem Projekt, hoffentlich finden andere es für ihre Projekte nützlich.

Question 3

Auswendiglernen ist so gut wie in die Haskell-Sprache eingebaut. Du kannst Rufen Sie diese Funktionalität von c auf

Aktualisieren:
Ich lerne immer noch etwas über funktionales Programmieren, aber ich weiß, dass das Memoisieren in der funktionalen Programmierung ziemlich verbreitet ist, weil die Sprachfunktionen es einfach machen. Ich lerne f#. Ich kenne Haskell nicht, aber es ist die einzige mir bekannte funktionale Sprache, die mit c interagiert. Möglicherweise finden Sie eine andere funktionale Programmiersprache, die sich besser mit c verbindet als die von Haskell.

Question 4

Warum kann es nicht einfach C++ sein?

Schauen Sie sich nur als Ausgangspunkt diese Merkfunktion an:

Erklärung:

template<typename T, typename F>
auto Memoize(T key, F function) {
  static T memory_key = key;
  static auto memory = function(memory_key);
  if (memory_key != key) {
    memory_key = key;
    memory = function(memory_key);
  }

  return memory;
}

Anwendungsbeispiel:

auto index = Memoize(value, IndexByLetter);