stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8309727: Assert privileges while reading the jdk.incubator.vector.VECTOR_ACCESS_OOB_CHECK system property

Browse Source 
Reviewed-by: rriggs, uschindler, psandoz
This commit is contained in:
Chris Hegarty 2023-06-09 19:25:21 +00:00
parent 7d6f97d04d
commit cee5724d09
3 changed files with 34 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/jdk.incubator.vector/share/classes/jdk/incubator/vector/VectorIntrinsics.java
View File

@ -26,10 +26,14 @@ package jdk.incubator.vector;
import jdk.internal.vm.annotation.ForceInline; import jdk.internal.vm.annotation.ForceInline;
import java.security.AccessController;
import java.security.PrivilegedAction;
import java.util.Objects; import java.util.Objects;
/*non-public*/ class VectorIntrinsics { /*non-public*/ class VectorIntrinsics {
static final int VECTOR_ACCESS_OOB_CHECK = Integer.getInteger("jdk.incubator.vector.VECTOR_ACCESS_OOB_CHECK", 2); @SuppressWarnings("removal")
static final int VECTOR_ACCESS_OOB_CHECK = AccessController.doPrivileged((PrivilegedAction<Integer>) () ->
Integer.getInteger("jdk.incubator.vector.VECTOR_ACCESS_OOB_CHECK", 2));
@ForceInline @ForceInline
static void requireLength(int haveLength, int length) { static void requireLength(int haveLength, int length) {

5
test/jdk/jdk/incubator/vector/VectorRuns.java
View File

@ -27,7 +27,10 @@ import java.util.stream.IntStream;
/** /**
* @test * @test
* @bug 8309727
* @modules jdk.incubator.vector * @modules jdk.incubator.vector
* @run main VectorRuns
* @run main/othervm/java.security.policy=empty_security.policy VectorRuns
*/ */
public class VectorRuns { public class VectorRuns {
@ -68,7 +71,7 @@ public class VectorRuns {
if (r >= a.length) if (r >= a.length)
return a.length; return a.length;
int length = a.length & (species.length() - 1); int length = species.loopBound(a.length);
if (length == a.length) length -= species.length(); if (length == a.length) length -= species.length();
while (r < length) { while (r < length) {
IntVector vl = IntVector.fromArray(species, a, r - 1); IntVector vl = IntVector.fromArray(species, a, r - 1);

25
test/jdk/jdk/incubator/vector/empty_security.policy Normal file
View File

@ -0,0 +1,25 @@
//
// Copyright (c) 2023, Oracle and/or its affiliates. All rights reserved.
// DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
//
// This code is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License version 2 only, as
// published by the Free Software Foundation.
//
// This code is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
// version 2 for more details (a copy is included in the LICENSE file that
// accompanied this code).
//
// You should have received a copy of the GNU General Public License version
// 2 along with this work; if not, write to the Free Software Foundation,
// Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
//
// Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
// or visit www.oracle.com if you need additional information or have any
// questions.
//
// This policy is used by tests not requiring permissions, to assert that the
// JDK implementation has the correct privileged blocks.