12633Sahl /*
22633Sahl  * CDDL HEADER START
32633Sahl  *
42633Sahl  * The contents of this file are subject to the terms of the
52633Sahl  * Common Development and Distribution License (the "License").
62633Sahl  * You may not use this file except in compliance with the License.
72633Sahl  *
82633Sahl  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
92633Sahl  * or http://www.opensolaris.org/os/licensing.
102633Sahl  * See the License for the specific language governing permissions
112633Sahl  * and limitations under the License.
122633Sahl  *
132633Sahl  * When distributing Covered Code, include this CDDL HEADER in each
142633Sahl  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
152633Sahl  * If applicable, add the following below this CDDL HEADER, with the
162633Sahl  * fields enclosed by brackets "[]" replaced with your own identifying
172633Sahl  * information: Portions Copyright [yyyy] [name of copyright owner]
182633Sahl  *
192633Sahl  * CDDL HEADER END
202633Sahl  */
212633Sahl 
222633Sahl /*
23*4926Sjhaslam  * Copyright 2007 Sun Microsystems, Inc.  All rights reserved.
242633Sahl  * Use is subject to license terms.
252633Sahl  */
262633Sahl 
272633Sahl #pragma ident	"%Z%%M%	%I%	%E% SMI"
282633Sahl 
292633Sahl /*
302633Sahl  * ASSERTION: Test the normal behavior of speculate() and commit().
312633Sahl  *
322633Sahl  * SECTION: Speculative Tracing/Committing a Speculation;
332633Sahl  *	Actions and Subroutines/speculation();
342633Sahl  *	Options and Tunables/cleanrate
352633Sahl  *
362633Sahl  */
372633Sahl #pragma D option quiet
38*4926Sjhaslam #pragma D option cleanrate=2000hz
392633Sahl 
402633Sahl BEGIN
412633Sahl {
422633Sahl 	self->var = speculation();
432633Sahl 	printf("Speculation ID: %d\n", self->var);
442633Sahl 	self->speculate = 0;
452633Sahl 	self->commit = 0;
462633Sahl }
472633Sahl 
482633Sahl BEGIN
492633Sahl /1 > self->speculate/
502633Sahl {
512633Sahl 	speculate(self->var);
522633Sahl 	self->speculate++;
532633Sahl 	printf("Called speculate on id: %d\n", self->var);
542633Sahl }
552633Sahl 
562633Sahl BEGIN
572633Sahl /1 <= self->speculate/
582633Sahl {
592633Sahl 	commit(self->var);
602633Sahl 	self->commit++;
612633Sahl }
622633Sahl 
632633Sahl BEGIN
642633Sahl /(1 == self->commit)/
652633Sahl {
662633Sahl 	printf("Succesfully tested buffer commit\n");
672633Sahl 	exit(0);
682633Sahl }
692633Sahl 
702633Sahl BEGIN
712633Sahl /(0 == self->commit)/
722633Sahl {
732633Sahl 	printf("Failed to commit buffer\n");
742633Sahl 	exit(1);
752633Sahl }
76