1
0
mirror of https://github.com/golang/go synced 2024-09-30 10:38:33 -06:00
go/src
Robert Findley ddd8bc1b07 go/types, types2: optimize instance lookup in LookupFieldOrMethod
LookupFieldOrMethod appears as a hotspot when benchmarking gopls'
auto-completion. In particular, instanceLookup.add was allocating in the
common case of structs with no embedding.

This is easily fixed, by using a small array in front of the map inside
of instanceLookup. Do this, and additionally add a microbenchmark.

The benchmark improvement is significant:

name                    old time/op    new time/op    delta
LookupFieldOrMethod-12     388µs ± 6%     154µs ± 3%  -60.36%  (p=0.000 n=10+10)

name                    old alloc/op   new alloc/op   delta
LookupFieldOrMethod-12     152kB ± 0%       2kB ± 0%  -98.77%  (p=0.000 n=9+10)

name                    old allocs/op  new allocs/op  delta
LookupFieldOrMethod-12     1.41k ± 0%     0.07k ± 0%  -95.38%  (p=0.000 n=10+10)

It should also be noted that instanceLookup is used elsewhere, in
particular by validType. In those contexts, the scope is not just the
current type but the entire package, and so the newly added buffer is
likely to simply cause extra Identical checks. Nevertheless, those
checks are cheap, and on balance the improved LookupFieldOrMethod
performance leads overall to improved type-checking performance.
Standard library benchmark results varied by package, but type checking
speed for many packages improved by ~5%, with allocations improved by
~10%. If this weren't the case we could let the caller control the
buffer size, but that optimization doesn't seem necessary at this time.

For example:

Check/http/funcbodies/noinfo-12            71.5ms ± 4%    67.3ms ± 2%   -5.90%  (p=0.000 n=20+20)
Check/http/funcbodies/noinfo-12              244k ± 0%      219k ± 0%  -10.36%  (p=0.000 n=19+19)

Updates golang/go#53992

Change-Id: I10b6deb3819ab562dbbe1913f12b977cf956dd50
Reviewed-on: https://go-review.googlesource.com/c/go/+/423935
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@google.com>
2022-10-13 15:31:35 +00:00
..
archive archive/tar: limit size of headers 2022-10-05 20:40:43 +00:00
arena arena: add experimental arena package 2022-10-12 20:23:36 +00:00
bufio bufio: use strings.Builder 2022-09-29 20:47:53 +00:00
builtin
bytes bytes,strings: optimize Repeat 2022-09-27 16:55:15 +00:00
cmd go/types, types2: optimize instance lookup in LookupFieldOrMethod 2022-10-13 15:31:35 +00:00
compress compress: remove useless break statement 2022-09-29 22:59:14 +00:00
container
context
crypto all: remove redundant type conversion 2022-10-06 04:37:00 +00:00
database/sql database: use bytes.Clone 2022-09-28 03:16:54 +00:00
debug debug/elf: validate phentsize and shentsize 2022-10-12 23:06:08 +00:00
embed
encoding all: remove redundant type conversion 2022-10-06 04:37:00 +00:00
errors errors, fmt: add support for wrapping multiple errors 2022-09-29 18:40:40 +00:00
expvar
flag flag: test IsBoolFlag when creating the usage message 2022-09-19 21:54:35 +00:00
fmt errors, fmt: add support for wrapping multiple errors 2022-09-29 18:40:40 +00:00
go go/types, types2: optimize instance lookup in LookupFieldOrMethod 2022-10-13 15:31:35 +00:00
hash hash/crc32: remove redundant code 2022-09-15 21:07:21 +00:00
html
image image/gif,image/jpeg,image/png: skip FuzzDecode in testing short mode 2022-09-27 15:57:34 +00:00
index/suffixarray
internal go/types, types2: better error if there's a field with the name of a missing method 2022-10-12 23:03:51 +00:00
io
log log/syslog: return nil directly 2022-10-03 08:59:45 +00:00
math math/big: error on buffer length overflow in Rat.GobDecode 2022-10-11 20:20:16 +00:00
mime mime/multipart: use %w when wrapping error in NextPart 2022-09-20 02:11:38 +00:00
net net/http: fix some test flakes caused by test refactoring 2022-10-12 18:11:14 +00:00
os os/signal: document behavior of SIGPIPE on non-Go thread 2022-10-12 22:55:31 +00:00
path path/filepath: optimize isReservedName 2022-09-23 04:34:52 +00:00
plugin
reflect arena: add experimental arena package 2022-10-12 20:23:36 +00:00
regexp regexp: limit size of parsed regexps 2022-10-05 20:39:49 +00:00
runtime arena: add experimental arena package 2022-10-12 20:23:36 +00:00
sort
strconv strconv: delete unused field 2022-09-30 01:40:34 +00:00
strings bytes,strings: optimize Repeat 2022-09-27 16:55:15 +00:00
sync sync/atomic: rename "ifaceWords" to "efaceWords" 2022-09-29 22:55:09 +00:00
syscall internal/poll, internal/syscall/unix, syscall: move writev definition for solaris 2022-10-07 16:48:38 +00:00
testdata
testing testing: add an example showcasing B.RunParallel with B.ReportMetric 2022-10-07 17:49:17 +00:00
text text/template/parse: fix confusion about markers near right delims 2022-09-23 15:03:43 +00:00
time time: add comment explaining >>33 in Now 2022-09-28 09:05:54 +00:00
unicode
unsafe
vendor all: update vendored golang.org/x/net 2022-09-21 15:07:53 +00:00
all.bash
all.bat
all.rc
bootstrap.bash
buildall.bash all: use grep -E/-F instead of fgrep/egrep 2022-10-06 21:22:22 +00:00
clean.bash
clean.bat
clean.rc
cmp.bash
go.mod all: update vendored golang.org/x/net 2022-09-21 15:07:53 +00:00
go.sum all: tidy std module 2022-09-21 20:59:10 +00:00
make.bash
make.bat
Make.dist
make.rc
race.bash
race.bat
README.vendor
run.bash
run.bat
run.rc

Vendoring in std and cmd
========================

The Go command maintains copies of external packages needed by the
standard library in the src/vendor and src/cmd/vendor directories.

In GOPATH mode, imports of vendored packages are resolved to these
directories following normal vendor directory logic
(see golang.org/s/go15vendor).

In module mode, std and cmd are modules (defined in src/go.mod and
src/cmd/go.mod). When a package outside std or cmd is imported
by a package inside std or cmd, the import path is interpreted
as if it had a "vendor/" prefix. For example, within "crypto/tls",
an import of "golang.org/x/crypto/cryptobyte" resolves to
"vendor/golang.org/x/crypto/cryptobyte". When a package with the
same path is imported from a package outside std or cmd, it will
be resolved normally. Consequently, a binary may be built with two
copies of a package at different versions if the package is
imported normally and vendored by the standard library.

Vendored packages are internally renamed with a "vendor/" prefix
to preserve the invariant that all packages have distinct paths.
This is necessary to avoid compiler and linker conflicts. Adding
a "vendor/" prefix also maintains the invariant that standard
library packages begin with a dotless path element.

The module requirements of std and cmd do not influence version
selection in other modules. They are only considered when running
module commands like 'go get' and 'go mod vendor' from a directory
in GOROOT/src.

Maintaining vendor directories
==============================

Before updating vendor directories, ensure that module mode is enabled.
Make sure GO111MODULE=off is not set ('on' or 'auto' should work).

Requirements may be added, updated, and removed with 'go get'.
The vendor directory may be updated with 'go mod vendor'.
A typical sequence might be:

    cd src
    go get -d golang.org/x/net@latest
    go mod tidy
    go mod vendor

Use caution when passing '-u' to 'go get'. The '-u' flag updates
modules providing all transitively imported packages, not only
the module providing the target package.

Note that 'go mod vendor' only copies packages that are transitively
imported by packages in the current module. If a new package is needed,
it should be imported before running 'go mod vendor'.