diff options
author | Heschi Kreinick <heschi@google.com> | 2020-07-16 17:37:12 -0400 |
---|---|---|
committer | Heschi Kreinick <heschi@google.com> | 2020-07-28 17:34:46 +0000 |
commit | 72051f796149b570577cd7e666ea968b19e0745d (patch) | |
tree | dc6b595b64a773740705702c10398be2c6092099 /internal/lsp/cache/parse.go | |
parent | 60da08ac03ae07aa593c7265fab148d460d301f5 (diff) | |
download | golang-x-tools-72051f796149b570577cd7e666ea968b19e0745d.tar.gz |
internal/lsp: pass snapshot/view to memoize.Functions
Due to the runtime's inability to collect cycles involving finalizers,
we can't close over handles in memoize.Functions without causing memory
leaks. Up until now we've dealt with that by closing over all the bits
of the snapshot that we want, but it distorts the design of all the code
used in the Functions.
We can solve the problem another way: instead of closing over the
snapshot/view, we can force the caller to pass it in. This is somewhat
scary: there is no requirement that the argument matches the data that
we're working with. But the reality is that this is not a new problem:
the Function used to calculate a cache value is not necessarily the one
that the caller expects. As long as the cache key fully identifies all
the inputs to the Function, the output should be correct. And since the
caller used the snapshot/view to calculate that cache key, it should
always be safe to pass in that snapshot/view. If it's not, then we
already had a bug.
The Arg type in memoize is clumsy, but I thought it would be nice to
have at least a little bit of type safety. I'm open to suggestions.
Change-Id: I23f546638b0c66a4698620a986949087211f4762
Reviewed-on: https://go-review.googlesource.com/c/tools/+/244019
Reviewed-by: Robert Findley <rfindley@google.com>
Reviewed-by: Rebecca Stambler <rstambler@golang.org>
Diffstat (limited to 'internal/lsp/cache/parse.go')
-rw-r--r-- | internal/lsp/cache/parse.go | 49 |
1 files changed, 26 insertions, 23 deletions
diff --git a/internal/lsp/cache/parse.go b/internal/lsp/cache/parse.go index d5165ba56..04a78bdfe 100644 --- a/internal/lsp/cache/parse.go +++ b/internal/lsp/cache/parse.go @@ -65,18 +65,21 @@ func (c *Cache) parseGoHandle(ctx context.Context, fh source.FileHandle, mode so file: fh.Identity(), mode: mode, } - fset := c.fset - h := c.store.Bind(key, func(ctx context.Context) interface{} { - return parseGo(ctx, fset, fh, mode) + parseHandle := c.store.Bind(key, func(ctx context.Context, arg memoize.Arg) interface{} { + view := arg.(*View) + return parseGo(ctx, view.session.cache.fset, fh, mode) + }) + + astHandle := c.store.Bind(astCacheKey(key), func(ctx context.Context, arg memoize.Arg) interface{} { + view := arg.(*View) + return buildASTCache(ctx, view, parseHandle) }) return &parseGoHandle{ - handle: h, - file: fh, - mode: mode, - astCacheHandle: c.store.Bind(astCacheKey(key), func(ctx context.Context) interface{} { - return buildASTCache(ctx, h) - }), + handle: parseHandle, + file: fh, + mode: mode, + astCacheHandle: astHandle, } } @@ -92,20 +95,20 @@ func (pgh *parseGoHandle) Mode() source.ParseMode { return pgh.mode } -func (pgh *parseGoHandle) Parse(ctx context.Context) (*ast.File, []byte, *protocol.ColumnMapper, error, error) { - data, err := pgh.parse(ctx) +func (pgh *parseGoHandle) Parse(ctx context.Context, v source.View) (*ast.File, []byte, *protocol.ColumnMapper, error, error) { + data, err := pgh.parse(ctx, v.(*View)) if err != nil { return nil, nil, nil, nil, err } return data.ast, data.src, data.mapper, data.parseError, data.err } -func (pgh *parseGoHandle) parse(ctx context.Context) (*parseGoData, error) { - v, err := pgh.handle.Get(ctx) +func (pgh *parseGoHandle) parse(ctx context.Context, v *View) (*parseGoData, error) { + d, err := pgh.handle.Get(ctx, v) if err != nil { return nil, err } - data, ok := v.(*parseGoData) + data, ok := d.(*parseGoData) if !ok { return nil, errors.Errorf("no parsed file for %s", pgh.File().URI()) } @@ -129,13 +132,13 @@ func (pgh *parseGoHandle) cached() (*parseGoData, error) { return data, nil } -func (pgh *parseGoHandle) PosToDecl(ctx context.Context) (map[token.Pos]ast.Decl, error) { - v, err := pgh.astCacheHandle.Get(ctx) +func (pgh *parseGoHandle) PosToDecl(ctx context.Context, v source.View) (map[token.Pos]ast.Decl, error) { + d, err := pgh.astCacheHandle.Get(ctx, v.(*View)) if err != nil || v == nil { return nil, err } - data := v.(*astCacheData) + data := d.(*astCacheData) if data.err != nil { return nil, data.err } @@ -143,13 +146,13 @@ func (pgh *parseGoHandle) PosToDecl(ctx context.Context) (map[token.Pos]ast.Decl return data.posToDecl, nil } -func (pgh *parseGoHandle) PosToField(ctx context.Context) (map[token.Pos]*ast.Field, error) { - v, err := pgh.astCacheHandle.Get(ctx) - if err != nil || v == nil { +func (pgh *parseGoHandle) PosToField(ctx context.Context, v source.View) (map[token.Pos]*ast.Field, error) { + d, err := pgh.astCacheHandle.Get(ctx, v.(*View)) + if err != nil || d == nil { return nil, err } - data := v.(*astCacheData) + data := d.(*astCacheData) if data.err != nil { return nil, data.err } @@ -168,7 +171,7 @@ type astCacheData struct { // buildASTCache builds caches to aid in quickly going from the typed // world to the syntactic world. -func buildASTCache(ctx context.Context, parseHandle *memoize.Handle) *astCacheData { +func buildASTCache(ctx context.Context, view *View, parseHandle *memoize.Handle) *astCacheData { var ( // path contains all ancestors, including n. path []ast.Node @@ -176,7 +179,7 @@ func buildASTCache(ctx context.Context, parseHandle *memoize.Handle) *astCacheDa decls []ast.Decl ) - v, err := parseHandle.Get(ctx) + v, err := parseHandle.Get(ctx, view) if err != nil || v == nil || v.(*parseGoData).ast == nil { return &astCacheData{err: err} } |