[v2,0/6] More Oxenstored live update fixes

Message

Andrew Cooper Nov. 30, 2022, 4:54 p.m. UTC

Patch 6 is already acked and queued for 4.18, but testing has identified it
was incomplete.  Specifically, the DOM_EXC virq needs handling across live
update, otherwise domain shutdown events go awry.

Therefore, this v2 series is presented with 5 patches of refactoring, leading
up to the virq correction in patch 6.

Andrew Cooper (5):
  tools/oxenstored: Style fixes to Domain
  tools/oxenstored: Bind the DOM_EXC VIRQ in in Event.init()
  tools/oxenstored: Rename some 'port' variables to 'remote_port'
  tools/oxenstored: Implement Domain.rebind_evtchn
  tools/oxenstored: Rework Domain evtchn handling to use port_pair

Edwin Török (1):
  tools/oxenstored: Keep /dev/xen/evtchn open across live update

 tools/ocaml/xenstored/connections.ml |  9 +---
 tools/ocaml/xenstored/domain.ml      | 86 ++++++++++++++++++++--------------
 tools/ocaml/xenstored/domains.ml     | 31 ++++++-------
 tools/ocaml/xenstored/event.ml       | 20 ++++++--
 tools/ocaml/xenstored/process.ml     | 16 +++----
 tools/ocaml/xenstored/xenstored.ml   | 89 +++++++++++++++++++++++-------------
 6 files changed, 149 insertions(+), 102 deletions(-)