[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] n-ary Cartesian product



On 20.10.20 05:09, Mariusz Ryndzionek wrote:
> Regarding overriding in Java, is it recommended only for to performance
> reasons?

Hi Mariusz,

indeed, Java module overwrites are just a performance optimization for TLC.

Almost all standard modules (Sequences, FiniteSets, ...) and some of the
CommunityModules [1] come with overwrites. The benchmark at [2] gives an
intuition of a realistic performance increase^1. Use engineering
judgment to decide if the performance boost warrants the additional
complexity.

Markus

[1] https://github.com/tlaplus/CommunityModules/tree/master/modules
[2]
https://jmh.morethan.io/?sources=https://raw.githubusercontent.com/tlaplus/tlaplus/master/tlatools/org.lamport.tlatools/test-benchmark/tlc2/tool/ModuleOverwrites-1531220029-80dc6de2b.json

1
"aNoModuleOverwrite" == baseline with no overwrite
"bModuleOverwrite" == direct translation of TLA+ operator into Java code
"cModuleOverwriteLinear" == Human being clever about the translation

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/186efbac-bdca-a65b-3d59-c9fef7fe1c7d%40lemmster.de.