[tlaplus] Why multiply keys ops transaction can simply be modeled in high level spec by an action or atomic label?

[保建国 <inevity@xxxxxxxxx>]

For multiply keys  transaction access, we just wrapped  it's ops as an action which is atomic or  put in a label if using pluscal.  

In my humble knowledge,  this way will impl  multiply keys  transaction  atomic. But no any concurrency control, and no any concurrency  the txns can use, so the performance will low.  Am i right?  

Or this way is the 1 phase transaction commit?

Can some one explain the concurrency control this way provide?

-- 
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/ed90c078-daf7-4622-b95a-1c273ce9df7cn%40googlegroups.com.