runtime/mirror/array.h - platform/art - Gitiles

 /*
  * Copyright (C) 2011 The Android Open Source Project
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
  * You may obtain a copy of the License at
  *
  *      http://www.apache.org/licenses/LICENSE-2.0
  *
  * Unless required by applicable law or agreed to in writing, software
  * distributed under the License is distributed on an "AS IS" BASIS,
  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */

 #ifndef ART_RUNTIME_MIRROR_ARRAY_H_
 #define ART_RUNTIME_MIRROR_ARRAY_H_

 #include "base/enums.h"
 #include "gc_root.h"
 #include "gc/allocator_type.h"
 #include "obj_ptr.h"
 #include "object.h"

 namespace art {

 template<class T> class Handle;

 namespace mirror {

 class MANAGED Array : public Object {
  public:
   // The size of a java.lang.Class representing an array.
   static uint32_t ClassSize(PointerSize pointer_size);

   // Allocates an array with the given properties, if kFillUsable is true the array will be of at
   // least component_count size, however, if there's usable space at the end of the allocation the
   // array will fill it.
   template <bool kIsInstrumented, bool kFillUsable = false>
   ALWAYS_INLINE static Array* Alloc(Thread* self,
                                     ObjPtr<Class> array_class,
                                     int32_t component_count,
                                     size_t component_size_shift,
                                     gc::AllocatorType allocator_type)
       REQUIRES_SHARED(Locks::mutator_lock_)
       REQUIRES(!Roles::uninterruptible_);

   static Array* CreateMultiArray(Thread* self,
                                  Handle<Class> element_class,
                                  Handle<IntArray> dimensions)
       REQUIRES_SHARED(Locks::mutator_lock_)
       REQUIRES(!Roles::uninterruptible_);

   template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags,
            ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
   size_t SizeOf() REQUIRES_SHARED(Locks::mutator_lock_);
   template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags>
   ALWAYS_INLINE int32_t GetLength() REQUIRES_SHARED(Locks::mutator_lock_) {
     return GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Array, length_));
   }

   void SetLength(int32_t length) REQUIRES_SHARED(Locks::mutator_lock_) {
     DCHECK_GE(length, 0);
     // We use non transactional version since we can't undo this write. We also disable checking
     // since it would fail during a transaction.
     SetField32<false, false, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Array, length_), length);
   }

   static MemberOffset LengthOffset() {
     return OFFSET_OF_OBJECT_MEMBER(Array, length_);
   }

   static MemberOffset DataOffset(size_t component_size);

   void* GetRawData(size_t component_size, int32_t index)
       REQUIRES_SHARED(Locks::mutator_lock_) {
     intptr_t data = reinterpret_cast<intptr_t>(this) + DataOffset(component_size).Int32Value() +
         + (index * component_size);
     return reinterpret_cast<void*>(data);
   }

   const void* GetRawData(size_t component_size, int32_t index) const {
     intptr_t data = reinterpret_cast<intptr_t>(this) + DataOffset(component_size).Int32Value() +
         + (index * component_size);
     return reinterpret_cast<void*>(data);
   }

   // Returns true if the index is valid. If not, throws an ArrayIndexOutOfBoundsException and
   // returns false.
   template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags>
   ALWAYS_INLINE bool CheckIsValidIndex(int32_t index) REQUIRES_SHARED(Locks::mutator_lock_);

   Array* CopyOf(Thread* self, int32_t new_length) REQUIRES_SHARED(Locks::mutator_lock_)
       REQUIRES(!Roles::uninterruptible_);

  protected:
   void ThrowArrayStoreException(ObjPtr<Object> object) REQUIRES_SHARED(Locks::mutator_lock_)
       REQUIRES(!Roles::uninterruptible_);

  private:
   void ThrowArrayIndexOutOfBoundsException(int32_t index)
       REQUIRES_SHARED(Locks::mutator_lock_);

   // The number of array elements.
   int32_t length_;
   // Marker for the data (used by generated code)
   uint32_t first_element_[0];

   DISALLOW_IMPLICIT_CONSTRUCTORS(Array);
 };

 template<typename T>
 class MANAGED PrimitiveArray : public Array {
  public:
   typedef T ElementType;

   static PrimitiveArray<T>* Alloc(Thread* self, size_t length)
       REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_);

   static PrimitiveArray<T>* AllocateAndFill(Thread* self, const T* data, size_t length)
       REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_);


   const T* GetData() const ALWAYS_INLINE  REQUIRES_SHARED(Locks::mutator_lock_) {
     return reinterpret_cast<const T*>(GetRawData(sizeof(T), 0));
   }

   T* GetData() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) {
     return reinterpret_cast<T*>(GetRawData(sizeof(T), 0));
   }

   T Get(int32_t i) ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_);

   T GetWithoutChecks(int32_t i) ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) {
     DCHECK(CheckIsValidIndex(i)) << "i=" << i << " length=" << GetLength();
     return GetData()[i];
   }

   void Set(int32_t i, T value) ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_);

   // TODO fix thread safety analysis broken by the use of template. This should be
   // REQUIRES_SHARED(Locks::mutator_lock_).
   template<bool kTransactionActive, bool kCheckTransaction = true>
   void Set(int32_t i, T value) ALWAYS_INLINE NO_THREAD_SAFETY_ANALYSIS;

   // TODO fix thread safety analysis broken by the use of template. This should be
   // REQUIRES_SHARED(Locks::mutator_lock_).
   template<bool kTransactionActive,
            bool kCheckTransaction = true,
            VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags>
   void SetWithoutChecks(int32_t i, T value) ALWAYS_INLINE NO_THREAD_SAFETY_ANALYSIS;

   /*
    * Works like memmove(), except we guarantee not to allow tearing of array values (ie using
    * smaller than element size copies). Arguments are assumed to be within the bounds of the array
    * and the arrays non-null.
    */
   void Memmove(int32_t dst_pos, ObjPtr<PrimitiveArray<T>> src, int32_t src_pos, int32_t count)
       REQUIRES_SHARED(Locks::mutator_lock_);

   /*
    * Works like memcpy(), except we guarantee not to allow tearing of array values (ie using
    * smaller than element size copies). Arguments are assumed to be within the bounds of the array
    * and the arrays non-null.
    */
   void Memcpy(int32_t dst_pos, ObjPtr<PrimitiveArray<T>> src, int32_t src_pos, int32_t count)
       REQUIRES_SHARED(Locks::mutator_lock_);

   static void SetArrayClass(ObjPtr<Class> array_class);

   template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
   static Class* GetArrayClass() REQUIRES_SHARED(Locks::mutator_lock_) {
     DCHECK(!array_class_.IsNull());
     return array_class_.Read<kReadBarrierOption>();
   }

   static void ResetArrayClass() {
     CHECK(!array_class_.IsNull());
     array_class_ = GcRoot<Class>(nullptr);
   }

   static void VisitRoots(RootVisitor* visitor) REQUIRES_SHARED(Locks::mutator_lock_);

  private:
   static GcRoot<Class> array_class_;

   DISALLOW_IMPLICIT_CONSTRUCTORS(PrimitiveArray);
 };

 // Declare the different primitive arrays. Instantiations will be in array.cc.
 extern template class PrimitiveArray<uint8_t>;   // BooleanArray
 extern template class PrimitiveArray<int8_t>;    // ByteArray
 extern template class PrimitiveArray<uint16_t>;  // CharArray
 extern template class PrimitiveArray<double>;    // DoubleArray
 extern template class PrimitiveArray<float>;     // FloatArray
 extern template class PrimitiveArray<int32_t>;   // IntArray
 extern template class PrimitiveArray<int64_t>;   // LongArray
 extern template class PrimitiveArray<int16_t>;   // ShortArray

 // Either an IntArray or a LongArray.
 class PointerArray : public Array {
  public:
   template<typename T,
            VerifyObjectFlags kVerifyFlags = kVerifyNone,
            ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
   T GetElementPtrSize(uint32_t idx, PointerSize ptr_size)
       REQUIRES_SHARED(Locks::mutator_lock_);

   void** ElementAddress(size_t index, PointerSize ptr_size) REQUIRES_SHARED(Locks::mutator_lock_) {
     DCHECK_LT(index, static_cast<size_t>(GetLength()));
     return reinterpret_cast<void**>(reinterpret_cast<uint8_t*>(this) +
                                     Array::DataOffset(static_cast<size_t>(ptr_size)).Uint32Value() +
                                     static_cast<size_t>(ptr_size) * index);
   }

   template<bool kTransactionActive = false, bool kUnchecked = false>
   void SetElementPtrSize(uint32_t idx, uint64_t element, PointerSize ptr_size)
       REQUIRES_SHARED(Locks::mutator_lock_);
   template<bool kTransactionActive = false, bool kUnchecked = false, typename T>
   void SetElementPtrSize(uint32_t idx, T* element, PointerSize ptr_size)
       REQUIRES_SHARED(Locks::mutator_lock_);

   // Fixup the pointers in the dest arrays by passing our pointers through the visitor. Only copies
   // to dest if visitor(source_ptr) != source_ptr.
   template <VerifyObjectFlags kVerifyFlags = kVerifyNone,
             ReadBarrierOption kReadBarrierOption = kWithReadBarrier,
             typename Visitor>
   void Fixup(mirror::PointerArray* dest, PointerSize pointer_size, const Visitor& visitor)
       REQUIRES_SHARED(Locks::mutator_lock_);

   // Works like memcpy(), except we guarantee not to allow tearing of array values (ie using smaller
   // than element size copies). Arguments are assumed to be within the bounds of the array and the
   // arrays non-null. Cannot be called in an active transaction.
   template<bool kUnchecked = false>
   void Memcpy(int32_t dst_pos,
               ObjPtr<PointerArray> src,
               int32_t src_pos,
               int32_t count,
               PointerSize pointer_size)
       REQUIRES_SHARED(Locks::mutator_lock_);
 };

 }  // namespace mirror
 }  // namespace art

 #endif  // ART_RUNTIME_MIRROR_ARRAY_H_
	/*
	* Copyright (C) 2011 The Android Open Source Project
	*
	* Licensed under the Apache License, Version 2.0 (the "License");
	* you may not use this file except in compliance with the License.
	* You may obtain a copy of the License at
	*
	* http://www.apache.org/licenses/LICENSE-2.0
	*
	* Unless required by applicable law or agreed to in writing, software
	* distributed under the License is distributed on an "AS IS" BASIS,
	* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	* See the License for the specific language governing permissions and
	* limitations under the License.
	*/

	#ifndef ART_RUNTIME_MIRROR_ARRAY_H_
	#define ART_RUNTIME_MIRROR_ARRAY_H_

	#include "base/enums.h"
	#include "gc_root.h"
	#include "gc/allocator_type.h"
	#include "obj_ptr.h"
	#include "object.h"

	namespace art {

	template<class T> class Handle;

	namespace mirror {

	class MANAGED Array : public Object {
	public:
	// The size of a java.lang.Class representing an array.
	static uint32_t ClassSize(PointerSize pointer_size);

	// Allocates an array with the given properties, if kFillUsable is true the array will be of at
	// least component_count size, however, if there's usable space at the end of the allocation the
	// array will fill it.
	template <bool kIsInstrumented, bool kFillUsable = false>
	ALWAYS_INLINE static Array* Alloc(Thread* self,
	ObjPtr<Class> array_class,
	int32_t component_count,
	size_t component_size_shift,
	gc::AllocatorType allocator_type)
	REQUIRES_SHARED(Locks::mutator_lock_)
	REQUIRES(!Roles::uninterruptible_);

	static Array* CreateMultiArray(Thread* self,
	Handle<Class> element_class,
	Handle<IntArray> dimensions)
	REQUIRES_SHARED(Locks::mutator_lock_)
	REQUIRES(!Roles::uninterruptible_);

	template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags,
	ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
	size_t SizeOf() REQUIRES_SHARED(Locks::mutator_lock_);
	template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags>
	ALWAYS_INLINE int32_t GetLength() REQUIRES_SHARED(Locks::mutator_lock_) {
	return GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Array, length_));
	}

	void SetLength(int32_t length) REQUIRES_SHARED(Locks::mutator_lock_) {
	DCHECK_GE(length, 0);
	// We use non transactional version since we can't undo this write. We also disable checking
	// since it would fail during a transaction.
	SetField32<false, false, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Array, length_), length);
	}

	static MemberOffset LengthOffset() {
	return OFFSET_OF_OBJECT_MEMBER(Array, length_);
	}

	static MemberOffset DataOffset(size_t component_size);

	void* GetRawData(size_t component_size, int32_t index)
	REQUIRES_SHARED(Locks::mutator_lock_) {
	intptr_t data = reinterpret_cast<intptr_t>(this) + DataOffset(component_size).Int32Value() +
	+ (index * component_size);
	return reinterpret_cast<void*>(data);
	}

	const void* GetRawData(size_t component_size, int32_t index) const {
	intptr_t data = reinterpret_cast<intptr_t>(this) + DataOffset(component_size).Int32Value() +
	+ (index * component_size);
	return reinterpret_cast<void*>(data);
	}

	// Returns true if the index is valid. If not, throws an ArrayIndexOutOfBoundsException and
	// returns false.
	template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags>
	ALWAYS_INLINE bool CheckIsValidIndex(int32_t index) REQUIRES_SHARED(Locks::mutator_lock_);

	Array* CopyOf(Thread* self, int32_t new_length) REQUIRES_SHARED(Locks::mutator_lock_)
	REQUIRES(!Roles::uninterruptible_);

	protected:
	void ThrowArrayStoreException(ObjPtr<Object> object) REQUIRES_SHARED(Locks::mutator_lock_)
	REQUIRES(!Roles::uninterruptible_);

	private:
	void ThrowArrayIndexOutOfBoundsException(int32_t index)
	REQUIRES_SHARED(Locks::mutator_lock_);

	// The number of array elements.
	int32_t length_;
	// Marker for the data (used by generated code)
	uint32_t first_element_[0];

	DISALLOW_IMPLICIT_CONSTRUCTORS(Array);
	};

	template<typename T>
	class MANAGED PrimitiveArray : public Array {
	public:
	typedef T ElementType;

	static PrimitiveArray<T>* Alloc(Thread* self, size_t length)
	REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_);

	static PrimitiveArray<T>* AllocateAndFill(Thread* self, const T* data, size_t length)
	REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_);


	const T* GetData() const ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) {
	return reinterpret_cast<const T*>(GetRawData(sizeof(T), 0));
	}

	T* GetData() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) {
	return reinterpret_cast<T*>(GetRawData(sizeof(T), 0));
	}

	T Get(int32_t i) ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_);

	T GetWithoutChecks(int32_t i) ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) {
	DCHECK(CheckIsValidIndex(i)) << "i=" << i << " length=" << GetLength();
	return GetData()[i];
	}

	void Set(int32_t i, T value) ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_);

	// TODO fix thread safety analysis broken by the use of template. This should be
	// REQUIRES_SHARED(Locks::mutator_lock_).
	template<bool kTransactionActive, bool kCheckTransaction = true>
	void Set(int32_t i, T value) ALWAYS_INLINE NO_THREAD_SAFETY_ANALYSIS;

	// TODO fix thread safety analysis broken by the use of template. This should be
	// REQUIRES_SHARED(Locks::mutator_lock_).
	template<bool kTransactionActive,
	bool kCheckTransaction = true,
	VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags>
	void SetWithoutChecks(int32_t i, T value) ALWAYS_INLINE NO_THREAD_SAFETY_ANALYSIS;

	/*
	* Works like memmove(), except we guarantee not to allow tearing of array values (ie using
	* smaller than element size copies). Arguments are assumed to be within the bounds of the array
	* and the arrays non-null.
	*/
	void Memmove(int32_t dst_pos, ObjPtr<PrimitiveArray<T>> src, int32_t src_pos, int32_t count)
	REQUIRES_SHARED(Locks::mutator_lock_);

	/*
	* Works like memcpy(), except we guarantee not to allow tearing of array values (ie using
	* smaller than element size copies). Arguments are assumed to be within the bounds of the array
	* and the arrays non-null.
	*/
	void Memcpy(int32_t dst_pos, ObjPtr<PrimitiveArray<T>> src, int32_t src_pos, int32_t count)
	REQUIRES_SHARED(Locks::mutator_lock_);

	static void SetArrayClass(ObjPtr<Class> array_class);

	template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
	static Class* GetArrayClass() REQUIRES_SHARED(Locks::mutator_lock_) {
	DCHECK(!array_class_.IsNull());
	return array_class_.Read<kReadBarrierOption>();
	}

	static void ResetArrayClass() {
	CHECK(!array_class_.IsNull());
	array_class_ = GcRoot<Class>(nullptr);
	}

	static void VisitRoots(RootVisitor* visitor) REQUIRES_SHARED(Locks::mutator_lock_);

	private:
	static GcRoot<Class> array_class_;

	DISALLOW_IMPLICIT_CONSTRUCTORS(PrimitiveArray);
	};

	// Declare the different primitive arrays. Instantiations will be in array.cc.
	extern template class PrimitiveArray<uint8_t>; // BooleanArray
	extern template class PrimitiveArray<int8_t>; // ByteArray
	extern template class PrimitiveArray<uint16_t>; // CharArray
	extern template class PrimitiveArray<double>; // DoubleArray
	extern template class PrimitiveArray<float>; // FloatArray
	extern template class PrimitiveArray<int32_t>; // IntArray
	extern template class PrimitiveArray<int64_t>; // LongArray
	extern template class PrimitiveArray<int16_t>; // ShortArray

	// Either an IntArray or a LongArray.
	class PointerArray : public Array {
	public:
	template<typename T,
	VerifyObjectFlags kVerifyFlags = kVerifyNone,
	ReadBarrierOption kReadBarrierOption = kWithReadBarrier>
	T GetElementPtrSize(uint32_t idx, PointerSize ptr_size)
	REQUIRES_SHARED(Locks::mutator_lock_);

	void** ElementAddress(size_t index, PointerSize ptr_size) REQUIRES_SHARED(Locks::mutator_lock_) {
	DCHECK_LT(index, static_cast<size_t>(GetLength()));
	return reinterpret_cast<void*>(reinterpret_cast<uint8_t>(this) +
	Array::DataOffset(static_cast<size_t>(ptr_size)).Uint32Value() +
	static_cast<size_t>(ptr_size) * index);
	}

	template<bool kTransactionActive = false, bool kUnchecked = false>
	void SetElementPtrSize(uint32_t idx, uint64_t element, PointerSize ptr_size)
	REQUIRES_SHARED(Locks::mutator_lock_);
	template<bool kTransactionActive = false, bool kUnchecked = false, typename T>
	void SetElementPtrSize(uint32_t idx, T* element, PointerSize ptr_size)
	REQUIRES_SHARED(Locks::mutator_lock_);

	// Fixup the pointers in the dest arrays by passing our pointers through the visitor. Only copies
	// to dest if visitor(source_ptr) != source_ptr.
	template <VerifyObjectFlags kVerifyFlags = kVerifyNone,
	ReadBarrierOption kReadBarrierOption = kWithReadBarrier,
	typename Visitor>
	void Fixup(mirror::PointerArray* dest, PointerSize pointer_size, const Visitor& visitor)
	REQUIRES_SHARED(Locks::mutator_lock_);

	// Works like memcpy(), except we guarantee not to allow tearing of array values (ie using smaller
	// than element size copies). Arguments are assumed to be within the bounds of the array and the
	// arrays non-null. Cannot be called in an active transaction.
	template<bool kUnchecked = false>
	void Memcpy(int32_t dst_pos,
	ObjPtr<PointerArray> src,
	int32_t src_pos,
	int32_t count,
	PointerSize pointer_size)
	REQUIRES_SHARED(Locks::mutator_lock_);
	};

	} // namespace mirror
	} // namespace art

	#endif // ART_RUNTIME_MIRROR_ARRAY_H_