AtomicIntegerArray源码分析与感悟

本文详细分析了AtomicIntegerArray的源码,揭示了其内部如何实现原子性更新操作。通过讲解shift的作用,展示了将乘法转换为移位操作的技巧。文章还涵盖了构造方法、get和set操作、以及CAS相关的方法,帮助读者深入理解这个并发工具类。
摘要由CSDN通过智能技术生成

得出结论了吧,shift就是 用来定位数组中的内存位置,用来移位用的,每向左移动移位,在不越界的情况下,想当于乘以2。也就是int类型的长度为4,也就是第0个位置是0,第1(i)个位置是4,,第二个(i)位置是8,也就是偏移位置等于  i * 4,也就是  i << 2;总结出一个乘法转换成移位操作的案例: a * (一个2的幂(n)的数)  =  a << n; 给出一个指定2的幂的数,怎么算成n,参照shift的计算方法。

附上AtomicIntegerArray 源码

/*

  • ORACLE PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.

*/

/*

  • Written by Doug Lea with assistance from members of JCP JSR-166

  • Expert Group and released to the public domain, as explained at

  • http://creativecommons.org/publicdomain/zero/1.0/

*/

package java.util.concurrent.atomic;

import sun.misc.Unsafe;

import java.util.*;

/**

  • An {@code int} array in which elements may be updated atomically.

  • See the {@link java.util.concurrent.atomic} package

  • specification for description of the properties of atomic

  • variables.

  • @since 1.5

  • @author Doug Lea

*/

public class AtomicIntegerArray implements java.io.Serializable {

private static final long serialVersionUID = 2862133569453604235L;

private static final Unsafe unsafe = Unsafe.getUnsafe();

private static final int base = unsafe.arrayBaseOffset(int[].class);

private static final int shift;

private final int[] array;

static {

int scale = unsafe.arrayIndexScale(int[].class);

if ((scale & (scale - 1)) != 0)

throw new Error(“data type scale not a power of two”);

shift = 31 - Integer.numberOfLeadingZeros(scale);

}

private long checkedByteOffset(int i) {

if (i < 0 || i >= array.length)

throw new IndexOutOfBoundsException("index " + i);

return byteOffset(i);

}

private static long byteOffset(int i) {

return ((long) i << shift) + base;

}

/**

  • Creates a new AtomicIntegerArray of the given length, with all

  • elements initially zero.

  • @param length the length of the array

*/

public AtomicIntegerArray(int length) {

array = new int[length];

}

/**

  • Creates a new AtomicIntegerArray with the same length as, and

  • all elements copied from, the given array.

  • @param array the array to copy elements from

  • @throws NullPointerException if array is null

*/

public AtomicIntegerArray(int[] array) {

// Visibility guaranteed by final field guarantees

this.array = array.clone();

}

/**

  • Returns the length of the array.

  • @return the length of the array

*/

public final int length() {

return array.length;

}

/**

  • Gets the current value at position {@code i}.

  • @param i the index

  • @return the current value

*/

public final int get(int i) {

return getRaw(checkedByteOffset(i));

}

private int getRaw(long offset) {

return unsafe.getIntVolatile(array, offset);

}

/**

  • Sets the element at position {@code i} to the given value.

  • @param i the index

  • @param newValue the new value

*/

public final void set(int i, int newValue) {

unsafe.putIntVolatile(array, checkedByteOffset(i), newValue);

}

/**

  • Eventually sets the element at position {@code i} to the given value.

  • @param i the index

  • @param newValue the new value

  • @since 1.6

*/

public final void lazySet(int i, int newValue) {

unsafe.putOrderedInt(array, checkedByteOffset(i), newValue);

}

/**

  • Atomically sets the element at position {@code i} to the given

  • value and returns the old value.

  • @param i the index

  • @param newValue the new value

  • @return the previous value

*/

public final int getAndSet(int i, int newValue) {

long offset = checkedByteOffset(i);

while (true) {

int current = getRaw(offset);

if (compareAndSetRaw(offset, current, newValue))

return current;

}

}

/**

  • Atomically sets the element at position {@code i} to the given

  • updated value if the current value {@code ==} the expected value.

  • @param i the index

  • @param expect the expected value

  • @param update the new value

  • @return true if successful. False return indicates that

  • the actual value was not equal to the expected value.

*/

public final boolean compareAndSet(int i, int expect, int update) {

return compareAndSetRaw(checkedByteOffset(i), expect, update);

}

private boolean compareAndSetRaw(long offset, int expect, int update) {

return unsafe.compareAndSwapInt(array, offset, expect, update);

}

/**

  • Atomically sets the element at position { 《一线大厂Java面试题解析+后端开发学习笔记+最新架构讲解视频+实战项目源码讲义》无偿开源 威信搜索公众号【编程进阶路】 @code i} to the given

  • updated value if the current value {@code ==} the expected value.

  • May fail spuriously

  • and does not provide ordering guarantees, so is only rarely an

  • appropriate alternative to {@code compareAndSet}.

  • @param i the index

  • @param expect the expected value

  • @param update the new value

  • @return true if successful.

*/

public final boolean weakCompareAndSet(int i, int expect, int update) {

return compareAndSet(i, expect, update);

}

/**

  • Atomically increments by one the element at index {@code i}.

  • @param i the index

  • @return the previous value

*/

public final int getAndIncrement(int i) {

return getAndAdd(i, 1);

}

/**

  • Atomically decrements by one the element at index {@code i}.

  • @param i the index

  • @return the previous value

*/

public final int getAndDecrement(int i) {

return getAndAdd(i, -1);

}

/**

  • Atomically adds the given value to the element at index {@code i}.

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值