Begrenzte Berechnung in Haskell

Gibt es eine Möglichkeit in Haskell (mit GHC, wenn es darauf ankommt, für Code, der unter Linux und Windows ausgeführt werden muss), beschränkte Berechnungen durchzuführen? Das heißt, "berechne das Ergebnis dieser Funktion, wenn es machbar ist, aber wenn der Versuch mehr als X CPU-Zyklen, Y-Stapelspeicher oder Z-Stapelspeicherplatz verwendet hat und immer noch nicht beendet ist, halte an und gebe einen Hinweis darauf zurück war es nicht möglich, die Berechnung abzuschließen "?Begrenzte Berechnung in Haskell

Quelle

2012-05-27 rwallace

Bauen Sie ein Modellprüfwerkzeug? –

Unter anderem ja. – rwallace

Das könnte auch von Interesse sein: http://hackage.haskell.org/package/speculation – jberryman

System.Timeout.timeout :: Int -> IO a -> IO (Maybe a)

http://lambda.haskell.org/hp-tmp/docs/2011.2.0.0/ghc-doc/libraries/base-4.3.1.0/System-Timeout.html#v:timeout

Quelle

2012-05-27 07:06:36

Danke! Das sieht definitiv wie die Antwort für begrenzte Zeit aus. Wenn Sie diesen Teil der Dokumentation durchsehen, scheint es keine ähnliche Lösung für das Gedächtnis zu geben. – rwallace

In der Tat. Ich kann mir keine vernünftige Semantik für das Gedächtnis vorstellen, obwohl - neben der extremen Schwierigkeit, den Speicherverbrauch präzise zu messen, was ist, wenn es einen anderen Thread gibt, der nicht durch den Speicher eingeschränkt ist? Was passiert, wenn Sie einige Werte mit diesem anderen Thread teilen? wer "zahlt dafür"? Wie lösen Sie diese Probleme schnell genug, um Messungen zu erhalten, ohne die Funktion zu lähmen, die ausgeführt wird? –

Ja, das sind harte Probleme und ehrlich gesagt war ich nicht optimistisch in Bezug auf die Wahrscheinlichkeit, dass eine Mehrzwecksprache eine Standardlösung bietet, aber ich fand, dass es einen Versuch wert war, bevor ich mich mit meiner eigenen Speicherverwaltung hackte in C++ :-) – rwallace

Hier ist eine hackish Lösung Sie konnte try: laichen Ihre Berechnung mit forkIO, und lassen Sie die Muttergewinde (oder einen Monitor-Thread, der den Zugriff auf die gegabelten Thread ThreadId hat) in regelmäßigen Abständen abfragen jede Menge, die Sie wollen, und werfen Sie eine asynchrone Ausnahme auf den Computer-Thread wie nötig (interessanterweise, genau das ist, wie timeout funktioniert.)

Die nächste Frage wäre, ob die Es ist eine Möglichkeit herauszufinden, wie groß der Heap derzeit in Haskell ist. Gesamtspeicherverbrauch und Zyklen können Sie herausfinden, indem Sie Shell-Befehle erzeugen oder das Betriebssystem auf andere Weise abfragen (ich würde nicht wissen, wie das unter Windows funktioniert).

Es ist keine perfekte Lösung, aber es ist einfach , die Sie in wenigen Minuten implementieren und testen können.

Quelle

2012-05-27 09:30:57

Ich war auf der Suche nach einer Speicher-in-Verwendung-Methode, konnte aber keine in Haskell finden. –

Anstatt die Heap-Verwendung des Forks zu überwachen, können Sie auch einfach den Heap mit 'RTS'opts begrenzen, oder? – leftaroundabout

'ForkIO' ist im selben Haskell-Programm. Wenn Sie keinen neuen Prozess generieren, arbeiten Sie innerhalb des freigegebenen Heapspeichers. –

Auf Prozess-Ebene können Sie GHC's RTS options verwenden, um maximale Stack- und Heap-Größen zu steuern.

Quelle

2012-05-27 14:46:07

Begrenzte Berechnung in Haskell

Antwort

Verwandte Themen