xref: /illumos-gate/usr/src/cmd/dtrace/test/tst/common/speculation/tst.DiscardWithZero.d (revision dd72704bd9e794056c558153663c739e2012d721)
1 /*
2  * CDDL HEADER START
3  *
4  * The contents of this file are subject to the terms of the
5  * Common Development and Distribution License (the "License").
6  * You may not use this file except in compliance with the License.
7  *
8  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9  * or http://www.opensolaris.org/os/licensing.
10  * See the License for the specific language governing permissions
11  * and limitations under the License.
12  *
13  * When distributing Covered Code, include this CDDL HEADER in each
14  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15  * If applicable, add the following below this CDDL HEADER, with the
16  * fields enclosed by brackets "[]" replaced with your own identifying
17  * information: Portions Copyright [yyyy] [name of copyright owner]
18  *
19  * CDDL HEADER END
20  */
21 
22 /*
23  * Copyright 2007 Sun Microsystems, Inc.  All rights reserved.
24  * Use is subject to license terms.
25  */
26 
27 /*
28  * ASSERTION: An Id of zero though invalid may be passed to speculate(),
29  * commit() and discard() without any ill effects.
30  *
31  * SECTION: Speculative Tracing/Creating a Speculation;
32  *	Options and Tunables/cleanrate
33  */
34 #pragma D option quiet
35 #pragma D option cleanrate=4000hz
36 
37 BEGIN
38 {
39 	self->discardFlag = 0;
40 	self->var1 = speculation();
41 	printf("Speculative buffer ID: %d\n", self->var1);
42 	self->spec = speculation();
43 	printf("Speculative buffer ID: %d\n", self->spec);
44 }
45 
46 BEGIN
47 /0 == self->spec/
48 {
49 	discard(self->spec);
50 	self->discardFlag++;
51 }
52 
53 BEGIN
54 /0 < self->discardFlag/
55 {
56 	printf("discard(), self->discardFlag = %d\n", self->discardFlag);
57 	exit(0);
58 }
59 
60 BEGIN
61 /0 == self->discardFlag/
62 {
63 	printf("discard(), self->discardFlag = %d\n", self->discardFlag);
64 	exit(1);
65 }
66