%PDF- %PDF-
Direktori : /snap/lxd/current/lib/python3/dist-packages/ |
Current File : //snap/lxd/current/lib/python3/dist-packages/ceph_argparse.py |
""" Types and routines used by the ceph CLI as well as the RESTful interface. These have to do with querying the daemons for command-description information, validating user command input against those descriptions, and submitting the command to the appropriate daemon. Copyright (C) 2013 Inktank Storage, Inc. LGPL-2.1 or LGPL-3.0. See file COPYING. """ from __future__ import print_function import copy import errno import math import json import os import pprint import re import socket import stat import sys import threading import uuid # Flags are from MonCommand.h class Flag: NOFORWARD = (1 << 0) OBSOLETE = (1 << 1) DEPRECATED = (1 << 2) MGR = (1<<3) POLL = (1 << 4) HIDDEN = (1 << 5) KWARG_EQUALS = "--([^=]+)=(.+)" KWARG_SPACE = "--([^=]+)" try: basestring except NameError: basestring = str class ArgumentError(Exception): """ Something wrong with arguments """ pass class ArgumentNumber(ArgumentError): """ Wrong number of a repeated argument """ pass class ArgumentFormat(ArgumentError): """ Argument value has wrong format """ pass class ArgumentMissing(ArgumentError): """ Argument value missing in a command """ pass class ArgumentValid(ArgumentError): """ Argument value is otherwise invalid (doesn't match choices, for instance) """ pass class ArgumentTooFew(ArgumentError): """ Fewer arguments than descriptors in signature; may mean to continue the search, so gets a special exception type """ class ArgumentPrefix(ArgumentError): """ Special for mismatched prefix; less severe, don't report by default """ pass class JsonFormat(Exception): """ some syntactic or semantic issue with the JSON """ pass class CephArgtype(object): """ Base class for all Ceph argument types Instantiating an object sets any validation parameters (allowable strings, numeric ranges, etc.). The 'valid' method validates a string against that initialized instance, throwing ArgumentError if there's a problem. """ def __init__(self, **kwargs): """ set any per-instance validation parameters here from kwargs (fixed string sets, integer ranges, etc) """ pass def valid(self, s, partial=False): """ Run validation against given string s (generally one word); partial means to accept partial string matches (begins-with). If cool, set self.val to the value that should be returned (a copy of the input string, or a numeric or boolean interpretation thereof, for example) if not, throw ArgumentError(msg-as-to-why) """ self.val = s def __repr__(self): """ return string representation of description of type. Note, this is not a representation of the actual value. Subclasses probably also override __str__() to give a more user-friendly 'name/type' description for use in command format help messages. """ a = '' if hasattr(self, 'typeargs'): a = self.typeargs return '{0}(\'{1}\')'.format(self.__class__.__name__, a) def __str__(self): """ where __repr__ (ideally) returns a string that could be used to reproduce the object, __str__ returns one you'd like to see in print messages. Use __str__ to format the argtype descriptor as it would be useful in a command usage message. """ return '<{0}>'.format(self.__class__.__name__) def complete(self, s): return [] class CephInt(CephArgtype): """ range-limited integers, [+|-][0-9]+ or 0x[0-9a-f]+ range: list of 1 or 2 ints, [min] or [min,max] """ def __init__(self, range=''): if range == '': self.range = list() else: self.range = list(range.split('|')) self.range = [int(x) for x in self.range] def valid(self, s, partial=False): try: val = int(s, 0) except ValueError: raise ArgumentValid("{0} doesn't represent an int".format(s)) if len(self.range) == 2: if val < self.range[0] or val > self.range[1]: raise ArgumentValid("{0} not in range {1}".format(val, self.range)) elif len(self.range) == 1: if val < self.range[0]: raise ArgumentValid("{0} not in range {1}".format(val, self.range)) self.val = val def __str__(self): r = '' if len(self.range) == 1: r = '[{0}-]'.format(self.range[0]) if len(self.range) == 2: r = '[{0}-{1}]'.format(self.range[0], self.range[1]) return '<int{0}>'.format(r) class CephFloat(CephArgtype): """ range-limited float type range: list of 1 or 2 floats, [min] or [min, max] """ def __init__(self, range=''): if range == '': self.range = list() else: self.range = list(range.split('|')) self.range = [float(x) for x in self.range] def valid(self, s, partial=False): try: val = float(s) except ValueError: raise ArgumentValid("{0} doesn't represent a float".format(s)) if len(self.range) == 2: if val < self.range[0] or val > self.range[1]: raise ArgumentValid("{0} not in range {1}".format(val, self.range)) elif len(self.range) == 1: if val < self.range[0]: raise ArgumentValid("{0} not in range {1}".format(val, self.range)) self.val = val def __str__(self): r = '' if len(self.range) == 1: r = '[{0}-]'.format(self.range[0]) if len(self.range) == 2: r = '[{0}-{1}]'.format(self.range[0], self.range[1]) return '<float{0}>'.format(r) class CephString(CephArgtype): """ String; pretty generic. goodchars is a RE char class of valid chars """ def __init__(self, goodchars=''): from string import printable try: re.compile(goodchars) except: raise ValueError('CephString(): "{0}" is not a valid RE'. format(goodchars)) self.goodchars = goodchars self.goodset = frozenset( [c for c in printable if re.match(goodchars, c)] ) def valid(self, s, partial=False): sset = set(s) if self.goodset and not sset <= self.goodset: raise ArgumentFormat("invalid chars {0} in {1}". format(''.join(sset - self.goodset), s)) self.val = s def __str__(self): b = '' if self.goodchars: b += '(goodchars {0})'.format(self.goodchars) return '<string{0}>'.format(b) def complete(self, s): if s == '': return [] else: return [s] class CephSocketpath(CephArgtype): """ Admin socket path; check that it's readable and S_ISSOCK """ def valid(self, s, partial=False): mode = os.stat(s).st_mode if not stat.S_ISSOCK(mode): raise ArgumentValid('socket path {0} is not a socket'.format(s)) self.val = s def __str__(self): return '<admin-socket-path>' class CephIPAddr(CephArgtype): """ IP address (v4 or v6) with optional port """ def valid(self, s, partial=False): # parse off port, use socket to validate addr type = 6 if s.startswith('['): type = 6 elif s.find('.') != -1: type = 4 if type == 4: port = s.find(':') if port != -1: a = s[:port] p = s[port + 1:] if int(p) > 65535: raise ArgumentValid('{0}: invalid IPv4 port'.format(p)) else: a = s p = None try: socket.inet_pton(socket.AF_INET, a) except: raise ArgumentValid('{0}: invalid IPv4 address'.format(a)) else: # v6 if s.startswith('['): end = s.find(']') if end == -1: raise ArgumentFormat('{0} missing terminating ]'.format(s)) if s[end + 1] == ':': try: p = int(s[end + 2]) except: raise ArgumentValid('{0}: bad port number'.format(s)) a = s[1:end] else: a = s p = None try: socket.inet_pton(socket.AF_INET6, a) except: raise ArgumentValid('{0} not valid IPv6 address'.format(s)) if p is not None and int(p) > 65535: raise ArgumentValid("{0} not a valid port number".format(p)) self.val = s self.addr = a self.port = p def __str__(self): return '<IPaddr[:port]>' class CephEntityAddr(CephIPAddr): """ EntityAddress, that is, IP address[/nonce] """ def valid(self, s, partial=False): nonce = None if '/' in s: ip, nonce = s.split('/') else: ip = s super(self.__class__, self).valid(ip) if nonce: nonce_int = None try: nonce_int = int(nonce) except ValueError: pass if nonce_int is None or nonce_int < 0: raise ArgumentValid( '{0}: invalid entity, nonce {1} not integer > 0'. format(s, nonce) ) self.val = s def __str__(self): return '<EntityAddr>' class CephPoolname(CephArgtype): """ Pool name; very little utility """ def __str__(self): return '<poolname>' class CephObjectname(CephArgtype): """ Object name. Maybe should be combined with Pool name as they're always present in pairs, and then could be checked for presence """ def __str__(self): return '<objectname>' class CephPgid(CephArgtype): """ pgid, in form N.xxx (N = pool number, xxx = hex pgnum) """ def valid(self, s, partial=False): if s.find('.') == -1: raise ArgumentFormat('pgid has no .') poolid, pgnum = s.split('.', 1) try: poolid = int(poolid) except ValueError: raise ArgumentFormat('pool {0} not integer'.format(poolid)) if poolid < 0: raise ArgumentFormat('pool {0} < 0'.format(poolid)) try: pgnum = int(pgnum, 16) except ValueError: raise ArgumentFormat('pgnum {0} not hex integer'.format(pgnum)) self.val = s def __str__(self): return '<pgid>' class CephName(CephArgtype): """ Name (type.id) where: type is osd|mon|client|mds id is a base10 int, if type == osd, or a string otherwise Also accept '*' """ def __init__(self): self.nametype = None self.nameid = None def valid(self, s, partial=False): if s == '*': self.val = s return elif s == "mgr": self.nametype = "mgr" self.val = s return elif s == "mon": self.nametype = "mon" self.val = s return if s.find('.') == -1: raise ArgumentFormat('CephName: no . in {0}'.format(s)) else: t, i = s.split('.', 1) if t not in ('osd', 'mon', 'client', 'mds', 'mgr'): raise ArgumentValid('unknown type ' + t) if t == 'osd': if i != '*': try: i = int(i) except: raise ArgumentFormat('osd id ' + i + ' not integer') self.nametype = t self.val = s self.nameid = i def __str__(self): return '<name (type.id)>' class CephOsdName(CephArgtype): """ Like CephName, but specific to osds: allow <id> alone osd.<id>, or <id>, or *, where id is a base10 int """ def __init__(self): self.nametype = None self.nameid = None def valid(self, s, partial=False): if s == '*': self.val = s return if s.find('.') != -1: t, i = s.split('.', 1) if t != 'osd': raise ArgumentValid('unknown type ' + t) else: t = 'osd' i = s try: i = int(i) except: raise ArgumentFormat('osd id ' + i + ' not integer') if i < 0: raise ArgumentFormat('osd id {0} is less than 0'.format(i)) self.nametype = t self.nameid = i self.val = i def __str__(self): return '<osdname (id|osd.id)>' class CephChoices(CephArgtype): """ Set of string literals; init with valid choices """ def __init__(self, strings='', **kwargs): self.strings = strings.split('|') def valid(self, s, partial=False): if not partial: if s not in self.strings: # show as __str__ does: {s1|s2..} raise ArgumentValid("{0} not in {1}".format(s, self)) self.val = s return # partial for t in self.strings: if t.startswith(s): self.val = s return raise ArgumentValid("{0} not in {1}". format(s, self)) def __str__(self): if len(self.strings) == 1: return '{0}'.format(self.strings[0]) else: return '{0}'.format('|'.join(self.strings)) def complete(self, s): all_elems = [token for token in self.strings if token.startswith(s)] return all_elems class CephBool(CephArgtype): """ A boolean argument, values may be case insensitive 'true', 'false', '0', '1'. In keyword form, value may be left off (implies true). """ def __init__(self, strings='', **kwargs): self.strings = strings.split('|') def valid(self, s, partial=False): lower_case = s.lower() if lower_case in ['true', '1']: self.val = True elif lower_case in ['false', '0']: self.val = False else: raise ArgumentValid("{0} not one of 'true', 'false'".format(s)) def __str__(self): return '<bool>' class CephFilepath(CephArgtype): """ Openable file """ def valid(self, s, partial=False): # set self.val if the specified path is readable or writable s = os.path.abspath(s) if not os.access(s, os.R_OK): self._validate_writable_file(s) self.val = s def _validate_writable_file(self, fname): if os.path.exists(fname): if os.path.isfile(fname): if not os.access(fname, os.W_OK): raise ArgumentValid('{0} is not writable'.format(fname)) else: raise ArgumentValid('{0} is not file'.format(fname)) else: dirname = os.path.dirname(fname) if not os.access(dirname, os.W_OK): raise ArgumentValid('cannot create file in {0}'.format(dirname)) def __str__(self): return '<outfilename>' class CephFragment(CephArgtype): """ 'Fragment' ??? XXX """ def valid(self, s, partial=False): if s.find('/') == -1: raise ArgumentFormat('{0}: no /'.format(s)) val, bits = s.split('/') # XXX is this right? if not val.startswith('0x'): raise ArgumentFormat("{0} not a hex integer".format(val)) try: int(val) except: raise ArgumentFormat('can\'t convert {0} to integer'.format(val)) try: int(bits) except: raise ArgumentFormat('can\'t convert {0} to integer'.format(bits)) self.val = s def __str__(self): return "<CephFS fragment ID (0xvvv/bbb)>" class CephUUID(CephArgtype): """ CephUUID: pretty self-explanatory """ def valid(self, s, partial=False): try: uuid.UUID(s) except Exception as e: raise ArgumentFormat('invalid UUID {0}: {1}'.format(s, e)) self.val = s def __str__(self): return '<uuid>' class CephPrefix(CephArgtype): """ CephPrefix: magic type for "all the first n fixed strings" """ def __init__(self, prefix=''): self.prefix = prefix def valid(self, s, partial=False): try: s = str(s) if isinstance(s, bytes): # `prefix` can always be converted into unicode when being compared, # but `s` could be anything passed by user. s = s.decode('ascii') except UnicodeEncodeError: raise ArgumentPrefix(u"no match for {0}".format(s)) except UnicodeDecodeError: raise ArgumentPrefix("no match for {0}".format(s)) if partial: if self.prefix.startswith(s): self.val = s return else: if s == self.prefix: self.val = s return raise ArgumentPrefix("no match for {0}".format(s)) def __str__(self): return self.prefix def complete(self, s): if self.prefix.startswith(s): return [self.prefix.rstrip(' ')] else: return [] class argdesc(object): """ argdesc(typename, name='name', n=numallowed|N, req=False, helptext=helptext, **kwargs (type-specific)) validation rules: typename: type(**kwargs) will be constructed later, type.valid(w) will be called with a word in that position name is used for parse errors and for constructing JSON output n is a numeric literal or 'n|N', meaning "at least one, but maybe more" req=False means the argument need not be present in the list helptext is the associated help for the command anything else are arguments to pass to the type constructor. self.instance is an instance of type t constructed with typeargs. valid() will later be called with input to validate against it, and will store the validated value in self.instance.val for extraction. """ def __init__(self, t, name=None, n=1, req=True, **kwargs): if isinstance(t, basestring): self.t = CephPrefix self.typeargs = {'prefix': t} self.req = True else: self.t = t self.typeargs = kwargs self.req = req in (True, 'True', 'true') self.name = name self.N = (n in ['n', 'N']) if self.N: self.n = 1 else: self.n = int(n) self.numseen = 0 self.instance = self.t(**self.typeargs) def __repr__(self): r = 'argdesc(' + str(self.t) + ', ' internals = ['N', 'typeargs', 'instance', 't'] for (k, v) in self.__dict__.items(): if k.startswith('__') or k in internals: pass else: # undo modification from __init__ if k == 'n' and self.N: v = 'N' r += '{0}={1}, '.format(k, v) for (k, v) in self.typeargs.items(): r += '{0}={1}, '.format(k, v) return r[:-2] + ')' def __str__(self): if ((self.t == CephChoices and len(self.instance.strings) == 1) or (self.t == CephPrefix)): s = str(self.instance) else: s = '{0}({1})'.format(self.name, str(self.instance)) if self.N: s += '...' if not self.req: s = '[' + s + ']' return s def helpstr(self): """ like str(), but omit parameter names (except for CephString, which really needs them) """ if self.t == CephBool: chunk = "--{0}".format(self.name.replace("_", "-")) elif self.t == CephPrefix or self.t == CephChoices: chunk = str(self.instance) elif self.t == CephOsdName: # it just so happens all CephOsdName commands are named 'id' anyway, # so <id|osd.id> is perfect. chunk = '<id|osd.id>' elif self.t == CephName: # CephName commands similarly only have one arg of the # type, so <type.id> is good. chunk = '<type.id>' elif self.t == CephInt: chunk = '<{0}:int>'.format(self.name) elif self.t == CephFloat: chunk = '<{0}:float>'.format(self.name) else: chunk = '<{0}>'.format(self.name) s = chunk if self.N: s += '...' if not self.req: s = '[' + s + ']' return s def complete(self, s): return self.instance.complete(s) def concise_sig(sig): """ Return string representation of sig useful for syntax reference in help """ return ' '.join([d.helpstr() for d in sig]) def descsort_key(sh): """ sort descriptors by prefixes, defined as the concatenation of all simple strings in the descriptor; this works out to just the leading strings. """ return concise_sig(sh['sig']) def descsort(sh1, sh2): """ Deprecated; use (key=descsort_key) instead of (cmp=descsort) """ return cmp(descsort_key(sh1), descsort_key(sh2)) def parse_funcsig(sig): """ parse a single descriptor (array of strings or dicts) into a dict of function descriptor/validators (objects of CephXXX type) :returns: list of ``argdesc`` """ newsig = [] argnum = 0 for desc in sig: argnum += 1 if isinstance(desc, basestring): t = CephPrefix desc = {'type': t, 'name': 'prefix', 'prefix': desc} else: # not a simple string, must be dict if 'type' not in desc: s = 'JSON descriptor {0} has no type'.format(sig) raise JsonFormat(s) # look up type string in our globals() dict; if it's an # object of type `type`, it must be a # locally-defined class. otherwise, we haven't a clue. if desc['type'] in globals(): t = globals()[desc['type']] if not isinstance(t, type): s = 'unknown type {0}'.format(desc['type']) raise JsonFormat(s) else: s = 'unknown type {0}'.format(desc['type']) raise JsonFormat(s) kwargs = dict() for key, val in desc.items(): if key not in ['type', 'name', 'n', 'req']: kwargs[key] = val newsig.append(argdesc(t, name=desc.get('name', None), n=desc.get('n', 1), req=desc.get('req', True), **kwargs)) return newsig def parse_json_funcsigs(s, consumer): """ A function signature is mostly an array of argdesc; it's represented in JSON as { "cmd001": {"sig":[ "type": type, "name": name, "n": num, "req":true|false <other param>], "help":helptext, "module":modulename, "perm":perms, "avail":availability} . . . ] A set of sigs is in an dict mapped by a unique number: { "cmd1": { "sig": ["type.. ], "help":helptext... } "cmd2"{ "sig": [.. ], "help":helptext... } } Parse the string s and return a dict of dicts, keyed by opcode; each dict contains 'sig' with the array of descriptors, and 'help' with the helptext, 'module' with the module name, 'perm' with a string representing required permissions in that module to execute this command (and also whether it is a read or write command from the cluster state perspective), and 'avail' as a hint for whether the command should be advertised by CLI, REST, or both. If avail does not contain 'consumer', don't include the command in the returned dict. """ try: overall = json.loads(s) except Exception as e: print("Couldn't parse JSON {0}: {1}".format(s, e), file=sys.stderr) raise e sigdict = {} for cmdtag, cmd in overall.items(): if 'sig' not in cmd: s = "JSON descriptor {0} has no 'sig'".format(cmdtag) raise JsonFormat(s) # check 'avail' and possibly ignore this command if 'avail' in cmd: if consumer not in cmd['avail']: continue # rewrite the 'sig' item with the argdesc-ized version, and... cmd['sig'] = parse_funcsig(cmd['sig']) # just take everything else as given sigdict[cmdtag] = cmd return sigdict def validate_one(word, desc, partial=False): """ validate_one(word, desc, partial=False) validate word against the constructed instance of the type in desc. May raise exception. If it returns false (and doesn't raise an exception), desc.instance.val will contain the validated value (in the appropriate type). """ desc.instance.valid(word, partial) desc.numseen += 1 if desc.N: desc.n = desc.numseen + 1 def matchnum(args, signature, partial=False): """ matchnum(s, signature, partial=False) Returns number of arguments matched in s against signature. Can be used to determine most-likely command for full or partial matches (partial applies to string matches). """ words = args[:] mysig = copy.deepcopy(signature) matchcnt = 0 for desc in mysig: desc.numseen = 0 while desc.numseen < desc.n: # if there are no more arguments, return if not words: return matchcnt word = words.pop(0) try: # only allow partial matching if we're on the last supplied # word; avoid matching foo bar and foot bar just because # partial is set validate_one(word, desc, partial and (len(words) == 0)) valid = True except ArgumentError: # matchnum doesn't care about type of error valid = False if not valid: if not desc.req: # this wasn't required, so word may match the next desc words.insert(0, word) break else: # it was required, and didn't match, return return matchcnt if desc.req: matchcnt += 1 return matchcnt def store_arg(desc, d): ''' Store argument described by, and held in, thanks to valid(), desc into the dictionary d, keyed by desc.name. Three cases: 1) desc.N is set: value in d is a list 2) prefix: multiple args are joined with ' ' into one d{} item 3) single prefix or other arg: store as simple value Used in validate() below. ''' if desc.N: # value should be a list if desc.name in d: d[desc.name] += [desc.instance.val] else: d[desc.name] = [desc.instance.val] elif (desc.t == CephPrefix) and (desc.name in d): # prefixes' values should be a space-joined concatenation d[desc.name] += ' ' + desc.instance.val else: # if first CephPrefix or any other type, just set it d[desc.name] = desc.instance.val def validate(args, signature, flags=0, partial=False): """ validate(args, signature, flags=0, partial=False) args is a list of strings representing a possible command input following format of signature. Runs a validation; no exception means it's OK. Return a dict containing all arguments keyed by their descriptor name, with duplicate args per name accumulated into a list (or space-separated value for CephPrefix). Mismatches of prefix are non-fatal, as this probably just means the search hasn't hit the correct command. Mismatches of non-prefix arguments are treated as fatal, and an exception raised. This matching is modified if partial is set: allow partial matching (with partial dict returned); in this case, there are no exceptions raised. """ myargs = copy.deepcopy(args) mysig = copy.deepcopy(signature) reqsiglen = len([desc for desc in mysig if desc.req]) matchcnt = 0 d = dict() save_exception = None arg_descs_by_name = dict([desc.name, desc] for desc in mysig if desc.t != CephPrefix) # Special case: detect "injectargs" (legacy way of modifying daemon # configs) and permit "--" string arguments if so. injectargs = myargs and myargs[0] == "injectargs" # Make a pass through all arguments for desc in mysig: desc.numseen = 0 while desc.numseen < desc.n: if myargs: myarg = myargs.pop(0) else: myarg = None # no arg, but not required? Continue consuming mysig # in case there are later required args if myarg in (None, []) and not desc.req: break # A keyword argument? if myarg: # argdesc for the keyword argument, if we find one kwarg_desc = None # Track whether we need to push value back onto # myargs in the case that this isn't a valid k=v consumed_next = False # Try both styles of keyword argument kwarg_match = re.match(KWARG_EQUALS, myarg) if kwarg_match: # We have a "--foo=bar" style argument kwarg_k, kwarg_v = kwarg_match.groups() # Either "--foo-bar" or "--foo_bar" style is accepted kwarg_k = kwarg_k.replace('-', '_') kwarg_desc = arg_descs_by_name.get(kwarg_k, None) else: # Maybe this is a "--foo bar" or "--bool" style argument key_match = re.match(KWARG_SPACE, myarg) if key_match: kwarg_k = key_match.group(1) # Permit --foo-bar=123 form or --foo_bar=123 form, # assuming all command definitions use foo_bar argument # naming style kwarg_k = kwarg_k.replace('-', '_') kwarg_desc = arg_descs_by_name.get(kwarg_k, None) if kwarg_desc: if kwarg_desc.t == CephBool: kwarg_v = 'true' elif len(myargs): # Some trailing arguments exist kwarg_v = myargs.pop(0) else: # Forget it, this is not a valid kwarg kwarg_desc = None if kwarg_desc: validate_one(kwarg_v, kwarg_desc) matchcnt += 1 store_arg(kwarg_desc, d) continue # Don't handle something as a positional argument if it # has a leading "--" unless it's a CephChoices (used for # "--yes-i-really-mean-it") if myarg and myarg.startswith("--"): # Special cases for instances of confirmation flags # that were defined as CephString/CephChoices instead of CephBool # in pre-nautilus versions of Ceph daemons. is_value = desc.t == CephChoices \ or myarg == "--yes-i-really-mean-it" \ or myarg == "--yes-i-really-really-mean-it" \ or myarg == "--yes-i-really-really-mean-it-not-faking" \ or myarg == "--force" \ or injectargs if not is_value: # Didn't get caught by kwarg handling, but has a "--", so # we must assume it's something invalid, to avoid naively # passing through mis-typed options as the values of # positional arguments. raise ArgumentValid("Unexpected argument '{0}'".format( myarg)) # out of arguments for a required param? # Either return (if partial validation) or raise if myarg in (None, []) and desc.req: if desc.N and desc.numseen < 1: # wanted N, didn't even get 1 if partial: return d raise ArgumentNumber( 'saw {0} of {1}, expected at least 1'. format(desc.numseen, desc) ) elif not desc.N and desc.numseen < desc.n: # wanted n, got too few if partial: return d # special-case the "0 expected 1" case if desc.numseen == 0 and desc.n == 1: raise ArgumentMissing( 'missing required parameter {0}'.format(desc) ) raise ArgumentNumber( 'saw {0} of {1}, expected {2}'. format(desc.numseen, desc, desc.n) ) break # Have an arg; validate it try: validate_one(myarg, desc) valid = True except ArgumentError as e: valid = False # argument mismatch if not desc.req: # if not required, just push back; it might match # the next arg save_exception = [ myarg, e ] myargs.insert(0, myarg) break else: # hm, it was required, so time to return/raise if partial: return d raise # Whew, valid arg acquired. Store in dict matchcnt += 1 store_arg(desc, d) # Clear prior exception save_exception = None # Done with entire list of argdescs if matchcnt < reqsiglen: raise ArgumentTooFew("not enough arguments given") if myargs and not partial: if save_exception: print(save_exception[0], 'not valid: ', save_exception[1], file=sys.stderr) raise ArgumentError("unused arguments: " + str(myargs)) if flags & Flag.MGR: d['target'] = ('mon-mgr','') if flags & Flag.POLL: d['poll'] = True # Finally, success return d def validate_command(sigdict, args, verbose=False): """ Parse positional arguments into a parameter dict, according to the command descriptions. Writes advice about nearly-matching commands ``sys.stderr`` if the arguments do not match any command. :param sigdict: A command description dictionary, as returned from Ceph daemons by the get_command_descriptions command. :param args: List of strings, should match one of the command signatures in ``sigdict`` :returns: A dict of parsed parameters (including ``prefix``), or an empty dict if the args did not match any signature """ if verbose: print("validate_command: " + " ".join(args), file=sys.stderr) found = [] valid_dict = {} # look for best match, accumulate possibles in bestcmds # (so we can maybe give a more-useful error message) best_match_cnt = 0 bestcmds = [] for cmd in sigdict.values(): flags = cmd.get('flags', 0) if flags & Flag.OBSOLETE: continue sig = cmd['sig'] matched = matchnum(args, sig, partial=True) if (matched >= math.floor(best_match_cnt) and matched == matchnum(args, sig, partial=False)): # prefer those fully matched over partial patch matched += 0.5 if matched < best_match_cnt: continue if verbose: print("better match: {0} > {1}: {2} ".format( matched, best_match_cnt, concise_sig(sig) ), file=sys.stderr) if matched > best_match_cnt: best_match_cnt = matched bestcmds = [cmd] else: bestcmds.append(cmd) # Sort bestcmds by number of req args so we can try shortest first # (relies on a cmdsig being key,val where val is a list of len 1) def grade(cmd): # prefer optional arguments over required ones sigs = cmd['sig'] return sum(map(lambda sig: sig.req, sigs)) bestcmds_sorted = sorted(bestcmds, key=grade) if verbose: print("bestcmds_sorted: ", file=sys.stderr) pprint.PrettyPrinter(stream=sys.stderr).pprint(bestcmds_sorted) ex = None # for everything in bestcmds, look for a true match for cmd in bestcmds_sorted: sig = cmd['sig'] try: valid_dict = validate(args, sig, flags=cmd.get('flags', 0)) found = cmd break except ArgumentPrefix: # ignore prefix mismatches; we just haven't found # the right command yet pass except ArgumentMissing as e: ex = e if len(bestcmds) == 1: found = cmd break except ArgumentTooFew: # It looked like this matched the beginning, but it # didn't have enough args supplied. If we're out of # cmdsigs we'll fall out unfound; if we're not, maybe # the next one matches completely. Whine, but pass. if verbose: print('Not enough args supplied for ', concise_sig(sig), file=sys.stderr) except ArgumentError as e: ex = e # Solid mismatch on an arg (type, range, etc.) # Stop now, because we have the right command but # some other input is invalid found = cmd break if found: if not valid_dict: print("Invalid command:", ex, file=sys.stderr) print(concise_sig(sig), ': ', cmd['help'], file=sys.stderr) else: bestcmds = [c for c in bestcmds if not c.get('flags', 0) & (Flag.DEPRECATED | Flag.HIDDEN)] bestcmds = bestcmds[:10] # top 10 print('no valid command found; {0} closest matches:'.format(len(bestcmds)), file=sys.stderr) for cmd in bestcmds: print(concise_sig(cmd['sig']), file=sys.stderr) return valid_dict def find_cmd_target(childargs): """ Using a minimal validation, figure out whether the command should be sent to a monitor or an osd. We do this before even asking for the 'real' set of command signatures, so we can ask the right daemon. Returns ('osd', osdid), ('pg', pgid), ('mgr', '') or ('mon', '') """ sig = parse_funcsig(['tell', {'name': 'target', 'type': 'CephName'}]) try: valid_dict = validate(childargs, sig, partial=True) except ArgumentError: pass else: if len(valid_dict) == 2: # revalidate to isolate type and id name = CephName() # if this fails, something is horribly wrong, as it just # validated successfully above name.valid(valid_dict['target']) return name.nametype, name.nameid sig = parse_funcsig(['tell', {'name': 'pgid', 'type': 'CephPgid'}]) try: valid_dict = validate(childargs, sig, partial=True) except ArgumentError: pass else: if len(valid_dict) == 2: # pg doesn't need revalidation; the string is fine return 'pg', valid_dict['pgid'] # If we reached this far it must mean that so far we've been unable to # obtain a proper target from childargs. This may mean that we are not # dealing with a 'tell' command, or that the specified target is invalid. # If the latter, we likely were unable to catch it because we were not # really looking for it: first we tried to parse a 'CephName' (osd, mon, # mds, followed by and id); given our failure to parse, we tried to parse # a 'CephPgid' instead (e.g., 0.4a). Considering we got this far though # we were unable to do so. # # We will now check if this is a tell and, if so, forcefully validate the # target as a 'CephName'. This must be so because otherwise we will end # up sending garbage to a monitor, which is the default target when a # target is not explicitly specified. # e.g., # 'ceph status' -> target is any one monitor # 'ceph tell mon.* status -> target is all monitors # 'ceph tell foo status -> target is invalid! if len(childargs) > 1 and childargs[0] == 'tell': name = CephName() # CephName.valid() raises on validation error; find_cmd_target()'s # caller should handle them name.valid(childargs[1]) return name.nametype, name.nameid sig = parse_funcsig(['pg', {'name': 'pgid', 'type': 'CephPgid'}]) try: valid_dict = validate(childargs, sig, partial=True) except ArgumentError: pass else: if len(valid_dict) == 2: return 'pg', valid_dict['pgid'] return 'mon', '' class RadosThread(threading.Thread): def __init__(self, func, *args, **kwargs): self.args = args self.kwargs = kwargs self.func = func self.exception = None threading.Thread.__init__(self) def run(self): try: self.retval = self.func(*self.args, **self.kwargs) except Exception as e: self.exception = e def run_in_thread(func, *args, **kwargs): interrupt = False timeout = kwargs.pop('timeout', 0) if timeout == 0 or timeout == None: # python threading module will just get blocked if timeout is `None`, # otherwise it will keep polling until timeout or thread stops. # timeout in integer when converting it to nanoseconds, but since # python3 uses `int64_t` for the deadline before timeout expires, # we have to use a safe value which does not overflow after being # added to current time in microseconds. timeout = 24 * 60 * 60 t = RadosThread(func, *args, **kwargs) # allow the main thread to exit (presumably, avoid a join() on this # subthread) before this thread terminates. This allows SIGINT # exit of a blocked call. See below. t.daemon = True t.start() t.join(timeout=timeout) # ..but allow SIGINT to terminate the waiting. Note: this # relies on the Linux kernel behavior of delivering the signal # to the main thread in preference to any subthread (all that's # strictly guaranteed is that *some* thread that has the signal # unblocked will receive it). But there doesn't seem to be # any interface to create a thread with SIGINT blocked. if t.is_alive(): raise Exception("timed out") elif t.exception: raise t.exception else: return t.retval def send_command_retry(*args, **kwargs): while True: try: return send_command(*args, **kwargs) except Exception as e: # If our librados instance has not reached state 'connected' # yet, we'll see an exception like this and retry if ('get_command_descriptions' in str(e) and 'object in state configuring' in str(e)): continue else: raise def send_command(cluster, target=('mon', ''), cmd=None, inbuf=b'', timeout=0, verbose=False): """ Send a command to a daemon using librados's mon_command, osd_command, mgr_command, or pg_command. Any bulk input data comes in inbuf. Returns (ret, outbuf, outs); ret is the return code, outbuf is the outbl "bulk useful output" buffer, and outs is any status or error message (intended for stderr). If target is osd.N, send command to that osd (except for pgid cmds) """ cmd = cmd or [] try: if target[0] == 'osd': osdid = target[1] if verbose: print('submit {0} to osd.{1}'.format(cmd, osdid), file=sys.stderr) ret, outbuf, outs = run_in_thread( cluster.osd_command, osdid, cmd, inbuf, timeout=timeout) elif target[0] == 'mgr': name = '' # non-None empty string means "current active mgr" if len(target) > 1 and target[1] is not None: name = target[1] if verbose: print('submit {0} to {1} name {2}'.format(cmd, target[0], name), file=sys.stderr) ret, outbuf, outs = run_in_thread( cluster.mgr_command, cmd, inbuf, timeout=timeout, target=name) elif target[0] == 'mon-mgr': if verbose: print('submit {0} to {1}'.format(cmd, target[0]), file=sys.stderr) ret, outbuf, outs = run_in_thread( cluster.mgr_command, cmd, inbuf, timeout=timeout) elif target[0] == 'pg': pgid = target[1] # pgid will already be in the command for the pg <pgid> # form, but for tell <pgid>, we need to put it in if cmd: cmddict = json.loads(cmd[0]) cmddict['pgid'] = pgid else: cmddict = dict(pgid=pgid) cmd = [json.dumps(cmddict)] if verbose: print('submit {0} for pgid {1}'.format(cmd, pgid), file=sys.stderr) ret, outbuf, outs = run_in_thread( cluster.pg_command, pgid, cmd, inbuf, timeout=timeout) elif target[0] == 'mon': if verbose: print('{0} to {1}'.format(cmd, target[0]), file=sys.stderr) if len(target) < 2 or target[1] == '': ret, outbuf, outs = run_in_thread( cluster.mon_command, cmd, inbuf, timeout=timeout) else: ret, outbuf, outs = run_in_thread( cluster.mon_command, cmd, inbuf, timeout=timeout, target=target[1]) elif target[0] == 'mds': mds_spec = target[1] if verbose: print('submit {0} to mds.{1}'.format(cmd, mds_spec), file=sys.stderr) try: from cephfs import LibCephFS except ImportError: raise RuntimeError("CephFS unavailable, have you installed libcephfs?") filesystem = LibCephFS(rados_inst=cluster) filesystem.init() ret, outbuf, outs = \ filesystem.mds_command(mds_spec, cmd, inbuf) filesystem.shutdown() else: raise ArgumentValid("Bad target type '{0}'".format(target[0])) except Exception as e: if not isinstance(e, ArgumentError): raise RuntimeError('"{0}": exception {1}'.format(cmd, e)) else: raise return ret, outbuf, outs def json_command(cluster, target=('mon', ''), prefix=None, argdict=None, inbuf=b'', timeout=0, verbose=False): """ Serialize a command and up a JSON command and send it with send_command() above. Prefix may be supplied separately or in argdict. Any bulk input data comes in inbuf. If target is osd.N, send command to that osd (except for pgid cmds) :param cluster: ``rados.Rados`` instance :param prefix: String to inject into command arguments as 'prefix' :param argdict: Command arguments """ cmddict = {} if prefix: cmddict.update({'prefix': prefix}) if argdict: cmddict.update(argdict) if 'target' in argdict: target = argdict.get('target') try: if target[0] == 'osd': osdtarg = CephName() osdtarget = '{0}.{1}'.format(*target) # prefer target from cmddict if present and valid if 'target' in cmddict: osdtarget = cmddict.pop('target') try: osdtarg.valid(osdtarget) target = ('osd', osdtarg.nameid) except: # use the target we were originally given pass ret, outbuf, outs = send_command_retry(cluster, target, [json.dumps(cmddict)], inbuf, timeout, verbose) except Exception as e: if not isinstance(e, ArgumentError): raise RuntimeError('"{0}": exception {1}'.format(argdict, e)) else: raise return ret, outbuf, outs