Skip to content
Snippets Groups Projects
Commit 4cd9d5df authored by ram's avatar ram
Browse files

Only use unsafe policies when safety = 0.

parent 0fbaa28c
No related branches found
No related tags found
No related merge requests found
......@@ -34,10 +34,9 @@
(cookie-cspeed dcookie))))
(speed (or (cookie-speed cookie)
(cookie-speed dcookie))))
(cond ((>= safety speed space) :fast-safe)
((>= speed (max space safety)) :fast)
((>= space (max speed safety)) :small)
(t :safe))))
(if (zerop safety)
(if (>= speed space) :fast :small)
(if (>= speed space) :fast-safe :safe))))
;;; Policy-Safe-P -- Interface
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment