Hi people. I have just stumbled upon TLA+ and it has opened my eyes to formal verification. I am doing a project now where I am using a microcontroller from XMOS. They have a really interesting architecture which can be thought of as SMP with communication through a dedicated interconnect that can support up to 4 concurrent links. Their biggest MCU has 32 such parallel "cores" (Actually it has only 4 physical cores each with fine-grained multithreading allowing 8 threads to be run concurrently).
Anyhow. I would like to formally verify that our system ( a bunch of cores commuicating over the interconnect) has certain properties, e.g. liveness, throughput, latency. Could TLA+ be a good fit for this?
What makes me doubtful is that if I define a separate process for each SMP core, then TLC will test out ANY interleaving schedule of the steps within possibly these processes. But in fact, on my system, they are running in parallel, e.g. there is no "schedule". Of course when they communicate they do so using a limited, possible unreliable, shared resource (the interconnect).
I guess that you could work around this by e.g. creating a variable for "clock-ticks" and forcing the processes to progress in lock-step. But it got me thinking that maybe TLA+ was not the right approach for this. I am vaguely familiar with CSP/FDR which could be a better approach. What do you think?
We are probably years away from SMP but it still amazes me what RISC OS can do with a single core, the low RAM usage as well. It is probably the more efficient OS to of ever been conceived that boots to a very graphical environment.
Hello all. I'm trying to download IBM i 5770-SS1 DB2 Symmetric Multiprocessing for IBM i 7.2 but can't seem to find it on ESS on My Software Downloads. Any help would be appreciated. Thanks!
The TRCIKIEST thing about this course is that there's 700+ pages of content and you're somewhat expected to know a little bit of everything. Not to mention, it seems like everyone took a different path on passing this course, nothing is linear. Also, everyone in the course chatter seems to have failed the OA 2-3 times which scared me. But, do not fear! This course is not as scary as it seems! I like this class a LOT more than C952, it's way more organized.
To save time and knowledge, please take C952 before this course. This course expands a lot of C952's topics and you could save a lot of time.
❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤ ❤
Step 0 (meaning optional): Take the Pre-A first. Not required, it's my recommendation. However, do not look at the answers. Just see where you are and get a feel for the questions. Obviously, if you're new to the subject, that's okay. I'd recommend to try not to guess on answers either, be honest with yourself. If you know the question, choose the answer. If not, just leave it blank. That way, you'll get the most accurate knowledge on what you know.
Step 1: Read the abridged textbook OR read the textbook. In the beginning, try to read through the WHOLE book, either the abridged or actual textbook. You can find the abridged book in the course chatter. Make sure to stick to one. Don't try to switch back and forth. I did this and wasted a ton of time, just pick one and stick with it.
- If you're interested in this subject, I'd recommend the actual textbook. It's really not that bad and has a ton of good explanations. The abridged is alright, but it cuts off a ton of sentences and the formatting is really strange.
- If you're on a time crunch and just want to pass (or have no interest
like me), I'd recommend the abridged book. It's MUCH shorter (only around 300 pages). It might not be the best, but it'll still do.
Tip: If you don't understand a concept right away, THAT'S OKAY! Just keep moving forward, don't try to understand all of this 100%, that'll come later, trust me.
Step 2: Take the Pre-A again. I know what you're thinking: But, TeaFlower, I hardly remember ANYTHING, I'll surely fail this a second time. And that's okay too. This time, though, is when you can look at the answers.
Step 3: Review Pre-A. This is where it gets a little "tricky" for some. However, if you've watched Jim Ashe's pre-assessment review on C952, you'll know wher
... keep reading on reddit ➡I don't want to step on anybody's toes here, but the amount of non-dad jokes here in this subreddit really annoys me. First of all, dad jokes CAN be NSFW, it clearly says so in the sub rules. Secondly, it doesn't automatically make it a dad joke if it's from a conversation between you and your child. Most importantly, the jokes that your CHILDREN tell YOU are not dad jokes. The point of a dad joke is that it's so cheesy only a dad who's trying to be funny would make such a joke. That's it. They are stupid plays on words, lame puns and so on. There has to be a clever pun or wordplay for it to be considered a dad joke.
Again, to all the fellow dads, I apologise if I'm sounding too harsh. But I just needed to get it off my chest.
The doctor says it terminal.
Alot of great jokes get posted here! However just because you have a joke, doesn't mean it's a dad joke.
THIS IS NOT ABOUT NSFW, THIS IS ABOUT LONG JOKES, BLONDE JOKES, SEXUAL JOKES, KNOCK KNOCK JOKES, POLITICAL JOKES, ETC BEING POSTED IN A DAD JOKE SUB
Try telling these sexual jokes that get posted here, to your kid and see how your spouse likes it.. if that goes well, Try telling one of your friends kid about your sex life being like Coca cola, first it was normal, than light and now zero , and see if the parents are OK with you telling their kid the "dad joke"
I'm not even referencing the NSFW, I'm saying Dad jokes are corny, and sometimes painful, not sexual
So check out r/jokes for all types of jokes
r/unclejokes for dirty jokes
r/3amjokes for real weird and alot of OC
r/cleandadjokes If your really sick of seeing not dad jokes in r/dadjokes
Punchline !
Edit: this is not a post about NSFW , This is about jokes, knock knock jokes, blonde jokes, political jokes etc being posted in a dad joke sub
Edit 2: don't touch the thermostat
Do your worst!
How the hell am I suppose to know when it’s raining in Sweden?
We told her she can lean on us for support. Although, we are going to have to change her driver's license, her height is going down by a foot. I don't want to go too far out on a limb here but it better not be a hack job.
Ants don’t even have the concept fathers, let alone a good dad joke. Keep r/ants out of my r/dadjokes.
But no, seriously. I understand rule 7 is great to have intelligent discussion, but sometimes it feels like 1 in 10 posts here is someone getting upset about the jokes on this sub. Let the mods deal with it, they regulate the sub.
They were cooked in Greece.
I'm surprised it hasn't decade.
He lost May
Now that I listen to albums, I hardly ever leave the house.
Don't you know a good pun is its own reword?
Two muffins are in an oven, one muffin looks at the other and says "is it just me, or is it hot in here?"
Then the other muffin says "AHH, TALKING MUFFIN!!!"
For context I'm a Refuse Driver (Garbage man) & today I was on food waste. After I'd tipped I was checking the wagon for any defects when I spotted a lone pea balanced on the lifts.
I said "hey look, an escaPEA"
No one near me but it didn't half make me laugh for a good hour or so!
Edit: I can't believe how much this has blown up. Thank you everyone I've had a blast reading through the replies 😂
It really does, I swear!
And now I’m cannelloni
Because she wanted to see the task manager.
But that’s comparing apples to oranges
And boy are my arms legs.
Put it on my bill
Heard they've been doing some shady business.
but then I remembered it was ground this morning.
Edit: Thank you guys for the awards, they're much nicer than the cardboard sleeve I've been using and reassures me that my jokes aren't stale
Edit 2: I have already been made aware that Men In Black 3 has told a version of this joke before. If the joke is not new to you, please enjoy any of the single origin puns in the comments
They’re on standbi
A play on words.
Calcium, nickel, neon
My daughter, Chewbecca, not so much.
Pilot on me!!
