From f215e02bf85f68d3a6106c2a1f4f7f063f819064 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Thu, 11 Apr 2024 10:17:27 +0200 Subject: Adding upstream version 7.0.14-dfsg. Signed-off-by: Daniel Baumann --- .../tst/common/speculation/tst.DiscardAftDiscard.d | 85 ++++++++++++++++++++++ 1 file changed, 85 insertions(+) create mode 100644 src/VBox/ExtPacks/VBoxDTrace/onnv/cmd/dtrace/test/tst/common/speculation/tst.DiscardAftDiscard.d (limited to 'src/VBox/ExtPacks/VBoxDTrace/onnv/cmd/dtrace/test/tst/common/speculation/tst.DiscardAftDiscard.d') diff --git a/src/VBox/ExtPacks/VBoxDTrace/onnv/cmd/dtrace/test/tst/common/speculation/tst.DiscardAftDiscard.d b/src/VBox/ExtPacks/VBoxDTrace/onnv/cmd/dtrace/test/tst/common/speculation/tst.DiscardAftDiscard.d new file mode 100644 index 00000000..8c95cee7 --- /dev/null +++ b/src/VBox/ExtPacks/VBoxDTrace/onnv/cmd/dtrace/test/tst/common/speculation/tst.DiscardAftDiscard.d @@ -0,0 +1,85 @@ +/* + * CDDL HEADER START + * + * The contents of this file are subject to the terms of the + * Common Development and Distribution License (the "License"). + * You may not use this file except in compliance with the License. + * + * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE + * or http://www.opensolaris.org/os/licensing. + * See the License for the specific language governing permissions + * and limitations under the License. + * + * When distributing Covered Code, include this CDDL HEADER in each + * file and include the License file at usr/src/OPENSOLARIS.LICENSE. + * If applicable, add the following below this CDDL HEADER, with the + * fields enclosed by brackets "[]" replaced with your own identifying + * information: Portions Copyright [yyyy] [name of copyright owner] + * + * CDDL HEADER END + */ + +/* + * Copyright 2007 Sun Microsystems, Inc. All rights reserved. + * Use is subject to license terms. + */ + +#pragma ident "%Z%%M% %I% %E% SMI" + +/* + * ASSERTION: + * Can call discard on an already discarded buffer. + * + * SECTION: Speculative Tracing/Discarding a Speculation; + * Options and Tunables/cleanrate + * + */ +#pragma D option quiet +#pragma D option cleanrate=3000hz + +BEGIN +{ + self->i = 0; + self->discard1 = 0; + self->discard2 = 0; + var1 = speculation(); + printf("Speculation ID: %d\n", var1); +} + +BEGIN +/var1/ +{ + speculate(var1); + printf("This statement and the following are speculative!!\n"); + printf("Speculating on id: %d\n", var1); + self->i++; +} + +BEGIN +/(self->i)/ +{ + discard(var1); + self->discard1++; + discard(var1); + self->discard2++; +} + +BEGIN +/(self->discard2) && (self->discard1)/ +{ + printf("Discarded a discarded buffer\n"); + exit(0); +} + + +BEGIN +/(!self->discard2) || (!self->discard1)/ +{ + printf("Couldnt discard a discarded buffer\n"); + exit(1); +} + +ERROR +{ + exit(1); +} -- cgit v1.2.3