Go Concurrency

From NovaOrdis Knowledge Base
Revision as of 18:25, 3 January 2024 by Ovidiu (talk | contribs) (→‎Patterns)
Jump to navigation Jump to search

Internal

Overview

The majority of languages address concurrency by providing a representation of O/S threads or green threads at language level, and providing memory access synchronization primitives to protect data in presence of concurrent access.

Go takes a different approach. The fundamental concurrent execution primitive is the goroutine, exposed by the language with the language keyword go. Goroutines are managed by the Go runtime, which maps them transparently onto threads. While Go provides memory access and thread synchronization primitives at the language level via the sync package, language guidelines do not exactly encourage their use, unless in very specific situations, such as within a small struct scope. Go provides an alternative concurrency programming model in language, based on Communicating Sequential Processes (CSP), a theoretical model introduced by A. Hoare in the "Communicating Sequential Processes" 1978 ACM paper. This concurrency programming model uses channels, which are exposed at language level with the chan keyword.

Goroutines

Goroutines

Channels

Channels

Memory Access and Thread Synchronization Primitives

The sync package provides memory access and thread synchronization primitives.

Memory Access Synchronization Primitives
Thread Synchronization Primitives

Patterns

Channel Composition Patterns