1 (* OCaml bindings for libvirt.
2 (C) Copyright 2007 Richard W.M. Jones, Red Hat Inc.
5 This library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2 of the License, or (at your option) any later version,
9 with the OCaml linking exception described in ../COPYING.LIB.
11 This library is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 Lesser General Public License for more details.
16 You should have received a copy of the GNU Lesser General Public
17 License along with this library; if not, write to the Free Software
18 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
25 type filename = string
27 external get_version : ?driver:string -> unit -> int * int = "ocaml_libvirt_get_version"
30 let uuid_string_length = 36
32 (* http://caml.inria.fr/pub/ml-archives/caml-list/2004/07/80683af867cce6bf8fff273973f70c95.en.html *)
52 | ListNoState | ListRunning | ListBlocked
53 | ListPaused | ListShutdown | ListShutoff | ListCrashed
58 external connect : ?name:string -> unit -> rw t = "ocaml_libvirt_connect_open"
59 external connect_readonly : ?name:string -> unit -> ro t = "ocaml_libvirt_connect_open_readonly"
60 external close : [>`R] t -> unit = "ocaml_libvirt_connect_close"
61 external get_type : [>`R] t -> string = "ocaml_libvirt_connect_get_type"
62 external get_version : [>`R] t -> int = "ocaml_libvirt_connect_get_version"
63 external get_hostname : [>`R] t -> string = "ocaml_libvirt_connect_get_hostname"
64 external get_uri : [>`R] t -> string = "ocaml_libvirt_connect_get_uri"
65 external get_max_vcpus : [>`R] t -> ?type_:string -> unit -> int = "ocaml_libvirt_connect_get_max_vcpus"
66 external list_domains : [>`R] t -> int -> int array = "ocaml_libvirt_connect_list_domains"
67 external num_of_domains : [>`R] t -> int = "ocaml_libvirt_connect_num_of_domains"
68 external get_capabilities : [>`R] t -> xml = "ocaml_libvirt_connect_get_capabilities"
69 external num_of_defined_domains : [>`R] t -> int = "ocaml_libvirt_connect_num_of_defined_domains"
70 external list_defined_domains : [>`R] t -> int -> string array = "ocaml_libvirt_connect_list_defined_domains"
71 external num_of_networks : [>`R] t -> int = "ocaml_libvirt_connect_num_of_networks"
72 external list_networks : [>`R] t -> int -> string array = "ocaml_libvirt_connect_list_networks"
73 external num_of_defined_networks : [>`R] t -> int = "ocaml_libvirt_connect_num_of_defined_networks"
74 external list_defined_networks : [>`R] t -> int -> string array = "ocaml_libvirt_connect_list_defined_networks"
75 external num_of_pools : [>`R] t -> int = "ocaml_libvirt_connect_num_of_storage_pools"
76 external list_pools : [>`R] t -> int -> string array = "ocaml_libvirt_connect_list_storage_pools"
77 external num_of_defined_pools : [>`R] t -> int = "ocaml_libvirt_connect_num_of_defined_storage_pools"
78 external list_defined_pools : [>`R] t -> int -> string array = "ocaml_libvirt_connect_list_defined_storage_pools"
80 external get_node_info : [>`R] t -> node_info = "ocaml_libvirt_connect_get_node_info"
81 external node_get_free_memory : [> `R] t -> int64 = "ocaml_libvirt_connect_node_get_free_memory"
82 external node_get_cells_free_memory : [> `R] t -> int -> int -> int64 array = "ocaml_libvirt_connect_node_get_cells_free_memory"
84 (* See VIR_NODEINFO_MAXCPUS macro defined in <libvirt.h>. *)
85 let maxcpus_of_node_info { nodes = nodes; sockets = sockets;
86 cores = cores; threads = threads } =
87 nodes * sockets * cores * threads
89 (* See VIR_CPU_MAPLEN macro defined in <libvirt.h>. *)
90 let cpumaplen nr_cpus =
93 (* See VIR_USE_CPU, VIR_UNUSE_CPU, VIR_CPU_USABLE macros defined in <libvirt.h>. *)
94 let use_cpu cpumap cpu =
96 Char.chr (Char.code cpumap.[cpu/8] lor (1 lsl (cpu mod 8)))
97 let unuse_cpu cpumap cpu =
99 Char.chr (Char.code cpumap.[cpu/8] land (lnot (1 lsl (cpu mod 8))))
100 let cpu_usable cpumaps maplen vcpu cpu =
101 Char.code cpumaps.[vcpu*maplen + cpu/8] land (1 lsl (cpu mod 8)) <> 0
103 external set_keep_alive : [>`R] t -> int -> int -> unit = "ocaml_libvirt_connect_set_keep_alive"
105 external const : [>`R] t -> ro t = "%identity"
112 | VIR_ERR_INTERNAL_ERROR
115 | VIR_ERR_UNKNOWN_HOST
117 | VIR_ERR_INVALID_CONN
118 | VIR_ERR_INVALID_DOMAIN
119 | VIR_ERR_INVALID_ARG
120 | VIR_ERR_OPERATION_FAILED
122 | VIR_ERR_POST_FAILED
124 | VIR_ERR_SEXPR_SERIAL
135 | VIR_ERR_NO_XENSTORE
136 | VIR_ERR_DRIVER_FULL
137 | VIR_ERR_CALL_FAILED
140 | VIR_ERR_OPERATION_DENIED
141 | VIR_ERR_OPEN_FAILED
142 | VIR_ERR_READ_FAILED
143 | VIR_ERR_PARSE_FAILED
144 | VIR_ERR_CONF_SYNTAX
145 | VIR_ERR_WRITE_FAILED
147 | VIR_ERR_INVALID_NETWORK
148 | VIR_ERR_NETWORK_EXIST
149 | VIR_ERR_SYSTEM_ERROR
151 | VIR_ERR_GNUTLS_ERROR
155 | VIR_ERR_INVALID_MAC
156 | VIR_ERR_AUTH_FAILED
157 | VIR_ERR_INVALID_STORAGE_POOL
158 | VIR_ERR_INVALID_STORAGE_VOL
160 | VIR_ERR_NO_STORAGE_POOL
161 | VIR_ERR_NO_STORAGE_VOL
162 | VIR_ERR_UNKNOWN of int
164 let string_of_code = function
165 | VIR_ERR_OK -> "VIR_ERR_OK"
166 | VIR_ERR_INTERNAL_ERROR -> "VIR_ERR_INTERNAL_ERROR"
167 | VIR_ERR_NO_MEMORY -> "VIR_ERR_NO_MEMORY"
168 | VIR_ERR_NO_SUPPORT -> "VIR_ERR_NO_SUPPORT"
169 | VIR_ERR_UNKNOWN_HOST -> "VIR_ERR_UNKNOWN_HOST"
170 | VIR_ERR_NO_CONNECT -> "VIR_ERR_NO_CONNECT"
171 | VIR_ERR_INVALID_CONN -> "VIR_ERR_INVALID_CONN"
172 | VIR_ERR_INVALID_DOMAIN -> "VIR_ERR_INVALID_DOMAIN"
173 | VIR_ERR_INVALID_ARG -> "VIR_ERR_INVALID_ARG"
174 | VIR_ERR_OPERATION_FAILED -> "VIR_ERR_OPERATION_FAILED"
175 | VIR_ERR_GET_FAILED -> "VIR_ERR_GET_FAILED"
176 | VIR_ERR_POST_FAILED -> "VIR_ERR_POST_FAILED"
177 | VIR_ERR_HTTP_ERROR -> "VIR_ERR_HTTP_ERROR"
178 | VIR_ERR_SEXPR_SERIAL -> "VIR_ERR_SEXPR_SERIAL"
179 | VIR_ERR_NO_XEN -> "VIR_ERR_NO_XEN"
180 | VIR_ERR_XEN_CALL -> "VIR_ERR_XEN_CALL"
181 | VIR_ERR_OS_TYPE -> "VIR_ERR_OS_TYPE"
182 | VIR_ERR_NO_KERNEL -> "VIR_ERR_NO_KERNEL"
183 | VIR_ERR_NO_ROOT -> "VIR_ERR_NO_ROOT"
184 | VIR_ERR_NO_SOURCE -> "VIR_ERR_NO_SOURCE"
185 | VIR_ERR_NO_TARGET -> "VIR_ERR_NO_TARGET"
186 | VIR_ERR_NO_NAME -> "VIR_ERR_NO_NAME"
187 | VIR_ERR_NO_OS -> "VIR_ERR_NO_OS"
188 | VIR_ERR_NO_DEVICE -> "VIR_ERR_NO_DEVICE"
189 | VIR_ERR_NO_XENSTORE -> "VIR_ERR_NO_XENSTORE"
190 | VIR_ERR_DRIVER_FULL -> "VIR_ERR_DRIVER_FULL"
191 | VIR_ERR_CALL_FAILED -> "VIR_ERR_CALL_FAILED"
192 | VIR_ERR_XML_ERROR -> "VIR_ERR_XML_ERROR"
193 | VIR_ERR_DOM_EXIST -> "VIR_ERR_DOM_EXIST"
194 | VIR_ERR_OPERATION_DENIED -> "VIR_ERR_OPERATION_DENIED"
195 | VIR_ERR_OPEN_FAILED -> "VIR_ERR_OPEN_FAILED"
196 | VIR_ERR_READ_FAILED -> "VIR_ERR_READ_FAILED"
197 | VIR_ERR_PARSE_FAILED -> "VIR_ERR_PARSE_FAILED"
198 | VIR_ERR_CONF_SYNTAX -> "VIR_ERR_CONF_SYNTAX"
199 | VIR_ERR_WRITE_FAILED -> "VIR_ERR_WRITE_FAILED"
200 | VIR_ERR_XML_DETAIL -> "VIR_ERR_XML_DETAIL"
201 | VIR_ERR_INVALID_NETWORK -> "VIR_ERR_INVALID_NETWORK"
202 | VIR_ERR_NETWORK_EXIST -> "VIR_ERR_NETWORK_EXIST"
203 | VIR_ERR_SYSTEM_ERROR -> "VIR_ERR_SYSTEM_ERROR"
204 | VIR_ERR_RPC -> "VIR_ERR_RPC"
205 | VIR_ERR_GNUTLS_ERROR -> "VIR_ERR_GNUTLS_ERROR"
206 | VIR_WAR_NO_NETWORK -> "VIR_WAR_NO_NETWORK"
207 | VIR_ERR_NO_DOMAIN -> "VIR_ERR_NO_DOMAIN"
208 | VIR_ERR_NO_NETWORK -> "VIR_ERR_NO_NETWORK"
209 | VIR_ERR_INVALID_MAC -> "VIR_ERR_INVALID_MAC"
210 | VIR_ERR_AUTH_FAILED -> "VIR_ERR_AUTH_FAILED"
211 | VIR_ERR_INVALID_STORAGE_POOL -> "VIR_ERR_INVALID_STORAGE_POOL"
212 | VIR_ERR_INVALID_STORAGE_VOL -> "VIR_ERR_INVALID_STORAGE_VOL"
213 | VIR_WAR_NO_STORAGE -> "VIR_WAR_NO_STORAGE"
214 | VIR_ERR_NO_STORAGE_POOL -> "VIR_ERR_NO_STORAGE_POOL"
215 | VIR_ERR_NO_STORAGE_VOL -> "VIR_ERR_NO_STORAGE_VOL"
216 | VIR_ERR_UNKNOWN i -> "VIR_ERR_" ^ string_of_int i
235 | VIR_FROM_STATS_LINUX
237 | VIR_FROM_UNKNOWN of int
239 let string_of_domain = function
240 | VIR_FROM_NONE -> "VIR_FROM_NONE"
241 | VIR_FROM_XEN -> "VIR_FROM_XEN"
242 | VIR_FROM_XEND -> "VIR_FROM_XEND"
243 | VIR_FROM_XENSTORE -> "VIR_FROM_XENSTORE"
244 | VIR_FROM_SEXPR -> "VIR_FROM_SEXPR"
245 | VIR_FROM_XML -> "VIR_FROM_XML"
246 | VIR_FROM_DOM -> "VIR_FROM_DOM"
247 | VIR_FROM_RPC -> "VIR_FROM_RPC"
248 | VIR_FROM_PROXY -> "VIR_FROM_PROXY"
249 | VIR_FROM_CONF -> "VIR_FROM_CONF"
250 | VIR_FROM_QEMU -> "VIR_FROM_QEMU"
251 | VIR_FROM_NET -> "VIR_FROM_NET"
252 | VIR_FROM_TEST -> "VIR_FROM_TEST"
253 | VIR_FROM_REMOTE -> "VIR_FROM_REMOTE"
254 | VIR_FROM_OPENVZ -> "VIR_FROM_OPENVZ"
255 | VIR_FROM_XENXM -> "VIR_FROM_XENXM"
256 | VIR_FROM_STATS_LINUX -> "VIR_FROM_STATS_LINUX"
257 | VIR_FROM_STORAGE -> "VIR_FROM_STORAGE"
258 | VIR_FROM_UNKNOWN i -> "VIR_FROM_" ^ string_of_int i
264 | VIR_ERR_UNKNOWN_LEVEL of int
266 let string_of_level = function
267 | VIR_ERR_NONE -> "VIR_ERR_NONE"
268 | VIR_ERR_WARNING -> "VIR_ERR_WARNING"
269 | VIR_ERR_ERROR -> "VIR_ERR_ERROR"
270 | VIR_ERR_UNKNOWN_LEVEL i -> "VIR_ERR_LEVEL_" ^ string_of_int i
275 message : string option;
277 str1 : string option;
278 str2 : string option;
279 str3 : string option;
284 let to_string { code = code; domain = domain; message = message } =
285 let buf = Buffer.create 128 in
286 Buffer.add_string buf "libvirt: ";
287 Buffer.add_string buf (string_of_code code);
288 Buffer.add_string buf ": ";
289 Buffer.add_string buf (string_of_domain domain);
290 Buffer.add_string buf ": ";
291 (match message with Some msg -> Buffer.add_string buf msg | None -> ());
294 external get_last_error : unit -> t option = "ocaml_libvirt_virterror_get_last_error"
295 external get_last_conn_error : [>`R] Connect.t -> t option = "ocaml_libvirt_virterror_get_last_conn_error"
296 external reset_last_error : unit -> unit = "ocaml_libvirt_virterror_reset_last_error"
297 external reset_last_conn_error : [>`R] Connect.t -> unit = "ocaml_libvirt_virterror_reset_last_conn_error"
300 { code = VIR_ERR_OK; domain = VIR_FROM_NONE;
301 message = None; level = VIR_ERR_NONE;
302 str1 = None; str2 = None; str3 = None;
303 int1 = 0_l; int2 = 0_l }
306 exception Virterror of Virterror.t
307 exception Not_supported of string
309 let rec map_ignore_errors f = function
312 try f x :: map_ignore_errors f xs
313 with Virterror _ -> map_ignore_errors f xs
320 | InfoNoState | InfoRunning | InfoBlocked | InfoPaused
321 | InfoShutdown | InfoShutoff | InfoCrashed
331 type vcpu_state = VcpuOffline | VcpuRunning | VcpuBlocked
335 vcpu_state : vcpu_state;
340 type sched_param = string * sched_param_value
341 and sched_param_value =
342 | SchedFieldInt32 of int32 | SchedFieldUInt32 of int32
343 | SchedFieldInt64 of int64 | SchedFieldUInt64 of int64
344 | SchedFieldFloat of float | SchedFieldBool of bool
346 type typed_param = string * typed_param_value
347 and typed_param_value =
348 | TypedFieldInt32 of int32 | TypedFieldUInt32 of int32
349 | TypedFieldInt64 of int64 | TypedFieldUInt64 of int64
350 | TypedFieldFloat of float | TypedFieldBool of bool
351 | TypedFieldString of string
353 type migrate_flag = Live
355 type memory_flag = Virtual
370 type interface_stats = {
381 (* The maximum size for Domain.memory_peek and Domain.block_peek
382 * supported by libvirt. This may change with different versions
383 * of libvirt in the future, hence it's a function.
385 let max_peek _ = 65536
387 external create_linux : [>`W] Connect.t -> xml -> rw t = "ocaml_libvirt_domain_create_linux"
388 external lookup_by_id : 'a Connect.t -> int -> 'a t = "ocaml_libvirt_domain_lookup_by_id"
389 external lookup_by_uuid : 'a Connect.t -> uuid -> 'a t = "ocaml_libvirt_domain_lookup_by_uuid"
390 external lookup_by_uuid_string : 'a Connect.t -> string -> 'a t = "ocaml_libvirt_domain_lookup_by_uuid_string"
391 external lookup_by_name : 'a Connect.t -> string -> 'a t = "ocaml_libvirt_domain_lookup_by_name"
392 external destroy : [>`W] t -> unit = "ocaml_libvirt_domain_destroy"
393 external free : [>`R] t -> unit = "ocaml_libvirt_domain_free"
394 external suspend : [>`W] t -> unit = "ocaml_libvirt_domain_suspend"
395 external resume : [>`W] t -> unit = "ocaml_libvirt_domain_resume"
396 external save : [>`W] t -> filename -> unit = "ocaml_libvirt_domain_save"
397 external restore : [>`W] Connect.t -> filename -> unit = "ocaml_libvirt_domain_restore"
398 external core_dump : [>`W] t -> filename -> unit = "ocaml_libvirt_domain_core_dump"
399 external shutdown : [>`W] t -> unit = "ocaml_libvirt_domain_shutdown"
400 external reboot : [>`W] t -> unit = "ocaml_libvirt_domain_reboot"
401 external get_name : [>`R] t -> string = "ocaml_libvirt_domain_get_name"
402 external get_uuid : [>`R] t -> uuid = "ocaml_libvirt_domain_get_uuid"
403 external get_uuid_string : [>`R] t -> string = "ocaml_libvirt_domain_get_uuid_string"
404 external get_id : [>`R] t -> int = "ocaml_libvirt_domain_get_id"
405 external get_os_type : [>`R] t -> string = "ocaml_libvirt_domain_get_os_type"
406 external get_max_memory : [>`R] t -> int64 = "ocaml_libvirt_domain_get_max_memory"
407 external set_max_memory : [>`W] t -> int64 -> unit = "ocaml_libvirt_domain_set_max_memory"
408 external set_memory : [>`W] t -> int64 -> unit = "ocaml_libvirt_domain_set_memory"
409 external get_info : [>`R] t -> info = "ocaml_libvirt_domain_get_info"
410 external get_xml_desc : [>`R] t -> xml = "ocaml_libvirt_domain_get_xml_desc"
411 external get_scheduler_type : [>`R] t -> string * int = "ocaml_libvirt_domain_get_scheduler_type"
412 external get_scheduler_parameters : [>`R] t -> int -> sched_param array = "ocaml_libvirt_domain_get_scheduler_parameters"
413 external set_scheduler_parameters : [>`W] t -> sched_param array -> unit = "ocaml_libvirt_domain_set_scheduler_parameters"
414 external define_xml : [>`W] Connect.t -> xml -> rw t = "ocaml_libvirt_domain_define_xml"
415 external undefine : [>`W] t -> unit = "ocaml_libvirt_domain_undefine"
416 external create : [>`W] t -> unit = "ocaml_libvirt_domain_create"
417 external get_autostart : [>`R] t -> bool = "ocaml_libvirt_domain_get_autostart"
418 external set_autostart : [>`W] t -> bool -> unit = "ocaml_libvirt_domain_set_autostart"
419 external set_vcpus : [>`W] t -> int -> unit = "ocaml_libvirt_domain_set_vcpus"
420 external pin_vcpu : [>`W] t -> int -> string -> unit = "ocaml_libvirt_domain_pin_vcpu"
421 external get_vcpus : [>`R] t -> int -> int -> int * vcpu_info array * string = "ocaml_libvirt_domain_get_vcpus"
422 external get_cpu_stats : [>`R] t -> typed_param list array = "ocaml_libvirt_domain_get_cpu_stats"
423 external get_max_vcpus : [>`R] t -> int = "ocaml_libvirt_domain_get_max_vcpus"
424 external attach_device : [>`W] t -> xml -> unit = "ocaml_libvirt_domain_attach_device"
425 external detach_device : [>`W] t -> xml -> unit = "ocaml_libvirt_domain_detach_device"
426 external migrate : [>`W] t -> [>`W] Connect.t -> migrate_flag list -> ?dname:string -> ?uri:string -> ?bandwidth:int -> unit -> rw t = "ocaml_libvirt_domain_migrate_bytecode" "ocaml_libvirt_domain_migrate_native"
427 external block_stats : [>`R] t -> string -> block_stats = "ocaml_libvirt_domain_block_stats"
428 external interface_stats : [>`R] t -> string -> interface_stats = "ocaml_libvirt_domain_interface_stats"
429 external block_peek : [>`W] t -> string -> int64 -> int -> string -> int -> unit = "ocaml_libvirt_domain_block_peek_bytecode" "ocaml_libvirt_domain_block_peek_native"
430 external memory_peek : [>`W] t -> memory_flag list -> int64 -> int -> string -> int -> unit = "ocaml_libvirt_domain_memory_peek_bytecode" "ocaml_libvirt_domain_memory_peek_native"
432 external const : [>`R] t -> ro t = "%identity"
434 let get_domains conn flags =
435 (* Old/slow/inefficient method. *)
436 let get_active, get_inactive =
437 if List.mem ListAll flags then
440 (List.mem ListActive flags, List.mem ListInactive flags) in
443 let n = Connect.num_of_domains conn in
444 let ids = Connect.list_domains conn n in
445 let ids = Array.to_list ids in
446 map_ignore_errors (lookup_by_id conn) ids
450 if get_inactive then (
451 let n = Connect.num_of_defined_domains conn in
452 let names = Connect.list_defined_domains conn n in
453 let names = Array.to_list names in
454 map_ignore_errors (lookup_by_name conn) names
457 active_doms @ inactive_doms
459 let get_domains_and_infos conn flags =
460 (* Old/slow/inefficient method. *)
461 let get_active, get_inactive =
462 if List.mem ListAll flags then
464 else (List.mem ListActive flags, List.mem ListInactive flags) in
467 let n = Connect.num_of_domains conn in
468 let ids = Connect.list_domains conn n in
469 let ids = Array.to_list ids in
470 map_ignore_errors (lookup_by_id conn) ids
474 if get_inactive then (
475 let n = Connect.num_of_defined_domains conn in
476 let names = Connect.list_defined_domains conn n in
477 let names = Array.to_list names in
478 map_ignore_errors (lookup_by_name conn) names
481 let doms = active_doms @ inactive_doms in
483 map_ignore_errors (fun dom -> (dom, get_info dom)) doms
489 module Defined = struct
496 let to_string = function
498 | `Updated -> "Updated"
499 | `Unknown x -> Printf.sprintf "Unknown Defined.detail: %d" x
504 | x -> `Unknown x (* newer libvirt *)
507 module Undefined = struct
513 let to_string = function
514 | `Removed -> "UndefinedRemoved"
515 | `Unknown x -> Printf.sprintf "Unknown Undefined.detail: %d" x
519 | x -> `Unknown x (* newer libvirt *)
522 module Started = struct
532 let to_string = function
533 | `Booted -> "Booted"
534 | `Migrated -> "Migrated"
535 | `Restored -> "Restored"
536 | `FromSnapshot -> "FromSnapshot"
537 | `Wakeup -> "Wakeup"
538 | `Unknown x -> Printf.sprintf "Unknown Started.detail: %d" x
546 | x -> `Unknown x (* newer libvirt *)
549 module Suspended = struct
558 | `Unknown of int (* newer libvirt *)
561 let to_string = function
562 | `Paused -> "Paused"
563 | `Migrated -> "Migrated"
564 | `IOError -> "IOError"
565 | `Watchdog -> "Watchdog"
566 | `Restored -> "Restored"
567 | `FromSnapshot -> "FromSnapshot"
568 | `APIError -> "APIError"
569 | `Unknown x -> Printf.sprintf "Unknown Suspended.detail: %d" x
579 | x -> `Unknown x (* newer libvirt *)
582 module Resumed = struct
587 | `Unknown of int (* newer libvirt *)
590 let to_string = function
591 | `Unpaused -> "Unpaused"
592 | `Migrated -> "Migrated"
593 | `FromSnapshot -> "FromSnapshot"
594 | `Unknown x -> Printf.sprintf "Unknown Resumed.detail: %d" x
600 | x -> `Unknown x (* newer libvirt *)
603 module Stopped = struct
614 let to_string = function
615 | `Shutdown -> "Shutdown"
616 | `Destroyed -> "Destroyed"
617 | `Crashed -> "Crashed"
618 | `Migrated -> "Migrated"
620 | `Failed -> "Failed"
621 | `FromSnapshot -> "FromSnapshot"
622 | `Unknown x -> Printf.sprintf "Unknown Stopped.detail: %d" x
632 | x -> `Unknown x (* newer libvirt *)
635 module PM_suspended = struct
639 | `Unknown of int (* newer libvirt *)
642 let to_string = function
643 | `Memory -> "Memory"
645 | `Unknown x -> Printf.sprintf "Unknown PM_suspended.detail: %d" x
650 | x -> `Unknown x (* newer libvirt *)
653 let string_option x = match x with
655 | Some x' -> "Some " ^ x'
657 module Lifecycle = struct
659 | `Defined of Defined.t
660 | `Undefined of Undefined.t
661 | `Started of Started.t
662 | `Suspended of Suspended.t
663 | `Resumed of Resumed.t
664 | `Stopped of Stopped.t
665 | `Shutdown (* no detail defined yet *)
666 | `PMSuspended of PM_suspended.t
667 | `Unknown of int (* newer libvirt *)
670 let to_string = function
671 | `Defined x -> "Defined " ^ (Defined.to_string x)
672 | `Undefined x -> "Undefined " ^ (Undefined.to_string x)
673 | `Started x -> "Started " ^ (Started.to_string x)
674 | `Suspended x -> "Suspended " ^ (Suspended.to_string x)
675 | `Resumed x -> "Resumed " ^ (Resumed.to_string x)
676 | `Stopped x -> "Stopped " ^ (Stopped.to_string x)
677 | `Shutdown -> "Shutdown"
678 | `PMSuspended x -> "PMSuspended " ^ (PM_suspended.to_string x)
679 | `Unknown x -> Printf.sprintf "Unknown Lifecycle event: %d" x
681 let make (ty, detail) = match ty with
682 | 0 -> `Defined (Defined.make detail)
683 | 1 -> `Undefined (Undefined.make detail)
684 | 2 -> `Started (Started.make detail)
685 | 3 -> `Suspended (Suspended.make detail)
686 | 4 -> `Resumed (Resumed.make detail)
687 | 5 -> `Stopped (Stopped.make detail)
689 | 7 -> `PMSuspended (PM_suspended.make detail)
693 module Reboot = struct
696 let to_string _ = "()"
701 module Rtc_change = struct
704 let to_string = Int64.to_string
709 module Watchdog = struct
720 let to_string = function
724 | `Poweroff -> "Poweroff"
725 | `Shutdown -> "Shutdown"
727 | `Unknown x -> Printf.sprintf "Unknown watchdog_action: %d" x
736 | x -> `Unknown x (* newer libvirt *)
739 module Io_error = struct
744 | `Unknown of int (* newer libvirt *)
747 let string_of_action = function
750 | `Report -> "Report"
751 | `Unknown x -> Printf.sprintf "Unknown Io_error.action: %d" x
753 let action_of_int = function
760 src_path: string option;
761 dev_alias: string option;
763 reason: string option;
766 let to_string t = Printf.sprintf
767 "{ Io_error.src_path = %s; dev_alias = %s; action = %s; reason = %s }"
768 (string_option t.src_path)
769 (string_option t.dev_alias)
770 (string_of_action t.action)
771 (string_option t.reason)
773 let make (src_path, dev_alias, action, reason) = {
775 dev_alias = dev_alias;
776 action = action_of_int action;
780 let make_noreason (src_path, dev_alias, action) =
781 make (src_path, dev_alias, action, None)
784 module Graphics_address = struct
789 | `Unknown of int (* newer libvirt *)
792 let string_of_family = function
796 | `Unknown x -> Printf.sprintf "Unknown Graphics_address.family: %d" x
798 let family_of_int = function
806 family: family; (** Address family *)
807 node: string option; (** Address of node (eg IP address, or UNIX path *)
808 service: string option; (** Service name/number (eg TCP port, or NULL) *)
811 let to_string t = Printf.sprintf
812 "{ family = %s; node = %s; service = %s }"
813 (string_of_family t.family)
814 (string_option t.node)
815 (string_option t.service)
817 let make (family, node, service) = {
818 family = family_of_int family;
824 module Graphics_subject = struct
830 let string_of_identity t = Printf.sprintf
831 "{ ty = %s; name = %s }"
833 (string_option t.name)
835 type t = identity list
838 "[ " ^ (String.concat "; " (List.map string_of_identity ts)) ^ " ]"
841 List.map (fun (ty, name) -> { ty = ty; name = name })
845 module Graphics = struct
850 | `Unknown of int (** newer libvirt *)
853 let string_of_phase = function
854 | `Connect -> "Connect"
855 | `Initialize -> "Initialize"
856 | `Disconnect -> "Disconnect"
857 | `Unknown x -> Printf.sprintf "Unknown Graphics.phase: %d" x
859 let phase_of_int = function
866 phase: phase; (** the phase of the connection *)
867 local: Graphics_address.t; (** the local server address *)
868 remote: Graphics_address.t; (** the remote client address *)
869 auth_scheme: string option; (** the authentication scheme activated *)
870 subject: Graphics_subject.t; (** the authenticated subject (user) *)
874 let phase = Printf.sprintf "phase = %s"
875 (string_of_phase t.phase) in
876 let local = Printf.sprintf "local = %s"
877 (Graphics_address.to_string t.local) in
878 let remote = Printf.sprintf "remote = %s"
879 (Graphics_address.to_string t.remote) in
880 let auth_scheme = Printf.sprintf "auth_scheme = %s"
881 (string_option t.auth_scheme) in
882 let subject = Printf.sprintf "subject = %s"
883 (Graphics_subject.to_string t.subject) in
884 "{ " ^ (String.concat "; " [ phase; local; remote; auth_scheme; subject ]) ^ " }"
886 let make (phase, local, remote, auth_scheme, subject) = {
887 phase = phase_of_int phase;
888 local = Graphics_address.make local;
889 remote = Graphics_address.make remote;
890 auth_scheme = auth_scheme;
891 subject = Graphics_subject.make subject;
895 module Control_error = struct
898 let to_string () = "()"
903 module Block_job = struct
905 | `KnownUnknown (* explicitly named UNKNOWN in the spec *)
909 | `Unknown of int (* newer libvirt *)
912 let string_of_ty = function
913 | `KnownUnknown -> "KnownUnknown"
916 | `Commit -> "Commit"
917 | `Unknown x -> Printf.sprintf "Unknown Block_job.ty: %d" x
919 let ty_of_int = function
924 | x -> `Unknown x (* newer libvirt *)
934 let string_of_status = function
935 | `Completed -> "Completed"
936 | `Failed -> "Failed"
937 | `Cancelled -> "Cancelled"
939 | `Unknown x -> Printf.sprintf "Unknown Block_job.status: %d" x
941 let status_of_int = function
954 let to_string t = Printf.sprintf "{ disk = %s; ty = %s; status = %s }"
955 (string_option t.disk)
957 (string_of_status t.status)
959 let make (disk, ty, status) = {
962 status = status_of_int ty;
966 module Disk_change = struct
972 let string_of_reason = function
973 | `MissingOnStart -> "MissingOnStart"
974 | `Unknown x -> Printf.sprintf "Unknown Disk_change.reason: %d" x
976 let reason_of_int = function
977 | 0 -> `MissingOnStart
981 old_src_path: string option;
982 new_src_path: string option;
983 dev_alias: string option;
988 let o = Printf.sprintf "old_src_path = %s" (string_option t.old_src_path) in
989 let n = Printf.sprintf "new_src_path = %s" (string_option t.new_src_path) in
990 let d = Printf.sprintf "dev_alias = %s" (string_option t.dev_alias) in
991 let r = string_of_reason t.reason in
992 "{ " ^ (String.concat "; " [ o; n; d; r ]) ^ " }"
994 let make (o, n, d, r) = {
998 reason = reason_of_int r;
1002 module Tray_change = struct
1009 let string_of_reason = function
1012 | `Unknown x -> Printf.sprintf "Unknown Tray_change.reason: %d" x
1014 let reason_of_int = function
1020 dev_alias: string option;
1024 let to_string t = Printf.sprintf
1025 "{ dev_alias = %s; reason = %s }"
1026 (string_option t.dev_alias)
1027 (string_of_reason t.reason)
1029 let make (dev_alias, reason) = {
1030 dev_alias = dev_alias;
1031 reason = reason_of_int reason;
1035 module PM_wakeup = struct
1042 let to_string = function
1043 | `Unknown x -> Printf.sprintf "Unknown PM_wakeup.reason: %d" x
1045 let make x = `Unknown x
1048 module PM_suspend = struct
1055 let to_string = function
1056 | `Unknown x -> Printf.sprintf "Unknown PM_suspend.reason: %d" x
1058 let make x = `Unknown x
1061 module Balloon_change = struct
1064 let to_string = Int64.to_string
1068 module PM_suspend_disk = struct
1075 let to_string = function
1076 | `Unknown x -> Printf.sprintf "Unknown PM_suspend_disk.reason: %d" x
1078 let make x = `Unknown x
1082 | Lifecycle of ([`R] Domain.t -> Lifecycle.t -> unit)
1083 | Reboot of ([`R] Domain.t -> Reboot.t -> unit)
1084 | RtcChange of ([`R] Domain.t -> Rtc_change.t -> unit)
1085 | Watchdog of ([`R] Domain.t -> Watchdog.t -> unit)
1086 | IOError of ([`R] Domain.t -> Io_error.t -> unit)
1087 | Graphics of ([`R] Domain.t -> Graphics.t -> unit)
1088 | IOErrorReason of ([`R] Domain.t -> Io_error.t -> unit)
1089 | ControlError of ([`R] Domain.t -> Control_error.t -> unit)
1090 | BlockJob of ([`R] Domain.t -> Block_job.t -> unit)
1091 | DiskChange of ([`R] Domain.t -> Disk_change.t -> unit)
1092 | TrayChange of ([`R] Domain.t -> Tray_change.t -> unit)
1093 | PMWakeUp of ([`R] Domain.t -> PM_wakeup.t -> unit)
1094 | PMSuspend of ([`R] Domain.t -> PM_suspend.t -> unit)
1095 | BalloonChange of ([`R] Domain.t -> Balloon_change.t -> unit)
1096 | PMSuspendDisk of ([`R] Domain.t -> PM_suspend_disk.t -> unit)
1098 type callback_id = int64
1100 let fresh_callback_id =
1101 let next = ref 0L in
1103 let result = !next in
1104 next := Int64.succ !next;
1107 let make_table value_name =
1108 let table = Hashtbl.create 16 in
1109 let callback callback_id generic x =
1110 if Hashtbl.mem table callback_id
1111 then Hashtbl.find table callback_id generic x in
1112 let _ = Callback.register value_name callback in
1115 let u_table = make_table "Libvirt.u_callback"
1116 let i_table = make_table "Libvirt.i_callback"
1117 let i64_table = make_table "Libvirt.i64_callback"
1118 let i_i_table = make_table "Libvirt.i_i_callback"
1119 let s_i_table = make_table "Libvirt.s_i_callback"
1120 let s_i_i_table = make_table "Libvirt.s_i_i_callback"
1121 let s_s_i_table = make_table "Libvirt.s_s_i_callback"
1122 let s_s_i_s_table = make_table "Libvirt.s_s_i_s_callback"
1123 let s_s_s_i_table = make_table "Libvirt.s_s_s_i_callback"
1124 let i_ga_ga_s_gs_table = make_table "Libvirt.i_ga_ga_s_gs_callback"
1126 external register_default_impl : unit -> unit = "ocaml_libvirt_event_register_default_impl"
1128 external run_default_impl : unit -> unit = "ocaml_libvirt_event_run_default_impl"
1130 external register_any' : 'a Connect.t -> 'a Domain.t option -> callback -> callback_id -> int = "ocaml_libvirt_connect_domain_event_register_any"
1132 external deregister_any' : 'a Connect.t -> int -> unit = "ocaml_libvirt_connect_domain_event_deregister_any"
1134 let our_id_to_libvirt_id = Hashtbl.create 16
1136 let register_any conn ?dom callback =
1137 let id = fresh_callback_id () in
1138 begin match callback with
1140 Hashtbl.add i_i_table id (fun dom x ->
1141 f dom (Lifecycle.make x)
1144 Hashtbl.add u_table id (fun dom x ->
1145 f dom (Reboot.make x)
1148 Hashtbl.add i64_table id (fun dom x ->
1149 f dom (Rtc_change.make x)
1152 Hashtbl.add i_table id (fun dom x ->
1153 f dom (Watchdog.make x)
1156 Hashtbl.add s_s_i_table id (fun dom x ->
1157 f dom (Io_error.make_noreason x)
1160 Hashtbl.add i_ga_ga_s_gs_table id (fun dom x ->
1161 f dom (Graphics.make x)
1163 | IOErrorReason f ->
1164 Hashtbl.add s_s_i_s_table id (fun dom x ->
1165 f dom (Io_error.make x)
1168 Hashtbl.add u_table id (fun dom x ->
1169 f dom (Control_error.make x)
1172 Hashtbl.add s_i_i_table id (fun dom x ->
1173 f dom (Block_job.make x)
1176 Hashtbl.add s_s_s_i_table id (fun dom x ->
1177 f dom (Disk_change.make x)
1180 Hashtbl.add s_i_table id (fun dom x ->
1181 f dom (Tray_change.make x)
1184 Hashtbl.add i_table id (fun dom x ->
1185 f dom (PM_wakeup.make x)
1188 Hashtbl.add i_table id (fun dom x ->
1189 f dom (PM_suspend.make x)
1191 | BalloonChange f ->
1192 Hashtbl.add i64_table id (fun dom x ->
1193 f dom (Balloon_change.make x)
1195 | PMSuspendDisk f ->
1196 Hashtbl.add i_table id (fun dom x ->
1197 f dom (PM_suspend_disk.make x)
1200 let libvirt_id = register_any' conn dom callback id in
1201 Hashtbl.replace our_id_to_libvirt_id id libvirt_id;
1204 let deregister_any conn id =
1205 if Hashtbl.mem our_id_to_libvirt_id id then begin
1206 let libvirt_id = Hashtbl.find our_id_to_libvirt_id id in
1207 deregister_any' conn libvirt_id
1209 Hashtbl.remove our_id_to_libvirt_id id;
1210 Hashtbl.remove u_table id;
1211 Hashtbl.remove i_table id;
1212 Hashtbl.remove i64_table id;
1213 Hashtbl.remove i_i_table id;
1214 Hashtbl.remove s_i_table id;
1215 Hashtbl.remove s_i_i_table id;
1216 Hashtbl.remove s_s_i_table id;
1217 Hashtbl.remove s_s_i_s_table id;
1218 Hashtbl.remove s_s_s_i_table id;
1219 Hashtbl.remove i_ga_ga_s_gs_table id
1221 let timeout_table = Hashtbl.create 16
1224 if Hashtbl.mem timeout_table x
1225 then Hashtbl.find timeout_table x () in
1226 Callback.register "Libvirt.timeout_callback" callback
1228 type timer_id = int64
1230 external add_timeout' : 'a Connect.t -> int -> int64 -> int = "ocaml_libvirt_event_add_timeout"
1232 external remove_timeout' : 'a Connect.t -> int -> unit = "ocaml_libvirt_event_remove_timeout"
1234 let our_id_to_timer_id = Hashtbl.create 16
1235 let add_timeout conn ms fn =
1236 let id = fresh_callback_id () in
1237 Hashtbl.add timeout_table id fn;
1238 let timer_id = add_timeout' conn ms id in
1239 Hashtbl.add our_id_to_timer_id id timer_id;
1242 let remove_timeout conn id =
1243 if Hashtbl.mem our_id_to_timer_id id then begin
1244 let timer_id = Hashtbl.find our_id_to_timer_id id in
1245 remove_timeout' conn timer_id
1247 Hashtbl.remove our_id_to_timer_id id;
1248 Hashtbl.remove timeout_table id
1255 external lookup_by_name : 'a Connect.t -> string -> 'a t = "ocaml_libvirt_network_lookup_by_name"
1256 external lookup_by_uuid : 'a Connect.t -> uuid -> 'a t = "ocaml_libvirt_network_lookup_by_uuid"
1257 external lookup_by_uuid_string : 'a Connect.t -> string -> 'a t = "ocaml_libvirt_network_lookup_by_uuid_string"
1258 external create_xml : [>`W] Connect.t -> xml -> rw t = "ocaml_libvirt_network_create_xml"
1259 external define_xml : [>`W] Connect.t -> xml -> rw t = "ocaml_libvirt_network_define_xml"
1260 external undefine : [>`W] t -> unit = "ocaml_libvirt_network_undefine"
1261 external create : [>`W] t -> unit = "ocaml_libvirt_network_create"
1262 external destroy : [>`W] t -> unit = "ocaml_libvirt_network_destroy"
1263 external free : [>`R] t -> unit = "ocaml_libvirt_network_free"
1264 external get_name : [>`R] t -> string = "ocaml_libvirt_network_get_name"
1265 external get_uuid : [>`R] t -> uuid = "ocaml_libvirt_network_get_uuid"
1266 external get_uuid_string : [>`R] t -> string = "ocaml_libvirt_network_get_uuid_string"
1267 external get_xml_desc : [>`R] t -> xml = "ocaml_libvirt_network_get_xml_desc"
1268 external get_bridge_name : [>`R] t -> string = "ocaml_libvirt_network_get_bridge_name"
1269 external get_autostart : [>`R] t -> bool = "ocaml_libvirt_network_get_autostart"
1270 external set_autostart : [>`W] t -> bool -> unit = "ocaml_libvirt_network_set_autostart"
1272 external const : [>`R] t -> ro t = "%identity"
1278 type pool_state = Inactive | Building | Running | Degraded
1279 type pool_build_flags = New | Repair | Resize
1280 type pool_delete_flags = Normal | Zeroed
1288 external lookup_by_name : 'a Connect.t -> string -> 'a t = "ocaml_libvirt_storage_pool_lookup_by_name"
1289 external lookup_by_uuid : 'a Connect.t -> uuid -> 'a t = "ocaml_libvirt_storage_pool_lookup_by_uuid"
1290 external lookup_by_uuid_string : 'a Connect.t -> string -> 'a t = "ocaml_libvirt_storage_pool_lookup_by_uuid_string"
1291 external create_xml : [>`W] Connect.t -> xml -> rw t = "ocaml_libvirt_storage_pool_create_xml"
1292 external define_xml : [>`W] Connect.t -> xml -> rw t = "ocaml_libvirt_storage_pool_define_xml"
1293 external build : [>`W] t -> pool_build_flags -> unit = "ocaml_libvirt_storage_pool_build"
1294 external undefine : [>`W] t -> unit = "ocaml_libvirt_storage_pool_undefine"
1295 external create : [>`W] t -> unit = "ocaml_libvirt_storage_pool_create"
1296 external destroy : [>`W] t -> unit = "ocaml_libvirt_storage_pool_destroy"
1297 external delete : [>`W] t -> unit = "ocaml_libvirt_storage_pool_delete"
1298 external free : [>`R] t -> unit = "ocaml_libvirt_storage_pool_free"
1299 external refresh : [`R] t -> unit = "ocaml_libvirt_storage_pool_refresh"
1300 external get_name : [`R] t -> string = "ocaml_libvirt_storage_pool_get_name"
1301 external get_uuid : [`R] t -> uuid = "ocaml_libvirt_storage_pool_get_uuid"
1302 external get_uuid_string : [`R] t -> string = "ocaml_libvirt_storage_pool_get_uuid_string"
1303 external get_info : [`R] t -> pool_info = "ocaml_libvirt_storage_pool_get_info"
1304 external get_xml_desc : [`R] t -> xml = "ocaml_libvirt_storage_pool_get_xml_desc"
1305 external get_autostart : [`R] t -> bool = "ocaml_libvirt_storage_pool_get_autostart"
1306 external set_autostart : [>`W] t -> bool -> unit = "ocaml_libvirt_storage_pool_set_autostart"
1307 external num_of_volumes : [`R] t -> int = "ocaml_libvirt_storage_pool_num_of_volumes"
1308 external list_volumes : [`R] t -> int -> string array = "ocaml_libvirt_storage_pool_list_volumes"
1309 external const : [>`R] t -> ro t = "%identity"
1315 type vol_type = File | Block
1316 type vol_delete_flags = Normal | Zeroed
1323 external lookup_by_name : 'a Pool.t -> string -> 'a t = "ocaml_libvirt_storage_vol_lookup_by_name"
1324 external lookup_by_key : 'a Connect.t -> string -> 'a t = "ocaml_libvirt_storage_vol_lookup_by_key"
1325 external lookup_by_path : 'a Connect.t -> string -> 'a t = "ocaml_libvirt_storage_vol_lookup_by_path"
1326 external pool_of_volume : 'a t -> 'a Pool.t = "ocaml_libvirt_storage_pool_lookup_by_volume"
1327 external get_name : [`R] t -> string = "ocaml_libvirt_storage_vol_get_name"
1328 external get_key : [`R] t -> string = "ocaml_libvirt_storage_vol_get_key"
1329 external get_path : [`R] t -> string = "ocaml_libvirt_storage_vol_get_path"
1330 external get_info : [`R] t -> vol_info = "ocaml_libvirt_storage_vol_get_info"
1331 external get_xml_desc : [`R] t -> xml = "ocaml_libvirt_storage_vol_get_xml_desc"
1332 external create_xml : [>`W] Pool.t -> xml -> unit = "ocaml_libvirt_storage_vol_create_xml"
1333 external delete : [>`W] t -> vol_delete_flags -> unit = "ocaml_libvirt_storage_vol_delete"
1334 external free : [>`R] t -> unit = "ocaml_libvirt_storage_vol_free"
1335 external const : [>`R] t -> ro t = "%identity"
1338 (* Initialization. *)
1339 external c_init : unit -> unit = "ocaml_libvirt_init"
1341 Callback.register_exception
1342 "ocaml_libvirt_virterror" (Virterror (Virterror.no_error ()));
1343 Callback.register_exception
1344 "ocaml_libvirt_not_supported" (Not_supported "");