wireprototypes.py
467 lines
| 13.3 KiB
| text/x-python
|
PythonLexer
/ mercurial / wireprototypes.py
Gregory Szorc
|
r36090 | # Copyright 2018 Gregory Szorc <gregory.szorc@gmail.com> | ||
# | ||||
# This software may be used and distributed according to the terms of the | ||||
# GNU General Public License version 2 or any later version. | ||||
Matt Harbison
|
r52756 | from __future__ import annotations | ||
Gregory Szorc
|
r36090 | |||
Matt Harbison
|
r53019 | import abc | ||
Matt Harbison
|
r52622 | import typing | ||
Matt Harbison
|
r53017 | from typing import ( | ||
Protocol, | ||||
) | ||||
Gregory Szorc
|
r36090 | |||
Gregory Szorc
|
r37630 | from .node import ( | ||
bin, | ||||
hex, | ||||
) | ||||
Gregory Szorc
|
r37801 | from .i18n import _ | ||
Augie Fackler
|
r43346 | from .thirdparty import attr | ||
Matt Harbison
|
r52622 | |||
# Force pytype to use the non-vendored package | ||||
if typing.TYPE_CHECKING: | ||||
# noinspection PyPackageRequirements | ||||
import attr | ||||
Gregory Szorc
|
r37801 | from . import ( | ||
error, | ||||
util, | ||||
) | ||||
Augie Fackler
|
r43346 | from .utils import compression | ||
Gregory Szorc
|
r36389 | |||
Gregory Szorc
|
r36553 | # Names of the SSH protocol implementations. | ||
Augie Fackler
|
r43347 | SSHV1 = b'ssh-v1' | ||
Gregory Szorc
|
r36553 | |||
Augie Fackler
|
r43347 | NARROWCAP = b'exp-narrow-1' | ||
ELLIPSESCAP1 = b'exp-ellipses-1' | ||||
ELLIPSESCAP = b'exp-ellipses-2' | ||||
Pulkit Goyal
|
r42605 | SUPPORTED_ELLIPSESCAP = (ELLIPSESCAP1, ELLIPSESCAP) | ||
Pulkit Goyal
|
r40110 | |||
Gregory Szorc
|
r36627 | # All available wire protocol transports. | ||
TRANSPORTS = { | ||||
Augie Fackler
|
r46554 | SSHV1: { | ||
b'transport': b'ssh', | ||||
b'version': 1, | ||||
}, | ||||
b'http-v1': { | ||||
b'transport': b'http', | ||||
b'version': 1, | ||||
}, | ||||
Gregory Szorc
|
r36627 | } | ||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r49801 | class bytesresponse: | ||
Gregory Szorc
|
r36091 | """A wire protocol response consisting of raw bytes.""" | ||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r36091 | def __init__(self, data): | ||
self.data = data | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r49801 | class ooberror: | ||
Gregory Szorc
|
r36090 | """wireproto reply: failure of a batch of operation | ||
Something failed during a batch call. The error message is stored in | ||||
`self.message`. | ||||
""" | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r36090 | def __init__(self, message): | ||
self.message = message | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r49801 | class pushres: | ||
Gregory Szorc
|
r36090 | """wireproto reply: success with simple integer return | ||
The call was successful and returned an integer contained in `self.res`. | ||||
""" | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r36090 | def __init__(self, res, output): | ||
self.res = res | ||||
self.output = output | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r49801 | class pusherr: | ||
Gregory Szorc
|
r36090 | """wireproto reply: failure | ||
The call failed. The `self.res` attribute contains the error message. | ||||
""" | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r36090 | def __init__(self, res, output): | ||
self.res = res | ||||
self.output = output | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r49801 | class streamres: | ||
Gregory Szorc
|
r36090 | """wireproto reply: binary stream | ||
The call was successful and the result is a stream. | ||||
Accepts a generator containing chunks of data to be sent to the client. | ||||
``prefer_uncompressed`` indicates that the data is expected to be | ||||
uncompressable and that the stream should therefore use the ``none`` | ||||
engine. | ||||
""" | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r36090 | def __init__(self, gen=None, prefer_uncompressed=False): | ||
self.gen = gen | ||||
self.prefer_uncompressed = prefer_uncompressed | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r49801 | class streamreslegacy: | ||
Gregory Szorc
|
r36090 | """wireproto reply: uncompressed binary stream | ||
The call was successful and the result is a stream. | ||||
Accepts a generator containing chunks of data to be sent to the client. | ||||
Like ``streamres``, but sends an uncompressed data for "version 1" clients | ||||
using the application/mercurial-0.1 media type. | ||||
""" | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r36090 | def __init__(self, gen=None): | ||
self.gen = gen | ||||
Gregory Szorc
|
r36389 | |||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r37630 | # list of nodes encoding / decoding | ||
Augie Fackler
|
r43347 | def decodelist(l, sep=b' '): | ||
Gregory Szorc
|
r37630 | if l: | ||
Augie Fackler
|
r43346 | return [bin(v) for v in l.split(sep)] | ||
Gregory Szorc
|
r37630 | return [] | ||
Augie Fackler
|
r43346 | |||
Augie Fackler
|
r43347 | def encodelist(l, sep=b' '): | ||
Gregory Szorc
|
r37630 | try: | ||
return sep.join(map(hex, l)) | ||||
except TypeError: | ||||
raise | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r37630 | # batched call argument encoding | ||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r37630 | def escapebatcharg(plain): | ||
Augie Fackler
|
r43346 | return ( | ||
Augie Fackler
|
r43347 | plain.replace(b':', b':c') | ||
.replace(b',', b':o') | ||||
.replace(b';', b':s') | ||||
.replace(b'=', b':e') | ||||
Augie Fackler
|
r43346 | ) | ||
Gregory Szorc
|
r37630 | |||
def unescapebatcharg(escaped): | ||||
Augie Fackler
|
r43346 | return ( | ||
Augie Fackler
|
r43347 | escaped.replace(b':e', b'=') | ||
.replace(b':s', b';') | ||||
.replace(b':o', b',') | ||||
.replace(b':c', b':') | ||||
Augie Fackler
|
r43346 | ) | ||
Gregory Szorc
|
r37630 | |||
Gregory Szorc
|
r37631 | # mapping of options accepted by getbundle and their types | ||
# | ||||
Martin von Zweigbergk
|
r43225 | # Meant to be extended by extensions. It is the extension's responsibility to | ||
# ensure such options are properly processed in exchange.getbundle. | ||||
Gregory Szorc
|
r37631 | # | ||
# supported types are: | ||||
# | ||||
Martin von Zweigbergk
|
r43225 | # :nodes: list of binary nodes, transmitted as space-separated hex nodes | ||
# :csv: list of values, transmitted as comma-separated values | ||||
# :scsv: set of values, transmitted as comma-separated values | ||||
Gregory Szorc
|
r37631 | # :plain: string with no transformation needed. | ||
GETBUNDLE_ARGUMENTS = { | ||||
Augie Fackler
|
r43347 | b'heads': b'nodes', | ||
b'bookmarks': b'boolean', | ||||
b'common': b'nodes', | ||||
b'obsmarkers': b'boolean', | ||||
b'phases': b'boolean', | ||||
b'bundlecaps': b'scsv', | ||||
b'listkeys': b'csv', | ||||
b'cg': b'boolean', | ||||
b'cbattempted': b'boolean', | ||||
b'stream': b'boolean', | ||||
b'includepats': b'csv', | ||||
b'excludepats': b'csv', | ||||
Gregory Szorc
|
r37631 | } | ||
Augie Fackler
|
r43346 | |||
Matt Harbison
|
r53017 | class baseprotocolhandler(Protocol): | ||
Gregory Szorc
|
r36389 | """Abstract base class for wire protocol handlers. | ||
A wire protocol handler serves as an interface between protocol command | ||||
handlers and the wire protocol transport layer. Protocol handlers provide | ||||
methods to read command arguments, redirect stdio for the duration of | ||||
the request, handle response types, etc. | ||||
""" | ||||
Matt Harbison
|
r53019 | @property | ||
@abc.abstractmethod | ||||
def name(self) -> bytes: | ||||
Gregory Szorc
|
r36389 | """The name of the protocol implementation. | ||
Used for uniquely identifying the transport type. | ||||
Augie Fackler
|
r43346 | """ | ||
Gregory Szorc
|
r36389 | |||
Matt Harbison
|
r53020 | @abc.abstractmethod | ||
Matt Harbison
|
r53017 | def getargs(self, args): | ||
Gregory Szorc
|
r36389 | """return the value for arguments in <args> | ||
Gregory Szorc
|
r37503 | For version 1 transports, returns a list of values in the same | ||
order they appear in ``args``. For version 2 transports, returns | ||||
a dict mapping argument name to value. | ||||
""" | ||||
Gregory Szorc
|
r36389 | |||
Matt Harbison
|
r53020 | @abc.abstractmethod | ||
Matt Harbison
|
r53017 | def getprotocaps(self): | ||
Joerg Sonnenberger
|
r37411 | """Returns the list of protocol-level capabilities of client | ||
Returns a list of capabilities as declared by the client for | ||||
the current request (or connection for stateful protocol handlers).""" | ||||
Matt Harbison
|
r53020 | @abc.abstractmethod | ||
Matt Harbison
|
r53017 | def getpayload(self): | ||
Joerg Sonnenberger
|
r37432 | """Provide a generator for the raw payload. | ||
Gregory Szorc
|
r36389 | |||
Joerg Sonnenberger
|
r37432 | The caller is responsible for ensuring that the full payload is | ||
processed. | ||||
Gregory Szorc
|
r36389 | """ | ||
Matt Harbison
|
r53020 | @abc.abstractmethod | ||
Matt Harbison
|
r53017 | def mayberedirectstdio(self): | ||
Gregory Szorc
|
r36389 | """Context manager to possibly redirect stdio. | ||
The context manager yields a file-object like object that receives | ||||
stdout and stderr output when the context manager is active. Or it | ||||
yields ``None`` if no I/O redirection occurs. | ||||
The intent of this context manager is to capture stdio output | ||||
so it may be sent in the response. Some transports support streaming | ||||
stdio to the client in real time. For these transports, stdio output | ||||
won't be captured. | ||||
""" | ||||
Matt Harbison
|
r53020 | @abc.abstractmethod | ||
Matt Harbison
|
r53017 | def client(self): | ||
Gregory Szorc
|
r36389 | """Returns a string representation of this client (as bytes).""" | ||
Gregory Szorc
|
r36631 | |||
Matt Harbison
|
r53020 | @abc.abstractmethod | ||
Matt Harbison
|
r53017 | def addcapabilities(self, repo, caps): | ||
Gregory Szorc
|
r36631 | """Adds advertised capabilities specific to this protocol. | ||
Receives the list of capabilities collected so far. | ||||
Returns a list of capabilities. The passed in argument can be returned. | ||||
""" | ||||
Gregory Szorc
|
r36819 | |||
Matt Harbison
|
r53020 | @abc.abstractmethod | ||
Matt Harbison
|
r53017 | def checkperm(self, perm): | ||
Gregory Szorc
|
r36819 | """Validate that the client has permissions to perform a request. | ||
The argument is the permission required to proceed. If the client | ||||
doesn't have that permission, the exception should raise or abort | ||||
in a protocol specific manner. | ||||
""" | ||||
Gregory Szorc
|
r37799 | |||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r49801 | class commandentry: | ||
Gregory Szorc
|
r37799 | """Represents a declared wire protocol command.""" | ||
Augie Fackler
|
r43346 | |||
def __init__( | ||||
self, | ||||
func, | ||||
Augie Fackler
|
r43347 | args=b'', | ||
Augie Fackler
|
r43346 | transports=None, | ||
Augie Fackler
|
r43347 | permission=b'push', | ||
Augie Fackler
|
r43346 | cachekeyfn=None, | ||
extracapabilitiesfn=None, | ||||
): | ||||
Gregory Szorc
|
r37799 | self.func = func | ||
self.args = args | ||||
self.transports = transports or set() | ||||
self.permission = permission | ||||
Gregory Szorc
|
r40057 | self.cachekeyfn = cachekeyfn | ||
Gregory Szorc
|
r40208 | self.extracapabilitiesfn = extracapabilitiesfn | ||
Gregory Szorc
|
r37799 | |||
def _merge(self, func, args): | ||||
"""Merge this instance with an incoming 2-tuple. | ||||
This is called when a caller using the old 2-tuple API attempts | ||||
to replace an instance. The incoming values are merged with | ||||
data not captured by the 2-tuple and a new instance containing | ||||
the union of the two objects is returned. | ||||
""" | ||||
Augie Fackler
|
r43346 | return commandentry( | ||
func, | ||||
args=args, | ||||
transports=set(self.transports), | ||||
permission=self.permission, | ||||
) | ||||
Gregory Szorc
|
r37799 | |||
# Old code treats instances as 2-tuples. So expose that interface. | ||||
def __iter__(self): | ||||
yield self.func | ||||
yield self.args | ||||
def __getitem__(self, i): | ||||
if i == 0: | ||||
return self.func | ||||
elif i == 1: | ||||
return self.args | ||||
else: | ||||
Augie Fackler
|
r43347 | raise IndexError(b'can only access elements 0 and 1') | ||
Gregory Szorc
|
r37799 | |||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r37799 | class commanddict(dict): | ||
"""Container for registered wire protocol commands. | ||||
It behaves like a dict. But __setitem__ is overwritten to allow silent | ||||
coercion of values from 2-tuples for API compatibility. | ||||
""" | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r37799 | def __setitem__(self, k, v): | ||
if isinstance(v, commandentry): | ||||
pass | ||||
# Cast 2-tuples to commandentry instances. | ||||
elif isinstance(v, tuple): | ||||
if len(v) != 2: | ||||
Augie Fackler
|
r43347 | raise ValueError(b'command tuples must have exactly 2 elements') | ||
Gregory Szorc
|
r37799 | |||
# It is common for extensions to wrap wire protocol commands via | ||||
# e.g. ``wireproto.commands[x] = (newfn, args)``. Because callers | ||||
# doing this aren't aware of the new API that uses objects to store | ||||
# command entries, we automatically merge old state with new. | ||||
if k in self: | ||||
v = self[k]._merge(v[0], v[1]) | ||||
else: | ||||
# Use default values from @wireprotocommand. | ||||
Augie Fackler
|
r43346 | v = commandentry( | ||
v[0], | ||||
args=v[1], | ||||
transports=set(TRANSPORTS), | ||||
Augie Fackler
|
r43347 | permission=b'push', | ||
Augie Fackler
|
r43346 | ) | ||
Gregory Szorc
|
r37799 | else: | ||
Augie Fackler
|
r43346 | raise ValueError( | ||
Augie Fackler
|
r43347 | b'command entries must be commandentry instances ' | ||
b'or 2-tuples' | ||||
Augie Fackler
|
r43346 | ) | ||
Gregory Szorc
|
r37799 | |||
return super(commanddict, self).__setitem__(k, v) | ||||
def commandavailable(self, command, proto): | ||||
"""Determine if a command is available for the requested protocol.""" | ||||
assert proto.name in TRANSPORTS | ||||
entry = self.get(command) | ||||
if not entry: | ||||
return False | ||||
if proto.name not in entry.transports: | ||||
return False | ||||
return True | ||||
Gregory Szorc
|
r37801 | |||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r37801 | def supportedcompengines(ui, role): | ||
"""Obtain the list of supported compression engines for a request.""" | ||||
r42208 | assert role in (compression.CLIENTROLE, compression.SERVERROLE) | |||
Gregory Szorc
|
r37801 | |||
r42208 | compengines = compression.compengines.supportedwireengines(role) | |||
Gregory Szorc
|
r37801 | |||
# Allow config to override default list and ordering. | ||||
r42208 | if role == compression.SERVERROLE: | |||
Augie Fackler
|
r43347 | configengines = ui.configlist(b'server', b'compressionengines') | ||
config = b'server.compressionengines' | ||||
Gregory Szorc
|
r37801 | else: | ||
# This is currently implemented mainly to facilitate testing. In most | ||||
# cases, the server should be in charge of choosing a compression engine | ||||
# because a server has the most to lose from a sub-optimal choice. (e.g. | ||||
# CPU DoS due to an expensive engine or a network DoS due to poor | ||||
# compression ratio). | ||||
Augie Fackler
|
r43346 | configengines = ui.configlist( | ||
Augie Fackler
|
r43347 | b'experimental', b'clientcompressionengines' | ||
Augie Fackler
|
r43346 | ) | ||
Augie Fackler
|
r43347 | config = b'experimental.clientcompressionengines' | ||
Gregory Szorc
|
r37801 | |||
# No explicit config. Filter out the ones that aren't supposed to be | ||||
# advertised and return default ordering. | ||||
if not configengines: | ||||
r51806 | attr = 'serverpriority' if role == util.SERVERROLE else 'clientpriority' | |||
Augie Fackler
|
r43346 | return [ | ||
e for e in compengines if getattr(e.wireprotosupport(), attr) > 0 | ||||
] | ||||
Gregory Szorc
|
r37801 | |||
# If compression engines are listed in the config, assume there is a good | ||||
# reason for it (like server operators wanting to achieve specific | ||||
# performance characteristics). So fail fast if the config references | ||||
# unusable compression engines. | ||||
Augie Fackler
|
r44937 | validnames = {e.name() for e in compengines} | ||
invalidnames = {e for e in configengines if e not in validnames} | ||||
Gregory Szorc
|
r37801 | if invalidnames: | ||
Augie Fackler
|
r43346 | raise error.Abort( | ||
Augie Fackler
|
r43347 | _(b'invalid compression engine defined in %s: %s') | ||
% (config, b', '.join(sorted(invalidnames))) | ||||
Augie Fackler
|
r43346 | ) | ||
Gregory Szorc
|
r37801 | |||
compengines = [e for e in compengines if e.name() in configengines] | ||||
Augie Fackler
|
r43346 | compengines = sorted( | ||
compengines, key=lambda e: configengines.index(e.name()) | ||||
) | ||||
Gregory Szorc
|
r37801 | |||
if not compengines: | ||||
Augie Fackler
|
r43346 | raise error.Abort( | ||
_( | ||||
Augie Fackler
|
r43347 | b'%s config option does not specify any known ' | ||
b'compression engines' | ||||
Augie Fackler
|
r43346 | ) | ||
% config, | ||||
Augie Fackler
|
r43347 | hint=_(b'usable compression engines: %s') | ||
Matt Harbison
|
r53012 | % b', '.join(sorted(validnames)), | ||
Augie Fackler
|
r43346 | ) | ||
Gregory Szorc
|
r37801 | |||
return compengines | ||||
Gregory Szorc
|
r40056 | |||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r40056 | @attr.s | ||
Gregory Szorc
|
r49801 | class encodedresponse: | ||
Gregory Szorc
|
r40056 | """Represents response data that is already content encoded. | ||
Wire protocol version 2 only. | ||||
Commands typically emit Python objects that are encoded and sent over the | ||||
wire. If commands emit an object of this type, the encoding step is bypassed | ||||
and the content from this object is used instead. | ||||
""" | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r40056 | data = attr.ib() | ||
Gregory Szorc
|
r40061 | |||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r40061 | @attr.s | ||
Gregory Szorc
|
r49801 | class alternatelocationresponse: | ||
Gregory Szorc
|
r40061 | """Represents a response available at an alternate location. | ||
Instances are sent in place of actual response objects when the server | ||||
is sending a "content redirect" response. | ||||
Only compatible with wire protocol version 2. | ||||
""" | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r40061 | url = attr.ib() | ||
mediatype = attr.ib() | ||||
size = attr.ib(default=None) | ||||
fullhashes = attr.ib(default=None) | ||||
fullhashseed = attr.ib(default=None) | ||||
serverdercerts = attr.ib(default=None) | ||||
servercadercerts = attr.ib(default=None) | ||||
Gregory Szorc
|
r40364 | |||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r40364 | @attr.s | ||
Gregory Szorc
|
r49801 | class indefinitebytestringresponse: | ||
Gregory Szorc
|
r40364 | """Represents an object to be encoded to an indefinite length bytestring. | ||
Instances are initialized from an iterable of chunks, with each chunk being | ||||
a bytes instance. | ||||
""" | ||||
Augie Fackler
|
r43346 | |||
Gregory Szorc
|
r40364 | chunks = attr.ib() | ||