CA-45104: renice gzip so that it is nice to the other dom0 processes

Signed-off-by: Marcus Granado <marcus.granado@eu.citrix.com>

This fixes tapctl.list when there are no arguments set

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>

Fix a problem with dummy mode in tapctl

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>

Fix a problem with the MLVM allocator where it was doing a physical equality rather than a structural equality test

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>

Add function to Date module to assert ISO 8601 datetime values are UTC

Adds ocamldoc for the whole Date module as well.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>

CA-44731: Evolve HTTP code a little: (1) http_200_ok{,_with_content_length} now use the same convention for their version parameters; (2) add http_request_request (temporary name) which creates an HTTP request type rather than pre-flattening it to a string list.

Signed-of-by: David Scott <dave.scott@eu.citrix.com>

CA-44731: Add Fring.copy, needed in order to write an RRD copy function.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-44731: Replace 'read_whole_file_to_string' with 'string_of_file' (which is now part of a related family: {string,buffer,bigbuffer}_of_file)

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-44731: Improve types of functions in the gzip module by \eta expansion to work around the value restriction.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-44731: Add buffer_of_file and bigbuffer_of_file to read files into Buffer.t and Bigbuffer.t.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-44731: Add file_blocks_fold which folds over the data in a file, block at a time.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-44731: Rewrite file_lines_iter in terms of file_lines_fold.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Add functions to get UUIDs of different qualities.

Signed-off-by: Magnus Therning <magnus.therning@citrix.com>

Minor clean-up in the UUID module.

Signed-off-by: Magnus Therning <magnus.therning@citrix.com>

Fix the XCP makefile used to build an SRPM

Signed-off-by: Jon Ludlam <jonathan.ludlam@eu.citrix.com>

[Tapctl.of_device x] now will throw an exception if [x] is not a device; or if [x] is a device owned by another driver.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Updates for the tap-ctl module: initial implementation of dummy mode.

Signed-off-by: Jon Ludlam <jonathan.ludlam@eu.citrix.com>

Move the handy 'substring' record type into the Zerocheck module.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Adds an int64ext module. This module includes a set of commonly-used operators that work with the int64 data type.

Signed-off-by: Jonathan Knowles <jonathan.knowles@eu.citrix.com>

Adds a forward pipe operator to the higher-order function library. The forward pipe operator facilitates left-to-right function composition.

Signed-off-by: Jonathan Knowles <jonathan.knowles@eu.citrix.com>

Fixes a bit of broken formatting in listext.ml.

Signed-off-by: Jonathan Knowles <jonathan.knowles@eu.citrix.com>

This patch allows future patches to independently add modules to stdext without causing conflicts.

Signed-off-by: Jonathan Knowles <jonathan.knowles@eu.citrix.com>

Add some HTTP client code

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

First cut at a 'tapctl' module which wraps the 'tap-ctl' command

(Original version by Jon Ludlam <jonathan.ludlam@eu.citrix.com>)
Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Bindings to libvhd.

This allows ocaml programs to manipulate VHD files suitable for use
with XCP/XenServer.

Sample usage:
Vhd.create filename virtual_size (Vhd.Ty_dynamic) (Vhdutil.max_size) [];
let uid = Vhd.with_vhd filename false Vhd.get_uid

Signed-off-by: Jon Ludlam <jonathan.ludlam@eu.citrix.com>
Acked-by: Dave Scott <dave.scott@eu.citrix.com>

Add functions Zerocheck.get_next{zero,nonzero} which can be used to detect sparseness (relatively efficiently). Both functions primarily use aligned unsigned int-sized accesses.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Add new modules: lazyList, extentlistSet, set_test to stdext

lazyList contains a simple lazy list implementation.
extentlistSet contains a Set implementation where elements are stored as a list of (start, length) pairs
set_test contains functions to test a set implementation

extentlistset_test contains test cases for extentlistSet using set_test.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Fix the source manifest generation by using a simple shell script to scan the SRPMS, rather than a hideous make/shell fragment.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

trivial fix.remove duplicate include

Signed-off-by: Yang Hongyang <yanghy@cn.fujitsu.com>

The checksumming for meta-data of mlvm now agrees with the original lvm.

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

CA-38567: Fail Unixext calls with a proper Unix_error.

Signed-off-by: Daniel Stodden <daniel.stodden@citrix.com>

Minor improvements to Stdext (Listext, Either, Fun, and Opt).

REQUIRED FOR:
This patch is required for the 'encrypt-vm-migrate' patch in xen-api.hg.

Signed-off-by: Rok Strnisa <rok.strnisa@citrix.com>

Add stdext either/os built modules to RPM specfile

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Add biosdevname call to Netdev

biosdevname is a tool used to find out the "real" device name of a network interface, according to the BIOS. This name is not affected by manual device renaming or changes in the Linux kernel.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>
diff -r 96761a1835c1 netdev/netdev.ml--- a/netdev/netdev.ml
+++ b/netdev/netdev.ml
@@ -397,6 +397,13 @@
  not(List.mem "xen-backend" (String.split '/' link))
   with _ -> false

+let get_bios_name name =
+ try
+ let output, _ = Forkhelpers.execute_command_get_output "/sbin/biosdevname" ["-i"; name] in
+ let output = String.strip String.isspace output in
+ output
+ with _ -> name
+
 (* Dispatch network backend operations. *)

 let network_config_file = "/etc/xensource/network.conf"

Move netdev from xen-api.hg into xen-api-libs.hg and make it into a ocamlfind library

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>
diff -r 07f69949f0bf Makefile.in--- a/Makefile.in
+++ b/Makefile.in
@@ -37,6 +37,7 @@
 allxen:
 ifeq ($(HAVE_XEN),1)
  $(MAKE) -C mmap
+ $(MAKE) -C netdev
  $(MAKE) -C xc
  $(MAKE) -C xb
  $(MAKE) -C xs
@@ -74,6 +75,7 @@
 installxen:
 ifeq ($(HAVE_XEN),1)
  $(MAKE) -C mmap install
+ $(MAKE) -C netdev install
  $(MAKE) -C xc install
  $(MAKE) -C xb install
  $(MAKE) -C xs install
@@ -112,6 +114,7 @@
 ifeq ($(HAVE_XEN),1)
  $(MAKE) -C eventchn uninstall
  $(MAKE) -C xsrpc uninstall
+ $(MAKE) -C netdev uninstall
  $(MAKE) -C xs uninstall
  $(MAKE) -C xb uninstall
  $(MAKE) -C xc uninstall
@@ -162,6 +165,7 @@
  $(MAKE) -C stunnel doc
  $(MAKE) -C xsrpc doc
  $(MAKE) -C mmap doc
+ $(MAKE) -C netdev doc
  $(MAKE) -C forking_executioner doc
  $(MAKE) -C mlvm doc
  $(MAKE) -C cpuid doc
@@ -190,6 +194,7 @@

 cleanxen:
  $(MAKE) -C mmap clean
+ $(MAKE) -C netdev clean
  $(MAKE) -C xc clean
  $(MAKE) -C xb clean
  $(MAKE) -C xs clean

Change the 'close' field in the request record to be mutable rather than a reference

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>
diff -r d8eb3fec758c http-svr/Makefile--- a/http-svr/Makefile Mon Mar 15 11:57:11 2010 +0000
+++ b/http-svr/Makefile Mon Mar 15 12:01:14 2010 +0000
@@ -8,6 +8,8 @@
 VERSION := $(shell hg parents --template "{rev}" 2>/dev/null || echo 0.0)
 OCAMLOPTFLAGS = -g -dtypes

+PP = camlp4o -I ../rpc-light -I $(shell ocamlfind query type-conv) pa_type_conv.cmo pa_rpc.cma
+
 OCAMLABI := $(shell ocamlc -version)
 OCAMLLIBDIR := $(shell ocamlc -where)
 OCAMLDESTDIR ?= $(OCAMLLIBDIR)
@@ -31,13 +33,13 @@
  $(OCAMLC) -a -o $@ $(foreach obj,$(OBJS),$(obj).cmo)

 %.cmo: %.ml %.cmi
- $(OCAMLC) -c -thread -I ../stdext -I ../log -o $@ $<
+ $(OCAMLC) -c -pp '${PP}' -thread -I ../rpc-light -I ../stdext -I ../log -o $@ $<

 %.cmi: %.mli
- $(OCAMLC) -c -thread -o $@ $<
+ $(OCAMLC) -c -I ../rpc-light -thread -o $@ $<

 %.cmx: %.ml %.cmi
- $(OCAMLOPT) $(OCAMLOPTFLAGS) -c -thread -I ../stdext -I ../log -o $@ $<
+ $(OCAMLOPT) $(OCAMLOPTFLAGS) -pp '${PP}' -c -thread -I ../rpc-light -I ../stdext -I ../log -o $@ $<

 %.o: %.c
  $(CC) $(CFLAGS) -c -o $@ $<

Add biosdevname call to Netdev

biosdevname is a tool used to find out the "real" device name of a network interface, according to the BIOS. This name is not affected by manual device renaming or changes in the Linux kernel.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>
diff -r 96761a1835c1 netdev/netdev.ml--- a/netdev/netdev.ml
+++ b/netdev/netdev.ml
@@ -397,6 +397,13 @@
  not(List.mem "xen-backend" (String.split '/' link))
   with _ -> false

+let get_bios_name name =
+ try
+ let output, _ = Forkhelpers.execute_command_get_output "/sbin/biosdevname" ["-i"; name] in
+ let output = String.strip String.isspace output in
+ output
+ with _ -> name
+
 (* Dispatch network backend operations. *)

 let network_config_file = "/etc/xensource/network.conf"

Move netdev from xen-api.hg into xen-api-libs.hg and make it into a ocamlfind library

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>
diff -r 07f69949f0bf Makefile.in--- a/Makefile.in
+++ b/Makefile.in
@@ -37,6 +37,7 @@
 allxen:
 ifeq ($(HAVE_XEN),1)
  $(MAKE) -C mmap
+ $(MAKE) -C netdev
  $(MAKE) -C xc
  $(MAKE) -C xb
  $(MAKE) -C xs
@@ -74,6 +75,7 @@
 installxen:
 ifeq ($(HAVE_XEN),1)
  $(MAKE) -C mmap install
+ $(MAKE) -C netdev install
  $(MAKE) -C xc install
  $(MAKE) -C xb install
  $(MAKE) -C xs install
@@ -112,6 +114,7 @@
 ifeq ($(HAVE_XEN),1)
  $(MAKE) -C eventchn uninstall
  $(MAKE) -C xsrpc uninstall
+ $(MAKE) -C netdev uninstall
  $(MAKE) -C xs uninstall
  $(MAKE) -C xb uninstall
  $(MAKE) -C xc uninstall
@@ -162,6 +165,7 @@
  $(MAKE) -C stunnel doc
  $(MAKE) -C xsrpc doc
  $(MAKE) -C mmap doc
+ $(MAKE) -C netdev doc
  $(MAKE) -C forking_executioner doc
  $(MAKE) -C mlvm doc
  $(MAKE) -C cpuid doc
@@ -190,6 +194,7 @@

 cleanxen:
  $(MAKE) -C mmap clean
+ $(MAKE) -C netdev clean
  $(MAKE) -C xc clean
  $(MAKE) -C xb clean
  $(MAKE) -C xs clean

Change the 'close' field in the request record to be mutable rather than a reference

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>
diff -r d8eb3fec758c http-svr/Makefile--- a/http-svr/Makefile Mon Mar 15 11:57:11 2010 +0000
+++ b/http-svr/Makefile Mon Mar 15 12:01:14 2010 +0000
@@ -8,6 +8,8 @@
 VERSION := $(shell hg parents --template "{rev}" 2>/dev/null || echo 0.0)
 OCAMLOPTFLAGS = -g -dtypes

+PP = camlp4o -I ../rpc-light -I $(shell ocamlfind query type-conv) pa_type_conv.cmo pa_rpc.cma
+
 OCAMLABI := $(shell ocamlc -version)
 OCAMLLIBDIR := $(shell ocamlc -where)
 OCAMLDESTDIR ?= $(OCAMLLIBDIR)
@@ -31,13 +33,13 @@
  $(OCAMLC) -a -o $@ $(foreach obj,$(OBJS),$(obj).cmo)

 %.cmo: %.ml %.cmi
- $(OCAMLC) -c -thread -I ../stdext -I ../log -o $@ $<
+ $(OCAMLC) -c -pp '${PP}' -thread -I ../rpc-light -I ../stdext -I ../log -o $@ $<

 %.cmi: %.mli
- $(OCAMLC) -c -thread -o $@ $<
+ $(OCAMLC) -c -I ../rpc-light -thread -o $@ $<

 %.cmx: %.ml %.cmi
- $(OCAMLOPT) $(OCAMLOPTFLAGS) -c -thread -I ../stdext -I ../log -o $@ $<
+ $(OCAMLOPT) $(OCAMLOPTFLAGS) -pp '${PP}' -c -thread -I ../rpc-light -I ../stdext -I ../log -o $@ $<

 %.o: %.c
  $(CC) $(CFLAGS) -c -o $@ $<

Make ocamldoc work with custom syntax within xen-api-libs.

signed-off-by: Rok Strnisa <rok.strnisa@citrix.com>

mlvm/redo.ml was rid of a warning

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

vg.ml was rid of warnings.

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

comment on constants on mlvm/constants.ml

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

camldm/camldm_stubs.c: Camldm.status can deal with empty tables, now. (+comment)

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

camldm_stubs.c: removed some debugging messages

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

camldm/camldm_stubs.c: removed whitespace

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

Those functions are of use outside of the original context, and nested functions
aren't really idiomatic C anyway.

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

camldm/camldm_stubs.c: Tests have confirmed that camldm_ls does not leak memory.

A comment in the file reflects this finding.

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

camldm/camldm.ml: camldm_ls is an analogue to dmsetup ls.

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

camldm/Makefile: OCAMLOPTFLAGS are now used

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

stdext/Either: A module for type ('a, 'b) t = Left of 'a | Right of 'b
and helper functions.

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming either module.

Signed-off-by: Matthias Goergens <Matthias.Goergens@citrix.com>

stdext/Listext got a function make_assoc to build Lisp-like assoc lists

Signed-off-by: Matthias Goergens <Matthias.Goergens@citrix.com>

Extended a comment in stdext/stringext.ml

Signed-off-by: Matthias Goergens <Matthias.Goergens@citrix.com>

stdext/Os: A simple module for running stuff on the command line.

Signed-off-by: Matthias Goergens <Matthias.Goergens@citrix.com>

Fix indentation in stdext/listext.mli

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

The module stdext/Listext got a safe_head function that wraps hd in an option type.

Signed-off-by: Matthias Goergens <Matthias.Goergens@citrix.com>

Avoid permission problems by installing the .spec files to $(RPM_SPECSDIR) before calling $(RPMBUILD)

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Hook RPMs into main mk/Makefile

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Generate rpms from xen-api-libs.hg:

xapi-devel: devel libraries needed by xapi
xapi-utils: utility binaries
xapi-fe: fork/exec daemon

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-37279: Stunnel error from WLB connect "No route to host"

Understand "No route to host" as an expected error message from stunnel, and turn that into API error WLB_UNKNOWN_HOST if we see it when contacting WLB.

This is two patches, one for xen-api-libs.hg, and one for xen-api.hg.

Signed-off-by: Ewan Mellor <ewan.mellor@eu.citrix.com>

Add some optional parameters to Stunnel.disconnect to cope with the stunnel zombie process issue and for future benefits.

Signed-off-by: Zheng Li <dev@zheng.li>

CA-40149: Add an explicit cache of the local hostname and make it posible to invalidate the cache.

The hostname is included in every log line.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-38844: Add support for Intel FlexMigration on Nehalem/Westmere

Note: this patch should go in together with the flex-maskability patch in xen-api.hg.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>

Add Prashanth to the CREDITS file on request. Prashanth contributed the json
parser originally to XCI:

 http://xenbits.xen.org/gitweb?p=xenclient/toolstack.git;a=history;f=libs/json/json_parse.ml;h=723d2bf068fdf4728de67708b42b168180a4396f;hb=eeff0b8b98dff445c71cd4aaa6cfd98b8bac5d44

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Merge Stunnel.attempt_one_connect_new into Stunnel.attempt_one_connect and other minor improvements.

Signed-off-by: Zheng Li <dev@zheng.li>

mlvm depends on camldm hence should have the same dependency as camldm

Signed-off-by: Zheng Li <dev@zheng.li>

CA-38687: be more accepting of ISO8601 dates without a timezone.

Note that xapi expects all dates to be in UTC; xapi knows nothing about timezones.

The XMLRPC spec is vague but encourages people to *omit* the timezone information from requests. We now accept such vague inputs but we still expect them to be in UTC.

The following python snippet produces no results without the fix and the full message list (as expected) with the fix:

<<<<<
#!/usr/bin/env python

import xmlrpclib

x = xmlrpclib.Server("http://localhost")
session = x.session.login_with_password("root", "password")["Value"]
print repr(x.message.get_since(session, xmlrpclib.DateTime(0)))
>>>>>

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Add Cpuid.features_mask function.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>

CA-39123: Fix xapi execution in a VM. The new get_boot_cpufeatures hypercall hasn't yet been implemented in xiu. This is a temporary patch to fix the symptoms until xiu is fixed to do this properly.

Original patch by Ian Campbell.

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>

CA-38120: if we fork/exec a process and it doesn't exit with 0 (ie non-zero exit or signal of some kind) then log a message to syslog containing the pid, truncated cmdline and exit status.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

Use correct upstream name for /dev/xen/evtchn.

This name has been upstream since forever and the typo here was leaving us with two device nodes.

If the device is not present then do not create it. The assumption that /dev/xen/ev{en,}tchn is minor 63 does not hold since the driver requests a dynamic minor.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>

[rpc-light] fix a typo in rpc-light; base type is 'float', not 'flaot'.

Thanks to Marcus Granado to have spotten this one.

Signed-off-by: Thomas Gazagnaire <thomas.gazagnaire@citrix.com>

CP-1652: Cpuid modules gets physical and current CPU features from Xen

Previously, the physical features were kept in a file in dom0 on first boot. This is not very robust, so now all physical and current CPU features come directly from Xen via a hypercall.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>

Move Xen_cmdline module from xen-api.hg to xen-api-lib.hg

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>

CP-1634: Bindings for xc_get_boot_cpufeatures

Signed-off-by: Vincent Hanquez <vincent@xensource.com>
Acked-by: Rob Hoes <rob.hoes@citrix.com>

CA-38105: add a simple CLI and stresstest to test the fe daemon.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-38105: remove a unix domain socket leak in an error path.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-38105: Fix a heap corruption in the stub_unix_recv_fd C fn.

The ocaml manual states
"caml_alloc_small(n, t) returns a fresh small block of size n <= Max_young_wosize words, with tag t. If this block is a structured block (i.e. if t < No_scan_tag), then the fields of the block (initially containing garbage) must be initialized with legal values (using direct assignment to the fields of the block) before the next allocation."

This function returns a tuple including an AF_UNIX value of type Unix.sockaddr where:
  type sockaddr =
  | AF_UNIX of string
  | ...

Unfortunately the C fn called copy_string() to add the string to the heap block *without setting the field of the block*. This means that the field contains garbage so, in the rare event of the string allocation exhausting the minor heap and invoking a GC, the GC follows the garbage pointer and crashes. Helpfully the stack makes this obvious:

Program terminated with signal 11, Segmentation fault.
[New process 19425]
#0  0x0808135a in caml_oldify_mopup ()
(gdb) bt
#0  0x0808135a in caml_oldify_mopup ()
#1  0x08081416 in caml_empty_minor_heap ()
#2  0x080814fc in caml_minor_collection ()
#3  0x080820cc in caml_alloc_string ()
#4  0x0808216c in caml_copy_string ()
#5  0x080786d2 in stub_unix_recv_fd ()
#6  0x0805536f in camlFecomms__receive_named_fd_91 ()

The fix is to initialise the field to a legal value before calling copy_string. Note that the field is unconditionally reset to a proper string type in the following if statement.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-38105: Fix segfault in fork-and-exec-daemon.

The segfault would have happened when a message was receieved on this socket without an associated fd being sent. This is bad behaviour on the part of the client, but shouldn't cause a segfault. This patch fixes the segfault, but we'll need to fix the client too!

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com

CA-38105: The recent patch to the recv_fd function causes it to return an fd of -1 rather than segfault, so catch that and log what was actually received on the socket

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>

CA-38105: remove some unused variables from C stubs

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CP-1635: Cpuid module to obtain CPU information

This module obtains the vendor/model/family/stepping as well as feature information from the CPU, and determines whether CPU feature masks can be applied.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>

CP-1622: Listext function to replace the value for a key in an assoc list

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>

Makes the allocator more robust by enabling allocation of 0 bytes.

`normalize' and `alloc_specified_area' no longer get confused by 0 byte allocations.

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com> (Mercurial doesn't like Umlaute.)

mlvm-refactor: allocator (first part) changed to applicative style

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

Tests the allocator using the Kaputt framework.

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com> (Mercurial doesn't like Umlaute.)

Adds `join' to the Opt module

`join' collapses (Some (Some a)) down to (Some a), and gives Nothing otherwise.

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

Adds take and tails to our extended list module

`take' gives the first n elements of a list (or less if the list is
shorter).  `tails' gives a list of all suffixes of a list.

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

Module Fun gets operators for function composition and application.

Exposes function composition (++) and function composition with two
arguments (+++) to the Fun module of our extended standard library.
Adds and exposes function application ($).

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

Adding extensions to some modules in the extended standard library:
- to the Map module
- to the List module
- and some functional combinators (like compose with (++)) in Fun module

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

Fix a bug in LV resizing

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>

Add rpc-light support to MLVM to allow it to marshal its data structures as an RPC.t

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>

Add (string,t) Hashtbl.t support to rpc-light

Signed-off-by: Jon Ludlam <Jonathan.Ludlam@eu.citrix.com>

CA-35920: add hypercall simulator support for SCHEDOP_remote_shutdown

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-36554: call setsid() before exec() to make sure children don't accidentally kill us when they (eg) send their entire process group a SIGQUIT.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

CA-36554: improve the logging around the fork/exec daemon.

Switch from a buffer to a list of strings, one entry prepended on every 'debug' invocation. In the error path, walk the reversed list and dump each string separately to syslog.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>

[ocamldoc] Ensure 'make doc' works with mlvm lib

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>

Fix camldm after renaming of jsonrpc to rpc-light.json. Also add a datatype maybe needed for rpc-light

Signed-off-by: Jonathan Ludlam <Jonathan.Ludlam@eu.citrix.com>
Acked-by: David Scott <dave.scott@eu.citrix.com>

[http-svr] parse the content-type of the request and store that information in the request structure

Signed-off-by: Thomas Gazagnaire <thomas.gazagnaire@citrix.com>