(* libguestfs
- * Copyright (C) 2009-2010 Red Hat Inc.
+ * Copyright (C) 2009-2011 Red Hat Inc.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
open Generator_actions
open Generator_structs
open Generator_c
+open Generator_events
(* Generate the OCaml bindings interface. *)
let rec generate_ocaml_mli () =
unreferenced, but callers can call this in order to provide
predictable cleanup. *)
-type progress_cb = int -> int -> int64 -> int64 -> unit
+type event =
+";
+ List.iter (
+ fun (name, _) ->
+ pr " | EVENT_%s\n" (String.uppercase name)
+ ) events;
+ pr "\n";
+
+ pr "\
+val event_all : event list
+(** A list containing all event types. *)
-val set_progress_callback : t -> progress_cb -> unit
-(** [set_progress_callback g f] sets [f] as the progress callback function.
- For some long-running functions, [f] will be called repeatedly
- during the function with progress updates.
+type event_handle
+(** The opaque event handle which can be used to delete event callbacks. *)
- The callback is [f proc_nr serial position total]. See
- the description of [guestfs_set_progress_callback] in guestfs(3)
- for the meaning of these four numbers.
+type event_callback =
+ t -> event -> event_handle -> string -> int64 array -> unit
+(** The event callback. *)
+
+val set_event_callback : t -> event_callback -> event list -> event_handle
+(** [set_event_callback g f es] sets [f] as the event callback function
+ for all events in the set [es].
Note that if the closure captures a reference to the handle,
this reference will prevent the handle from being
- automatically closed by the garbage collector. There are
- three ways to avoid this: be careful not to capture the handle
- in the closure, or use a weak reference, or call
- {!Guestfs.clear_progress_callback} to remove the reference. *)
+ automatically closed by the garbage collector. Since the
+ handle is passed to the event callback, with careful programming
+ it should be possible to avoid capturing the handle in the closure. *)
-val clear_progress_callback : t -> unit
-(** [clear_progress_callback g] removes any progress callback function
- associated with the handle. See {!Guestfs.set_progress_callback}. *)
+val delete_event_callback : t -> event_handle -> unit
+(** [delete_event_callback g eh] removes a previously registered
+ event callback. See {!set_event_callback}. *)
";
generate_ocaml_structure_decls ();
class guestfs : unit -> object
method close : unit -> unit
- method set_progress_callback : progress_cb -> unit
- method clear_progress_callback : unit -> unit
+ method set_event_callback : event_callback -> event list -> event_handle
+ method delete_event_callback : event_handle -> unit
method ocaml_handle : t
";
external create : unit -> t = \"ocaml_guestfs_create\"
external close : t -> unit = \"ocaml_guestfs_close\"
-type progress_cb = int -> int -> int64 -> int64 -> unit
+type event =
+";
+ List.iter (
+ fun (name, _) ->
+ pr " | EVENT_%s\n" (String.uppercase name)
+ ) events;
+ pr "\n";
+
+ pr "\
+let event_all = [
+";
+ List.iter (
+ fun (name, _) ->
+ pr " EVENT_%s;\n" (String.uppercase name)
+ ) events;
+
+ pr "\
+]
+
+type event_handle = int
+
+type event_callback =
+ t -> event -> event_handle -> string -> int64 array -> unit
-external set_progress_callback : t -> progress_cb -> unit
- = \"ocaml_guestfs_set_progress_callback\"
-external clear_progress_callback : t -> unit
- = \"ocaml_guestfs_clear_progress_callback\"
+external set_event_callback : t -> event_callback -> event list -> event_handle
+ = \"ocaml_guestfs_set_event_callback\"
+external delete_event_callback : t -> event_handle -> unit
+ = \"ocaml_guestfs_delete_event_callback\"
(* Give the exceptions names, so they can be raised from the C code. *)
let () =
let g = create () in
object
method close () = close g
- method set_progress_callback = set_progress_callback g
- method clear_progress_callback () = clear_progress_callback g
+ method set_event_callback = set_event_callback g
+ method delete_event_callback = delete_event_callback g
method ocaml_handle = g
";
/* libguestfs
- * Copyright (C) 2009-2010 Red Hat Inc.
+ * Copyright (C) 2009-2011 Red Hat Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
#include "guestfs_c.h"
-static void clear_progress_callback (guestfs_h *g);
-static void progress_callback (guestfs_h *g, void *data, int proc_nr, int serial, uint64_t position, uint64_t total);
+static value **get_all_event_callbacks (guestfs_h *g, size_t *len_rtn);
+static void event_callback_wrapper (guestfs_h *g, void *data, uint64_t event, int event_handle, int flags, const char *buf, size_t buf_len, const uint64_t *array, size_t array_len);
/* This macro was added in OCaml 3.10. Backport for earlier versions. */
#ifndef CAMLreturnT
/* These prototypes are solely to quiet gcc warning. */
CAMLprim value ocaml_guestfs_create (void);
CAMLprim value ocaml_guestfs_close (value gv);
-CAMLprim value ocaml_guestfs_set_progress_callback (value gv, value closure);
-CAMLprim value ocaml_guestfs_clear_progress_callback (value gv);
+CAMLprim value ocaml_guestfs_set_event_callback (value gv, value closure, value events);
+CAMLprim value ocaml_guestfs_delete_event_callback (value gv, value eh);
/* Allocate handles and deal with finalization. */
static void
guestfs_finalize (value gv)
{
guestfs_h *g = Guestfs_val (gv);
+
if (g) {
- clear_progress_callback (g);
+ /* There is a nasty, difficult to solve case here where the
+ * user deletes events in one of the callbacks that we are
+ * about to invoke, resulting in a double-free. XXX
+ */
+ size_t len, i;
+ value **roots = get_all_event_callbacks (g, &len);
+
+ value *v = guestfs_get_private (g, "_ocaml_g");
+
+ /* Close the handle: this could invoke callbacks from the list
+ * above, which is why we don't want to delete them before
+ * closing the handle.
+ */
guestfs_close (g);
+
+ /* Now unregister the global roots. */
+ for (i = 0; i < len; ++i) {
+ caml_remove_global_root (roots[i]);
+ free (roots[i]);
+ }
+
+ caml_remove_global_root (v);
+ free (v);
}
}
CAMLparam0 ();
CAMLlocal1 (gv);
guestfs_h *g;
+ value *v;
g = guestfs_create ();
if (g == NULL)
guestfs_set_error_handler (g, NULL, NULL);
gv = Val_guestfs (g);
+
+ /* Store the OCaml handle into the C handle. This is only so we can
+ * map the C handle to the OCaml handle in event_callback_wrapper.
+ */
+ v = guestfs_safe_malloc (g, sizeof *v);
+ *v = gv;
+ /* XXX This global root is generational, but we cannot rely on every
+ * user having the OCaml 3.11 version which supports this.
+ */
+ caml_register_global_root (v);
+ guestfs_set_private (g, "_ocaml_g", v);
+
CAMLreturn (gv);
}
free (argv);
}
-#define PROGRESS_ROOT_KEY "_ocaml_progress_root"
+static uint64_t
+event_bitmask_of_event_list (value events)
+{
+ uint64_t r = 0;
+
+ while (events != Val_int (0)) {
+ r |= UINT64_C(1) << Int_val (Field (events, 0));
+ events = Field (events, 1);
+ }
+
+ return r;
+}
-/* Guestfs.set_progress_callback */
+/* Guestfs.set_event_callback */
CAMLprim value
-ocaml_guestfs_set_progress_callback (value gv, value closure)
+ocaml_guestfs_set_event_callback (value gv, value closure, value events)
{
- CAMLparam2 (gv, closure);
+ CAMLparam3 (gv, closure, events);
+ char key[64];
+ int eh;
+ uint64_t event_bitmask;
guestfs_h *g = Guestfs_val (gv);
- clear_progress_callback (g);
+
+ event_bitmask = event_bitmask_of_event_list (events);
value *root = guestfs_safe_malloc (g, sizeof *root);
*root = closure;
+ eh = guestfs_set_event_callback (g, event_callback_wrapper,
+ event_bitmask, 0, root);
+
+ if (eh == -1) {
+ free (root);
+ ocaml_guestfs_raise_error (g, "set_event_callback");
+ }
+
/* XXX This global root is generational, but we cannot rely on every
* user having the OCaml 3.11 version which supports this.
*/
caml_register_global_root (root);
- guestfs_set_private (g, PROGRESS_ROOT_KEY, root);
-
- guestfs_set_progress_callback (g, progress_callback, root);
+ snprintf (key, sizeof key, "_ocaml_event_%d", eh);
+ guestfs_set_private (g, key, root);
- CAMLreturn (Val_unit);
+ CAMLreturn (Val_int (eh));
}
-/* Guestfs.clear_progress_callback */
+/* Guestfs.delete_event_callback */
CAMLprim value
-ocaml_guestfs_clear_progress_callback (value gv)
+ocaml_guestfs_delete_event_callback (value gv, value ehv)
{
- CAMLparam1 (gv);
+ CAMLparam2 (gv, ehv);
+ char key[64];
+ int eh = Int_val (ehv);
guestfs_h *g = Guestfs_val (gv);
- clear_progress_callback (g);
+
+ snprintf (key, sizeof key, "_ocaml_event_%d", eh);
+
+ value *root = guestfs_get_private (g, key);
+ if (root) {
+ caml_remove_global_root (root);
+ free (root);
+ guestfs_set_private (g, key, NULL);
+ guestfs_delete_event_callback (g, eh);
+ }
CAMLreturn (Val_unit);
}
-static void
-clear_progress_callback (guestfs_h *g)
+static value **
+get_all_event_callbacks (guestfs_h *g, size_t *len_rtn)
{
- guestfs_set_progress_callback (g, NULL, NULL);
+ value **r;
+ size_t i;
+ const char *key;
+ value *root;
+
+ /* Count the length of the array that will be needed. */
+ *len_rtn = 0;
+ root = guestfs_first_private (g, &key);
+ while (root != NULL) {
+ if (strncmp (key, "_ocaml_event_", strlen ("_ocaml_event_")) == 0)
+ (*len_rtn)++;
+ root = guestfs_next_private (g, &key);
+ }
- value *root = guestfs_get_private (g, PROGRESS_ROOT_KEY);
- if (root) {
- caml_remove_global_root (root);
- free (root);
- guestfs_set_private (g, PROGRESS_ROOT_KEY, NULL);
+ /* Copy them into the return array. */
+ r = guestfs_safe_malloc (g, sizeof (value *) * (*len_rtn));
+
+ i = 0;
+ root = guestfs_first_private (g, &key);
+ while (root != NULL) {
+ if (strncmp (key, "_ocaml_event_", strlen ("_ocaml_event_")) == 0) {
+ r[i] = root;
+ i++;
+ }
+ root = guestfs_next_private (g, &key);
}
+
+ return r;
+}
+
+/* Could do better: http://graphics.stanford.edu/~seander/bithacks.html */
+static int
+event_bitmask_to_event (uint64_t event)
+{
+ int r = 0;
+
+ while (event >>= 1)
+ r++;
+
+ return r;
}
static void
-progress_callback (guestfs_h *g ATTRIBUTE_UNUSED, void *root,
- int proc_nr, int serial, uint64_t position, uint64_t total)
+event_callback_wrapper (guestfs_h *g,
+ void *data,
+ uint64_t event,
+ int event_handle,
+ int flags,
+ const char *buf, size_t buf_len,
+ const uint64_t *array, size_t array_len)
{
CAMLparam0 ();
- CAMLlocal5 (proc_nrv, serialv, positionv, totalv, rv);
+ CAMLlocal5 (gv, evv, ehv, bufv, arrayv);
+ CAMLlocal2 (rv, v);
+ value *root;
+ size_t i;
- proc_nrv = Val_int (proc_nr);
- serialv = Val_int (serial);
- positionv = caml_copy_int64 (position);
- totalv = caml_copy_int64 (total);
+ root = guestfs_get_private (g, "_ocaml_g");
+ gv = *root;
+
+ /* Only one bit should be set in 'event'. Which one? */
+ evv = Val_int (event_bitmask_to_event (event));
+
+ ehv = Val_int (event_handle);
+
+ bufv = caml_alloc_string (buf_len);
+ memcpy (String_val (bufv), buf, buf_len);
+
+ arrayv = caml_alloc (array_len, 0);
+ for (i = 0; i < array_len; ++i) {
+ v = caml_copy_int64 (array[i]);
+ Store_field (arrayv, i, v);
+ }
- value args[4] = { proc_nrv, serialv, positionv, totalv };
+ value args[5] = { gv, evv, ehv, bufv, arrayv };
caml_leave_blocking_section ();
- rv = caml_callbackN_exn (*(value*)root, 4, args);
+ rv = caml_callbackN_exn (*(value*)data, 5, args);
caml_enter_blocking_section ();
/* Callbacks shouldn't throw exceptions. There's not much we can do
* except to print it.
*/
if (Is_exception_result (rv))
- fprintf (stderr, "libguestfs: uncaught OCaml exception in progress callback: %s",
+ fprintf (stderr,
+ "libguestfs: uncaught OCaml exception in event callback: %s",
caml_format_exception (Extract_exception (rv)));
CAMLreturn0;
--- /dev/null
+(* libguestfs OCaml bindings
+ * Copyright (C) 2011 Red Hat Inc.
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ *)
+
+open Printf
+
+let log g ev eh buf array =
+ let ev =
+ match ev with
+ | Guestfs.EVENT_CLOSE -> "close"
+ | Guestfs.EVENT_SUBPROCESS_QUIT -> "subprocess_quit"
+ | Guestfs.EVENT_LAUNCH_DONE -> "launch_done"
+ | Guestfs.EVENT_PROGRESS -> "progress"
+ | Guestfs.EVENT_APPLIANCE -> "appliance"
+ | Guestfs.EVENT_LIBRARY -> "library"
+ | Guestfs.EVENT_TRACE -> "trace" in
+
+ let eh : int = Obj.magic eh in
+
+ printf "ocaml event logged: event=%s eh=%d buf=%S array=[%s]\n"
+ ev eh buf
+ (String.concat ", " (List.map Int64.to_string (Array.to_list array)))
+
+let close_invoked = ref 0
+
+let close g ev eh buf array =
+ incr close_invoked;
+ log g ev eh buf array
+
+let () =
+ let g = new Guestfs.guestfs () in
+
+ (* Grab log, trace and daemon messages into our own custom handler
+ * which prints the messages with a particular prefix.
+ *)
+ let events = [Guestfs.EVENT_APPLIANCE; Guestfs.EVENT_LIBRARY;
+ Guestfs.EVENT_TRACE] in
+ ignore (g#set_event_callback log events);
+
+ (* Check that the close event is invoked. *)
+ ignore (g#set_event_callback close [Guestfs.EVENT_CLOSE]);
+
+ (* Now make sure we see some messages. *)
+ g#set_trace true;
+ g#set_verbose true;
+
+ (* Do some stuff. *)
+ g#add_drive_ro "/dev/null";
+ g#set_autosync true;
+
+ (* Close the handle -- should call the close callback. *)
+ assert (!close_invoked = 0);
+ g#close ();
+ assert (!close_invoked = 1);
+
+ (* Run full garbage collection. *)
+ Gc.compact ()
git.annexia.org / libguestfs.git / commitdiff