{"published":"2012-06-15 00:00:00","title":"POSIX\u30e1\u30e2\u30ea\u30e2\u30c7\u30eb\uff1f","provider_url":"https://hatena.blog","categories":["POSIX"],"provider_name":"Hatena Blog","blog_title":"yohhoy\u306e\u65e5\u8a18","width":"100%","blog_url":"https://yohhoy.hatenadiary.jp/","image_url":null,"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyohhoy.hatenadiary.jp%2Fentry%2F20120615%2Fp1\" title=\"POSIX\u30e1\u30e2\u30ea\u30e2\u30c7\u30eb\uff1f - yohhoy\u306e\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_url":"https://blog.hatena.ne.jp/yohhoy/","version":"1.0","author_name":"yohhoy","description":"POSIX\u898f\u683c\uff08IEEE Std 1003.1-2001\uff09\u3067\u306f\u5b9a\u5f0f\u5316\u3055\u308c\u305f\u30e1\u30e2\u30ea\u30e2\u30c7\u30eb\u3092\u5b9a\u7fa9\u3057\u306a\u3044\u3002 A.4.10 Memory Synchronization Formal definitions of the memory model were rejected as unreadable by the vast majority of programmers. In addition, most of the formal work in the literature has concentrated on the memory as provided by the hardware a\u2026","height":"190","url":"https://yohhoy.hatenadiary.jp/entry/20120615/p1","type":"rich"}