Tomasz Masternak comments

Results 8 comments of


                                            Tomasz Masternak

Add document for configuration of TLC worker and heap size

I had a similar problem when trying to disable deadlock detection. I found [TLC Options](https://lamport.azurewebsites.net/tla/tlc-options.html?back-link=tools.html) page with model checker command-line options when running from tlctools and figured out that they...

Add document for configuration of TLC worker and heap size

@alygin thank you for the response. Here is more context for my scenario. I found documentation on how to change the setting in the TLA+ Toolbox UI and was trying...

The end of processing a message is captured before the message is acked in the queueing system and is causing the audit headers for processing and critical time to be incorrect

@andreasohlund can we implement that as a minor release? Is it really `Impact: M`?

Use .NET 5 source generators to build message and handler metadata registry at compile time

@timbussmann did not dig deep into possible solutions but I see at least 3 options here: 1. Assume there are no runtime drop-in assemblies and let the user switch back...

Should transaction isolation level be an explicit choice?

In v8, the new seam leaves the decision about the default to the transport: https://docs.particular.net/transports/transactions?version=core_8

Throw a meaningful exception when a binding name is too long

This will be solved when this [PR](https://github.com/rabbitmq/rabbitmq-dotnet-client/pull/908) is merged into the Rabbit Client library.

Unexpected Serializable isolation level when using the outbox with `UseTransactionScope` while ReadCommitted is the default everywhere else

@pardahlman thank you for sharing the context. I don't think there is any concrete reason why we when for `Serializable` apart from the fact that the `TransactionScope` has that as...

Remove unused columns from queue table

@DavidBoike I think that making changes in #855 in the next major makes sense.