Integra(ng an Online Configura(on Checker with Exis(ng Management Systems: Applica(on to CIM/WBEM Environments

Transcription

1 Integra(ng an Online Configura(on Checker with Exis(ng Management Systems: Applica(on to CIM/WBEM Environments Ludi Akue, Emmanuel Lavinal, Thierry Desprats, Michelle Sibilla University of Toulouse IRIT Lab. France

2 Outline Configura(on verifica(on requirement in NSM Framework for run(me configura(on verifica(on MeCSV metamodel Configura(on constraints checker Applica(on of the framework in CIM/WBEM environments Experiments on the CIM System Virtualiza(on Profile SVM

3 Configura(on verifica(on requirement Configura(on and reconfigura(on are fundamental ac(vi(es in network and service management (the system s behavior is controlled by its configura(on) Management system Config. Install / deploy Monitor Decide Adjust New Config. New Config. Config. Correctness? Consistency? Adequacy? Managed Elements à Need to verify configurafons before their applicafon to guarantee the system s safe and correct operafon SVM

4 Configura(on verifica(on Currently, most related work address Use- case specific verifica(on [SANchk08] Structural integrity verifica(on [Hinrich04, Warren06, PoDIM07] Structural verificafon deals with type conformance, range of authorized values, syntac(c correctness Examples of structural verifica(on: The host name configura(on parameter must not be empty An IPv4 address must have 4 bytes Structural configura(on verifica(on is independent from a run(me Conf X is structurally valid Conf X is valid RT i SVM

5 Configura(on verifica(on (cont.) In today s dynamic environments, configura(ons are highly dependent on the opera(onal condi(ons We argue that an online configurafon verificafon capability is required to assess the configura(on s compliance regarding the current run(me context Examples of online/opera(onal verifica(on: The server hos(ng the HTTP service must be in a running state When applying the backup configura(on, the current number of clients must be less than 50% of the maximum number of clients Online configura(on verifica(on depends on a run(me Conf X is operationally valid in RT Y Conf X is valid RT i SVM

6 General approach for an online configura(on verifica(on Enhancing exis(ng management systems with a verifica(on func(onality Independent from a specific configura(on language or plahorm Enable an online configura(on verifica(on (coupled with a run(me monitoring) 2 1 Decide Monitor Management system Managed Elements 3 Runtime Conf. Verification Adjust à Approach based on a dedicated high- level language: MeCSV metamodel SVM

7 MeCSV: Metamodel for Configura(on Specifica(on & Valida(on MeCSV metamodel [L. Akue et al., VALID 2012] High- level language dedicated to configura(on verifica(on Simple but sufficient to express offline and online constraints Built around 3 capabili(es : ConfiguraFon descripfon: the ability to define a configura(on model for a given system Constraint expression: the ability to express constraints that configura(ons must respect for both structural and opera(onal validity Monitored data representafon: the ability to represent relevant opera(onal state data that influence the opera(onal validity of a configura(on SVM

8 ConfigurationComposition (from/uml/association) ///active/:/boolean ///level/:/constraintlevel «Stereotype» Constraint «Stereotype» Configuration «Stereotype» ManagedElement «Stereotype» StateParameter «Stereotype» ConfigurationParameter «Stereotype» ConstrainableElement «Stereotype» OfflineConstraint «Stereotype» OnlineConstraint «Stereotype» ConfigurationMetadata «Stereotype» ConstraintLevel «metaclass» Class «metaclass» NamedElement «metaclass» Enumeration «metaclass» Constraint «metaclass» Property ConfigurationReference (from/uml/association) ElementConfiguration (from/uml/association) evaluationcontext/[1] ownedconstraint/[*] settings/[*] metadata/[*] stateparameters/[*] constrainedelement/[*] «metaclass» Property [*] [*] [*] [*] MeCSV UML Profile Monitoring Configuration Constraints SVM

9 Framework for online configura(on verifica(on MeCSV Metamodel <<conforms to>> MeCSV inst. edit (at design and run(me) Management System Legacy Legacy mgmt mgmt info info verif. results Adapter Config. instance Current op. state verif. results Reference Model Config structure State Param. <<uses>> Cons- traints RunFme Checker Managed Elements Online configura(on checker SVM

10 Applica(on to CIM/WBEM standards Design Fme: genera(ng part of the MeCSV reference model from CIM schemas 1. Usage of the DMTF s CIM_SettingData configura(on parern 2. Defini(on of transforma(on rules (based on the QVT transforma(on language) between CIM setngs data and the MeCSV metamodel CIM design pauerns (ManagedElement, SettingData) QVT rules MeCSV Metamodel <<conforms to>> <<conforms to>> <<conforms to>> transforma(on Reference Model Config structure State Param. Cons- traints SVM

11 Applica(on to CIM/WBEM standards (cont.) RunFme: building a CIM2MeCSV adapter capable of Mapping at run(me CIM instances to MeCSV instances Gathering from the managed system the state parameters current values (used for online constraints evalua(on) Mgmt System WBEM server 1 Verify {sewng data inst.} 2 Get {state inst.} CIM2MeCSV Adapter (WBEM client) Verify MeCSV {conf + state inst.} 3 Reference Model Config structure State Param. <<uses>> Cons- traints RunFme Checker Managed Elements Online configura(on checker SVM

12 CIM System Virtualiza(on Profile Case Study System virtualiza(on profile (simplified class diagram) HostedDependency ElementSettingData * 1 ComputerSystem SettingsDefineState * VirtualSystemSettingData HostedResourcePool ConcreteComponent * * * ResourcePool ResourceAllocationFromPool ResourceAllocationSettingData 0..1 * ElementSettingData 0..1 SVM

13 CIM System Virtualiza(on Profile Case Study Example Host1:System HostedResourcePool HostedDependency MEM:ResourcePool PoolID = "prim-mem1" Capacity = Primordial = True Reserved = ResourceType = 4 (Memory) AllocationUnits = "byte*2^10" CPU:ResourcePool PoolID = "prim-cpu1" Capacity = 100 Primordial = True Reserved = 50 ResourceType = 3 (Processor) AllocationUnits = "percent" VS1:ComputerSystem Name = "VS1" EnabledState = 2 (Enabled) ResourceAlloc FromPool ResourceAlloc FromPool SettingsDefineState VS1_VSSD:VSSettingData InstanceID = "VS1VSSD" VirtualSystemType = "Default" MRA1:ResourceAllocationSettingData InstanceID = "MRA1RASD" ResourceType = 4 (Memory) AllocationUnits = "byte*2^10" Reservation = PRA1:ResourceAllocationSettingData InstanceID = "PRA1RASD" ResourceType = 3 (Processor) AllocationUnits = "percent" Reservation = 25 ConcreteComponent Element SettingData Element SettingData x:vssettingdata x:vssettingdata x:vssettingdata x:vssettingdata x:vssettingdata x:rasettingdata SVM

14 Experimenta(on: design (me MeCSV reference model genera(on (from CIM VS profile) «ConfigRef» «ManagedElement» ComputerSystem «StateParameter» Name «StateParameter» EnabledState me «ElementConfig» conf «Configuration» VirtualSystemSettingData «ConfigParameter» InstanceId «ConfigParameter» VirtualSystemType «ConfigurationComposition» «ConfigRef» «ManagedElement» ResourcePool «StateParameter» PoolID «StateParameter» ResourceType «StateParameter» AllocationUnits «StateParameter» Capacity «StateParameter» Reserved me «ElementConfig» conf «Configuration» ResourceAllocationSettingData «ConfigParameter» InstanceId «ConfigParameter» ResourceType «ConfigParameter» AllocationUnits «ConfigParameter» Reservation SVM

15 Experimenta(on: design (me Adding constraints to the MeCSV reference model Offline constraints examples Every VirtualSystemSD instance must have a unique id Every VirtualSystemSD instance must include a sub configura(on ResourceAllocationSD of type Processor, Memory and Disk Every ResourceAllocationSD instance must have a Reservation > 0 Online constraints examples The VirtualSystemSD s state configura(on must be associated to a computer system instance in the enabled state The sum of the all the ResourceAllocationSD Reservations must not exceed the Capacity of the corresponding ResourcePool SVM

16 Experimenta(on: run(me Goals 1. Test the CIM2MeCSV adapter and measure its overhead (transforma(on and integra(on (me) 2. Test the online configura(on checker and measure the verifica(on (me (2) Verify {sewng data inst.} (1) Reference Model Mgmt System WBEM server Get {state inst.} CIM2MeCSV Adapter (WBEM client) Verify MeCSV {conf + state inst.} Conf. State Const. <<uses>> Managed Elements RunFme Checker Online configurafon checker Evalua(on according to different configura(on sizes and number of constraints SVM

17 Experimenta(on: run(me evalua(on setup CIM instances provided by OpenPegasus WBEM server (default repository provider) 3 scenarios Case 1: 1 host, 1 VM, ~ 180 config param. & 140 state param. Case 2: 1 host, 2 VM, ~ 360 config param. & 140 state param. Case 3: 1 host, 3 VM, ~ 800 config param. & 140 state param. 3 sets of OCL constraints 10 constraints (~ 70% offline & 30% online) 50 constraints (~ 70% offline & 30% online) 100 constraints (~ 70% offline & 30% online) SVM

18 Experimenta(on: run(me evalua(on results Verify {sewng data inst.} Reference Model Mgmt System WBEM server Get {state inst.} CIM2MeCSV Adapter (WBEM client) Verify MeCSV {conf + state inst.} <<uses>> Managed Elements RunFme Checker Online configurafon checker CIM2MeCSV%adapter's%overhead% Online%configura3on%checking%3me% Time%(in%ms)% 1800" 1600" 1400" 1200" 1000" 800" 600" 400" Total"1me" Instance" transfo." Time%(in%ms)% 1800" 1600" 1400" 1200" 1000" 800" 600" 400" 10"constraints" 50"constraints" 100"constraints" 200" 200" 0" Case"1" Case"2" Case"3" 0" Case"1" Case"2" Case"3" Case 1: 1 host, 1 VM, ~ 180 config param. & 140 state param. Case 2: 1 host, 2 VM, ~ 360 config param. & 140 state param. Case 3: 1 host, 3 VM, ~ 800 config param. & 140 state param. SVM

19 Conclusion and future work Framework for online configura(on verifica(on based on a dedicated (minimal) metamodel named MeCSV Provide online constraints verifica(on for configura(on applicability Enrich exis(ng mgmt systems with a configura(on verifica(on capability Applica(on to CIM/WBEM environments Mapping rules from CIM modeling parerns to MeCSV constructs Run(me adapter to retrieve state parameters from a WBEM server Future work Improve the mapping between standard management informa(on models and MeCSV constructs (in par(cular for the verifica(on results) Ease the specifica(on of constraints (deriva(on from requirements?) SVM

20 Thank you! SVM