freenode/#sicl - IRC Chatlog
Search
14:42:37
beach
I don't understand the paragraph that starts with "All synchronization operations in a program take place in a consistent total order"
14:44:55
Bike
yeah, i definitely need to start with a better explanation. let me try to sketch something out quickly
14:45:51
Bike
"operations" here doesn't mean, like, in the code. If you have a (with-lock ...) somewhere, it can be evaluated zero or more times, and each time it's evaluated constitutes one acquire operation.
14:47:29
Bike
Like intuitively, if you're explaining what with-lock does, what you're saying is that the evaluation of any with-lock form with a given lock does NOT take place simultaneously with any other evaluation of a with-lock form with that lock
14:47:53
Bike
or phrased differently, that any with-lock form for that lock definitely takes place either before or after any other such evaluation
14:48:36
Bike
yeah, sorry. this is all very hard to understand and I think I kind of retreated to formalism.
14:50:42
Bike
"or phrased differently, that any _evaluation of a_ with-lock form for that lock definitely takes place either before or after any other such evaluation"
14:54:32
Bike
and if i needed to program with concurrency more i'd continue being confused as my programs didn't work, i'm sure
14:55:09
beach
By the way, the reason I keep forgetting to read stuff that I started to read is that I am counting on the documents being opened, but then my computer crashes regularly, and I can't remember that I had them open.
14:55:53
beach
Bike: I think this document would be a very valuable addition to the standard. Totally in the spirit of WSCL.
14:57:54
beach
All the others basically said "you tell me what components you want", and that would be a lot of work for me.
15:04:50
beach
But if I can get a good parts list, I can give it to any assembler in the neighborhood.
15:07:56
beach
I want to be able to drive my 3 monitors, but I am not doing gaming, so it doesn't have to be high performance.
15:09:48
shka_
and yes, that integrated GPU can handle 3 displays, i ran such setup at the office for a time
15:13:11
aeth
Well, lots of high-end CPUs don't have integrated GPUs anymore, so plenty of people "need" a GPU even if they're not doing gaming or machine learning.
15:21:30
aeth
Last I checked, AMD's 12 cores seems to be the sweet spot in terms of good per-core performance and having plenty of cores for things that thread well, while not being too overpriced.
15:22:18
aeth
Depending on your high end, since they do go up to 64 cores, and maybe more in a few years.
19:49:49
Bike
https://gist.github.com/Bike/e587d9f6dcfb4c50936d61c4bc150398 i wrote out (much of) how i'd explain atomics but it's more like a tutorial than a standard, so i'll have to pare that down