Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Probst <mark.probst@gmail.com>2013-01-09 00:11:40 +0400
committerMark Probst <mark.probst@gmail.com>2013-01-11 21:11:57 +0400
commit2403954f9b553cc36284048c23d521f37dd129ba (patch)
tree3c720db9eb46b2dc6770d50b7fd874e811f1fd21 /data/mono.d
parentbc73f7a90916c6d5f45d752d057a284db6b03f3d (diff)
[sgen] DTrace probe for when a GC is requested.
Diffstat (limited to 'data/mono.d')
-rw-r--r--data/mono.d2
1 files changed, 2 insertions, 0 deletions
diff --git a/data/mono.d b/data/mono.d
index db3d56c3e4c..9558067f464 100644
--- a/data/mono.d
+++ b/data/mono.d
@@ -19,6 +19,8 @@ provider mono {
probe gc__begin (int generation);
probe gc__end (int generation);
+ probe gc__requested (int generation, uintptr_t requested_size, int wait_to_finish);
+
probe gc__checkpoint__1 (int generation);
probe gc__checkpoint__2 (int generation);
probe gc__checkpoint__3 (int generation);