No Description
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

ArrayMetadata.cpp 27KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614
  1. #include "il2cpp-config.h"
  2. #include "il2cpp-runtime-stats.h"
  3. #include "os/Mutex.h"
  4. #include "vm/Class.h"
  5. #include "vm/GenericClass.h"
  6. #include "vm/Image.h"
  7. #include "vm/MetadataLock.h"
  8. #include "vm/Method.h"
  9. #include "vm/Type.h"
  10. #include "metadata/ArrayMetadata.h"
  11. #include "metadata/GenericMetadata.h"
  12. #include "metadata/GenericMethod.h"
  13. #include "metadata/Il2CppGenericClassHash.h"
  14. #include "metadata/Il2CppGenericClassCompare.h"
  15. #include "metadata/Il2CppGenericInstCompare.h"
  16. #include "metadata/Il2CppGenericInstHash.h"
  17. #include "metadata/Il2CppTypeCompare.h"
  18. #include "metadata/Il2CppTypeHash.h"
  19. #include "vm/MetadataAlloc.h"
  20. #include "vm/MetadataCache.h"
  21. #include "vm/Runtime.h"
  22. #include "utils/Memory.h"
  23. #include "utils/Il2CppHashMap.h"
  24. #include "utils/StringUtils.h"
  25. #include "il2cpp-class-internals.h"
  26. #include "il2cpp-tabledefs.h"
  27. #include <vector>
  28. #include <limits>
  29. using namespace il2cpp::vm;
  30. using il2cpp::os::FastAutoLock;
  31. using il2cpp::utils::StringUtils;
  32. using il2cpp::vm::MetadataCache;
  33. using il2cpp::vm::MetadataCalloc;
  34. using il2cpp::vm::MetadataMalloc;
  35. using std::vector;
  36. using std::pair;
  37. const size_t kImplicitArrayInterfaceCount = 5;
  38. namespace il2cpp
  39. {
  40. namespace metadata
  41. {
  42. static const char* GetArrayName(const char* elementClassName, uint32_t rank, bool bounded)
  43. {
  44. std::string name;
  45. name += elementClassName;
  46. name += "[";
  47. for (uint32_t i = 1; i < rank; i++)
  48. name += ",";
  49. if (bounded)
  50. name += "*";
  51. name += "]";
  52. return StringUtils::StringDuplicate(name.c_str());
  53. }
  54. static MethodInfo* ConstructArrayMethod(Il2CppClass* declaringType, const char* name, const Il2CppType* returnType, uint8_t parameterCount, const Il2CppType** parameterTypes)
  55. {
  56. MethodInfo* method = (MethodInfo*)MetadataCalloc(1, sizeof(MethodInfo));
  57. method->klass = declaringType;
  58. method->flags = METHOD_ATTRIBUTE_PUBLIC;
  59. method->iflags = METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL;
  60. method->name = name;
  61. method->slot = kInvalidIl2CppMethodSlot;
  62. method->return_type = returnType;
  63. method->parameters_count = parameterCount;
  64. const Il2CppType** parameters = (const Il2CppType**)MetadataCalloc(parameterCount, sizeof(Il2CppType*));
  65. for (uint8_t i = 0; i < parameterCount; i++)
  66. {
  67. parameters[i] = parameterTypes[i];
  68. }
  69. method->parameters = parameters;
  70. if (!strcmp(".ctor", name))
  71. {
  72. method->flags |= METHOD_ATTRIBUTE_RT_SPECIAL_NAME | METHOD_ATTRIBUTE_SPECIAL_NAME;
  73. }
  74. else
  75. {
  76. method->iflags |= METHOD_IMPL_ATTRIBUTE_RUNTIME;
  77. }
  78. ++il2cpp_runtime_stats.method_count;
  79. return method;
  80. }
  81. struct GenericArrayMethod
  82. {
  83. const char* name;
  84. const MethodInfo* method;
  85. const MethodInfo* interfaceMethodDefinition;
  86. };
  87. typedef vector<GenericArrayMethod> GenericArrayMethods;
  88. static GenericArrayMethods s_GenericArrayMethods;
  89. static size_t GetArrayGenericMethodsCount();
  90. static void PopulateArrayGenericMethods(Il2CppClass* klass, uint16_t offset);
  91. static void CollectImplicitArrayInterfaces(Il2CppClass* elementClass, ::std::vector<Il2CppClass*>& interfaces);
  92. static void SetupArrayMethods(Il2CppClass* arrayClass)
  93. {
  94. size_t methodIndex = 0;
  95. uint8_t rank = arrayClass->rank;
  96. ::std::vector<Il2CppClass*> interfaces;
  97. CollectImplicitArrayInterfaces(arrayClass, interfaces);
  98. size_t methodCount = 3 + (rank > 1 ? 2 : 1) + interfaces.size() * GetArrayGenericMethodsCount();
  99. IL2CPP_ASSERT(methodCount <= std::numeric_limits<uint16_t>::max());
  100. arrayClass->method_count = static_cast<uint16_t>(methodCount);
  101. arrayClass->methods = (const MethodInfo**)MetadataCalloc(methodCount, sizeof(MethodInfo*));
  102. const Il2CppType** parameters = (const Il2CppType**)alloca(rank * sizeof(Il2CppType*));
  103. for (uint8_t i = 0; i < rank; i++)
  104. parameters[i] = &il2cpp_defaults.int32_class->byval_arg;
  105. arrayClass->methods[methodIndex++] = ConstructArrayMethod(arrayClass, ".ctor", &il2cpp_defaults.void_class->byval_arg, rank, parameters);
  106. if (rank > 1)
  107. {
  108. parameters = (const Il2CppType**)alloca(2 * rank * sizeof(Il2CppType*));
  109. for (uint8_t i = 0; i < 2 * rank; i++)
  110. parameters[i] = &il2cpp_defaults.int32_class->byval_arg;
  111. arrayClass->methods[methodIndex++] = ConstructArrayMethod(arrayClass, ".ctor", &il2cpp_defaults.void_class->byval_arg, 2 * rank, parameters);
  112. }
  113. parameters = (const Il2CppType**)alloca((rank + 1) * sizeof(Il2CppType*));
  114. for (uint8_t i = 0; i < rank; i++)
  115. parameters[i] = &il2cpp_defaults.int32_class->byval_arg;
  116. parameters[rank] = &arrayClass->element_class->byval_arg;
  117. MethodInfo* setMethod = ConstructArrayMethod(arrayClass, "Set", &il2cpp_defaults.void_class->byval_arg, rank + 1, parameters);
  118. setMethod->invoker_method = vm::Runtime::GetArraySetInvoker();
  119. arrayClass->methods[methodIndex++] = setMethod;
  120. parameters = (const Il2CppType**)alloca(rank * sizeof(Il2CppType*));
  121. for (uint8_t i = 0; i < rank; i++)
  122. parameters[i] = &il2cpp_defaults.int32_class->byval_arg;
  123. MethodInfo* addressMethod = ConstructArrayMethod(arrayClass, "Address", &arrayClass->element_class->this_arg, rank, parameters);
  124. addressMethod->invoker_method = vm::Runtime::GetMissingMethodInvoker();
  125. arrayClass->methods[methodIndex++] = addressMethod;
  126. parameters = (const Il2CppType**)alloca(rank * sizeof(Il2CppType*));
  127. for (uint8_t i = 0; i < rank; i++)
  128. parameters[i] = &il2cpp_defaults.int32_class->byval_arg;
  129. MethodInfo* getMethod = ConstructArrayMethod(arrayClass, "Get", &arrayClass->element_class->byval_arg, rank, parameters);
  130. getMethod->invoker_method = vm::Runtime::GetArrayGetInvoker();
  131. arrayClass->methods[methodIndex++] = getMethod;
  132. IL2CPP_ASSERT(methodIndex <= std::numeric_limits<uint16_t>::max());
  133. PopulateArrayGenericMethods(arrayClass, static_cast<uint16_t>(methodIndex));
  134. }
  135. static void CollectImplicitArrayInterfacesFromElementClass(Il2CppClass* elementClass, ::std::vector<Il2CppClass*>& interfaces)
  136. {
  137. while (elementClass != NULL)
  138. {
  139. interfaces.push_back(elementClass);
  140. if (!elementClass->byval_arg.valuetype && elementClass != il2cpp_defaults.value_type_class && elementClass != il2cpp_defaults.enum_class)
  141. {
  142. void* iter = NULL;
  143. while (Il2CppClass* itf = Class::GetInterfaces(elementClass, &iter))
  144. interfaces.push_back(itf);
  145. }
  146. if (elementClass->rank == 1)
  147. {
  148. ::std::vector<Il2CppClass*> elementInterfaces;
  149. CollectImplicitArrayInterfacesFromElementClass(elementClass->element_class, elementInterfaces);
  150. for (::std::vector<Il2CppClass*>::iterator iter = elementInterfaces.begin(); iter != elementInterfaces.end(); ++iter)
  151. {
  152. const Il2CppType* genericArgument = &(*iter)->byval_arg;
  153. interfaces.push_back(Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ilist_class, &genericArgument, 1));
  154. interfaces.push_back(Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_icollection_class, &genericArgument, 1));
  155. interfaces.push_back(Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ienumerable_class, &genericArgument, 1));
  156. interfaces.push_back(Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ireadonlylist_class, &genericArgument, 1));
  157. interfaces.push_back(Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ireadonlycollection_class, &genericArgument, 1));
  158. }
  159. }
  160. elementClass = Class::GetParent(elementClass);
  161. if (elementClass != NULL && (elementClass->byval_arg.valuetype || elementClass == il2cpp_defaults.value_type_class || elementClass == il2cpp_defaults.enum_class))
  162. break;
  163. }
  164. }
  165. static void CollectImplicitArrayInterfaces(Il2CppClass* arrayClass, ::std::vector<Il2CppClass*>& interfaces)
  166. {
  167. if (arrayClass->byval_arg.type != IL2CPP_TYPE_SZARRAY)
  168. return;
  169. CollectImplicitArrayInterfacesFromElementClass(arrayClass->element_class, interfaces);
  170. }
  171. // note assuming list is ordered as IList, ICollection, IEnumerable
  172. static void CollectGenericArrayMethods()
  173. {
  174. const size_t kNumGenericArrayMethods = 13;
  175. s_GenericArrayMethods.reserve(kNumGenericArrayMethods);
  176. void* iter = NULL;
  177. while (const MethodInfo* method = Class::GetMethods(il2cpp_defaults.array_class, &iter))
  178. {
  179. if (strncmp(method->name, "InternalArray__", 15))
  180. continue;
  181. std::string name;
  182. std::string methodName;
  183. Il2CppClass* implementingInterface = NULL;
  184. if (!strncmp(method->name, "InternalArray__ICollection_", 27))
  185. {
  186. implementingInterface = il2cpp_defaults.generic_icollection_class;
  187. methodName = method->name + 27;
  188. name = StringUtils::Printf("System.Collections.Generic.ICollection`1.%s", method->name + 27);
  189. }
  190. else if (!strncmp(method->name, "InternalArray__IEnumerable_", 27))
  191. {
  192. implementingInterface = il2cpp_defaults.generic_ienumerable_class;
  193. methodName = method->name + 27;
  194. name = StringUtils::Printf("System.Collections.Generic.IEnumerable`1.%s", method->name + 27);
  195. }
  196. else if (!strncmp(method->name, "InternalArray__IReadOnlyList_", 29))
  197. {
  198. implementingInterface = il2cpp_defaults.generic_ireadonlylist_class;
  199. methodName = method->name + 29;
  200. name = StringUtils::Printf("System.Collections.Generic.IReadOnlyList`1.%s", method->name + 29);
  201. }
  202. else if (!strncmp(method->name, "InternalArray__IReadOnlyCollection_", 35))
  203. {
  204. implementingInterface = il2cpp_defaults.generic_ireadonlycollection_class;
  205. methodName = method->name + 35;
  206. name = StringUtils::Printf("System.Collections.Generic.IReadOnlyCollection`1.%s", method->name + 35);
  207. }
  208. else
  209. {
  210. implementingInterface = il2cpp_defaults.generic_ilist_class;
  211. methodName = method->name + 15;
  212. name = StringUtils::Printf("System.Collections.Generic.IList`1.%s", method->name + 15);
  213. }
  214. Class::Init(implementingInterface);
  215. const MethodInfo* matchingInterfacesMethod = NULL;
  216. for (int methodIndex = 0; methodIndex < implementingInterface->method_count; methodIndex++)
  217. {
  218. const MethodInfo* interfaceMethod = implementingInterface->methods[methodIndex];
  219. if (methodName == interfaceMethod->name)
  220. matchingInterfacesMethod = interfaceMethod;
  221. }
  222. if (matchingInterfacesMethod != NULL)
  223. {
  224. GenericArrayMethod genericArrayMethod = { StringUtils::StringDuplicate(name.c_str()), method, matchingInterfacesMethod };
  225. s_GenericArrayMethods.push_back(genericArrayMethod);
  226. }
  227. }
  228. }
  229. static size_t GetArrayGenericMethodsCount()
  230. {
  231. if (s_GenericArrayMethods.size() == 0)
  232. CollectGenericArrayMethods();
  233. return s_GenericArrayMethods.size();
  234. }
  235. static MethodInfo* ConstructGenericArrayMethod(const GenericArrayMethod& genericArrayMethod, Il2CppClass* klass, Il2CppGenericContext* context)
  236. {
  237. MethodInfo* inflatedMethod;
  238. if (genericArrayMethod.method->is_generic)
  239. {
  240. inflatedMethod = GenericMethod::AllocateNewMethodInfo(genericArrayMethod.method, context->class_inst, context->method_inst);
  241. }
  242. else
  243. {
  244. inflatedMethod = (MethodInfo*)MetadataCalloc(1, sizeof(MethodInfo));
  245. memcpy(inflatedMethod, genericArrayMethod.method, sizeof(MethodInfo));
  246. }
  247. inflatedMethod->name = genericArrayMethod.name;
  248. // The array methods are owned by the specific array instance, but they do not exist in metadata
  249. // Ensure that the metadata token is zero (and not copied from the method definition) so any
  250. // metadata lookup (e.g. custom attributes) will not find anything
  251. inflatedMethod->klass = klass;
  252. inflatedMethod->token = 0;
  253. return inflatedMethod;
  254. }
  255. static void PopulateArrayGenericMethods(Il2CppClass* klass, uint16_t offset)
  256. {
  257. for (int i = 0; i < klass->interface_offsets_count; i++)
  258. {
  259. Il2CppClass* interfaceType = klass->interfaceOffsets[i].interfaceType;
  260. if (!interfaceType->generic_class)
  261. continue;
  262. Il2CppClass* interfaceDefinition = GenericClass::GetTypeDefinition(interfaceType->generic_class);
  263. Il2CppGenericContext context = { 0 };
  264. context.method_inst = MetadataCache::GetGenericInst(&interfaceType->generic_class->context.class_inst->type_argv[0], 1);
  265. for (GenericArrayMethods::const_iterator iter = s_GenericArrayMethods.begin(); iter != s_GenericArrayMethods.end(); ++iter)
  266. {
  267. if (iter->interfaceMethodDefinition->klass != interfaceDefinition)
  268. continue;
  269. MethodInfo* arrayMethod = ConstructGenericArrayMethod(*iter, klass, &context);
  270. klass->methods[offset++] = arrayMethod;
  271. size_t vtableIndex = klass->interfaceOffsets[i].offset + iter->interfaceMethodDefinition->slot;
  272. klass->vtable[vtableIndex].method = arrayMethod;
  273. klass->vtable[vtableIndex].methodPtr = arrayMethod->virtualMethodPointer;
  274. }
  275. }
  276. }
  277. static void SetupArrayVTableAndInterfaceOffsets(Il2CppClass* klass)
  278. {
  279. Il2CppClass* arrayClass = Class::GetParent(klass);
  280. size_t arrayInterfacesCount = arrayClass->interface_offsets_count;
  281. ::std::vector<Il2CppClass*> interfaces;
  282. if (klass->byval_arg.type == IL2CPP_TYPE_SZARRAY)
  283. {
  284. CollectImplicitArrayInterfaces(klass, interfaces);
  285. }
  286. Il2CppRuntimeInterfaceOffsetPair* newInterfaceOffsets = (Il2CppRuntimeInterfaceOffsetPair*)MetadataMalloc((arrayInterfacesCount + kImplicitArrayInterfaceCount * interfaces.size()) * sizeof(Il2CppRuntimeInterfaceOffsetPair));
  287. memcpy(newInterfaceOffsets, arrayClass->interfaceOffsets, (arrayInterfacesCount) * sizeof(Il2CppRuntimeInterfaceOffsetPair));
  288. int32_t arrayVTableSlot = arrayClass->vtable_count;
  289. size_t slots = arrayVTableSlot + interfaces.size() * (il2cpp_defaults.generic_ilist_class->method_count + il2cpp_defaults.generic_icollection_class->method_count + il2cpp_defaults.generic_ienumerable_class->method_count);
  290. slots += interfaces.size() * (il2cpp_defaults.generic_ireadonlylist_class->method_count + il2cpp_defaults.generic_ireadonlycollection_class->method_count);
  291. memcpy(klass->vtable, arrayClass->vtable, arrayVTableSlot * sizeof(VirtualInvokeData));
  292. size_t index = arrayInterfacesCount;
  293. int32_t vtableSlot = arrayVTableSlot;
  294. for (::std::vector<Il2CppClass*>::iterator iter = interfaces.begin(); iter != interfaces.end(); iter++, index += kImplicitArrayInterfaceCount)
  295. {
  296. const Il2CppType* genericArgument = &(*iter)->byval_arg;
  297. newInterfaceOffsets[index].interfaceType = Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ilist_class, &genericArgument, 1);
  298. newInterfaceOffsets[index].offset = vtableSlot;
  299. vtableSlot += newInterfaceOffsets[index].interfaceType->method_count;
  300. newInterfaceOffsets[index + 1].interfaceType = Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_icollection_class, &genericArgument, 1);
  301. newInterfaceOffsets[index + 1].offset = vtableSlot;
  302. vtableSlot += newInterfaceOffsets[index + 1].interfaceType->method_count;
  303. newInterfaceOffsets[index + 2].interfaceType = Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ienumerable_class, &genericArgument, 1);
  304. newInterfaceOffsets[index + 2].offset = vtableSlot;
  305. vtableSlot += newInterfaceOffsets[index + 2].interfaceType->method_count;
  306. newInterfaceOffsets[index + 3].interfaceType = Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ireadonlylist_class, &genericArgument, 1);
  307. newInterfaceOffsets[index + 3].offset = vtableSlot;
  308. vtableSlot += newInterfaceOffsets[index + 3].interfaceType->method_count;
  309. newInterfaceOffsets[index + 4].interfaceType = Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ireadonlycollection_class, &genericArgument, 1);
  310. newInterfaceOffsets[index + 4].offset = vtableSlot;
  311. vtableSlot += newInterfaceOffsets[index + 4].interfaceType->method_count;
  312. }
  313. size_t interfaceOffsetsCount = arrayInterfacesCount + kImplicitArrayInterfaceCount * interfaces.size();
  314. IL2CPP_ASSERT(interfaceOffsetsCount <= std::numeric_limits<uint16_t>::max());
  315. klass->interface_offsets_count = static_cast<uint16_t>(interfaceOffsetsCount);
  316. klass->interfaceOffsets = newInterfaceOffsets;
  317. }
  318. void SetupCastClass(Il2CppClass *arrayType)
  319. {
  320. Il2CppClass *elementType = arrayType->element_class;
  321. arrayType->castClass = ArrayMetadata::GetArrayVarianceReducedType(elementType);
  322. arrayType->has_references = Type::IsReference(&elementType->byval_arg) || elementType->has_references;
  323. }
  324. void ArrayMetadata::SetupArrayInterfaces(Il2CppClass* klass, const FastAutoLock& lock)
  325. {
  326. if (klass->byval_arg.type == IL2CPP_TYPE_SZARRAY)
  327. {
  328. IL2CPP_ASSERT(klass->implementedInterfaces == NULL);
  329. const Il2CppType* genericArguments = &klass->element_class->byval_arg;
  330. IL2CPP_ASSERT(klass->interfaces_count == kImplicitArrayInterfaceCount);
  331. klass->implementedInterfaces = (Il2CppClass**)MetadataMalloc(klass->interfaces_count * sizeof(Il2CppClass*));
  332. klass->implementedInterfaces[0] = Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ilist_class, &genericArguments, 1);
  333. IL2CPP_ASSERT(klass->implementedInterfaces[0]);
  334. klass->implementedInterfaces[1] = Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_icollection_class, &genericArguments, 1);
  335. IL2CPP_ASSERT(klass->implementedInterfaces[1]);
  336. klass->implementedInterfaces[2] = Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ienumerable_class, &genericArguments, 1);
  337. IL2CPP_ASSERT(klass->implementedInterfaces[2]);
  338. klass->implementedInterfaces[3] = Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ireadonlylist_class, &genericArguments, 1);
  339. IL2CPP_ASSERT(klass->implementedInterfaces[3]);
  340. klass->implementedInterfaces[4] = Class::GetInflatedGenericInstanceClass(il2cpp_defaults.generic_ireadonlycollection_class, &genericArguments, 1);
  341. IL2CPP_ASSERT(klass->implementedInterfaces[4]);
  342. }
  343. }
  344. void ArrayMetadata::SetupArrayVTable(Il2CppClass* klass, const FastAutoLock& lock)
  345. {
  346. // we assume we are being called as part of Class::Init and that the element class has already been initialized
  347. IL2CPP_ASSERT(klass->element_class->initialized);
  348. SetupCastClass(klass);
  349. SetupArrayVTableAndInterfaceOffsets(klass);
  350. SetupArrayMethods(klass);
  351. }
  352. struct SZArrayClassHash
  353. {
  354. size_t operator()(const Il2CppClass* arrayClass) const
  355. {
  356. return Il2CppTypeHash::Hash(&arrayClass->byval_arg);
  357. }
  358. };
  359. struct SZArrayClassCompare
  360. {
  361. bool operator()(const Il2CppClass* arrayClass1, const Il2CppClass* arrayClass2) const
  362. {
  363. return Il2CppTypeEqualityComparer::AreEqual(&arrayClass1->byval_arg, &arrayClass2->byval_arg);
  364. }
  365. };
  366. struct ArrayClassHash
  367. {
  368. size_t operator()(const std::pair<Il2CppClass*, uint32_t>& arrayClass) const
  369. {
  370. return Il2CppTypeHash::Hash(&arrayClass.first->byval_arg) * arrayClass.second;
  371. }
  372. };
  373. struct ArrayClassCompare
  374. {
  375. bool operator()(const std::pair<Il2CppClass*, uint32_t>& arrayClass1, const std::pair<Il2CppClass*, uint32_t>& arrayClass2) const
  376. {
  377. return Il2CppTypeEqualityComparer::AreEqual(&arrayClass1.first->byval_arg, &arrayClass2.first->byval_arg) && arrayClass1.second == arrayClass2.second;
  378. }
  379. };
  380. typedef Il2CppReaderWriterLockedHashMap<Il2CppClass*, Il2CppClass*, SZArrayClassHash, SZArrayClassCompare> SZArrayClassMap;
  381. typedef Il2CppReaderWriterLockedHashMap<std::pair<Il2CppClass*, uint32_t>, Il2CppClass*, ArrayClassHash, ArrayClassCompare> ArrayClassMap;
  382. SZArrayClassMap s_SZArrayClassMap;
  383. ArrayClassMap s_ArrayClassMap;
  384. void ArrayMetadata::Clear()
  385. {
  386. s_SZArrayClassMap.Clear();
  387. s_ArrayClassMap.Clear();
  388. for (auto genericArrayMethod : s_GenericArrayMethods)
  389. IL2CPP_FREE((void*)genericArrayMethod.name);
  390. s_GenericArrayMethods.clear();
  391. }
  392. static Il2CppClass* FindBoundedArrayClass(Il2CppClass* elementClass, uint32_t rank, bool bounded)
  393. {
  394. Il2CppClass* arrayClass = NULL;
  395. if (rank > 1 || bounded)
  396. {
  397. if (s_ArrayClassMap.TryGet(std::make_pair(elementClass, rank), &arrayClass))
  398. return arrayClass;
  399. }
  400. else
  401. {
  402. if (s_SZArrayClassMap.TryGet(elementClass, &arrayClass))
  403. return arrayClass;
  404. }
  405. return NULL;
  406. }
  407. Il2CppClass* ArrayMetadata::GetBoundedArrayClass(Il2CppClass* elementClass, uint32_t rank, bool bounded)
  408. {
  409. IL2CPP_ASSERT(rank <= 255);
  410. if (rank > 1)
  411. bounded = false;
  412. // Check for a cached array class using the reader lock only
  413. Il2CppClass* cachedArrayClass = FindBoundedArrayClass(elementClass, rank, bounded);
  414. if (cachedArrayClass != NULL)
  415. return cachedArrayClass;
  416. FastAutoLock lock(&il2cpp::vm::g_MetadataLock);
  417. // Check if the array class was created while we were waiting for the g_MetadataLock
  418. cachedArrayClass = FindBoundedArrayClass(elementClass, rank, bounded);
  419. if (cachedArrayClass != NULL)
  420. return cachedArrayClass;
  421. Il2CppClass* arrayClass = il2cpp_defaults.array_class;
  422. Class::Init(arrayClass);
  423. //count number of virtual call slots for array class
  424. ::std::vector<Il2CppClass*> interfaces;
  425. if (rank <= 1 && !bounded)
  426. CollectImplicitArrayInterfacesFromElementClass(elementClass, interfaces);
  427. size_t slots = arrayClass->vtable_count + interfaces.size() * (il2cpp_defaults.generic_ilist_class->method_count + il2cpp_defaults.generic_icollection_class->method_count + il2cpp_defaults.generic_ienumerable_class->method_count);
  428. slots += interfaces.size() * (il2cpp_defaults.generic_ireadonlylist_class->method_count + il2cpp_defaults.generic_ireadonlycollection_class->method_count);
  429. Il2CppClass* klass = (Il2CppClass*)MetadataCalloc(1, sizeof(Il2CppClass) + (slots * sizeof(VirtualInvokeData)));
  430. klass->klass = klass;
  431. klass->image = elementClass->image;
  432. // can share the const char* since it's immutable
  433. klass->namespaze = elementClass->namespaze;
  434. klass->name = GetArrayName(elementClass->name, rank, bounded);
  435. klass->parent = il2cpp_defaults.array_class;
  436. klass->flags = TYPE_ATTRIBUTE_AUTO_LAYOUT | TYPE_ATTRIBUTE_ANSI_CLASS | TYPE_ATTRIBUTE_CLASS | TYPE_ATTRIBUTE_PUBLIC | TYPE_ATTRIBUTE_SEALED | TYPE_ATTRIBUTE_SERIALIZABLE;
  437. klass->rank = rank;
  438. klass->instance_size = Class::GetInstanceSize(arrayClass);
  439. klass->stack_slot_size = sizeof(void*);
  440. klass->vtable_count = static_cast<uint16_t>(slots);
  441. // need this before we access the size or has_references
  442. Class::SetupFields(elementClass);
  443. klass->element_size = Class::GetArrayElementSize(elementClass);
  444. klass->native_size = klass->thread_static_fields_offset = -1;
  445. klass->has_references = Type::IsReference(&elementClass->byval_arg) || elementClass->has_references;
  446. klass->size_inited = true; // set only after instance_size and has_references are set
  447. klass->element_class = elementClass;
  448. SetupCastClass(klass);
  449. if (rank > 1 || bounded)
  450. {
  451. Il2CppArrayType *at = (Il2CppArrayType*)MetadataCalloc(1, sizeof(Il2CppArrayType));
  452. klass->byval_arg.type = IL2CPP_TYPE_ARRAY;
  453. klass->byval_arg.data.array = at;
  454. at->etype = &elementClass->byval_arg;
  455. at->rank = rank;
  456. }
  457. else
  458. {
  459. klass->byval_arg.type = IL2CPP_TYPE_SZARRAY;
  460. klass->byval_arg.data.type = &elementClass->byval_arg;
  461. }
  462. klass->this_arg = klass->byval_arg;
  463. klass->this_arg.byref = 1;
  464. if (rank > 1 || bounded)
  465. {
  466. klass->interfaces_count = 0;
  467. }
  468. else
  469. {
  470. klass->interfaces_count = kImplicitArrayInterfaceCount;
  471. }
  472. klass->interopData = MetadataCache::GetInteropDataForType(&klass->byval_arg);
  473. // Insert the new array class while still holding the g_MetadataLock
  474. // This ensures that the class is only added once
  475. // And WalkSZArrays and WalkArrays (see below) only take the g_MetadataLock and assume that the maps won't be changed
  476. // It's not safe to take the reader/writer lock there because those locks aren't re-entrant and those methods take
  477. // call backs that call arbitrary code
  478. if (rank > 1 || bounded)
  479. s_ArrayClassMap.Add(ArrayClassMap::key_type(std::make_pair(klass->element_class, klass->rank)), klass);
  480. else
  481. s_SZArrayClassMap.Add(klass->element_class, klass);
  482. return klass;
  483. }
  484. void ArrayMetadata::WalkSZArrays(ArrayTypeWalkCallback callback, void* context)
  485. {
  486. FastAutoLock lock(&il2cpp::vm::g_MetadataLock);
  487. for (SZArrayClassMap::iterator it = s_SZArrayClassMap.UnlockedBegin(); it != s_SZArrayClassMap.UnlockedEnd(); it++)
  488. {
  489. callback(it->second, context);
  490. }
  491. }
  492. void ArrayMetadata::WalkArrays(ArrayTypeWalkCallback callback, void* context)
  493. {
  494. FastAutoLock lock(&il2cpp::vm::g_MetadataLock);
  495. for (ArrayClassMap::iterator it = s_ArrayClassMap.UnlockedBegin(); it != s_ArrayClassMap.UnlockedEnd(); it++)
  496. {
  497. callback(it->second, context);
  498. }
  499. }
  500. } /* namespace vm */
  501. } /* namespace il2cpp */