xref: /freebsd-src/cddl/contrib/opensolaris/cmd/dtrace/test/tst/common/speculation/tst.DiscardAftCommit.d (revision 2be1a816b9ff69588e55be0a84cbe2a31efc0f2f)
1*2be1a816SJohn Birrell /*
2*2be1a816SJohn Birrell  * CDDL HEADER START
3*2be1a816SJohn Birrell  *
4*2be1a816SJohn Birrell  * The contents of this file are subject to the terms of the
5*2be1a816SJohn Birrell  * Common Development and Distribution License (the "License").
6*2be1a816SJohn Birrell  * You may not use this file except in compliance with the License.
7*2be1a816SJohn Birrell  *
8*2be1a816SJohn Birrell  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9*2be1a816SJohn Birrell  * or http://www.opensolaris.org/os/licensing.
10*2be1a816SJohn Birrell  * See the License for the specific language governing permissions
11*2be1a816SJohn Birrell  * and limitations under the License.
12*2be1a816SJohn Birrell  *
13*2be1a816SJohn Birrell  * When distributing Covered Code, include this CDDL HEADER in each
14*2be1a816SJohn Birrell  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15*2be1a816SJohn Birrell  * If applicable, add the following below this CDDL HEADER, with the
16*2be1a816SJohn Birrell  * fields enclosed by brackets "[]" replaced with your own identifying
17*2be1a816SJohn Birrell  * information: Portions Copyright [yyyy] [name of copyright owner]
18*2be1a816SJohn Birrell  *
19*2be1a816SJohn Birrell  * CDDL HEADER END
20*2be1a816SJohn Birrell  */
21*2be1a816SJohn Birrell 
22*2be1a816SJohn Birrell /*
23*2be1a816SJohn Birrell  * Copyright 2007 Sun Microsystems, Inc.  All rights reserved.
24*2be1a816SJohn Birrell  * Use is subject to license terms.
25*2be1a816SJohn Birrell  */
26*2be1a816SJohn Birrell 
27*2be1a816SJohn Birrell #pragma ident	"%Z%%M%	%I%	%E% SMI"
28*2be1a816SJohn Birrell 
29*2be1a816SJohn Birrell /*
30*2be1a816SJohn Birrell  * ASSERTION:
31*2be1a816SJohn Birrell  * Can call discard() on a buffer after it has been commited.
32*2be1a816SJohn Birrell  *
33*2be1a816SJohn Birrell  * SECTION: Speculative Tracing/Discarding a Speculation;
34*2be1a816SJohn Birrell  *	Options and Tunables/cleanrate
35*2be1a816SJohn Birrell  *
36*2be1a816SJohn Birrell  */
37*2be1a816SJohn Birrell #pragma D option quiet
38*2be1a816SJohn Birrell #pragma D option cleanrate=3000hz
39*2be1a816SJohn Birrell 
40*2be1a816SJohn Birrell BEGIN
41*2be1a816SJohn Birrell {
42*2be1a816SJohn Birrell 	self->i = 0;
43*2be1a816SJohn Birrell 	self->commit = 0;
44*2be1a816SJohn Birrell 	self->discard = 0;
45*2be1a816SJohn Birrell 	var1 = speculation();
46*2be1a816SJohn Birrell 	printf("Speculation ID: %d\n", var1);
47*2be1a816SJohn Birrell }
48*2be1a816SJohn Birrell 
49*2be1a816SJohn Birrell BEGIN
50*2be1a816SJohn Birrell /var1/
51*2be1a816SJohn Birrell {
52*2be1a816SJohn Birrell 	speculate(var1);
53*2be1a816SJohn Birrell 	printf("This statement and the following are speculative!!\n");
54*2be1a816SJohn Birrell 	printf("Speculating on id: %d\n", var1);
55*2be1a816SJohn Birrell 	self->i++;
56*2be1a816SJohn Birrell }
57*2be1a816SJohn Birrell 
58*2be1a816SJohn Birrell BEGIN
59*2be1a816SJohn Birrell /(self->i)/
60*2be1a816SJohn Birrell {
61*2be1a816SJohn Birrell 	commit(var1);
62*2be1a816SJohn Birrell 	self->commit++;
63*2be1a816SJohn Birrell 	discard(var1);
64*2be1a816SJohn Birrell 	self->discard++;
65*2be1a816SJohn Birrell }
66*2be1a816SJohn Birrell 
67*2be1a816SJohn Birrell BEGIN
68*2be1a816SJohn Birrell /self->discard/
69*2be1a816SJohn Birrell {
70*2be1a816SJohn Birrell 	printf("Discarded a commited buffer\n");
71*2be1a816SJohn Birrell 	exit(0);
72*2be1a816SJohn Birrell }
73*2be1a816SJohn Birrell 
74*2be1a816SJohn Birrell 
75*2be1a816SJohn Birrell BEGIN
76*2be1a816SJohn Birrell /!self->discard/
77*2be1a816SJohn Birrell {
78*2be1a816SJohn Birrell 	printf("Couldnt discard a commited buffer\n");
79*2be1a816SJohn Birrell 	exit(1);
80*2be1a816SJohn Birrell }
81*2be1a816SJohn Birrell 
82*2be1a816SJohn Birrell ERROR
83*2be1a816SJohn Birrell {
84*2be1a816SJohn Birrell 	exit(1);
85*2be1a816SJohn Birrell }
86