Go at Google

Pike, Rob

doi:10.1145/2384716.2384720

Cited by 17 publications

(11 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Go [32] is a statically typed, compiled systems programming language in the tradition of C and C++. One of the more well-known features of Go is the built-in support for channel-based concurrency, where channels are first-class objects and integrated in the core language design.…”

Section: The Go Programming Languagementioning

confidence: 99%

See 1 more Smart Citation

Static deadlock detection for concurrent go by global session graph synthesis

Yoshida

2016

Proceedings of the 25th International Conference on Compiler Construction

View full text Add to dashboard Cite

Go is a programming language developed at Google, with channelbased concurrent features based on CSP. Go can detect global communication deadlocks at runtime when all threads of execution are blocked, but deadlocks in other paths of execution could be undetected. We present a new static analyser for concurrent Go code to find potential communication errors such as communication mismatch and deadlocks at compile time. Our tool extracts the communication operations as session types, which are then converted into Communicating Finite State Machines (CFSMs). Finally, we apply a recent theoretical result on choreography synthesis to generate a global graph representing the overall communication pattern of a concurrent program. If the synthesis is successful, then the program is free from communication errors.We have implemented the technique in a tool, and applied it to analyse common Go concurrency patterns and an open source application with over 700 lines of code.

show abstract

Section: The Go Programming Languagementioning

confidence: 99%

“…The Go programming language [32] from Google takes a different approach and supports concurrency as a fundamental part of the language, with a channel-based concurrency model inspired by CSP. As a result of the design, Go offers a high-level, compositional way of constructing concurrent applications.…”

Section: Introductionmentioning

confidence: 99%

Static deadlock detection for concurrent go by global session graph synthesis

Yoshida

2016

Proceedings of the 25th International Conference on Compiler Construction

View full text Add to dashboard Cite

show abstract

“…Performance considerations. In general, Golo exhibits good performance on function and method dispatch 4 . Figure 3 shows the results of a micro-benchmark based on applying the usual filter, map and reduce operations on collections.…”

Section: Ahead-of-time Compilation Based On Jsr 292mentioning

confidence: 99%

“…• higher-order functions and binding to Java singlemethod and functional interfaces, • tuples and structures (augmenting the later is reminiscent of Go-style objects [4]),…”

Section: Introductionmentioning

confidence: 99%

Opportunities for a Truffle-based Golo Interpreter

Ponge¹,

Mouël²,

Stouls³

et al. 2015

Preprint

View full text Add to dashboard Cite

Golo is a simple dynamically-typed language for the Java Virtual Machine.Initially implemented as a ahead-of-time compiler to JVM bytecode, it leverages invokedynamic and JSR 292 method handles to implement a reasonably efficient runtime. Truffle is emerging as a framework for building interpreters for JVM languages with self-specializing AST nodes. Combined with the Graal compiler, Truffle offers a simple path towards writing efficient interpreters while keeping the engineering efforts balanced. The Golo project is interested in experimenting with a Truffle interpreter in the future, as it would provides interesting comparison elements between invokedynamic versus Truffle for building a language runtime.

show abstract

“…GSio is implemented using the Go programming language (Pike, 2012). Go provides a programming model that simplifies writing concurrent programmes.…”

Section: Gsiomentioning

confidence: 99%

GSio: A programmatic interface for delivering Big Earth data-as-a-service

et al. 2017

View full text Add to dashboard Cite

In this paper, we present GSio, a software system for serving geospatial raster or gridded Big Earth Data at scale. GSio allows different scientific communities to consume geospatial analysis ready data. It provides a generic interface to the data, which removes the need to interact with individual files, and can interoperate with existing geospatial collections hosted on data centres and public clouds. A distributed compute model is used to read and transform the data in parallel using a cluster of compute nodes for delivering data as a service to users. Several use cases are presented demonstrating different scenarios where this service has been used.

show abstract

Go at Google

Cited by 17 publications

References 0 publications

Static deadlock detection for concurrent go by global session graph synthesis

Static deadlock detection for concurrent go by global session graph synthesis

Opportunities for a Truffle-based Golo Interpreter

GSio: A programmatic interface for delivering Big Earth data-as-a-service

Contact Info

Product

Resources

About