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

Re: [tlaplus] TLA+ on Mac questions:



Don’t know the perf delta. So far it’s not been a concern. I’m not running anything big right now.

Steve Glaser
sglaser@xxxxxxxxxxx
On Feb 22, 2022, 5:35 PM -0800, tlaplus-google-group@xxxxxxxxxxx, wrote:
No, the Toolbox spawns the TLC process with its (Rosetta) JVM.  How big is the difference between running TLC on a native JVM compared to a JVM running on Rosetta?

Markus

On Feb 22, 2022, at 5:26 PM, sglaser@xxxxxxxxxxx wrote:

Even if the Eclipse stuff uses Rosetta, is are the TLC subprocess(s) going to use the platform native JVM? That would reduce the need to fully support Apple Silicon (for a while at least).

--
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/47C2B83F-6746-48F2-9E72-DD0DC486995C%40lemmster.de.

--
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/e4b1412d-5af2-4038-ba0f-f8675ed23cb2%40Spark.