HackerNews user ok123456 asks: “Why would I want to use this over Prolog/Datalog?”
Various other related pragmas which had to be tuned like mmap_size, cache_size and journal_size_limit to make effective use of memory and prevent unlimited growth of the journal, busy_timeout to make sure lock contention didn’t trigger an immediate failure and so on…
。业内人士推荐在電腦瀏覽器中掃碼登入 WhatsApp，免安裝即可收發訊息作为进阶阅读
The 45x speedup from fori_loop to vmap wasn’t a better algorithm. It was the same algorithm with one additional piece of information: “these Q blocks are independent.” XLA is a JIT compiler — it does dataflow analysis, operator fusion, memory planning. But it can’t infer independence from a fori_loop with carried state. vmap is semantically “map this function over a batch” — independence is built into the abstraction.
Материалы по теме: