How does multiple core shared memory work?

Very interesting architecture and I wish you guys success.

While I was listening to the memory architecture discussion and the fascinating talking points about backless memory, the one sticking point to me seems to be multi core execution. For cores on the same physical package perhaps this isn’t so hard as they both could access the same cache. However, what about a server with cores on separate packages sharing memory?

Would you do something like require the current accessor of shared memory to do a forced eviction/write back? Wouldn’t that be hard for the language/compiler as often it isn’t always clear that something is shared memory since most shared memory application rely on the forced writeback to achieve correct operation. In the pathological example, you could have a lock that wraps multiple levels of memory indirection (Hash map for example). The map may not know that its data is being accessed by multiple threads and the compiler might not be able to ensure that the map is protected properly (assuming the map is in something like a dynamic/static library).