grogers

21 ms·

211.
by grogers 7y ago
There do exist frameworks that allow exhaustive testing of concurrent code. They never really became mainstream though. https://www.microsoft.com/en-us/research/publication/chess-a... http://www.10
212.
by grogers 7y ago
If practically everything is collected in the young gen GCs like most request/response applications, do you even gain anything from GC being generational?
213.
by grogers 7y ago
Does anyone have experiences with both ZGC and Shenandoah? It seems like they both have very similar goals (10 ms max pause) even though the implementation is quite different. So with both landing at about the same time, when would you pref
214.
by grogers 8y ago
Really cool result and a very readable paper. I'm struggling to figure out how this would be applicable to iterated consensus (i.e. logs). It seems like the extension examples are focused on reducing the message round trips for specifi
215.
by grogers 8y ago
For documentation meant to be consumed by others, sure. But for an internal module, these are exactly the types of comments that get out of date the quickest, since they are disconnected from the code they don't stay up to date as the
216.
by grogers 8y ago
Linearizability is a property of accesses of a single key. Strict serializability is the analogous property for accesses on a multi-key system. Basically, strict serializability implies linearizability, but not the other way around. A datab
217.
by grogers 8y ago
Doesn't this mean the DB can only execute stored procedures, since with interactive transactions it wouldn't have knowledge of the conditionals that cause aborts? Have anyone used a DB like that in production? I'm curious bec
218.
by grogers 8y ago
When deepmind announced they were working on sc2 expected it to be good, but not this good. Compare this to the top bots in SSCAIT (a BW AI tournament) and it's already so far ahead of anything that's existed up to this point. I&#
219.
by grogers 8y ago
However, the garbage collection is typically _heavily_ optimized for short lived garbage. Try pausing GC by keeping a transaction open for an hour or more and see how the DB performance changes. So I think there's still probably a litt
220.
by grogers 8y ago
Mercury is 3:2 locked, it still has normal days (although they are longer than its year). The poles don't get direct sunlight though so they are frigid all the time.
221.
by grogers 8y ago
Max 10 items per transaction, that's quite a restriction! I guess you have to plan all the transactions you would perform and make sure they meet the bounds.
222.
by grogers 8y ago
> it's not hard to scan through a program line-by-line asking yourself "what would happen if an exception were thrown at this point?" I once implemented a C++ class where some member functions implemented the strong except
223.
by grogers 8y ago
The number of things in a mole is arbitrary. It's a dimensionless unit. However, since many things are already measured in moles in chemistry, there's no real reason to remove it. Dealing with numbers on a more practical macroscop
224.
by grogers 8y ago
No, a /20 is 2^12=4096 addresses.
225.
by grogers 8y ago
https://nim-lang.org/docs/gc.html > Tests show that a 2ms max pause time will be met in almost all cases on modern CPUs (with the cycle collector disabled). So in a reduced mode, pause times are only bounded by 2ms.
226.
by grogers 8y ago
What are you doing differently in this test that your writes/sec number for RocksDB is only 5k, whereas your previous benchmarks several years ago show 100k?
227.
by grogers 8y ago
> This plus the fact that the interviewers are volunteers Is this true at Google? I've never heard of a company where interviewing was voluntary, it's always been part of the normal job responsibilities.
228.
by grogers 8y ago
Personally, I keep trying PlusCal and keep going back to plain TLA+. Every time I get bogged down trying to learn it, and instinctively switch back because it's faster (or maybe it just clicks better for me). I got Hillel's book,
229.
by grogers 8y ago
> All database primaries established in US East Coast again. This resulted in the site becoming far more responsive as writes were now directed to a database server that was co-located in the same physical data center as our application
230.
by grogers 8y ago
I'm really confused how this scales to high transaction rates. If the replica has to redo all the reads (which means talking to multiple nodes) before it can make a commit/abort decision for the transaction this could take tens of
231.
by grogers 8y ago
> “Service Source Code” means the Corresponding Source for the Program or the modified version, and the Corresponding Source for all programs that you use to make the Program or modified version available as a service, including, without
232.
by grogers 8y ago
Does a baseball move out of the way of the swinging bat? There might be some small effect, but it's not the dominant one. In this scenario the wing is just a slightly bigger bat, and the drone is a slightly bigger ball. It would of cou
233.
by grogers 8y ago
According to their docs, FoundationDB only provides serializable isolation, so it isn't the same as the others in the post which offer strict serializable isolation (multi-key version of linearizability). Without strong clocks you can&
234.
by grogers 8y ago
Over many years would the sand get compacted down to be less porous, making it less effective at holding water?
235.
by grogers 8y ago
Wat 4 is just setting up for wat 5 though. On its own it isn't suprising, many languages use insertion order for iteration, but many others use the hash order. But wat 5 is truly surprising, no other language that I can think of iterat
236.
by grogers 8y ago
It really depends on the team coding conventions. Our team uses 'c' for sql.Connection, 'rs' for sql.ResultSet, and 'txn' for our ORMs transactions, and we do this absolutely everywhere. The short variable name
237.
by grogers 8y ago
One interesting thing for databases is that as nonvolatile storage latency decreases, traditional btrees get more attractive relative to newer log-structured designs. Especially if the write endurance is increased as well over current SSDs.
238.
by grogers 8y ago
It sounds like the impact wasn't limited to particular users or regions. Why would they deploy the configuration worldwide at the same time?
239.
by grogers 8y ago
It's not a perpetual motion machine because it requires energy. Every proton that gets accelerated lowers the charge on the capacitor plates by that same charge. So you have to supply current to keep the plates at a constant voltage.
240.
by grogers 8y ago
Even if there wasn't a difference between electron and proton mass, it would still provide net force if the craft is already moving relative to the background plasma (I.e. swimming upstream). Incoming electrons from the front get refle

More ›