Home | History | Annotate | Download | only in speculation
      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 #pragma ident	"%Z%%M%	%I%	%E% SMI"
     28 
     29 /*
     30  * ASSERTION:
     31  * A clause cannot contain multiple commit() calls to same buffer.
     32  *
     33  * SECTION: Speculative Tracing/Committing a Speculation;
     34  *	Options and Tunables/cleanrate
     35  */
     36 #pragma D option quiet
     37 #pragma D option cleanrate=3000hz
     38 
     39 BEGIN
     40 {
     41 	self->i = 0;
     42 	var1 = 0;
     43 }
     44 
     45 profile:::tick-1sec
     46 /!var1/
     47 {
     48 	var1 = speculation();
     49 	printf("Speculation ID: %d\n", var1);
     50 }
     51 
     52 profile:::tick-1sec
     53 /var1/
     54 {
     55 	speculate(var1);
     56 	printf("Speculating on id: %d\n", var1);
     57 	self->i++;
     58 }
     59 
     60 profile:::tick-1sec
     61 /(!self->i)/
     62 {
     63 }
     64 
     65 profile:::tick-1sec
     66 /(self->i)/
     67 {
     68 	commit(var1);
     69 	commit(var1);
     70 	exit(0);
     71 }
     72 
     73 END
     74 {
     75 	printf("Succesfully commited both buffers");
     76 	exit(0);
     77 }
     78 
     79 ERROR
     80 {
     81 	exit(0);
     82 }
     83