{"id":19579,"date":"2022-11-07T03:51:45","date_gmt":"2022-11-06T22:21:45","guid":{"rendered":"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/"},"modified":"2022-11-07T03:51:45","modified_gmt":"2022-11-06T22:21:45","slug":"solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex","status":"publish","type":"post","link":"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/","title":{"rendered":"[Solved] What happens when reading or writing concurrently without a mutex"},"content":{"rendered":"

[ad_1]
\n<\/p>\n

\n
\n
<\/div>\n
\n
\n
\n

However, in some cases I am just interested in the latest value of a variable or field of an object.<\/p>\n<\/blockquote>\n

Here is the fundamental problem: What does the word “latest” mean?<\/p>\n

Suppoose that, mathematically speaking, we have a sequence of values Xi<\/sub><\/em>, with 0 <= i < N<\/em>. Then obviously Xj<\/sub><\/em> is “later than” Xi<\/sub><\/em> if j > i<\/em>. That’s a nice simple definition of “latest” and is probably the one you want.<\/p>\n

But when two separate CPUs within a single machine\u2014including two goroutines in a Go program\u2014are working at the same time<\/em>, time itself loses meaning<\/strong>. We cannot say whether i < j, i == j, or i > j. So there is no correct definition for the word latest<\/em>.<\/p>\n

To solve this kind of problem, modern CPU hardware, and Go as a programming language, gives us certain synchronization primitives<\/em>. If CPUs A and B execute memory fence instructions, or synchronization instructions, or use whatever other hardware provisions exist, the CPUs (and\/or some external hardware) will insert whatever is required for the notion of “time” to regain its meaning. That is, if the CPU uses barrier instructions, we can say that a memory load or store that was executed before<\/em> the barrier is a “before” and a memory load or store that is executed after<\/em> the barrier is an “after”.<\/p>\n

(The actual implementation, in some modern hardware, consists of load and store buffers that can rearrange the order in which loads and stores go to memory. The barrier instruction either synchronizes the buffers, or places an actual barrier in them, so that loads and stores cannot move across the barrier. This particular concrete implementation gives an easy way to think about the problem, but isn’t complete: you should think of time as simply not existing<\/em> outside the hardware-provided synchronization, i.e., all<\/em> loads from, and stores to, some location are happening simultaneously, rather than in some sequential order, except for these barriers.)<\/p>\n

In any case, Go’s sync<\/code> package gives you a simple high level access method to these kinds of barriers. Compiled code that executes before a mutex Lock<\/code> call really does complete before<\/em> the lock function returns, and the code that executes after the call really does not start until after<\/em> the lock function returns.<\/p>\n

Go’s channels provide the same kinds of before\/after time guarantees.<\/p>\n

Go’s sync\/atomic<\/code> package provides much lower level guarantees. In general you should avoid this in favor of the higher level channel or sync.Mutex<\/code> style guarantees. (Edit to add note: You could<\/em> use sync\/atomic<\/code>‘s Pointer<\/code> operations here, but not with the string<\/code> type directly, as Go strings are actually implemented as a header containing two separate values: a pointer, and a length. You could solve this with another layer of indirection, by updating a pointer that points to the string<\/code> object. But before you even consider doing that, you should benchmark the use of the language’s preferred methods and verify that these are a problem, because code that works at the sync\/atomic<\/code> level is hard to write and hard to debug.)<\/p>\n<\/p><\/div>\n

<\/div>\n<\/div>\n

10<\/span> <\/p><\/div>\n<\/div>\n

[ad_2]<\/p>\n

solved What happens when reading or writing concurrently without a mutex <\/p>\n","protected":false},"excerpt":{"rendered":"

[ad_1] However, in some cases I am just interested in the latest value of a variable or field of an object. Here is the fundamental problem: What does the word “latest” mean? Suppoose that, mathematically speaking, we have a sequence of values Xi, with 0 <= i < N. Then obviously Xj is “later than” … Read more<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[320],"tags":[4646,929,596,4645,4414],"class_list":["post-19579","post","type-post","status-publish","format-standard","hentry","category-solved","tag-atomic","tag-concurrency","tag-go","tag-mutex","tag-shared-memory"],"yoast_head":"\n[Solved] What happens when reading or writing concurrently without a mutex - JassWeb<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"[Solved] What happens when reading or writing concurrently without a mutex - JassWeb\" \/>\n<meta property=\"og:description\" content=\"[ad_1] However, in some cases I am just interested in the latest value of a variable or field of an object. Here is the fundamental problem: What does the word “latest” mean? Suppoose that, mathematically speaking, we have a sequence of values Xi, with 0 <= i < N. Then obviously Xj is “later than” ... Read more\" \/>\n<meta property=\"og:url\" content=\"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/\" \/>\n<meta property=\"og:site_name\" content=\"JassWeb\" \/>\n<meta property=\"article:published_time\" content=\"2022-11-06T22:21:45+00:00\" \/>\n<meta name=\"author\" content=\"Kirat\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Kirat\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/\"},\"author\":{\"name\":\"Kirat\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31\"},\"headline\":\"[Solved] What happens when reading or writing concurrently without a mutex\",\"datePublished\":\"2022-11-06T22:21:45+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/\"},\"wordCount\":531,\"publisher\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#organization\"},\"keywords\":[\"atomic\",\"concurrency\",\"go\",\"mutex\",\"shared-memory\"],\"articleSection\":[\"Solved\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/\",\"url\":\"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/\",\"name\":\"[Solved] What happens when reading or writing concurrently without a mutex - JassWeb\",\"isPartOf\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#website\"},\"datePublished\":\"2022-11-06T22:21:45+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/jassweb.com\/solved\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"[Solved] What happens when reading or writing concurrently without a mutex\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/jassweb.com\/solved\/#website\",\"url\":\"https:\/\/jassweb.com\/solved\/\",\"name\":\"JassWeb\",\"description\":\"Build High-quality Websites\",\"publisher\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/jassweb.com\/solved\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/jassweb.com\/solved\/#organization\",\"name\":\"Jass Web\",\"url\":\"https:\/\/jassweb.com\/solved\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png\",\"contentUrl\":\"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png\",\"width\":693,\"height\":132,\"caption\":\"Jass Web\"},\"image\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31\",\"name\":\"Kirat\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750\",\"contentUrl\":\"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750\",\"caption\":\"Kirat\"},\"sameAs\":[\"http:\/\/jassweb.com\"],\"url\":\"https:\/\/jassweb.com\/solved\/author\/jaspritsinghghumangmail-com\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"[Solved] What happens when reading or writing concurrently without a mutex - JassWeb","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/","og_locale":"en_US","og_type":"article","og_title":"[Solved] What happens when reading or writing concurrently without a mutex - JassWeb","og_description":"[ad_1] However, in some cases I am just interested in the latest value of a variable or field of an object. Here is the fundamental problem: What does the word “latest” mean? Suppoose that, mathematically speaking, we have a sequence of values Xi, with 0 <= i < N. Then obviously Xj is “later than” ... Read more","og_url":"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/","og_site_name":"JassWeb","article_published_time":"2022-11-06T22:21:45+00:00","author":"Kirat","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Kirat","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/#article","isPartOf":{"@id":"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/"},"author":{"name":"Kirat","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31"},"headline":"[Solved] What happens when reading or writing concurrently without a mutex","datePublished":"2022-11-06T22:21:45+00:00","mainEntityOfPage":{"@id":"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/"},"wordCount":531,"publisher":{"@id":"https:\/\/jassweb.com\/solved\/#organization"},"keywords":["atomic","concurrency","go","mutex","shared-memory"],"articleSection":["Solved"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/","url":"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/","name":"[Solved] What happens when reading or writing concurrently without a mutex - JassWeb","isPartOf":{"@id":"https:\/\/jassweb.com\/solved\/#website"},"datePublished":"2022-11-06T22:21:45+00:00","breadcrumb":{"@id":"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/jassweb.com\/solved\/solved-what-happens-when-reading-or-writing-concurrently-without-a-mutex\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/jassweb.com\/solved\/"},{"@type":"ListItem","position":2,"name":"[Solved] What happens when reading or writing concurrently without a mutex"}]},{"@type":"WebSite","@id":"https:\/\/jassweb.com\/solved\/#website","url":"https:\/\/jassweb.com\/solved\/","name":"JassWeb","description":"Build High-quality Websites","publisher":{"@id":"https:\/\/jassweb.com\/solved\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/jassweb.com\/solved\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/jassweb.com\/solved\/#organization","name":"Jass Web","url":"https:\/\/jassweb.com\/solved\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/","url":"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png","contentUrl":"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png","width":693,"height":132,"caption":"Jass Web"},"image":{"@id":"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31","name":"Kirat","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/person\/image\/","url":"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750","contentUrl":"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750","caption":"Kirat"},"sameAs":["http:\/\/jassweb.com"],"url":"https:\/\/jassweb.com\/solved\/author\/jaspritsinghghumangmail-com\/"}]}},"_links":{"self":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/posts\/19579","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/comments?post=19579"}],"version-history":[{"count":0,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/posts\/19579\/revisions"}],"wp:attachment":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/media?parent=19579"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/categories?post=19579"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/tags?post=19579"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}