Mon, 31 Mar 2014 10:28:08 +0200 | wenzelm | support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject; | file | diff | annotate |
Tue, 30 Jul 2013 21:22:37 +0200 | wenzelm | less aggressive flushing: cope with massive amounts of protocol messages, e.g. from threads_trace; | file | diff | annotate |
Wed, 10 Jul 2013 23:25:28 +0200 | wenzelm | more abstract message channel; | file | diff | annotate |