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 disjoint buffers.
     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 	self->j = 0;
     43 	self->commit = 0;
     44 	var1 = 0;
     45 	var2 = 0;
     46 }
     47 
     48 BEGIN
     49 {
     50 	var1 = speculation();
     51 	printf("Speculation ID: %d\n", var1);
     52 }
     53 
     54 BEGIN
     55 {
     56 	var2 = speculation();
     57 	printf("Speculation ID: %d\n", var2);
     58 }
     59 
     60 BEGIN
     61 /var1/
     62 {
     63 	speculate(var1);
     64 	printf("Speculating on id: %d\n", var1);
     65 	self->i++;
     66 }
     67 
     68 BEGIN
     69 /var2/
     70 {
     71 	speculate(var2);
     72 	printf("Speculating on id: %d", var2);
     73 	self->j++;
     74 
     75 }
     76 
     77 BEGIN
     78 /(self->i) && (self->j)/
     79 {
     80 	commit(var1);
     81 	commit(var2);
     82 	self->commit++;
     83 }
     84 
     85 BEGIN
     86 /self->commit/
     87 {
     88 	printf("Succesfully commited both buffers");
     89 	exit(0);
     90 }
     91 
     92 BEGIN
     93 /!self->commit/
     94 {
     95 	printf("Couldnt commit both buffers");
     96 	exit(1);
     97 }
     98 
     99 ERROR
    100 {
    101 	exit(1);
    102 }
    103