From dd8c7357e157ca0794b6e045207f23b95c61c0ae Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 9 Jan 2003 07:49:20 +0000 Subject: [PATCH] - added some TODO comments --- helm/http_getter/http_getter_cache.ml | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/helm/http_getter/http_getter_cache.ml b/helm/http_getter/http_getter_cache.ml index 2a258ddc4..d132b69a5 100644 --- a/helm/http_getter/http_getter_cache.ml +++ b/helm/http_getter/http_getter_cache.ml @@ -27,6 +27,18 @@ *) (* TODO cache expires control!!! *) +(* TODO possible race condition, e.g.: + two clients require the same URI which is available in cache compressed, the + getter need to uncompress it, send back to client, and delete the + uncompressed file. Actually the uncompressed file name is the same, a temp + file isn't used. *) +(* TODO possible race condition, e.g.: + two clients require the same URI which is not available in cache, cache + filling operation can collide *) +(* TODO uwobo loop: + if two large proof (already in cache) are requested at the same time by two + clients, uwobo (java implementation, not yet tested with the OCaml one) + starts looping sending output to one of the client *) open Http_getter_common;; open Http_getter_misc;; -- 2.39.2