grpc 1.31.0.pre1 → 1.33.0.pre1
Sign up to get free protection for your applications and to get access to all the features.
Potentially problematic release.
This version of grpc might be problematic. Click here for more details.
- checksums.yaml +4 -4
- data/Makefile +693 -16022
- data/include/grpc/grpc.h +0 -5
- data/include/grpc/grpc_security.h +47 -14
- data/include/grpc/impl/codegen/README.md +22 -0
- data/include/grpc/impl/codegen/grpc_types.h +0 -5
- data/include/grpc/impl/codegen/port_platform.h +6 -1
- data/src/core/ext/filters/client_channel/backup_poller.cc +3 -2
- data/src/core/ext/filters/client_channel/client_channel.cc +264 -186
- data/src/core/ext/filters/client_channel/client_channel.h +1 -1
- data/src/core/ext/filters/client_channel/client_channel_channelz.h +0 -3
- data/src/core/ext/filters/client_channel/config_selector.cc +0 -4
- data/src/core/ext/filters/client_channel/config_selector.h +34 -5
- data/src/core/ext/filters/client_channel/health/health_check_client.cc +6 -1
- data/src/core/ext/filters/client_channel/http_connect_handshaker.cc +2 -3
- data/src/core/ext/filters/client_channel/lb_policy.h +3 -1
- data/src/core/ext/filters/client_channel/lb_policy/address_filtering.cc +48 -35
- data/src/core/ext/filters/client_channel/lb_policy/address_filtering.h +7 -5
- data/src/core/ext/filters/client_channel/lb_policy/child_policy_handler.cc +9 -6
- data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb.cc +126 -119
- data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb_balancer_addresses.cc +0 -13
- data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb_balancer_addresses.h +0 -3
- data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb_channel_secure.cc +1 -37
- data/src/core/ext/filters/client_channel/lb_policy/pick_first/pick_first.cc +21 -15
- data/src/core/ext/filters/client_channel/lb_policy/priority/priority.cc +32 -13
- data/src/core/ext/filters/client_channel/lb_policy/round_robin/round_robin.cc +8 -7
- data/src/core/ext/filters/client_channel/lb_policy/subchannel_list.h +9 -32
- data/src/core/ext/filters/client_channel/lb_policy/weighted_target/weighted_target.cc +26 -16
- data/src/core/ext/filters/client_channel/lb_policy/xds/cds.cc +207 -129
- data/src/core/ext/filters/client_channel/lb_policy/xds/eds.cc +453 -255
- data/src/core/ext/filters/client_channel/lb_policy/xds/eds_drop.cc +571 -0
- data/src/core/ext/filters/client_channel/lb_policy/xds/xds_cluster_manager.cc +727 -0
- data/src/core/ext/filters/client_channel/lb_policy_registry.cc +8 -1
- data/src/core/ext/filters/client_channel/resolver/dns/c_ares/dns_resolver_ares.cc +1 -1
- data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_wrapper.cc +3 -3
- data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_wrapper_libuv.cc +1 -1
- data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_wrapper_windows.cc +1 -1
- data/src/core/ext/filters/client_channel/resolver/fake/fake_resolver.cc +1 -1
- data/src/core/ext/filters/client_channel/resolver/sockaddr/sockaddr_resolver.cc +1 -1
- data/src/core/ext/filters/client_channel/resolver/xds/xds_resolver.cc +602 -58
- data/src/core/ext/filters/client_channel/resolver/xds/xds_resolver.h +28 -0
- data/src/core/ext/filters/client_channel/resolver_result_parsing.cc +8 -39
- data/src/core/ext/filters/client_channel/resolver_result_parsing.h +4 -3
- data/src/core/ext/filters/client_channel/resolving_lb_policy.cc +49 -47
- data/src/core/ext/filters/client_channel/resolving_lb_policy.h +5 -9
- data/src/core/ext/filters/client_channel/server_address.cc +120 -7
- data/src/core/ext/filters/client_channel/server_address.h +48 -21
- data/src/core/ext/filters/client_channel/service_config.cc +16 -13
- data/src/core/ext/filters/client_channel/service_config.h +7 -4
- data/src/core/ext/filters/client_channel/service_config_channel_arg_filter.cc +2 -2
- data/src/core/ext/filters/client_channel/service_config_parser.cc +8 -6
- data/src/core/ext/filters/client_channel/service_config_parser.h +8 -5
- data/src/core/ext/filters/client_channel/subchannel.cc +64 -23
- data/src/core/ext/filters/client_channel/subchannel.h +16 -4
- data/src/core/ext/filters/client_channel/subchannel_interface.h +44 -0
- data/src/core/ext/filters/max_age/max_age_filter.cc +2 -1
- data/src/core/ext/filters/message_size/message_size_filter.cc +2 -1
- data/src/core/ext/filters/message_size/message_size_filter.h +2 -1
- data/src/core/ext/transport/chttp2/client/chttp2_connector.cc +87 -31
- data/src/core/ext/transport/chttp2/client/chttp2_connector.h +18 -1
- data/src/core/ext/transport/chttp2/client/secure/secure_channel_create.cc +10 -35
- data/src/core/ext/transport/chttp2/server/chttp2_server.cc +19 -25
- data/src/core/ext/transport/chttp2/server/chttp2_server.h +2 -1
- data/src/core/ext/transport/chttp2/server/insecure/server_chttp2.cc +2 -2
- data/src/core/ext/transport/chttp2/server/insecure/server_chttp2_posix.cc +6 -6
- data/src/core/ext/transport/chttp2/server/secure/server_secure_chttp2.cc +3 -2
- data/src/core/ext/transport/chttp2/transport/chttp2_transport.cc +256 -287
- data/src/core/ext/transport/chttp2/transport/flow_control.cc +11 -3
- data/src/core/ext/transport/chttp2/transport/flow_control.h +10 -0
- data/src/core/ext/transport/chttp2/transport/frame_settings.cc +2 -2
- data/src/core/ext/transport/chttp2/transport/internal.h +10 -1
- data/src/core/ext/transport/chttp2/transport/parsing.cc +17 -30
- data/src/core/ext/transport/chttp2/transport/writing.cc +6 -5
- data/src/core/ext/transport/inproc/inproc_transport.cc +12 -12
- data/src/core/ext/upb-generated/envoy/config/accesslog/v3/accesslog.upb.c +244 -0
- data/src/core/ext/upb-generated/envoy/config/accesslog/v3/accesslog.upb.h +766 -0
- data/src/core/ext/upb-generated/envoy/config/cluster/v3/circuit_breaker.upb.c +74 -0
- data/src/core/ext/upb-generated/envoy/config/cluster/v3/circuit_breaker.upb.h +226 -0
- data/src/core/ext/upb-generated/envoy/config/cluster/v3/cluster.upb.c +458 -0
- data/src/core/ext/upb-generated/envoy/config/cluster/v3/cluster.upb.h +1635 -0
- data/src/core/ext/upb-generated/envoy/{api/v2/cluster → config/cluster/v3}/filter.upb.c +8 -8
- data/src/core/ext/upb-generated/envoy/config/cluster/v3/filter.upb.h +69 -0
- data/src/core/ext/upb-generated/envoy/{api/v2/cluster → config/cluster/v3}/outlier_detection.upb.c +8 -8
- data/src/core/ext/upb-generated/envoy/config/cluster/v3/outlier_detection.upb.h +323 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/address.upb.c +124 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/address.upb.h +379 -0
- data/src/core/ext/upb-generated/envoy/{api/v2/core → config/core/v3}/backoff.upb.c +8 -8
- data/src/core/ext/upb-generated/envoy/config/core/v3/backoff.upb.h +79 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/base.upb.c +310 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/base.upb.h +869 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/config_source.upb.c +103 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/config_source.upb.h +351 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/event_service_config.upb.c +34 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/event_service_config.upb.h +71 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/extension.upb.c +53 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/extension.upb.h +133 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/grpc_service.upb.c +241 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/grpc_service.upb.h +752 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/health_check.upb.c +170 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/health_check.upb.h +684 -0
- data/src/core/ext/upb-generated/envoy/{api/v2/core → config/core/v3}/http_uri.upb.c +8 -8
- data/src/core/ext/upb-generated/envoy/config/core/v3/http_uri.upb.h +80 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/protocol.upb.c +176 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/protocol.upb.h +645 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/proxy_protocol.upb.c +28 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/proxy_protocol.upb.h +58 -0
- data/src/core/ext/upb-generated/envoy/{api/v2/core → config/core/v3}/socket_option.upb.c +6 -6
- data/src/core/ext/upb-generated/envoy/config/core/v3/socket_option.upb.h +88 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/substitution_format_string.upb.c +36 -0
- data/src/core/ext/upb-generated/envoy/config/core/v3/substitution_format_string.upb.h +85 -0
- data/src/core/ext/upb-generated/envoy/config/endpoint/v3/endpoint.upb.c +91 -0
- data/src/core/ext/upb-generated/envoy/config/endpoint/v3/endpoint.upb.h +220 -0
- data/src/core/ext/upb-generated/envoy/config/endpoint/v3/endpoint_components.upb.c +91 -0
- data/src/core/ext/upb-generated/envoy/config/endpoint/v3/endpoint_components.upb.h +273 -0
- data/src/core/ext/upb-generated/envoy/config/endpoint/v3/load_report.upb.c +112 -0
- data/src/core/ext/upb-generated/envoy/config/endpoint/v3/load_report.upb.h +332 -0
- data/src/core/ext/upb-generated/envoy/config/listener/{v2 → v3}/api_listener.upb.c +8 -8
- data/src/core/ext/upb-generated/envoy/config/listener/v3/api_listener.upb.h +65 -0
- data/src/core/ext/upb-generated/envoy/config/listener/v3/listener.upb.c +128 -0
- data/src/core/ext/upb-generated/envoy/config/listener/v3/listener.upb.h +467 -0
- data/src/core/ext/upb-generated/envoy/config/listener/v3/listener_components.upb.c +155 -0
- data/src/core/ext/upb-generated/envoy/config/listener/v3/listener_components.upb.h +539 -0
- data/src/core/ext/upb-generated/envoy/config/listener/v3/udp_listener_config.upb.c +41 -0
- data/src/core/ext/upb-generated/envoy/config/listener/v3/udp_listener_config.upb.h +94 -0
- data/src/core/ext/upb-generated/envoy/config/rbac/v3/rbac.upb.c +178 -0
- data/src/core/ext/upb-generated/envoy/config/rbac/v3/rbac.upb.h +616 -0
- data/src/core/ext/upb-generated/envoy/config/route/v3/route.upb.c +63 -0
- data/src/core/ext/upb-generated/envoy/config/route/v3/route.upb.h +204 -0
- data/src/core/ext/upb-generated/envoy/config/route/v3/route_components.upb.c +900 -0
- data/src/core/ext/upb-generated/envoy/config/route/v3/route_components.upb.h +3290 -0
- data/src/core/ext/upb-generated/envoy/config/route/v3/scoped_route.upb.c +60 -0
- data/src/core/ext/upb-generated/envoy/config/route/v3/scoped_route.upb.h +139 -0
- data/src/core/ext/upb-generated/envoy/config/trace/v3/http_tracer.upb.c +50 -0
- data/src/core/ext/upb-generated/envoy/config/trace/v3/http_tracer.upb.h +108 -0
- data/src/core/ext/upb-generated/envoy/extensions/filters/network/http_connection_manager/v3/http_connection_manager.upb.c +364 -0
- data/src/core/ext/upb-generated/envoy/extensions/filters/network/http_connection_manager/v3/http_connection_manager.upb.h +1336 -0
- data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/cert.upb.c +20 -0
- data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/cert.upb.h +34 -0
- data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/common.upb.c +110 -0
- data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/common.upb.h +387 -0
- data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/secret.upb.c +76 -0
- data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/secret.upb.h +214 -0
- data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/tls.upb.c +147 -0
- data/src/core/ext/upb-generated/envoy/extensions/transport_sockets/tls/v3/tls.upb.h +570 -0
- data/src/core/ext/upb-generated/envoy/{api/v2 → service/cluster/v3}/cds.upb.c +5 -6
- data/src/core/ext/upb-generated/envoy/service/cluster/v3/cds.upb.h +49 -0
- data/src/core/ext/upb-generated/envoy/service/discovery/{v2 → v3}/ads.upb.c +5 -4
- data/src/core/ext/upb-generated/envoy/service/discovery/v3/ads.upb.h +49 -0
- data/src/core/ext/upb-generated/envoy/service/discovery/v3/discovery.upb.c +139 -0
- data/src/core/ext/upb-generated/envoy/service/discovery/v3/discovery.upb.h +449 -0
- data/src/core/ext/upb-generated/envoy/{api/v2 → service/endpoint/v3}/eds.upb.c +5 -6
- data/src/core/ext/upb-generated/envoy/service/endpoint/v3/eds.upb.h +49 -0
- data/src/core/ext/upb-generated/envoy/{api/v2 → service/listener/v3}/lds.upb.c +5 -6
- data/src/core/ext/upb-generated/envoy/service/listener/v3/lds.upb.h +49 -0
- data/src/core/ext/upb-generated/envoy/service/load_stats/v3/lrs.upb.c +55 -0
- data/src/core/ext/upb-generated/envoy/service/load_stats/v3/lrs.upb.h +136 -0
- data/src/core/ext/upb-generated/envoy/{api/v2 → service/route/v3}/rds.upb.c +5 -6
- data/src/core/ext/upb-generated/envoy/service/route/v3/rds.upb.h +49 -0
- data/src/core/ext/upb-generated/envoy/{api/v2 → service/route/v3}/srds.upb.c +5 -6
- data/src/core/ext/upb-generated/envoy/service/route/v3/srds.upb.h +49 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/metadata.upb.c +47 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/metadata.upb.h +114 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/number.upb.c +35 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/number.upb.h +77 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/path.upb.c +34 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/path.upb.h +71 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/regex.upb.c +64 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/regex.upb.h +145 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/string.upb.c +54 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/string.upb.h +133 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/value.upb.c +63 -0
- data/src/core/ext/upb-generated/envoy/type/matcher/v3/value.upb.h +188 -0
- data/src/core/ext/upb-generated/envoy/type/metadata/v3/metadata.upb.c +88 -0
- data/src/core/ext/upb-generated/envoy/type/metadata/v3/metadata.upb.h +258 -0
- data/src/core/ext/upb-generated/envoy/type/tracing/v3/custom_tag.upb.c +90 -0
- data/src/core/ext/upb-generated/envoy/type/tracing/v3/custom_tag.upb.h +250 -0
- data/src/core/ext/upb-generated/envoy/type/{http.upb.c → v3/http.upb.c} +2 -2
- data/src/core/ext/upb-generated/envoy/type/{http.upb.h → v3/http.upb.h} +8 -8
- data/src/core/ext/upb-generated/envoy/type/{percent.upb.c → v3/percent.upb.c} +9 -8
- data/src/core/ext/upb-generated/envoy/type/v3/percent.upb.h +86 -0
- data/src/core/ext/upb-generated/envoy/type/{range.upb.c → v3/range.upb.c} +12 -11
- data/src/core/ext/upb-generated/envoy/type/v3/range.upb.h +111 -0
- data/src/core/ext/upb-generated/envoy/type/{semantic_version.upb.c → v3/semantic_version.upb.c} +6 -5
- data/src/core/ext/upb-generated/envoy/type/v3/semantic_version.upb.h +61 -0
- data/src/core/ext/upb-generated/google/api/expr/v1alpha1/checked.upb.c +242 -0
- data/src/core/ext/upb-generated/google/api/expr/v1alpha1/checked.upb.h +753 -0
- data/src/core/ext/upb-generated/google/api/expr/v1alpha1/syntax.upb.c +234 -0
- data/src/core/ext/upb-generated/google/api/expr/v1alpha1/syntax.upb.h +759 -0
- data/src/core/ext/upb-generated/google/protobuf/descriptor.upb.c +36 -36
- data/src/core/ext/upb-generated/google/protobuf/struct.upb.h +1 -1
- data/src/core/ext/upb-generated/udpa/annotations/security.upb.c +31 -0
- data/src/core/ext/upb-generated/udpa/annotations/security.upb.h +57 -0
- data/src/core/ext/upb-generated/udpa/annotations/versioning.upb.c +27 -0
- data/src/core/ext/upb-generated/udpa/annotations/versioning.upb.h +53 -0
- data/src/core/ext/upb-generated/udpa/core/v1/authority.upb.c +28 -0
- data/src/core/ext/upb-generated/udpa/core/v1/authority.upb.h +53 -0
- data/src/core/ext/upb-generated/udpa/core/v1/collection_entry.upb.c +52 -0
- data/src/core/ext/upb-generated/udpa/core/v1/collection_entry.upb.h +129 -0
- data/src/core/ext/upb-generated/udpa/core/v1/context_params.upb.c +42 -0
- data/src/core/ext/upb-generated/udpa/core/v1/context_params.upb.h +77 -0
- data/src/core/ext/upb-generated/udpa/core/v1/resource.upb.c +36 -0
- data/src/core/ext/upb-generated/udpa/core/v1/resource.upb.h +85 -0
- data/src/core/ext/upb-generated/udpa/core/v1/resource_locator.upb.c +54 -0
- data/src/core/ext/upb-generated/udpa/core/v1/resource_locator.upb.h +160 -0
- data/src/core/ext/upb-generated/udpa/core/v1/resource_name.upb.c +36 -0
- data/src/core/ext/upb-generated/udpa/core/v1/resource_name.upb.h +84 -0
- data/src/core/ext/upb-generated/validate/validate.upb.c +11 -11
- data/src/core/ext/upb-generated/validate/validate.upb.h +1 -1
- data/src/core/ext/xds/certificate_provider_factory.h +59 -0
- data/src/core/ext/xds/certificate_provider_registry.cc +103 -0
- data/src/core/ext/xds/certificate_provider_registry.h +57 -0
- data/src/core/ext/xds/certificate_provider_store.h +50 -0
- data/src/core/ext/xds/google_mesh_ca_certificate_provider_factory.cc +377 -0
- data/src/core/ext/xds/google_mesh_ca_certificate_provider_factory.h +102 -0
- data/src/core/ext/xds/xds_api.cc +2596 -0
- data/src/core/ext/xds/xds_api.h +397 -0
- data/src/core/ext/{filters/client_channel/xds → xds}/xds_bootstrap.cc +44 -2
- data/src/core/ext/{filters/client_channel/xds → xds}/xds_bootstrap.h +8 -3
- data/src/core/ext/{filters/client_channel/xds → xds}/xds_channel_args.h +9 -6
- data/src/core/ext/{filters/client_channel/xds → xds}/xds_client.cc +541 -785
- data/src/core/ext/{filters/client_channel/xds → xds}/xds_client.h +114 -93
- data/src/core/ext/{filters/client_channel/xds → xds}/xds_client_stats.cc +20 -14
- data/src/core/ext/{filters/client_channel/xds → xds}/xds_client_stats.h +36 -8
- data/src/core/lib/channel/channel_args.h +0 -1
- data/src/core/lib/channel/channelz.cc +24 -60
- data/src/core/lib/channel/channelz.h +12 -20
- data/src/core/lib/channel/channelz_registry.cc +15 -12
- data/src/core/lib/channel/channelz_registry.h +3 -0
- data/src/core/lib/gpr/sync_posix.cc +2 -8
- data/src/core/lib/gpr/time_precise.cc +2 -0
- data/src/core/lib/gpr/time_precise.h +6 -2
- data/src/core/lib/gprpp/dual_ref_counted.h +336 -0
- data/src/core/lib/gprpp/ref_counted.h +51 -22
- data/src/core/lib/gprpp/ref_counted_ptr.h +153 -0
- data/src/core/lib/iomgr/endpoint.cc +5 -1
- data/src/core/lib/iomgr/endpoint.h +7 -3
- data/src/core/lib/iomgr/endpoint_cfstream.cc +36 -11
- data/src/core/lib/iomgr/ev_posix.cc +0 -2
- data/src/core/lib/iomgr/exec_ctx.h +10 -8
- data/src/core/lib/iomgr/iomgr.cc +0 -10
- data/src/core/lib/iomgr/iomgr.h +0 -10
- data/src/core/{ext/filters/client_channel → lib/iomgr}/parse_address.cc +1 -1
- data/src/core/{ext/filters/client_channel → lib/iomgr}/parse_address.h +3 -3
- data/src/core/lib/iomgr/sockaddr_utils.cc +2 -1
- data/src/core/lib/iomgr/sockaddr_utils.h +2 -1
- data/src/core/lib/iomgr/tcp_custom.cc +32 -16
- data/src/core/lib/iomgr/tcp_posix.cc +31 -13
- data/src/core/lib/iomgr/tcp_windows.cc +26 -10
- data/src/core/lib/json/json_util.cc +58 -0
- data/src/core/lib/json/json_util.h +37 -0
- data/src/core/lib/security/authorization/authorization_engine.cc +177 -0
- data/src/core/lib/security/authorization/authorization_engine.h +84 -0
- data/src/core/lib/security/authorization/evaluate_args.cc +153 -0
- data/src/core/lib/security/authorization/evaluate_args.h +59 -0
- data/src/core/lib/security/authorization/mock_cel/activation.h +57 -0
- data/src/core/lib/security/authorization/mock_cel/cel_expr_builder_factory.h +42 -0
- data/src/core/lib/security/authorization/mock_cel/cel_expression.h +68 -0
- data/src/core/lib/security/authorization/mock_cel/cel_value.h +93 -0
- data/src/core/lib/security/authorization/mock_cel/evaluator_core.h +67 -0
- data/src/core/lib/security/authorization/mock_cel/flat_expr_builder.h +56 -0
- data/src/core/lib/security/authorization/mock_cel/statusor.h +50 -0
- data/src/core/lib/security/certificate_provider.h +60 -0
- data/src/core/lib/security/credentials/google_default/google_default_credentials.cc +56 -38
- data/src/core/lib/security/credentials/tls/grpc_tls_certificate_distributor.cc +321 -0
- data/src/core/lib/security/credentials/tls/grpc_tls_certificate_distributor.h +214 -0
- data/src/core/lib/security/credentials/xds/xds_credentials.cc +45 -0
- data/src/core/lib/security/credentials/xds/xds_credentials.h +51 -0
- data/src/core/lib/security/security_connector/fake/fake_security_connector.cc +7 -12
- data/src/core/lib/security/security_connector/ssl_utils.h +5 -0
- data/src/core/lib/security/transport/secure_endpoint.cc +7 -1
- data/src/core/lib/surface/call.cc +12 -12
- data/src/core/lib/surface/call.h +2 -1
- data/src/core/lib/surface/channel.cc +37 -51
- data/src/core/lib/surface/channel.h +18 -3
- data/src/core/lib/surface/completion_queue.cc +10 -272
- data/src/core/lib/surface/completion_queue.h +0 -8
- data/src/core/lib/surface/init.cc +27 -12
- data/src/core/lib/surface/server.cc +1066 -1244
- data/src/core/lib/surface/server.h +363 -87
- data/src/core/lib/surface/version.cc +2 -2
- data/src/core/lib/transport/authority_override.cc +38 -0
- data/src/core/lib/transport/authority_override.h +32 -0
- data/src/core/lib/transport/bdp_estimator.h +2 -1
- data/src/core/lib/transport/connectivity_state.cc +18 -13
- data/src/core/lib/transport/connectivity_state.h +20 -8
- data/src/core/lib/transport/error_utils.cc +13 -0
- data/src/core/lib/transport/error_utils.h +6 -0
- data/src/core/lib/transport/metadata.cc +11 -1
- data/src/core/lib/transport/static_metadata.cc +295 -276
- data/src/core/lib/transport/static_metadata.h +80 -73
- data/src/core/lib/transport/transport.h +7 -0
- data/src/core/lib/uri/uri_parser.cc +23 -21
- data/src/core/lib/uri/uri_parser.h +3 -1
- data/src/core/plugin_registry/grpc_plugin_registry.cc +35 -20
- data/src/core/tsi/alts/handshaker/alts_tsi_handshaker.cc +22 -0
- data/src/core/tsi/ssl_transport_security.cc +2 -2
- data/src/ruby/bin/math_services_pb.rb +4 -4
- data/src/ruby/ext/grpc/rb_channel_credentials.c +9 -0
- data/src/ruby/ext/grpc/rb_grpc_imports.generated.c +4 -4
- data/src/ruby/ext/grpc/rb_grpc_imports.generated.h +7 -7
- data/src/ruby/lib/grpc/generic/client_stub.rb +1 -1
- data/src/ruby/lib/grpc/version.rb +1 -1
- data/src/ruby/pb/grpc/health/v1/health_services_pb.rb +2 -2
- data/src/ruby/pb/src/proto/grpc/testing/messages_pb.rb +5 -0
- data/src/ruby/pb/src/proto/grpc/testing/test_services_pb.rb +28 -12
- data/src/ruby/spec/channel_credentials_spec.rb +10 -0
- data/src/ruby/spec/generic/active_call_spec.rb +19 -8
- data/src/ruby/spec/pb/codegen/grpc/testing/same_package_service_name.proto +27 -0
- data/src/ruby/spec/pb/codegen/grpc/testing/same_ruby_package_service_name.proto +29 -0
- data/src/ruby/spec/pb/codegen/package_option_spec.rb +20 -0
- data/src/ruby/spec/user_agent_spec.rb +74 -0
- data/third_party/abseil-cpp/absl/algorithm/container.h +1727 -0
- data/third_party/abseil-cpp/absl/base/internal/direct_mmap.h +161 -0
- data/third_party/abseil-cpp/absl/base/internal/exponential_biased.cc +93 -0
- data/third_party/abseil-cpp/absl/base/internal/exponential_biased.h +130 -0
- data/third_party/abseil-cpp/absl/base/internal/low_level_alloc.cc +620 -0
- data/third_party/abseil-cpp/absl/base/internal/low_level_alloc.h +126 -0
- data/third_party/abseil-cpp/absl/container/fixed_array.h +515 -0
- data/third_party/abseil-cpp/absl/container/flat_hash_set.h +503 -0
- data/third_party/abseil-cpp/absl/container/internal/common.h +202 -0
- data/third_party/abseil-cpp/absl/container/internal/container_memory.h +440 -0
- data/third_party/abseil-cpp/absl/container/internal/hash_function_defaults.h +146 -0
- data/third_party/abseil-cpp/absl/container/internal/hash_policy_traits.h +191 -0
- data/third_party/abseil-cpp/absl/container/internal/hashtable_debug_hooks.h +85 -0
- data/third_party/abseil-cpp/absl/container/internal/hashtablez_sampler.cc +269 -0
- data/third_party/abseil-cpp/absl/container/internal/hashtablez_sampler.h +297 -0
- data/third_party/abseil-cpp/absl/container/internal/hashtablez_sampler_force_weak_definition.cc +30 -0
- data/third_party/abseil-cpp/absl/container/internal/have_sse.h +49 -0
- data/third_party/abseil-cpp/absl/container/internal/layout.h +741 -0
- data/third_party/abseil-cpp/absl/container/internal/raw_hash_set.cc +48 -0
- data/third_party/abseil-cpp/absl/container/internal/raw_hash_set.h +1882 -0
- data/third_party/abseil-cpp/absl/debugging/internal/address_is_readable.cc +138 -0
- data/third_party/abseil-cpp/absl/debugging/internal/address_is_readable.h +32 -0
- data/third_party/abseil-cpp/absl/debugging/internal/demangle.cc +1895 -0
- data/third_party/abseil-cpp/absl/debugging/internal/demangle.h +71 -0
- data/third_party/abseil-cpp/absl/debugging/internal/elf_mem_image.cc +382 -0
- data/third_party/abseil-cpp/absl/debugging/internal/elf_mem_image.h +134 -0
- data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_aarch64-inl.inc +192 -0
- data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_arm-inl.inc +125 -0
- data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_config.h +70 -0
- data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_generic-inl.inc +99 -0
- data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_powerpc-inl.inc +248 -0
- data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_unimplemented-inl.inc +24 -0
- data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_win32-inl.inc +85 -0
- data/third_party/abseil-cpp/absl/debugging/internal/stacktrace_x86-inl.inc +346 -0
- data/third_party/abseil-cpp/absl/debugging/internal/symbolize.h +128 -0
- data/third_party/abseil-cpp/absl/debugging/internal/vdso_support.cc +194 -0
- data/third_party/abseil-cpp/absl/debugging/internal/vdso_support.h +158 -0
- data/third_party/abseil-cpp/absl/debugging/stacktrace.cc +140 -0
- data/third_party/abseil-cpp/absl/debugging/stacktrace.h +231 -0
- data/third_party/abseil-cpp/absl/debugging/symbolize.cc +25 -0
- data/third_party/abseil-cpp/absl/debugging/symbolize.h +99 -0
- data/third_party/abseil-cpp/absl/debugging/symbolize_elf.inc +1480 -0
- data/third_party/abseil-cpp/absl/debugging/symbolize_unimplemented.inc +40 -0
- data/third_party/abseil-cpp/absl/debugging/symbolize_win32.inc +81 -0
- data/third_party/abseil-cpp/absl/functional/function_ref.h +139 -0
- data/third_party/abseil-cpp/absl/functional/internal/function_ref.h +106 -0
- data/third_party/abseil-cpp/absl/hash/hash.h +324 -0
- data/third_party/abseil-cpp/absl/hash/internal/city.cc +346 -0
- data/third_party/abseil-cpp/absl/hash/internal/city.h +96 -0
- data/third_party/abseil-cpp/absl/hash/internal/hash.cc +55 -0
- data/third_party/abseil-cpp/absl/hash/internal/hash.h +988 -0
- data/third_party/abseil-cpp/absl/status/status.cc +447 -0
- data/third_party/abseil-cpp/absl/status/status.h +428 -0
- data/third_party/abseil-cpp/absl/status/status_payload_printer.cc +43 -0
- data/third_party/abseil-cpp/absl/status/status_payload_printer.h +51 -0
- data/third_party/abseil-cpp/absl/strings/cord.cc +2019 -0
- data/third_party/abseil-cpp/absl/strings/cord.h +1121 -0
- data/third_party/abseil-cpp/absl/strings/internal/cord_internal.h +151 -0
- data/third_party/abseil-cpp/absl/synchronization/barrier.cc +52 -0
- data/third_party/abseil-cpp/absl/synchronization/barrier.h +79 -0
- data/third_party/abseil-cpp/absl/synchronization/blocking_counter.cc +57 -0
- data/third_party/abseil-cpp/absl/synchronization/blocking_counter.h +99 -0
- data/third_party/abseil-cpp/absl/synchronization/internal/create_thread_identity.cc +140 -0
- data/third_party/abseil-cpp/absl/synchronization/internal/create_thread_identity.h +60 -0
- data/third_party/abseil-cpp/absl/synchronization/internal/graphcycles.cc +697 -0
- data/third_party/abseil-cpp/absl/synchronization/internal/graphcycles.h +141 -0
- data/third_party/abseil-cpp/absl/synchronization/internal/kernel_timeout.h +155 -0
- data/third_party/abseil-cpp/absl/synchronization/internal/mutex_nonprod.inc +261 -0
- data/third_party/abseil-cpp/absl/synchronization/internal/per_thread_sem.cc +106 -0
- data/third_party/abseil-cpp/absl/synchronization/internal/per_thread_sem.h +115 -0
- data/third_party/abseil-cpp/absl/synchronization/internal/waiter.cc +484 -0
- data/third_party/abseil-cpp/absl/synchronization/internal/waiter.h +159 -0
- data/third_party/abseil-cpp/absl/synchronization/mutex.cc +2728 -0
- data/third_party/abseil-cpp/absl/synchronization/mutex.h +1056 -0
- data/third_party/abseil-cpp/absl/synchronization/notification.cc +78 -0
- data/third_party/abseil-cpp/absl/synchronization/notification.h +123 -0
- data/third_party/abseil-cpp/absl/types/bad_variant_access.cc +64 -0
- data/third_party/abseil-cpp/absl/types/bad_variant_access.h +82 -0
- data/third_party/abseil-cpp/absl/types/internal/variant.h +1646 -0
- data/third_party/abseil-cpp/absl/types/variant.h +861 -0
- data/third_party/boringssl-with-bazel/err_data.c +475 -467
- data/third_party/boringssl-with-bazel/src/crypto/asn1/asn1_lib.c +0 -6
- data/third_party/boringssl-with-bazel/src/crypto/dsa/dsa.c +9 -43
- data/third_party/boringssl-with-bazel/src/crypto/dsa/dsa_asn1.c +55 -4
- data/third_party/boringssl-with-bazel/src/crypto/dsa/internal.h +34 -0
- data/third_party/boringssl-with-bazel/src/crypto/evp/evp.c +4 -0
- data/third_party/boringssl-with-bazel/src/crypto/evp/evp_asn1.c +16 -0
- data/third_party/boringssl-with-bazel/src/crypto/evp/p_dsa_asn1.c +6 -2
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/digest/digest.c +2 -0
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/rsa/internal.h +4 -0
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/rsa/rsa.c +30 -10
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/rsa/rsa_impl.c +10 -15
- data/third_party/boringssl-with-bazel/src/crypto/hpke/hpke.c +543 -0
- data/third_party/boringssl-with-bazel/src/crypto/hpke/internal.h +237 -0
- data/third_party/boringssl-with-bazel/src/crypto/trust_token/internal.h +44 -2
- data/third_party/boringssl-with-bazel/src/crypto/trust_token/pmbtoken.c +221 -49
- data/third_party/boringssl-with-bazel/src/crypto/trust_token/trust_token.c +64 -20
- data/third_party/boringssl-with-bazel/src/crypto/x509/a_strex.c +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509/algorithm.c +0 -8
- data/third_party/boringssl-with-bazel/src/crypto/x509/t_crl.c +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509/t_x509.c +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509/x509_cmp.c +7 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509/x509_ext.c +21 -18
- data/third_party/boringssl-with-bazel/src/crypto/x509/x509_obj.c +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509/x509_set.c +24 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509/x509_trs.c +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509/x509_txt.c +67 -67
- data/third_party/boringssl-with-bazel/src/crypto/x509/x509_v3.c +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509/x509_vfy.c +29 -35
- data/third_party/boringssl-with-bazel/src/crypto/x509/x509cset.c +13 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509/x509name.c +9 -8
- data/third_party/boringssl-with-bazel/src/crypto/x509/x_all.c +10 -10
- data/third_party/boringssl-with-bazel/src/crypto/x509/x_crl.c +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509/x_name.c +28 -40
- data/third_party/boringssl-with-bazel/src/crypto/x509/x_sig.c +20 -0
- data/third_party/boringssl-with-bazel/src/crypto/x509/x_x509.c +3 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509v3/ext_dat.h +1 -4
- data/third_party/boringssl-with-bazel/src/crypto/x509v3/v3_conf.c +7 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509v3/v3_genn.c +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509v3/v3_info.c +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509v3/v3_purp.c +55 -8
- data/third_party/boringssl-with-bazel/src/crypto/x509v3/v3_skey.c +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/arm_arch.h +52 -0
- data/third_party/boringssl-with-bazel/src/include/openssl/asn1.h +0 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/base.h +2 -2
- data/third_party/boringssl-with-bazel/src/include/openssl/cipher.h +6 -0
- data/third_party/boringssl-with-bazel/src/include/openssl/crypto.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/dh.h +12 -0
- data/third_party/boringssl-with-bazel/src/include/openssl/digest.h +9 -0
- data/third_party/boringssl-with-bazel/src/include/openssl/evp.h +4 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/ssl.h +48 -9
- data/third_party/boringssl-with-bazel/src/include/openssl/tls1.h +2 -3
- data/third_party/boringssl-with-bazel/src/include/openssl/trust_token.h +26 -6
- data/third_party/boringssl-with-bazel/src/include/openssl/x509.h +199 -78
- data/third_party/boringssl-with-bazel/src/include/openssl/x509v3.h +52 -43
- data/third_party/boringssl-with-bazel/src/ssl/handshake.cc +18 -18
- data/third_party/boringssl-with-bazel/src/ssl/handshake_client.cc +2 -3
- data/third_party/boringssl-with-bazel/src/ssl/handshake_server.cc +1 -1
- data/third_party/boringssl-with-bazel/src/ssl/internal.h +13 -9
- data/third_party/boringssl-with-bazel/src/ssl/ssl_cert.cc +3 -6
- data/third_party/boringssl-with-bazel/src/ssl/ssl_cipher.cc +8 -9
- data/third_party/boringssl-with-bazel/src/ssl/ssl_lib.cc +10 -0
- data/third_party/boringssl-with-bazel/src/ssl/t1_lib.cc +34 -9
- data/third_party/boringssl-with-bazel/src/ssl/tls13_both.cc +1 -2
- data/third_party/boringssl-with-bazel/src/ssl/tls13_client.cc +4 -8
- data/third_party/boringssl-with-bazel/src/ssl/tls13_server.cc +7 -2
- data/third_party/boringssl-with-bazel/src/ssl/tls_record.cc +5 -3
- data/third_party/re2/re2/bitmap256.h +117 -0
- data/third_party/re2/re2/bitstate.cc +385 -0
- data/third_party/re2/re2/compile.cc +1279 -0
- data/third_party/re2/re2/dfa.cc +2130 -0
- data/third_party/re2/re2/filtered_re2.cc +121 -0
- data/third_party/re2/re2/filtered_re2.h +109 -0
- data/third_party/re2/re2/mimics_pcre.cc +197 -0
- data/third_party/re2/re2/nfa.cc +713 -0
- data/third_party/re2/re2/onepass.cc +623 -0
- data/third_party/re2/re2/parse.cc +2464 -0
- data/third_party/re2/re2/perl_groups.cc +119 -0
- data/third_party/re2/re2/pod_array.h +55 -0
- data/third_party/re2/re2/prefilter.cc +710 -0
- data/third_party/re2/re2/prefilter.h +108 -0
- data/third_party/re2/re2/prefilter_tree.cc +407 -0
- data/third_party/re2/re2/prefilter_tree.h +139 -0
- data/third_party/re2/re2/prog.cc +988 -0
- data/third_party/re2/re2/prog.h +436 -0
- data/third_party/re2/re2/re2.cc +1362 -0
- data/third_party/re2/re2/re2.h +1002 -0
- data/third_party/re2/re2/regexp.cc +980 -0
- data/third_party/re2/re2/regexp.h +659 -0
- data/third_party/re2/re2/set.cc +154 -0
- data/third_party/re2/re2/set.h +80 -0
- data/third_party/re2/re2/simplify.cc +657 -0
- data/third_party/re2/re2/sparse_array.h +392 -0
- data/third_party/re2/re2/sparse_set.h +264 -0
- data/third_party/re2/re2/stringpiece.cc +65 -0
- data/third_party/re2/re2/stringpiece.h +210 -0
- data/third_party/re2/re2/tostring.cc +351 -0
- data/third_party/re2/re2/unicode_casefold.cc +582 -0
- data/third_party/re2/re2/unicode_casefold.h +78 -0
- data/third_party/re2/re2/unicode_groups.cc +6269 -0
- data/third_party/re2/re2/unicode_groups.h +67 -0
- data/third_party/re2/re2/walker-inl.h +246 -0
- data/third_party/re2/util/benchmark.h +156 -0
- data/third_party/re2/util/flags.h +26 -0
- data/third_party/re2/util/logging.h +109 -0
- data/third_party/re2/util/malloc_counter.h +19 -0
- data/third_party/re2/util/mix.h +41 -0
- data/third_party/re2/util/mutex.h +148 -0
- data/third_party/re2/util/pcre.cc +1025 -0
- data/third_party/re2/util/pcre.h +681 -0
- data/third_party/re2/util/rune.cc +260 -0
- data/third_party/re2/util/strutil.cc +149 -0
- data/third_party/re2/util/strutil.h +21 -0
- data/third_party/re2/util/test.h +50 -0
- data/third_party/re2/util/utf.h +44 -0
- data/third_party/re2/util/util.h +42 -0
- data/third_party/upb/upb/decode.c +64 -15
- data/third_party/upb/upb/encode.c +2 -2
- data/third_party/upb/upb/msg.h +2 -2
- data/third_party/upb/upb/port_def.inc +1 -1
- data/third_party/upb/upb/table.c +0 -11
- data/third_party/upb/upb/table.int.h +0 -9
- data/third_party/upb/upb/upb.c +16 -14
- data/third_party/upb/upb/upb.h +26 -0
- data/third_party/upb/upb/upb.hpp +2 -0
- metadata +340 -153
- data/src/core/ext/filters/client_channel/lb_policy/xds/lrs.cc +0 -528
- data/src/core/ext/filters/client_channel/lb_policy/xds/xds_routing.cc +0 -1142
- data/src/core/ext/filters/client_channel/xds/xds_api.cc +0 -2110
- data/src/core/ext/filters/client_channel/xds/xds_api.h +0 -345
- data/src/core/ext/filters/client_channel/xds/xds_channel.h +0 -46
- data/src/core/ext/filters/client_channel/xds/xds_channel_secure.cc +0 -106
- data/src/core/ext/upb-generated/envoy/api/v2/auth/cert.upb.c +0 -21
- data/src/core/ext/upb-generated/envoy/api/v2/auth/cert.upb.h +0 -34
- data/src/core/ext/upb-generated/envoy/api/v2/auth/common.upb.c +0 -114
- data/src/core/ext/upb-generated/envoy/api/v2/auth/common.upb.h +0 -429
- data/src/core/ext/upb-generated/envoy/api/v2/auth/secret.upb.c +0 -72
- data/src/core/ext/upb-generated/envoy/api/v2/auth/secret.upb.h +0 -198
- data/src/core/ext/upb-generated/envoy/api/v2/auth/tls.upb.c +0 -105
- data/src/core/ext/upb-generated/envoy/api/v2/auth/tls.upb.h +0 -388
- data/src/core/ext/upb-generated/envoy/api/v2/cds.upb.h +0 -52
- data/src/core/ext/upb-generated/envoy/api/v2/cluster.upb.c +0 -403
- data/src/core/ext/upb-generated/envoy/api/v2/cluster.upb.h +0 -1453
- data/src/core/ext/upb-generated/envoy/api/v2/cluster/circuit_breaker.upb.c +0 -74
- data/src/core/ext/upb-generated/envoy/api/v2/cluster/circuit_breaker.upb.h +0 -226
- data/src/core/ext/upb-generated/envoy/api/v2/cluster/filter.upb.h +0 -69
- data/src/core/ext/upb-generated/envoy/api/v2/cluster/outlier_detection.upb.h +0 -323
- data/src/core/ext/upb-generated/envoy/api/v2/core/address.upb.c +0 -112
- data/src/core/ext/upb-generated/envoy/api/v2/core/address.upb.h +0 -334
- data/src/core/ext/upb-generated/envoy/api/v2/core/backoff.upb.h +0 -79
- data/src/core/ext/upb-generated/envoy/api/v2/core/base.upb.c +0 -313
- data/src/core/ext/upb-generated/envoy/api/v2/core/base.upb.h +0 -891
- data/src/core/ext/upb-generated/envoy/api/v2/core/config_source.upb.c +0 -96
- data/src/core/ext/upb-generated/envoy/api/v2/core/config_source.upb.h +0 -328
- data/src/core/ext/upb-generated/envoy/api/v2/core/event_service_config.upb.c +0 -34
- data/src/core/ext/upb-generated/envoy/api/v2/core/event_service_config.upb.h +0 -71
- data/src/core/ext/upb-generated/envoy/api/v2/core/grpc_service.upb.c +0 -197
- data/src/core/ext/upb-generated/envoy/api/v2/core/grpc_service.upb.h +0 -649
- data/src/core/ext/upb-generated/envoy/api/v2/core/health_check.upb.c +0 -172
- data/src/core/ext/upb-generated/envoy/api/v2/core/health_check.upb.h +0 -693
- data/src/core/ext/upb-generated/envoy/api/v2/core/http_uri.upb.h +0 -80
- data/src/core/ext/upb-generated/envoy/api/v2/core/protocol.upb.c +0 -152
- data/src/core/ext/upb-generated/envoy/api/v2/core/protocol.upb.h +0 -536
- data/src/core/ext/upb-generated/envoy/api/v2/core/socket_option.upb.h +0 -88
- data/src/core/ext/upb-generated/envoy/api/v2/discovery.upb.c +0 -129
- data/src/core/ext/upb-generated/envoy/api/v2/discovery.upb.h +0 -386
- data/src/core/ext/upb-generated/envoy/api/v2/eds.upb.h +0 -52
- data/src/core/ext/upb-generated/envoy/api/v2/endpoint.upb.c +0 -92
- data/src/core/ext/upb-generated/envoy/api/v2/endpoint.upb.h +0 -224
- data/src/core/ext/upb-generated/envoy/api/v2/endpoint/endpoint.upb.c +0 -18
- data/src/core/ext/upb-generated/envoy/api/v2/endpoint/endpoint.upb.h +0 -32
- data/src/core/ext/upb-generated/envoy/api/v2/endpoint/endpoint_components.upb.c +0 -91
- data/src/core/ext/upb-generated/envoy/api/v2/endpoint/endpoint_components.upb.h +0 -273
- data/src/core/ext/upb-generated/envoy/api/v2/endpoint/load_report.upb.c +0 -112
- data/src/core/ext/upb-generated/envoy/api/v2/endpoint/load_report.upb.h +0 -332
- data/src/core/ext/upb-generated/envoy/api/v2/lds.upb.h +0 -52
- data/src/core/ext/upb-generated/envoy/api/v2/listener.upb.c +0 -109
- data/src/core/ext/upb-generated/envoy/api/v2/listener.upb.h +0 -415
- data/src/core/ext/upb-generated/envoy/api/v2/listener/listener.upb.c +0 -18
- data/src/core/ext/upb-generated/envoy/api/v2/listener/listener.upb.h +0 -32
- data/src/core/ext/upb-generated/envoy/api/v2/listener/listener_components.upb.c +0 -145
- data/src/core/ext/upb-generated/envoy/api/v2/listener/listener_components.upb.h +0 -538
- data/src/core/ext/upb-generated/envoy/api/v2/listener/udp_listener_config.upb.c +0 -43
- data/src/core/ext/upb-generated/envoy/api/v2/listener/udp_listener_config.upb.h +0 -111
- data/src/core/ext/upb-generated/envoy/api/v2/rds.upb.h +0 -52
- data/src/core/ext/upb-generated/envoy/api/v2/route.upb.c +0 -63
- data/src/core/ext/upb-generated/envoy/api/v2/route.upb.h +0 -204
- data/src/core/ext/upb-generated/envoy/api/v2/route/route.upb.c +0 -18
- data/src/core/ext/upb-generated/envoy/api/v2/route/route.upb.h +0 -32
- data/src/core/ext/upb-generated/envoy/api/v2/route/route_components.upb.c +0 -815
- data/src/core/ext/upb-generated/envoy/api/v2/route/route_components.upb.h +0 -2984
- data/src/core/ext/upb-generated/envoy/api/v2/scoped_route.upb.c +0 -59
- data/src/core/ext/upb-generated/envoy/api/v2/scoped_route.upb.h +0 -135
- data/src/core/ext/upb-generated/envoy/api/v2/srds.upb.h +0 -52
- data/src/core/ext/upb-generated/envoy/config/filter/accesslog/v2/accesslog.upb.c +0 -228
- data/src/core/ext/upb-generated/envoy/config/filter/accesslog/v2/accesslog.upb.h +0 -732
- data/src/core/ext/upb-generated/envoy/config/filter/network/http_connection_manager/v2/http_connection_manager.upb.c +0 -316
- data/src/core/ext/upb-generated/envoy/config/filter/network/http_connection_manager/v2/http_connection_manager.upb.h +0 -1167
- data/src/core/ext/upb-generated/envoy/config/listener/v2/api_listener.upb.h +0 -65
- data/src/core/ext/upb-generated/envoy/config/trace/v2/http_tracer.upb.c +0 -51
- data/src/core/ext/upb-generated/envoy/config/trace/v2/http_tracer.upb.h +0 -125
- data/src/core/ext/upb-generated/envoy/service/discovery/v2/ads.upb.h +0 -49
- data/src/core/ext/upb-generated/envoy/service/load_stats/v2/lrs.upb.c +0 -54
- data/src/core/ext/upb-generated/envoy/service/load_stats/v2/lrs.upb.h +0 -136
- data/src/core/ext/upb-generated/envoy/type/matcher/regex.upb.c +0 -63
- data/src/core/ext/upb-generated/envoy/type/matcher/regex.upb.h +0 -145
- data/src/core/ext/upb-generated/envoy/type/matcher/string.upb.c +0 -53
- data/src/core/ext/upb-generated/envoy/type/matcher/string.upb.h +0 -133
- data/src/core/ext/upb-generated/envoy/type/metadata/v2/metadata.upb.c +0 -88
- data/src/core/ext/upb-generated/envoy/type/metadata/v2/metadata.upb.h +0 -258
- data/src/core/ext/upb-generated/envoy/type/percent.upb.h +0 -86
- data/src/core/ext/upb-generated/envoy/type/range.upb.h +0 -111
- data/src/core/ext/upb-generated/envoy/type/semantic_version.upb.h +0 -61
- data/src/core/ext/upb-generated/envoy/type/tracing/v2/custom_tag.upb.c +0 -89
- data/src/core/ext/upb-generated/envoy/type/tracing/v2/custom_tag.upb.h +0 -250
- data/src/core/ext/upb-generated/gogoproto/gogo.upb.c +0 -17
- data/src/core/ext/upb-generated/gogoproto/gogo.upb.h +0 -29
- data/src/core/lib/security/transport/target_authority_table.cc +0 -75
- data/src/core/lib/security/transport/target_authority_table.h +0 -40
- data/src/core/lib/slice/slice_hash_table.h +0 -199
- data/src/core/lib/slice/slice_weak_hash_table.h +0 -102
- data/third_party/boringssl-with-bazel/src/crypto/x509v3/v3_pku.c +0 -110
- data/third_party/boringssl-with-bazel/src/crypto/x509v3/v3_sxnet.c +0 -274
@@ -0,0 +1,139 @@
|
|
1
|
+
// Copyright 2009 The RE2 Authors. All Rights Reserved.
|
2
|
+
// Use of this source code is governed by a BSD-style
|
3
|
+
// license that can be found in the LICENSE file.
|
4
|
+
|
5
|
+
#ifndef RE2_PREFILTER_TREE_H_
|
6
|
+
#define RE2_PREFILTER_TREE_H_
|
7
|
+
|
8
|
+
// The PrefilterTree class is used to form an AND-OR tree of strings
|
9
|
+
// that would trigger each regexp. The 'prefilter' of each regexp is
|
10
|
+
// added to PrefilterTree, and then PrefilterTree is used to find all
|
11
|
+
// the unique strings across the prefilters. During search, by using
|
12
|
+
// matches from a string matching engine, PrefilterTree deduces the
|
13
|
+
// set of regexps that are to be triggered. The 'string matching
|
14
|
+
// engine' itself is outside of this class, and the caller can use any
|
15
|
+
// favorite engine. PrefilterTree provides a set of strings (called
|
16
|
+
// atoms) that the user of this class should use to do the string
|
17
|
+
// matching.
|
18
|
+
|
19
|
+
#include <map>
|
20
|
+
#include <string>
|
21
|
+
#include <vector>
|
22
|
+
|
23
|
+
#include "util/util.h"
|
24
|
+
#include "re2/prefilter.h"
|
25
|
+
#include "re2/sparse_array.h"
|
26
|
+
|
27
|
+
namespace re2 {
|
28
|
+
|
29
|
+
class PrefilterTree {
|
30
|
+
public:
|
31
|
+
PrefilterTree();
|
32
|
+
explicit PrefilterTree(int min_atom_len);
|
33
|
+
~PrefilterTree();
|
34
|
+
|
35
|
+
// Adds the prefilter for the next regexp. Note that we assume that
|
36
|
+
// Add called sequentially for all regexps. All Add calls
|
37
|
+
// must precede Compile.
|
38
|
+
void Add(Prefilter* prefilter);
|
39
|
+
|
40
|
+
// The Compile returns a vector of string in atom_vec.
|
41
|
+
// Call this after all the prefilters are added through Add.
|
42
|
+
// No calls to Add after Compile are allowed.
|
43
|
+
// The caller should use the returned set of strings to do string matching.
|
44
|
+
// Each time a string matches, the corresponding index then has to be
|
45
|
+
// and passed to RegexpsGivenStrings below.
|
46
|
+
void Compile(std::vector<std::string>* atom_vec);
|
47
|
+
|
48
|
+
// Given the indices of the atoms that matched, returns the indexes
|
49
|
+
// of regexps that should be searched. The matched_atoms should
|
50
|
+
// contain all the ids of string atoms that were found to match the
|
51
|
+
// content. The caller can use any string match engine to perform
|
52
|
+
// this function. This function is thread safe.
|
53
|
+
void RegexpsGivenStrings(const std::vector<int>& matched_atoms,
|
54
|
+
std::vector<int>* regexps) const;
|
55
|
+
|
56
|
+
// Print debug prefilter. Also prints unique ids associated with
|
57
|
+
// nodes of the prefilter of the regexp.
|
58
|
+
void PrintPrefilter(int regexpid);
|
59
|
+
|
60
|
+
private:
|
61
|
+
typedef SparseArray<int> IntMap;
|
62
|
+
typedef std::map<int, int> StdIntMap;
|
63
|
+
typedef std::map<std::string, Prefilter*> NodeMap;
|
64
|
+
|
65
|
+
// Each unique node has a corresponding Entry that helps in
|
66
|
+
// passing the matching trigger information along the tree.
|
67
|
+
struct Entry {
|
68
|
+
public:
|
69
|
+
// How many children should match before this node triggers the
|
70
|
+
// parent. For an atom and an OR node, this is 1 and for an AND
|
71
|
+
// node, it is the number of unique children.
|
72
|
+
int propagate_up_at_count;
|
73
|
+
|
74
|
+
// When this node is ready to trigger the parent, what are the indices
|
75
|
+
// of the parent nodes to trigger. The reason there may be more than
|
76
|
+
// one is because of sharing. For example (abc | def) and (xyz | def)
|
77
|
+
// are two different nodes, but they share the atom 'def'. So when
|
78
|
+
// 'def' matches, it triggers two parents, corresponding to the two
|
79
|
+
// different OR nodes.
|
80
|
+
StdIntMap* parents;
|
81
|
+
|
82
|
+
// When this node is ready to trigger the parent, what are the
|
83
|
+
// regexps that are triggered.
|
84
|
+
std::vector<int> regexps;
|
85
|
+
};
|
86
|
+
|
87
|
+
// Returns true if the prefilter node should be kept.
|
88
|
+
bool KeepNode(Prefilter* node) const;
|
89
|
+
|
90
|
+
// This function assigns unique ids to various parts of the
|
91
|
+
// prefilter, by looking at if these nodes are already in the
|
92
|
+
// PrefilterTree.
|
93
|
+
void AssignUniqueIds(NodeMap* nodes, std::vector<std::string>* atom_vec);
|
94
|
+
|
95
|
+
// Given the matching atoms, find the regexps to be triggered.
|
96
|
+
void PropagateMatch(const std::vector<int>& atom_ids,
|
97
|
+
IntMap* regexps) const;
|
98
|
+
|
99
|
+
// Returns the prefilter node that has the same NodeString as this
|
100
|
+
// node. For the canonical node, returns node.
|
101
|
+
Prefilter* CanonicalNode(NodeMap* nodes, Prefilter* node);
|
102
|
+
|
103
|
+
// A string that uniquely identifies the node. Assumes that the
|
104
|
+
// children of node has already been assigned unique ids.
|
105
|
+
std::string NodeString(Prefilter* node) const;
|
106
|
+
|
107
|
+
// Recursively constructs a readable prefilter string.
|
108
|
+
std::string DebugNodeString(Prefilter* node) const;
|
109
|
+
|
110
|
+
// Used for debugging.
|
111
|
+
void PrintDebugInfo(NodeMap* nodes);
|
112
|
+
|
113
|
+
// These are all the nodes formed by Compile. Essentially, there is
|
114
|
+
// one node for each unique atom and each unique AND/OR node.
|
115
|
+
std::vector<Entry> entries_;
|
116
|
+
|
117
|
+
// indices of regexps that always pass through the filter (since we
|
118
|
+
// found no required literals in these regexps).
|
119
|
+
std::vector<int> unfiltered_;
|
120
|
+
|
121
|
+
// vector of Prefilter for all regexps.
|
122
|
+
std::vector<Prefilter*> prefilter_vec_;
|
123
|
+
|
124
|
+
// Atom index in returned strings to entry id mapping.
|
125
|
+
std::vector<int> atom_index_to_id_;
|
126
|
+
|
127
|
+
// Has the prefilter tree been compiled.
|
128
|
+
bool compiled_;
|
129
|
+
|
130
|
+
// Strings less than this length are not stored as atoms.
|
131
|
+
const int min_atom_len_;
|
132
|
+
|
133
|
+
PrefilterTree(const PrefilterTree&) = delete;
|
134
|
+
PrefilterTree& operator=(const PrefilterTree&) = delete;
|
135
|
+
};
|
136
|
+
|
137
|
+
} // namespace
|
138
|
+
|
139
|
+
#endif // RE2_PREFILTER_TREE_H_
|
@@ -0,0 +1,988 @@
|
|
1
|
+
// Copyright 2007 The RE2 Authors. All Rights Reserved.
|
2
|
+
// Use of this source code is governed by a BSD-style
|
3
|
+
// license that can be found in the LICENSE file.
|
4
|
+
|
5
|
+
// Compiled regular expression representation.
|
6
|
+
// Tested by compile_test.cc
|
7
|
+
|
8
|
+
#include "re2/prog.h"
|
9
|
+
|
10
|
+
#if defined(__AVX2__)
|
11
|
+
#include <immintrin.h>
|
12
|
+
#ifdef _MSC_VER
|
13
|
+
#include <intrin.h>
|
14
|
+
#endif
|
15
|
+
#endif
|
16
|
+
#include <stdint.h>
|
17
|
+
#include <string.h>
|
18
|
+
#include <algorithm>
|
19
|
+
#include <memory>
|
20
|
+
#include <utility>
|
21
|
+
|
22
|
+
#include "util/util.h"
|
23
|
+
#include "util/logging.h"
|
24
|
+
#include "util/strutil.h"
|
25
|
+
#include "re2/bitmap256.h"
|
26
|
+
#include "re2/stringpiece.h"
|
27
|
+
|
28
|
+
namespace re2 {
|
29
|
+
|
30
|
+
// Constructors per Inst opcode
|
31
|
+
|
32
|
+
void Prog::Inst::InitAlt(uint32_t out, uint32_t out1) {
|
33
|
+
DCHECK_EQ(out_opcode_, 0);
|
34
|
+
set_out_opcode(out, kInstAlt);
|
35
|
+
out1_ = out1;
|
36
|
+
}
|
37
|
+
|
38
|
+
void Prog::Inst::InitByteRange(int lo, int hi, int foldcase, uint32_t out) {
|
39
|
+
DCHECK_EQ(out_opcode_, 0);
|
40
|
+
set_out_opcode(out, kInstByteRange);
|
41
|
+
lo_ = lo & 0xFF;
|
42
|
+
hi_ = hi & 0xFF;
|
43
|
+
hint_foldcase_ = foldcase&1;
|
44
|
+
}
|
45
|
+
|
46
|
+
void Prog::Inst::InitCapture(int cap, uint32_t out) {
|
47
|
+
DCHECK_EQ(out_opcode_, 0);
|
48
|
+
set_out_opcode(out, kInstCapture);
|
49
|
+
cap_ = cap;
|
50
|
+
}
|
51
|
+
|
52
|
+
void Prog::Inst::InitEmptyWidth(EmptyOp empty, uint32_t out) {
|
53
|
+
DCHECK_EQ(out_opcode_, 0);
|
54
|
+
set_out_opcode(out, kInstEmptyWidth);
|
55
|
+
empty_ = empty;
|
56
|
+
}
|
57
|
+
|
58
|
+
void Prog::Inst::InitMatch(int32_t id) {
|
59
|
+
DCHECK_EQ(out_opcode_, 0);
|
60
|
+
set_opcode(kInstMatch);
|
61
|
+
match_id_ = id;
|
62
|
+
}
|
63
|
+
|
64
|
+
void Prog::Inst::InitNop(uint32_t out) {
|
65
|
+
DCHECK_EQ(out_opcode_, 0);
|
66
|
+
set_opcode(kInstNop);
|
67
|
+
}
|
68
|
+
|
69
|
+
void Prog::Inst::InitFail() {
|
70
|
+
DCHECK_EQ(out_opcode_, 0);
|
71
|
+
set_opcode(kInstFail);
|
72
|
+
}
|
73
|
+
|
74
|
+
std::string Prog::Inst::Dump() {
|
75
|
+
switch (opcode()) {
|
76
|
+
default:
|
77
|
+
return StringPrintf("opcode %d", static_cast<int>(opcode()));
|
78
|
+
|
79
|
+
case kInstAlt:
|
80
|
+
return StringPrintf("alt -> %d | %d", out(), out1_);
|
81
|
+
|
82
|
+
case kInstAltMatch:
|
83
|
+
return StringPrintf("altmatch -> %d | %d", out(), out1_);
|
84
|
+
|
85
|
+
case kInstByteRange:
|
86
|
+
return StringPrintf("byte%s [%02x-%02x] %d -> %d",
|
87
|
+
foldcase() ? "/i" : "",
|
88
|
+
lo_, hi_, hint(), out());
|
89
|
+
|
90
|
+
case kInstCapture:
|
91
|
+
return StringPrintf("capture %d -> %d", cap_, out());
|
92
|
+
|
93
|
+
case kInstEmptyWidth:
|
94
|
+
return StringPrintf("emptywidth %#x -> %d",
|
95
|
+
static_cast<int>(empty_), out());
|
96
|
+
|
97
|
+
case kInstMatch:
|
98
|
+
return StringPrintf("match! %d", match_id());
|
99
|
+
|
100
|
+
case kInstNop:
|
101
|
+
return StringPrintf("nop -> %d", out());
|
102
|
+
|
103
|
+
case kInstFail:
|
104
|
+
return StringPrintf("fail");
|
105
|
+
}
|
106
|
+
}
|
107
|
+
|
108
|
+
Prog::Prog()
|
109
|
+
: anchor_start_(false),
|
110
|
+
anchor_end_(false),
|
111
|
+
reversed_(false),
|
112
|
+
did_flatten_(false),
|
113
|
+
did_onepass_(false),
|
114
|
+
start_(0),
|
115
|
+
start_unanchored_(0),
|
116
|
+
size_(0),
|
117
|
+
bytemap_range_(0),
|
118
|
+
prefix_size_(0),
|
119
|
+
prefix_front_(-1),
|
120
|
+
prefix_back_(-1),
|
121
|
+
list_count_(0),
|
122
|
+
dfa_mem_(0),
|
123
|
+
dfa_first_(NULL),
|
124
|
+
dfa_longest_(NULL) {
|
125
|
+
}
|
126
|
+
|
127
|
+
Prog::~Prog() {
|
128
|
+
DeleteDFA(dfa_longest_);
|
129
|
+
DeleteDFA(dfa_first_);
|
130
|
+
}
|
131
|
+
|
132
|
+
typedef SparseSet Workq;
|
133
|
+
|
134
|
+
static inline void AddToQueue(Workq* q, int id) {
|
135
|
+
if (id != 0)
|
136
|
+
q->insert(id);
|
137
|
+
}
|
138
|
+
|
139
|
+
static std::string ProgToString(Prog* prog, Workq* q) {
|
140
|
+
std::string s;
|
141
|
+
for (Workq::iterator i = q->begin(); i != q->end(); ++i) {
|
142
|
+
int id = *i;
|
143
|
+
Prog::Inst* ip = prog->inst(id);
|
144
|
+
s += StringPrintf("%d. %s\n", id, ip->Dump().c_str());
|
145
|
+
AddToQueue(q, ip->out());
|
146
|
+
if (ip->opcode() == kInstAlt || ip->opcode() == kInstAltMatch)
|
147
|
+
AddToQueue(q, ip->out1());
|
148
|
+
}
|
149
|
+
return s;
|
150
|
+
}
|
151
|
+
|
152
|
+
static std::string FlattenedProgToString(Prog* prog, int start) {
|
153
|
+
std::string s;
|
154
|
+
for (int id = start; id < prog->size(); id++) {
|
155
|
+
Prog::Inst* ip = prog->inst(id);
|
156
|
+
if (ip->last())
|
157
|
+
s += StringPrintf("%d. %s\n", id, ip->Dump().c_str());
|
158
|
+
else
|
159
|
+
s += StringPrintf("%d+ %s\n", id, ip->Dump().c_str());
|
160
|
+
}
|
161
|
+
return s;
|
162
|
+
}
|
163
|
+
|
164
|
+
std::string Prog::Dump() {
|
165
|
+
if (did_flatten_)
|
166
|
+
return FlattenedProgToString(this, start_);
|
167
|
+
|
168
|
+
Workq q(size_);
|
169
|
+
AddToQueue(&q, start_);
|
170
|
+
return ProgToString(this, &q);
|
171
|
+
}
|
172
|
+
|
173
|
+
std::string Prog::DumpUnanchored() {
|
174
|
+
if (did_flatten_)
|
175
|
+
return FlattenedProgToString(this, start_unanchored_);
|
176
|
+
|
177
|
+
Workq q(size_);
|
178
|
+
AddToQueue(&q, start_unanchored_);
|
179
|
+
return ProgToString(this, &q);
|
180
|
+
}
|
181
|
+
|
182
|
+
std::string Prog::DumpByteMap() {
|
183
|
+
std::string map;
|
184
|
+
for (int c = 0; c < 256; c++) {
|
185
|
+
int b = bytemap_[c];
|
186
|
+
int lo = c;
|
187
|
+
while (c < 256-1 && bytemap_[c+1] == b)
|
188
|
+
c++;
|
189
|
+
int hi = c;
|
190
|
+
map += StringPrintf("[%02x-%02x] -> %d\n", lo, hi, b);
|
191
|
+
}
|
192
|
+
return map;
|
193
|
+
}
|
194
|
+
|
195
|
+
// Is ip a guaranteed match at end of text, perhaps after some capturing?
|
196
|
+
static bool IsMatch(Prog* prog, Prog::Inst* ip) {
|
197
|
+
for (;;) {
|
198
|
+
switch (ip->opcode()) {
|
199
|
+
default:
|
200
|
+
LOG(DFATAL) << "Unexpected opcode in IsMatch: " << ip->opcode();
|
201
|
+
return false;
|
202
|
+
|
203
|
+
case kInstAlt:
|
204
|
+
case kInstAltMatch:
|
205
|
+
case kInstByteRange:
|
206
|
+
case kInstFail:
|
207
|
+
case kInstEmptyWidth:
|
208
|
+
return false;
|
209
|
+
|
210
|
+
case kInstCapture:
|
211
|
+
case kInstNop:
|
212
|
+
ip = prog->inst(ip->out());
|
213
|
+
break;
|
214
|
+
|
215
|
+
case kInstMatch:
|
216
|
+
return true;
|
217
|
+
}
|
218
|
+
}
|
219
|
+
}
|
220
|
+
|
221
|
+
// Peep-hole optimizer.
|
222
|
+
void Prog::Optimize() {
|
223
|
+
Workq q(size_);
|
224
|
+
|
225
|
+
// Eliminate nops. Most are taken out during compilation
|
226
|
+
// but a few are hard to avoid.
|
227
|
+
q.clear();
|
228
|
+
AddToQueue(&q, start_);
|
229
|
+
for (Workq::iterator i = q.begin(); i != q.end(); ++i) {
|
230
|
+
int id = *i;
|
231
|
+
|
232
|
+
Inst* ip = inst(id);
|
233
|
+
int j = ip->out();
|
234
|
+
Inst* jp;
|
235
|
+
while (j != 0 && (jp=inst(j))->opcode() == kInstNop) {
|
236
|
+
j = jp->out();
|
237
|
+
}
|
238
|
+
ip->set_out(j);
|
239
|
+
AddToQueue(&q, ip->out());
|
240
|
+
|
241
|
+
if (ip->opcode() == kInstAlt) {
|
242
|
+
j = ip->out1();
|
243
|
+
while (j != 0 && (jp=inst(j))->opcode() == kInstNop) {
|
244
|
+
j = jp->out();
|
245
|
+
}
|
246
|
+
ip->out1_ = j;
|
247
|
+
AddToQueue(&q, ip->out1());
|
248
|
+
}
|
249
|
+
}
|
250
|
+
|
251
|
+
// Insert kInstAltMatch instructions
|
252
|
+
// Look for
|
253
|
+
// ip: Alt -> j | k
|
254
|
+
// j: ByteRange [00-FF] -> ip
|
255
|
+
// k: Match
|
256
|
+
// or the reverse (the above is the greedy one).
|
257
|
+
// Rewrite Alt to AltMatch.
|
258
|
+
q.clear();
|
259
|
+
AddToQueue(&q, start_);
|
260
|
+
for (Workq::iterator i = q.begin(); i != q.end(); ++i) {
|
261
|
+
int id = *i;
|
262
|
+
Inst* ip = inst(id);
|
263
|
+
AddToQueue(&q, ip->out());
|
264
|
+
if (ip->opcode() == kInstAlt)
|
265
|
+
AddToQueue(&q, ip->out1());
|
266
|
+
|
267
|
+
if (ip->opcode() == kInstAlt) {
|
268
|
+
Inst* j = inst(ip->out());
|
269
|
+
Inst* k = inst(ip->out1());
|
270
|
+
if (j->opcode() == kInstByteRange && j->out() == id &&
|
271
|
+
j->lo() == 0x00 && j->hi() == 0xFF &&
|
272
|
+
IsMatch(this, k)) {
|
273
|
+
ip->set_opcode(kInstAltMatch);
|
274
|
+
continue;
|
275
|
+
}
|
276
|
+
if (IsMatch(this, j) &&
|
277
|
+
k->opcode() == kInstByteRange && k->out() == id &&
|
278
|
+
k->lo() == 0x00 && k->hi() == 0xFF) {
|
279
|
+
ip->set_opcode(kInstAltMatch);
|
280
|
+
}
|
281
|
+
}
|
282
|
+
}
|
283
|
+
}
|
284
|
+
|
285
|
+
uint32_t Prog::EmptyFlags(const StringPiece& text, const char* p) {
|
286
|
+
int flags = 0;
|
287
|
+
|
288
|
+
// ^ and \A
|
289
|
+
if (p == text.data())
|
290
|
+
flags |= kEmptyBeginText | kEmptyBeginLine;
|
291
|
+
else if (p[-1] == '\n')
|
292
|
+
flags |= kEmptyBeginLine;
|
293
|
+
|
294
|
+
// $ and \z
|
295
|
+
if (p == text.data() + text.size())
|
296
|
+
flags |= kEmptyEndText | kEmptyEndLine;
|
297
|
+
else if (p < text.data() + text.size() && p[0] == '\n')
|
298
|
+
flags |= kEmptyEndLine;
|
299
|
+
|
300
|
+
// \b and \B
|
301
|
+
if (p == text.data() && p == text.data() + text.size()) {
|
302
|
+
// no word boundary here
|
303
|
+
} else if (p == text.data()) {
|
304
|
+
if (IsWordChar(p[0]))
|
305
|
+
flags |= kEmptyWordBoundary;
|
306
|
+
} else if (p == text.data() + text.size()) {
|
307
|
+
if (IsWordChar(p[-1]))
|
308
|
+
flags |= kEmptyWordBoundary;
|
309
|
+
} else {
|
310
|
+
if (IsWordChar(p[-1]) != IsWordChar(p[0]))
|
311
|
+
flags |= kEmptyWordBoundary;
|
312
|
+
}
|
313
|
+
if (!(flags & kEmptyWordBoundary))
|
314
|
+
flags |= kEmptyNonWordBoundary;
|
315
|
+
|
316
|
+
return flags;
|
317
|
+
}
|
318
|
+
|
319
|
+
// ByteMapBuilder implements a coloring algorithm.
|
320
|
+
//
|
321
|
+
// The first phase is a series of "mark and merge" batches: we mark one or more
|
322
|
+
// [lo-hi] ranges, then merge them into our internal state. Batching is not for
|
323
|
+
// performance; rather, it means that the ranges are treated indistinguishably.
|
324
|
+
//
|
325
|
+
// Internally, the ranges are represented using a bitmap that stores the splits
|
326
|
+
// and a vector that stores the colors; both of them are indexed by the ranges'
|
327
|
+
// last bytes. Thus, in order to merge a [lo-hi] range, we split at lo-1 and at
|
328
|
+
// hi (if not already split), then recolor each range in between. The color map
|
329
|
+
// (i.e. from the old color to the new color) is maintained for the lifetime of
|
330
|
+
// the batch and so underpins this somewhat obscure approach to set operations.
|
331
|
+
//
|
332
|
+
// The second phase builds the bytemap from our internal state: we recolor each
|
333
|
+
// range, then store the new color (which is now the byte class) in each of the
|
334
|
+
// corresponding array elements. Finally, we output the number of byte classes.
|
335
|
+
class ByteMapBuilder {
|
336
|
+
public:
|
337
|
+
ByteMapBuilder() {
|
338
|
+
// Initial state: the [0-255] range has color 256.
|
339
|
+
// This will avoid problems during the second phase,
|
340
|
+
// in which we assign byte classes numbered from 0.
|
341
|
+
splits_.Set(255);
|
342
|
+
colors_[255] = 256;
|
343
|
+
nextcolor_ = 257;
|
344
|
+
}
|
345
|
+
|
346
|
+
void Mark(int lo, int hi);
|
347
|
+
void Merge();
|
348
|
+
void Build(uint8_t* bytemap, int* bytemap_range);
|
349
|
+
|
350
|
+
private:
|
351
|
+
int Recolor(int oldcolor);
|
352
|
+
|
353
|
+
Bitmap256 splits_;
|
354
|
+
int colors_[256];
|
355
|
+
int nextcolor_;
|
356
|
+
std::vector<std::pair<int, int>> colormap_;
|
357
|
+
std::vector<std::pair<int, int>> ranges_;
|
358
|
+
|
359
|
+
ByteMapBuilder(const ByteMapBuilder&) = delete;
|
360
|
+
ByteMapBuilder& operator=(const ByteMapBuilder&) = delete;
|
361
|
+
};
|
362
|
+
|
363
|
+
void ByteMapBuilder::Mark(int lo, int hi) {
|
364
|
+
DCHECK_GE(lo, 0);
|
365
|
+
DCHECK_GE(hi, 0);
|
366
|
+
DCHECK_LE(lo, 255);
|
367
|
+
DCHECK_LE(hi, 255);
|
368
|
+
DCHECK_LE(lo, hi);
|
369
|
+
|
370
|
+
// Ignore any [0-255] ranges. They cause us to recolor every range, which
|
371
|
+
// has no effect on the eventual result and is therefore a waste of time.
|
372
|
+
if (lo == 0 && hi == 255)
|
373
|
+
return;
|
374
|
+
|
375
|
+
ranges_.emplace_back(lo, hi);
|
376
|
+
}
|
377
|
+
|
378
|
+
void ByteMapBuilder::Merge() {
|
379
|
+
for (std::vector<std::pair<int, int>>::const_iterator it = ranges_.begin();
|
380
|
+
it != ranges_.end();
|
381
|
+
++it) {
|
382
|
+
int lo = it->first-1;
|
383
|
+
int hi = it->second;
|
384
|
+
|
385
|
+
if (0 <= lo && !splits_.Test(lo)) {
|
386
|
+
splits_.Set(lo);
|
387
|
+
int next = splits_.FindNextSetBit(lo+1);
|
388
|
+
colors_[lo] = colors_[next];
|
389
|
+
}
|
390
|
+
if (!splits_.Test(hi)) {
|
391
|
+
splits_.Set(hi);
|
392
|
+
int next = splits_.FindNextSetBit(hi+1);
|
393
|
+
colors_[hi] = colors_[next];
|
394
|
+
}
|
395
|
+
|
396
|
+
int c = lo+1;
|
397
|
+
while (c < 256) {
|
398
|
+
int next = splits_.FindNextSetBit(c);
|
399
|
+
colors_[next] = Recolor(colors_[next]);
|
400
|
+
if (next == hi)
|
401
|
+
break;
|
402
|
+
c = next+1;
|
403
|
+
}
|
404
|
+
}
|
405
|
+
colormap_.clear();
|
406
|
+
ranges_.clear();
|
407
|
+
}
|
408
|
+
|
409
|
+
void ByteMapBuilder::Build(uint8_t* bytemap, int* bytemap_range) {
|
410
|
+
// Assign byte classes numbered from 0.
|
411
|
+
nextcolor_ = 0;
|
412
|
+
|
413
|
+
int c = 0;
|
414
|
+
while (c < 256) {
|
415
|
+
int next = splits_.FindNextSetBit(c);
|
416
|
+
uint8_t b = static_cast<uint8_t>(Recolor(colors_[next]));
|
417
|
+
while (c <= next) {
|
418
|
+
bytemap[c] = b;
|
419
|
+
c++;
|
420
|
+
}
|
421
|
+
}
|
422
|
+
|
423
|
+
*bytemap_range = nextcolor_;
|
424
|
+
}
|
425
|
+
|
426
|
+
int ByteMapBuilder::Recolor(int oldcolor) {
|
427
|
+
// Yes, this is a linear search. There can be at most 256
|
428
|
+
// colors and there will typically be far fewer than that.
|
429
|
+
// Also, we need to consider keys *and* values in order to
|
430
|
+
// avoid recoloring a given range more than once per batch.
|
431
|
+
std::vector<std::pair<int, int>>::const_iterator it =
|
432
|
+
std::find_if(colormap_.begin(), colormap_.end(),
|
433
|
+
[=](const std::pair<int, int>& kv) -> bool {
|
434
|
+
return kv.first == oldcolor || kv.second == oldcolor;
|
435
|
+
});
|
436
|
+
if (it != colormap_.end())
|
437
|
+
return it->second;
|
438
|
+
int newcolor = nextcolor_;
|
439
|
+
nextcolor_++;
|
440
|
+
colormap_.emplace_back(oldcolor, newcolor);
|
441
|
+
return newcolor;
|
442
|
+
}
|
443
|
+
|
444
|
+
void Prog::ComputeByteMap() {
|
445
|
+
// Fill in bytemap with byte classes for the program.
|
446
|
+
// Ranges of bytes that are treated indistinguishably
|
447
|
+
// will be mapped to a single byte class.
|
448
|
+
ByteMapBuilder builder;
|
449
|
+
|
450
|
+
// Don't repeat the work for ^ and $.
|
451
|
+
bool marked_line_boundaries = false;
|
452
|
+
// Don't repeat the work for \b and \B.
|
453
|
+
bool marked_word_boundaries = false;
|
454
|
+
|
455
|
+
for (int id = 0; id < size(); id++) {
|
456
|
+
Inst* ip = inst(id);
|
457
|
+
if (ip->opcode() == kInstByteRange) {
|
458
|
+
int lo = ip->lo();
|
459
|
+
int hi = ip->hi();
|
460
|
+
builder.Mark(lo, hi);
|
461
|
+
if (ip->foldcase() && lo <= 'z' && hi >= 'a') {
|
462
|
+
int foldlo = lo;
|
463
|
+
int foldhi = hi;
|
464
|
+
if (foldlo < 'a')
|
465
|
+
foldlo = 'a';
|
466
|
+
if (foldhi > 'z')
|
467
|
+
foldhi = 'z';
|
468
|
+
if (foldlo <= foldhi) {
|
469
|
+
foldlo += 'A' - 'a';
|
470
|
+
foldhi += 'A' - 'a';
|
471
|
+
builder.Mark(foldlo, foldhi);
|
472
|
+
}
|
473
|
+
}
|
474
|
+
// If this Inst is not the last Inst in its list AND the next Inst is
|
475
|
+
// also a ByteRange AND the Insts have the same out, defer the merge.
|
476
|
+
if (!ip->last() &&
|
477
|
+
inst(id+1)->opcode() == kInstByteRange &&
|
478
|
+
ip->out() == inst(id+1)->out())
|
479
|
+
continue;
|
480
|
+
builder.Merge();
|
481
|
+
} else if (ip->opcode() == kInstEmptyWidth) {
|
482
|
+
if (ip->empty() & (kEmptyBeginLine|kEmptyEndLine) &&
|
483
|
+
!marked_line_boundaries) {
|
484
|
+
builder.Mark('\n', '\n');
|
485
|
+
builder.Merge();
|
486
|
+
marked_line_boundaries = true;
|
487
|
+
}
|
488
|
+
if (ip->empty() & (kEmptyWordBoundary|kEmptyNonWordBoundary) &&
|
489
|
+
!marked_word_boundaries) {
|
490
|
+
// We require two batches here: the first for ranges that are word
|
491
|
+
// characters, the second for ranges that are not word characters.
|
492
|
+
for (bool isword : {true, false}) {
|
493
|
+
int j;
|
494
|
+
for (int i = 0; i < 256; i = j) {
|
495
|
+
for (j = i + 1; j < 256 &&
|
496
|
+
Prog::IsWordChar(static_cast<uint8_t>(i)) ==
|
497
|
+
Prog::IsWordChar(static_cast<uint8_t>(j));
|
498
|
+
j++)
|
499
|
+
;
|
500
|
+
if (Prog::IsWordChar(static_cast<uint8_t>(i)) == isword)
|
501
|
+
builder.Mark(i, j - 1);
|
502
|
+
}
|
503
|
+
builder.Merge();
|
504
|
+
}
|
505
|
+
marked_word_boundaries = true;
|
506
|
+
}
|
507
|
+
}
|
508
|
+
}
|
509
|
+
|
510
|
+
builder.Build(bytemap_, &bytemap_range_);
|
511
|
+
|
512
|
+
if (0) { // For debugging, use trivial bytemap.
|
513
|
+
LOG(ERROR) << "Using trivial bytemap.";
|
514
|
+
for (int i = 0; i < 256; i++)
|
515
|
+
bytemap_[i] = static_cast<uint8_t>(i);
|
516
|
+
bytemap_range_ = 256;
|
517
|
+
}
|
518
|
+
}
|
519
|
+
|
520
|
+
// Prog::Flatten() implements a graph rewriting algorithm.
|
521
|
+
//
|
522
|
+
// The overall process is similar to epsilon removal, but retains some epsilon
|
523
|
+
// transitions: those from Capture and EmptyWidth instructions; and those from
|
524
|
+
// nullable subexpressions. (The latter avoids quadratic blowup in transitions
|
525
|
+
// in the worst case.) It might be best thought of as Alt instruction elision.
|
526
|
+
//
|
527
|
+
// In conceptual terms, it divides the Prog into "trees" of instructions, then
|
528
|
+
// traverses the "trees" in order to produce "lists" of instructions. A "tree"
|
529
|
+
// is one or more instructions that grow from one "root" instruction to one or
|
530
|
+
// more "leaf" instructions; if a "tree" has exactly one instruction, then the
|
531
|
+
// "root" is also the "leaf". In most cases, a "root" is the successor of some
|
532
|
+
// "leaf" (i.e. the "leaf" instruction's out() returns the "root" instruction)
|
533
|
+
// and is considered a "successor root". A "leaf" can be a ByteRange, Capture,
|
534
|
+
// EmptyWidth or Match instruction. However, this is insufficient for handling
|
535
|
+
// nested nullable subexpressions correctly, so in some cases, a "root" is the
|
536
|
+
// dominator of the instructions reachable from some "successor root" (i.e. it
|
537
|
+
// has an unreachable predecessor) and is considered a "dominator root". Since
|
538
|
+
// only Alt instructions can be "dominator roots" (other instructions would be
|
539
|
+
// "leaves"), only Alt instructions are required to be marked as predecessors.
|
540
|
+
//
|
541
|
+
// Dividing the Prog into "trees" comprises two passes: marking the "successor
|
542
|
+
// roots" and the predecessors; and marking the "dominator roots". Sorting the
|
543
|
+
// "successor roots" by their bytecode offsets enables iteration in order from
|
544
|
+
// greatest to least during the second pass; by working backwards in this case
|
545
|
+
// and flooding the graph no further than "leaves" and already marked "roots",
|
546
|
+
// it becomes possible to mark "dominator roots" without doing excessive work.
|
547
|
+
//
|
548
|
+
// Traversing the "trees" is just iterating over the "roots" in order of their
|
549
|
+
// marking and flooding the graph no further than "leaves" and "roots". When a
|
550
|
+
// "leaf" is reached, the instruction is copied with its successor remapped to
|
551
|
+
// its "root" number. When a "root" is reached, a Nop instruction is generated
|
552
|
+
// with its successor remapped similarly. As each "list" is produced, its last
|
553
|
+
// instruction is marked as such. After all of the "lists" have been produced,
|
554
|
+
// a pass over their instructions remaps their successors to bytecode offsets.
|
555
|
+
void Prog::Flatten() {
|
556
|
+
if (did_flatten_)
|
557
|
+
return;
|
558
|
+
did_flatten_ = true;
|
559
|
+
|
560
|
+
// Scratch structures. It's important that these are reused by functions
|
561
|
+
// that we call in loops because they would thrash the heap otherwise.
|
562
|
+
SparseSet reachable(size());
|
563
|
+
std::vector<int> stk;
|
564
|
+
stk.reserve(size());
|
565
|
+
|
566
|
+
// First pass: Marks "successor roots" and predecessors.
|
567
|
+
// Builds the mapping from inst-ids to root-ids.
|
568
|
+
SparseArray<int> rootmap(size());
|
569
|
+
SparseArray<int> predmap(size());
|
570
|
+
std::vector<std::vector<int>> predvec;
|
571
|
+
MarkSuccessors(&rootmap, &predmap, &predvec, &reachable, &stk);
|
572
|
+
|
573
|
+
// Second pass: Marks "dominator roots".
|
574
|
+
SparseArray<int> sorted(rootmap);
|
575
|
+
std::sort(sorted.begin(), sorted.end(), sorted.less);
|
576
|
+
for (SparseArray<int>::const_iterator i = sorted.end() - 1;
|
577
|
+
i != sorted.begin();
|
578
|
+
--i) {
|
579
|
+
if (i->index() != start_unanchored() && i->index() != start())
|
580
|
+
MarkDominator(i->index(), &rootmap, &predmap, &predvec, &reachable, &stk);
|
581
|
+
}
|
582
|
+
|
583
|
+
// Third pass: Emits "lists". Remaps outs to root-ids.
|
584
|
+
// Builds the mapping from root-ids to flat-ids.
|
585
|
+
std::vector<int> flatmap(rootmap.size());
|
586
|
+
std::vector<Inst> flat;
|
587
|
+
flat.reserve(size());
|
588
|
+
for (SparseArray<int>::const_iterator i = rootmap.begin();
|
589
|
+
i != rootmap.end();
|
590
|
+
++i) {
|
591
|
+
flatmap[i->value()] = static_cast<int>(flat.size());
|
592
|
+
EmitList(i->index(), &rootmap, &flat, &reachable, &stk);
|
593
|
+
flat.back().set_last();
|
594
|
+
// We have the bounds of the "list", so this is the
|
595
|
+
// most convenient point at which to compute hints.
|
596
|
+
ComputeHints(&flat, flatmap[i->value()], static_cast<int>(flat.size()));
|
597
|
+
}
|
598
|
+
|
599
|
+
list_count_ = static_cast<int>(flatmap.size());
|
600
|
+
for (int i = 0; i < kNumInst; i++)
|
601
|
+
inst_count_[i] = 0;
|
602
|
+
|
603
|
+
// Fourth pass: Remaps outs to flat-ids.
|
604
|
+
// Counts instructions by opcode.
|
605
|
+
for (int id = 0; id < static_cast<int>(flat.size()); id++) {
|
606
|
+
Inst* ip = &flat[id];
|
607
|
+
if (ip->opcode() != kInstAltMatch) // handled in EmitList()
|
608
|
+
ip->set_out(flatmap[ip->out()]);
|
609
|
+
inst_count_[ip->opcode()]++;
|
610
|
+
}
|
611
|
+
|
612
|
+
int total = 0;
|
613
|
+
for (int i = 0; i < kNumInst; i++)
|
614
|
+
total += inst_count_[i];
|
615
|
+
DCHECK_EQ(total, static_cast<int>(flat.size()));
|
616
|
+
|
617
|
+
// Remap start_unanchored and start.
|
618
|
+
if (start_unanchored() == 0) {
|
619
|
+
DCHECK_EQ(start(), 0);
|
620
|
+
} else if (start_unanchored() == start()) {
|
621
|
+
set_start_unanchored(flatmap[1]);
|
622
|
+
set_start(flatmap[1]);
|
623
|
+
} else {
|
624
|
+
set_start_unanchored(flatmap[1]);
|
625
|
+
set_start(flatmap[2]);
|
626
|
+
}
|
627
|
+
|
628
|
+
// Finally, replace the old instructions with the new instructions.
|
629
|
+
size_ = static_cast<int>(flat.size());
|
630
|
+
inst_ = PODArray<Inst>(size_);
|
631
|
+
memmove(inst_.data(), flat.data(), size_*sizeof inst_[0]);
|
632
|
+
|
633
|
+
// Populate the list heads for BitState.
|
634
|
+
// 512 instructions limits the memory footprint to 1KiB.
|
635
|
+
if (size_ <= 512) {
|
636
|
+
list_heads_ = PODArray<uint16_t>(size_);
|
637
|
+
// 0xFF makes it more obvious if we try to look up a non-head.
|
638
|
+
memset(list_heads_.data(), 0xFF, size_*sizeof list_heads_[0]);
|
639
|
+
for (int i = 0; i < list_count_; ++i)
|
640
|
+
list_heads_[flatmap[i]] = i;
|
641
|
+
}
|
642
|
+
}
|
643
|
+
|
644
|
+
void Prog::MarkSuccessors(SparseArray<int>* rootmap,
|
645
|
+
SparseArray<int>* predmap,
|
646
|
+
std::vector<std::vector<int>>* predvec,
|
647
|
+
SparseSet* reachable, std::vector<int>* stk) {
|
648
|
+
// Mark the kInstFail instruction.
|
649
|
+
rootmap->set_new(0, rootmap->size());
|
650
|
+
|
651
|
+
// Mark the start_unanchored and start instructions.
|
652
|
+
if (!rootmap->has_index(start_unanchored()))
|
653
|
+
rootmap->set_new(start_unanchored(), rootmap->size());
|
654
|
+
if (!rootmap->has_index(start()))
|
655
|
+
rootmap->set_new(start(), rootmap->size());
|
656
|
+
|
657
|
+
reachable->clear();
|
658
|
+
stk->clear();
|
659
|
+
stk->push_back(start_unanchored());
|
660
|
+
while (!stk->empty()) {
|
661
|
+
int id = stk->back();
|
662
|
+
stk->pop_back();
|
663
|
+
Loop:
|
664
|
+
if (reachable->contains(id))
|
665
|
+
continue;
|
666
|
+
reachable->insert_new(id);
|
667
|
+
|
668
|
+
Inst* ip = inst(id);
|
669
|
+
switch (ip->opcode()) {
|
670
|
+
default:
|
671
|
+
LOG(DFATAL) << "unhandled opcode: " << ip->opcode();
|
672
|
+
break;
|
673
|
+
|
674
|
+
case kInstAltMatch:
|
675
|
+
case kInstAlt:
|
676
|
+
// Mark this instruction as a predecessor of each out.
|
677
|
+
for (int out : {ip->out(), ip->out1()}) {
|
678
|
+
if (!predmap->has_index(out)) {
|
679
|
+
predmap->set_new(out, static_cast<int>(predvec->size()));
|
680
|
+
predvec->emplace_back();
|
681
|
+
}
|
682
|
+
(*predvec)[predmap->get_existing(out)].emplace_back(id);
|
683
|
+
}
|
684
|
+
stk->push_back(ip->out1());
|
685
|
+
id = ip->out();
|
686
|
+
goto Loop;
|
687
|
+
|
688
|
+
case kInstByteRange:
|
689
|
+
case kInstCapture:
|
690
|
+
case kInstEmptyWidth:
|
691
|
+
// Mark the out of this instruction as a "root".
|
692
|
+
if (!rootmap->has_index(ip->out()))
|
693
|
+
rootmap->set_new(ip->out(), rootmap->size());
|
694
|
+
id = ip->out();
|
695
|
+
goto Loop;
|
696
|
+
|
697
|
+
case kInstNop:
|
698
|
+
id = ip->out();
|
699
|
+
goto Loop;
|
700
|
+
|
701
|
+
case kInstMatch:
|
702
|
+
case kInstFail:
|
703
|
+
break;
|
704
|
+
}
|
705
|
+
}
|
706
|
+
}
|
707
|
+
|
708
|
+
void Prog::MarkDominator(int root, SparseArray<int>* rootmap,
|
709
|
+
SparseArray<int>* predmap,
|
710
|
+
std::vector<std::vector<int>>* predvec,
|
711
|
+
SparseSet* reachable, std::vector<int>* stk) {
|
712
|
+
reachable->clear();
|
713
|
+
stk->clear();
|
714
|
+
stk->push_back(root);
|
715
|
+
while (!stk->empty()) {
|
716
|
+
int id = stk->back();
|
717
|
+
stk->pop_back();
|
718
|
+
Loop:
|
719
|
+
if (reachable->contains(id))
|
720
|
+
continue;
|
721
|
+
reachable->insert_new(id);
|
722
|
+
|
723
|
+
if (id != root && rootmap->has_index(id)) {
|
724
|
+
// We reached another "tree" via epsilon transition.
|
725
|
+
continue;
|
726
|
+
}
|
727
|
+
|
728
|
+
Inst* ip = inst(id);
|
729
|
+
switch (ip->opcode()) {
|
730
|
+
default:
|
731
|
+
LOG(DFATAL) << "unhandled opcode: " << ip->opcode();
|
732
|
+
break;
|
733
|
+
|
734
|
+
case kInstAltMatch:
|
735
|
+
case kInstAlt:
|
736
|
+
stk->push_back(ip->out1());
|
737
|
+
id = ip->out();
|
738
|
+
goto Loop;
|
739
|
+
|
740
|
+
case kInstByteRange:
|
741
|
+
case kInstCapture:
|
742
|
+
case kInstEmptyWidth:
|
743
|
+
break;
|
744
|
+
|
745
|
+
case kInstNop:
|
746
|
+
id = ip->out();
|
747
|
+
goto Loop;
|
748
|
+
|
749
|
+
case kInstMatch:
|
750
|
+
case kInstFail:
|
751
|
+
break;
|
752
|
+
}
|
753
|
+
}
|
754
|
+
|
755
|
+
for (SparseSet::const_iterator i = reachable->begin();
|
756
|
+
i != reachable->end();
|
757
|
+
++i) {
|
758
|
+
int id = *i;
|
759
|
+
if (predmap->has_index(id)) {
|
760
|
+
for (int pred : (*predvec)[predmap->get_existing(id)]) {
|
761
|
+
if (!reachable->contains(pred)) {
|
762
|
+
// id has a predecessor that cannot be reached from root!
|
763
|
+
// Therefore, id must be a "root" too - mark it as such.
|
764
|
+
if (!rootmap->has_index(id))
|
765
|
+
rootmap->set_new(id, rootmap->size());
|
766
|
+
}
|
767
|
+
}
|
768
|
+
}
|
769
|
+
}
|
770
|
+
}
|
771
|
+
|
772
|
+
void Prog::EmitList(int root, SparseArray<int>* rootmap,
|
773
|
+
std::vector<Inst>* flat,
|
774
|
+
SparseSet* reachable, std::vector<int>* stk) {
|
775
|
+
reachable->clear();
|
776
|
+
stk->clear();
|
777
|
+
stk->push_back(root);
|
778
|
+
while (!stk->empty()) {
|
779
|
+
int id = stk->back();
|
780
|
+
stk->pop_back();
|
781
|
+
Loop:
|
782
|
+
if (reachable->contains(id))
|
783
|
+
continue;
|
784
|
+
reachable->insert_new(id);
|
785
|
+
|
786
|
+
if (id != root && rootmap->has_index(id)) {
|
787
|
+
// We reached another "tree" via epsilon transition. Emit a kInstNop
|
788
|
+
// instruction so that the Prog does not become quadratically larger.
|
789
|
+
flat->emplace_back();
|
790
|
+
flat->back().set_opcode(kInstNop);
|
791
|
+
flat->back().set_out(rootmap->get_existing(id));
|
792
|
+
continue;
|
793
|
+
}
|
794
|
+
|
795
|
+
Inst* ip = inst(id);
|
796
|
+
switch (ip->opcode()) {
|
797
|
+
default:
|
798
|
+
LOG(DFATAL) << "unhandled opcode: " << ip->opcode();
|
799
|
+
break;
|
800
|
+
|
801
|
+
case kInstAltMatch:
|
802
|
+
flat->emplace_back();
|
803
|
+
flat->back().set_opcode(kInstAltMatch);
|
804
|
+
flat->back().set_out(static_cast<int>(flat->size()));
|
805
|
+
flat->back().out1_ = static_cast<uint32_t>(flat->size())+1;
|
806
|
+
FALLTHROUGH_INTENDED;
|
807
|
+
|
808
|
+
case kInstAlt:
|
809
|
+
stk->push_back(ip->out1());
|
810
|
+
id = ip->out();
|
811
|
+
goto Loop;
|
812
|
+
|
813
|
+
case kInstByteRange:
|
814
|
+
case kInstCapture:
|
815
|
+
case kInstEmptyWidth:
|
816
|
+
flat->emplace_back();
|
817
|
+
memmove(&flat->back(), ip, sizeof *ip);
|
818
|
+
flat->back().set_out(rootmap->get_existing(ip->out()));
|
819
|
+
break;
|
820
|
+
|
821
|
+
case kInstNop:
|
822
|
+
id = ip->out();
|
823
|
+
goto Loop;
|
824
|
+
|
825
|
+
case kInstMatch:
|
826
|
+
case kInstFail:
|
827
|
+
flat->emplace_back();
|
828
|
+
memmove(&flat->back(), ip, sizeof *ip);
|
829
|
+
break;
|
830
|
+
}
|
831
|
+
}
|
832
|
+
}
|
833
|
+
|
834
|
+
// For each ByteRange instruction in [begin, end), computes a hint to execution
|
835
|
+
// engines: the delta to the next instruction (in flat) worth exploring iff the
|
836
|
+
// current instruction matched.
|
837
|
+
//
|
838
|
+
// Implements a coloring algorithm related to ByteMapBuilder, but in this case,
|
839
|
+
// colors are instructions and recoloring ranges precisely identifies conflicts
|
840
|
+
// between instructions. Iterating backwards over [begin, end) is guaranteed to
|
841
|
+
// identify the nearest conflict (if any) with only linear complexity.
|
842
|
+
void Prog::ComputeHints(std::vector<Inst>* flat, int begin, int end) {
|
843
|
+
Bitmap256 splits;
|
844
|
+
int colors[256];
|
845
|
+
|
846
|
+
bool dirty = false;
|
847
|
+
for (int id = end; id >= begin; --id) {
|
848
|
+
if (id == end ||
|
849
|
+
(*flat)[id].opcode() != kInstByteRange) {
|
850
|
+
if (dirty) {
|
851
|
+
dirty = false;
|
852
|
+
splits.Clear();
|
853
|
+
}
|
854
|
+
splits.Set(255);
|
855
|
+
colors[255] = id;
|
856
|
+
// At this point, the [0-255] range is colored with id.
|
857
|
+
// Thus, hints cannot point beyond id; and if id == end,
|
858
|
+
// hints that would have pointed to id will be 0 instead.
|
859
|
+
continue;
|
860
|
+
}
|
861
|
+
dirty = true;
|
862
|
+
|
863
|
+
// We recolor the [lo-hi] range with id. Note that first ratchets backwards
|
864
|
+
// from end to the nearest conflict (if any) during recoloring.
|
865
|
+
int first = end;
|
866
|
+
auto Recolor = [&](int lo, int hi) {
|
867
|
+
// Like ByteMapBuilder, we split at lo-1 and at hi.
|
868
|
+
--lo;
|
869
|
+
|
870
|
+
if (0 <= lo && !splits.Test(lo)) {
|
871
|
+
splits.Set(lo);
|
872
|
+
int next = splits.FindNextSetBit(lo+1);
|
873
|
+
colors[lo] = colors[next];
|
874
|
+
}
|
875
|
+
if (!splits.Test(hi)) {
|
876
|
+
splits.Set(hi);
|
877
|
+
int next = splits.FindNextSetBit(hi+1);
|
878
|
+
colors[hi] = colors[next];
|
879
|
+
}
|
880
|
+
|
881
|
+
int c = lo+1;
|
882
|
+
while (c < 256) {
|
883
|
+
int next = splits.FindNextSetBit(c);
|
884
|
+
// Ratchet backwards...
|
885
|
+
first = std::min(first, colors[next]);
|
886
|
+
// Recolor with id - because it's the new nearest conflict!
|
887
|
+
colors[next] = id;
|
888
|
+
if (next == hi)
|
889
|
+
break;
|
890
|
+
c = next+1;
|
891
|
+
}
|
892
|
+
};
|
893
|
+
|
894
|
+
Inst* ip = &(*flat)[id];
|
895
|
+
int lo = ip->lo();
|
896
|
+
int hi = ip->hi();
|
897
|
+
Recolor(lo, hi);
|
898
|
+
if (ip->foldcase() && lo <= 'z' && hi >= 'a') {
|
899
|
+
int foldlo = lo;
|
900
|
+
int foldhi = hi;
|
901
|
+
if (foldlo < 'a')
|
902
|
+
foldlo = 'a';
|
903
|
+
if (foldhi > 'z')
|
904
|
+
foldhi = 'z';
|
905
|
+
if (foldlo <= foldhi) {
|
906
|
+
foldlo += 'A' - 'a';
|
907
|
+
foldhi += 'A' - 'a';
|
908
|
+
Recolor(foldlo, foldhi);
|
909
|
+
}
|
910
|
+
}
|
911
|
+
|
912
|
+
if (first != end) {
|
913
|
+
uint16_t hint = static_cast<uint16_t>(std::min(first - id, 32767));
|
914
|
+
ip->hint_foldcase_ |= hint<<1;
|
915
|
+
}
|
916
|
+
}
|
917
|
+
}
|
918
|
+
|
919
|
+
#if defined(__AVX2__)
|
920
|
+
// Finds the least significant non-zero bit in n.
|
921
|
+
static int FindLSBSet(uint32_t n) {
|
922
|
+
DCHECK_NE(n, 0);
|
923
|
+
#if defined(__GNUC__)
|
924
|
+
return __builtin_ctz(n);
|
925
|
+
#elif defined(_MSC_VER) && (defined(_M_X64) || defined(_M_IX86))
|
926
|
+
unsigned long c;
|
927
|
+
_BitScanForward(&c, n);
|
928
|
+
return static_cast<int>(c);
|
929
|
+
#else
|
930
|
+
int c = 31;
|
931
|
+
for (int shift = 1 << 4; shift != 0; shift >>= 1) {
|
932
|
+
uint32_t word = n << shift;
|
933
|
+
if (word != 0) {
|
934
|
+
n = word;
|
935
|
+
c -= shift;
|
936
|
+
}
|
937
|
+
}
|
938
|
+
return c;
|
939
|
+
#endif
|
940
|
+
}
|
941
|
+
#endif
|
942
|
+
|
943
|
+
const void* Prog::PrefixAccel_FrontAndBack(const void* data, size_t size) {
|
944
|
+
DCHECK_GE(prefix_size_, 2);
|
945
|
+
if (size < prefix_size_)
|
946
|
+
return NULL;
|
947
|
+
// Don't bother searching the last prefix_size_-1 bytes for prefix_front_.
|
948
|
+
// This also means that probing for prefix_back_ doesn't go out of bounds.
|
949
|
+
size -= prefix_size_-1;
|
950
|
+
|
951
|
+
#if defined(__AVX2__)
|
952
|
+
// Use AVX2 to look for prefix_front_ and prefix_back_ 32 bytes at a time.
|
953
|
+
if (size >= sizeof(__m256i)) {
|
954
|
+
const __m256i* fp = reinterpret_cast<const __m256i*>(
|
955
|
+
reinterpret_cast<const char*>(data));
|
956
|
+
const __m256i* bp = reinterpret_cast<const __m256i*>(
|
957
|
+
reinterpret_cast<const char*>(data) + prefix_size_-1);
|
958
|
+
const __m256i* endfp = fp + size/sizeof(__m256i);
|
959
|
+
const __m256i f_set1 = _mm256_set1_epi8(prefix_front_);
|
960
|
+
const __m256i b_set1 = _mm256_set1_epi8(prefix_back_);
|
961
|
+
while (fp != endfp) {
|
962
|
+
const __m256i f_loadu = _mm256_loadu_si256(fp++);
|
963
|
+
const __m256i b_loadu = _mm256_loadu_si256(bp++);
|
964
|
+
const __m256i f_cmpeq = _mm256_cmpeq_epi8(f_set1, f_loadu);
|
965
|
+
const __m256i b_cmpeq = _mm256_cmpeq_epi8(b_set1, b_loadu);
|
966
|
+
const int fb_testz = _mm256_testz_si256(f_cmpeq, b_cmpeq);
|
967
|
+
if (fb_testz == 0) { // ZF: 1 means zero, 0 means non-zero.
|
968
|
+
const __m256i fb_and = _mm256_and_si256(f_cmpeq, b_cmpeq);
|
969
|
+
const int fb_movemask = _mm256_movemask_epi8(fb_and);
|
970
|
+
const int fb_ctz = FindLSBSet(fb_movemask);
|
971
|
+
return reinterpret_cast<const char*>(fp-1) + fb_ctz;
|
972
|
+
}
|
973
|
+
}
|
974
|
+
data = fp;
|
975
|
+
size = size%sizeof(__m256i);
|
976
|
+
}
|
977
|
+
#endif
|
978
|
+
|
979
|
+
const char* p0 = reinterpret_cast<const char*>(data);
|
980
|
+
for (const char* p = p0;; p++) {
|
981
|
+
DCHECK_GE(size, static_cast<size_t>(p-p0));
|
982
|
+
p = reinterpret_cast<const char*>(memchr(p, prefix_front_, size - (p-p0)));
|
983
|
+
if (p == NULL || p[prefix_size_-1] == prefix_back_)
|
984
|
+
return p;
|
985
|
+
}
|
986
|
+
}
|
987
|
+
|
988
|
+
} // namespace re2
|