Abstract. This article presents a resource analysis system for OCaml programs. The system automatically derives worst-case resource bounds for higher-order polymorphic programs with user-defined inductive types. The technique is parametric in the res
2. Introduction Libvirt is a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems. Objective CAML (OCaml) is a modern statically typed functional language with type inference, many features for compile-time safety, with performance comparable to C. ocaml-libvirt are OCaml bindings for libvirt, allowing you to write OCaml programs and scripts which control virtualisation features. Some things which you might want to do with ocaml-libvirt: Monitor performance of virtual machines Pause and resume virtual machines according to demand Provision new virtual machines automatically for customers Configure how virtual machines are networked together
3. Documentation ocaml-libvirt complete API documentation. The main modules are Libvirt.Connect for managing connections, Libvirt.Domain for managing domains, and Libvirt.Network for managing networks. README file included in the source.
4. virt-top For more information about virt-top, see the virt-top information pages. rjones AT redhat DOT com $Id: index.html,v 1.4 2012/03/06 11:46:48 rjones Exp $