1 /* GNU Objective C Runtime class related functions
2 Copyright (C) 1993, 1995, 1996, 1997, 2001, 2002, 2009, 2010
3 Free Software Foundation, Inc.
4 Contributed by Kresten Krab Thorup and Dennis Glatting.
6 Lock-free class table code designed and written from scratch by
9 This file is part of GCC.
11 GCC is free software; you can redistribute it and/or modify it under the
12 terms of the GNU General Public License as published by the Free Software
13 Foundation; either version 3, or (at your option) any later version.
15 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
16 WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
17 FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
20 Under Section 7 of GPL version 3, you are granted additional
21 permissions described in the GCC Runtime Library Exception, version
22 3.1, as published by the Free Software Foundation.
24 You should have received a copy of the GNU General Public License and
25 a copy of the GCC Runtime Library Exception along with this program;
26 see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
27 <http://www.gnu.org/licenses/>. */
29 /* The code in this file critically affects class method invocation
30 speed. This long preamble comment explains why, and the issues
33 One of the traditional weaknesses of the GNU Objective-C runtime is
34 that class method invocations are slow. The reason is that when you
37 array = [NSArray new];
39 this gets basically compiled into the equivalent of
41 array = [(objc_get_class ("NSArray")) new];
43 objc_get_class returns the class pointer corresponding to the string
44 `NSArray'; and because of the lookup, the operation is more
45 complicated and slow than a simple instance method invocation.
47 Most high performance Objective-C code (using the GNU Objc runtime)
48 I had the opportunity to read (or write) work around this problem by
49 caching the class pointer:
51 Class arrayClass = [NSArray class];
55 array = [arrayClass new];
56 array = [arrayClass new];
57 array = [arrayClass new];
59 In this case, you always perform a class lookup (the first one), but
60 then all the [arrayClass new] methods run exactly as fast as an
61 instance method invocation. It helps if you have many class method
62 invocations to the same class.
64 The long-term solution to this problem would be to modify the
65 compiler to output tables of class pointers corresponding to all the
66 class method invocations, and to add code to the runtime to update
67 these tables - that should in the end allow class method invocations
68 to perform precisely as fast as instance method invocations, because
69 no class lookup would be involved. I think the Apple Objective-C
70 runtime uses this technique. Doing this involves synchronized
71 modifications in the runtime and in the compiler.
73 As a first medicine to the problem, I [NP] have redesigned and
74 rewritten the way the runtime is performing class lookup. This
75 doesn't give as much speed as the other (definitive) approach, but
76 at least a class method invocation now takes approximately 4.5 times
77 an instance method invocation on my machine (it would take approx 12
78 times before the rewriting), which is a lot better.
80 One of the main reason the new class lookup is so faster is because
81 I implemented it in a way that can safely run multithreaded without
82 using locks - a so-called `lock-free' data structure. The atomic
83 operation is pointer assignment. The reason why in this problem
84 lock-free data structures work so well is that you never remove
85 classes from the table - and the difficult thing with lock-free data
86 structures is freeing data when is removed from the structures. */
88 #include "objc-private/common.h"
89 #include "objc-private/error.h"
90 #include "objc/runtime.h"
92 #include "objc-private/module-abi-8.h" /* For CLS_ISCLASS and similar. */
93 #include "objc-private/runtime.h" /* the kitchen sink */
94 #include "objc-private/sarray.h" /* For sarray_put_at_safe. */
95 #include "objc-private/selector.h" /* For sarray_put_at_safe. */
96 #include <string.h> /* For memset */
98 /* We use a table which maps a class name to the corresponding class
99 pointer. The first part of this file defines this table, and
100 functions to do basic operations on the table. The second part of
101 the file implements some higher level Objective-C functionality for
102 classes by using the functions provided in the first part to manage
106 ** Class Table Internals
109 /* A node holding a class */
110 typedef struct class_node
112 struct class_node
*next
; /* Pointer to next entry on the list.
113 NULL indicates end of list. */
115 const char *name
; /* The class name string */
116 int length
; /* The class name string length */
117 Class pointer
; /* The Class pointer */
121 /* A table containing classes is a class_node_ptr (pointing to the
122 first entry in the table - if it is NULL, then the table is
125 /* We have 1024 tables. Each table contains all class names which
126 have the same hash (which is a number between 0 and 1023). To look
127 up a class_name, we compute its hash, and get the corresponding
128 table. Once we have the table, we simply compare strings directly
129 till we find the one which we want (using the length first). The
130 number of tables is quite big on purpose (a normal big application
131 has less than 1000 classes), so that you shouldn't normally get any
132 collisions, and get away with a single comparison (which we can't
133 avoid since we need to know that you have got the right thing). */
134 #define CLASS_TABLE_SIZE 1024
135 #define CLASS_TABLE_MASK 1023
137 static class_node_ptr class_table_array
[CLASS_TABLE_SIZE
];
139 /* The table writing mutex - we lock on writing to avoid conflicts
140 between different writers, but we read without locks. That is
141 possible because we assume pointer assignment to be an atomic
142 operation. TODO: This is only true under certain circumstances,
143 which should be clarified. */
144 static objc_mutex_t __class_table_lock
= NULL
;
146 /* CLASS_TABLE_HASH is how we compute the hash of a class name. It is
147 a macro - *not* a function - arguments *are* modified directly.
149 INDEX should be a variable holding an int;
150 HASH should be a variable holding an int;
151 CLASS_NAME should be a variable holding a (char *) to the class_name.
153 After the macro is executed, INDEX contains the length of the
154 string, and HASH the computed hash of the string; CLASS_NAME is
157 #define CLASS_TABLE_HASH(INDEX, HASH, CLASS_NAME) \
159 for (INDEX = 0; CLASS_NAME[INDEX] != '\0'; INDEX++) \
161 HASH = (HASH << 4) ^ (HASH >> 28) ^ CLASS_NAME[INDEX]; \
164 HASH = (HASH ^ (HASH >> 10) ^ (HASH >> 20)) & CLASS_TABLE_MASK;
166 /* Setup the table. */
168 class_table_setup (void)
170 /* Start - nothing in the table. */
171 memset (class_table_array
, 0, sizeof (class_node_ptr
) * CLASS_TABLE_SIZE
);
173 /* The table writing mutex. */
174 __class_table_lock
= objc_mutex_allocate ();
178 /* Insert a class in the table (used when a new class is
181 class_table_insert (const char *class_name
, Class class_pointer
)
184 class_node_ptr new_node
;
186 /* Find out the class name's hash and length. */
187 CLASS_TABLE_HASH (length
, hash
, class_name
);
189 /* Prepare the new node holding the class. */
190 new_node
= objc_malloc (sizeof (struct class_node
));
191 new_node
->name
= class_name
;
192 new_node
->length
= length
;
193 new_node
->pointer
= class_pointer
;
195 /* Lock the table for modifications. */
196 objc_mutex_lock (__class_table_lock
);
198 /* Insert the new node in the table at the beginning of the table at
199 class_table_array[hash]. */
200 new_node
->next
= class_table_array
[hash
];
201 class_table_array
[hash
] = new_node
;
203 objc_mutex_unlock (__class_table_lock
);
206 /* Get a class from the table. This does not need mutex protection.
207 Currently, this function is called each time you call a static
208 method, this is why it must be very fast. */
210 class_table_get_safe (const char *class_name
)
215 /* Compute length and hash. */
216 CLASS_TABLE_HASH (length
, hash
, class_name
);
218 node
= class_table_array
[hash
];
224 if (node
->length
== length
)
226 /* Compare the class names. */
229 for (i
= 0; i
< length
; i
++)
231 if ((node
->name
)[i
] != class_name
[i
])
237 /* They are equal! */
238 return node
->pointer
;
242 while ((node
= node
->next
) != NULL
);
248 /* Enumerate over the class table. */
249 struct class_table_enumerator
257 class_table_next (struct class_table_enumerator
**e
)
259 struct class_table_enumerator
*enumerator
= *e
;
262 if (enumerator
== NULL
)
264 *e
= objc_malloc (sizeof (struct class_table_enumerator
));
266 enumerator
->hash
= 0;
267 enumerator
->node
= NULL
;
269 next
= class_table_array
[enumerator
->hash
];
272 next
= enumerator
->node
->next
;
276 enumerator
->node
= next
;
277 return enumerator
->node
->pointer
;
283 while (enumerator
->hash
< CLASS_TABLE_SIZE
)
285 next
= class_table_array
[enumerator
->hash
];
288 enumerator
->node
= next
;
289 return enumerator
->node
->pointer
;
294 /* Ok - table finished - done. */
295 objc_free (enumerator
);
300 #if 0 /* DEBUGGING FUNCTIONS */
301 /* Debugging function - print the class table. */
303 class_table_print (void)
307 for (i
= 0; i
< CLASS_TABLE_SIZE
; i
++)
312 node
= class_table_array
[i
];
316 printf ("\t%s\n", node
->name
);
322 /* Debugging function - print an histogram of number of classes in
323 function of hash key values. Useful to evaluate the hash function
326 class_table_print_histogram (void)
331 for (i
= 0; i
< CLASS_TABLE_SIZE
; i
++)
335 node
= class_table_array
[i
];
342 if (((i
+ 1) % 50) == 0)
344 printf ("%4d:", i
+ 1);
345 for (j
= 0; j
< counter
; j
++)
352 printf ("%4d:", i
+ 1);
353 for (j
= 0; j
< counter
; j
++)
358 #endif /* DEBUGGING FUNCTIONS */
361 ** Objective-C runtime functions
364 /* From now on, the only access to the class table data structure
365 should be via the class_table_* functions. */
367 /* This is a hook which is called by objc_get_class and
368 objc_lookup_class if the runtime is not able to find the class.
369 This may e.g. try to load in the class using dynamic loading.
371 This hook was a public, global variable in the Traditional GNU
372 Objective-C Runtime API (objc/objc-api.h). The modern GNU
373 Objective-C Runtime API (objc/runtime.h) provides the
374 objc_setGetUnknownClassHandler() function instead.
376 Class (*_objc_lookup_class
) (const char *name
) = 0; /* !T:SAFE */
378 /* The handler currently in use. PS: if both
379 __obj_get_unknown_class_handler and _objc_lookup_class are defined,
380 __objc_get_unknown_class_handler is called first. */
381 static objc_get_unknown_class_handler
382 __objc_get_unknown_class_handler
= NULL
;
384 objc_get_unknown_class_handler
385 objc_setGetUnknownClassHandler (objc_get_unknown_class_handler
388 objc_get_unknown_class_handler old_handler
389 = __objc_get_unknown_class_handler
;
390 __objc_get_unknown_class_handler
= new_handler
;
395 /* True when class links has been resolved. */
396 BOOL __objc_class_links_resolved
= NO
; /* !T:UNUSED */
400 __objc_init_class_tables (void)
402 /* Allocate the class hash table. */
404 if (__class_table_lock
)
407 objc_mutex_lock (__objc_runtime_mutex
);
409 class_table_setup ();
411 objc_mutex_unlock (__objc_runtime_mutex
);
414 /* This function adds a class to the class hash table, and assigns the
415 class a number, unless it's already known. Return 'YES' if the
416 class was added. Return 'NO' if the class was already known. */
418 __objc_add_class_to_hash (Class
class)
420 Class existing_class
;
422 objc_mutex_lock (__objc_runtime_mutex
);
424 /* Make sure the table is there. */
425 assert (__class_table_lock
);
427 /* Make sure it's not a meta class. */
428 assert (CLS_ISCLASS (class));
430 /* Check to see if the class is already in the hash table. */
431 existing_class
= class_table_get_safe (class->name
);
435 objc_mutex_unlock (__objc_runtime_mutex
);
440 /* The class isn't in the hash table. Add the class and assign
442 static unsigned int class_number
= 1;
444 CLS_SETNUMBER (class, class_number
);
445 CLS_SETNUMBER (class->class_pointer
, class_number
);
448 class_table_insert (class->name
, class);
450 objc_mutex_unlock (__objc_runtime_mutex
);
456 objc_getClass (const char *name
)
463 class = class_table_get_safe (name
);
468 if (__objc_get_unknown_class_handler
)
469 return (*__objc_get_unknown_class_handler
) (name
);
471 if (_objc_lookup_class
)
472 return (*_objc_lookup_class
) (name
);
478 objc_lookUpClass (const char *name
)
483 return class_table_get_safe (name
);
487 objc_getMetaClass (const char *name
)
489 Class
class = objc_getClass (name
);
492 return class->class_pointer
;
498 objc_getRequiredClass (const char *name
)
500 Class
class = objc_getClass (name
);
505 _objc_abort ("objc_getRequiredClass ('%s') failed: class not found\n", name
);
509 objc_getClassList (Class
*returnValue
, int maxNumberOfClassesToReturn
)
511 /* Iterate over all entries in the table. */
514 for (hash
= 0; hash
< CLASS_TABLE_SIZE
; hash
++)
516 class_node_ptr node
= class_table_array
[hash
];
522 if (count
< maxNumberOfClassesToReturn
)
523 returnValue
[count
] = node
->pointer
;
536 objc_allocateClassPair (Class super_class
, const char *class_name
, size_t extraBytes
)
539 Class new_meta_class
;
541 if (class_name
== NULL
)
544 if (objc_getClass (class_name
))
549 /* If you want to build a hierarchy of classes, you need to
550 build and register them one at a time. The risk is that you
551 are able to cause confusion by registering a subclass before
552 the superclass or similar. */
553 if (CLS_IS_IN_CONSTRUCTION (super_class
))
557 /* Technically, we should create the metaclass first, then use
558 class_createInstance() to create the class. That complication
559 would be relevant if we had class variables, but we don't, so we
560 just ignore it and create everything directly and assume all
561 classes have the same size. */
562 new_class
= objc_calloc (1, sizeof (struct objc_class
) + extraBytes
);
563 new_meta_class
= objc_calloc (1, sizeof (struct objc_class
) + extraBytes
);
565 /* We create an unresolved class, similar to one generated by the
566 compiler. It will be resolved later when we register it.
568 Note how the metaclass details are not that important; when the
569 class is resolved, the ones that matter will be fixed up. */
570 new_class
->class_pointer
= new_meta_class
;
571 new_meta_class
->class_pointer
= 0;
575 /* Force the name of the superclass in place of the link to the
576 actual superclass, which will be put there when the class is
578 const char *super_class_name
= class_getName (super_class
);
579 new_class
->super_class
= (void *)super_class_name
;
580 new_meta_class
->super_class
= (void *)super_class_name
;
584 new_class
->super_class
= (void *)0;
585 new_meta_class
->super_class
= (void *)0;
588 new_class
->name
= objc_malloc (strlen (class_name
) + 1);
589 strcpy ((char*)new_class
->name
, class_name
);
590 new_meta_class
->name
= new_class
->name
;
592 new_class
->version
= 0;
593 new_meta_class
->version
= 0;
595 new_class
->info
= _CLS_CLASS
| _CLS_IN_CONSTRUCTION
;
596 new_meta_class
->info
= _CLS_META
| _CLS_IN_CONSTRUCTION
;
599 new_class
->instance_size
= super_class
->instance_size
;
601 new_class
->instance_size
= 0;
602 new_meta_class
->instance_size
= sizeof (struct objc_class
);
608 objc_registerClassPair (Class class_
)
613 if ((! CLS_ISCLASS (class_
)) || (! CLS_IS_IN_CONSTRUCTION (class_
)))
616 if ((! CLS_ISMETA (class_
->class_pointer
)) || (! CLS_IS_IN_CONSTRUCTION (class_
->class_pointer
)))
619 objc_mutex_lock (__objc_runtime_mutex
);
621 if (objc_getClass (class_
->name
))
623 objc_mutex_unlock (__objc_runtime_mutex
);
627 CLS_SET_NOT_IN_CONSTRUCTION (class_
);
628 CLS_SET_NOT_IN_CONSTRUCTION (class_
->class_pointer
);
630 __objc_init_class (class_
);
632 /* Resolve class links immediately. No point in waiting. */
633 __objc_resolve_class_links ();
635 objc_mutex_unlock (__objc_runtime_mutex
);
639 objc_disposeClassPair (Class class_
)
644 if ((! CLS_ISCLASS (class_
)) || (! CLS_IS_IN_CONSTRUCTION (class_
)))
647 if ((! CLS_ISMETA (class_
->class_pointer
)) || (! CLS_IS_IN_CONSTRUCTION (class_
->class_pointer
)))
650 /* Undo any class_addIvar(). */
654 for (i
= 0; i
< class_
->ivars
->ivar_count
; i
++)
656 struct objc_ivar
*ivar
= &(class_
->ivars
->ivar_list
[i
]);
658 objc_free ((char *)ivar
->ivar_name
);
659 objc_free ((char *)ivar
->ivar_type
);
662 objc_free (class_
->ivars
);
665 /* Undo any class_addMethod(). */
668 struct objc_method_list
*list
= class_
->methods
;
672 struct objc_method_list
*next
= list
->method_next
;
674 for (i
= 0; i
< list
->method_count
; i
++)
676 struct objc_method
*method
= &(list
->method_list
[i
]);
678 objc_free ((char *)method
->method_name
);
679 objc_free ((char *)method
->method_types
);
687 /* Undo any class_addProtocol(). */
688 if (class_
->protocols
)
690 struct objc_protocol_list
*list
= class_
->protocols
;
693 struct objc_protocol_list
*next
= list
->next
;
700 /* Undo any class_addMethod() on the meta-class. */
701 if (class_
->class_pointer
->methods
)
703 struct objc_method_list
*list
= class_
->class_pointer
->methods
;
707 struct objc_method_list
*next
= list
->method_next
;
709 for (i
= 0; i
< list
->method_count
; i
++)
711 struct objc_method
*method
= &(list
->method_list
[i
]);
713 objc_free ((char *)method
->method_name
);
714 objc_free ((char *)method
->method_types
);
722 /* Undo objc_allocateClassPair(). */
723 objc_free ((char *)(class_
->name
));
724 objc_free (class_
->class_pointer
);
728 /* Traditional GNU Objective-C Runtime API. Important: this method is
729 called automatically by the compiler while messaging (if using the
730 traditional ABI), so it is worth keeping it fast; don't make it
731 just a wrapper around objc_getClass(). */
732 /* Note that this is roughly equivalent to objc_getRequiredClass(). */
733 /* Get the class object for the class named NAME. If NAME does not
734 identify a known class, the hook _objc_lookup_class is called. If
735 this fails, an error message is issued and the system aborts. */
737 objc_get_class (const char *name
)
741 class = class_table_get_safe (name
);
746 if (__objc_get_unknown_class_handler
)
747 class = (*__objc_get_unknown_class_handler
) (name
);
749 if ((!class) && _objc_lookup_class
)
750 class = (*_objc_lookup_class
) (name
);
755 _objc_abort ("objc runtime: cannot find class %s\n", name
);
760 /* This is used by the compiler too. */
762 objc_get_meta_class (const char *name
)
764 return objc_get_class (name
)->class_pointer
;
767 /* This is used when the implementation of a method changes. It goes
768 through all classes, looking for the ones that have these methods
769 (either method_a or method_b; method_b can be NULL), and reloads
770 the implementation for these. You should call this with the
771 runtime mutex already locked. */
773 __objc_update_classes_with_methods (struct objc_method
*method_a
, struct objc_method
*method_b
)
777 /* Iterate over all classes. */
778 for (hash
= 0; hash
< CLASS_TABLE_SIZE
; hash
++)
780 class_node_ptr node
= class_table_array
[hash
];
784 /* Iterate over all methods in the class. */
785 Class
class = node
->pointer
;
786 struct objc_method_list
* method_list
= class->methods
;
792 for (i
= 0; i
< method_list
->method_count
; ++i
)
794 struct objc_method
*method
= &method_list
->method_list
[i
];
796 /* If the method is one of the ones we are looking
797 for, update the implementation. */
798 if (method
== method_a
)
799 sarray_at_put_safe (class->dtable
,
800 (sidx
) method_a
->method_name
->sel_id
,
801 method_a
->method_imp
);
803 if (method
== method_b
)
805 if (method_b
!= NULL
)
806 sarray_at_put_safe (class->dtable
,
807 (sidx
) method_b
->method_name
->sel_id
,
808 method_b
->method_imp
);
812 method_list
= method_list
->method_next
;
819 /* Resolve super/subclass links for all classes. The only thing we
820 can be sure of is that the class_pointer for class objects point to
821 the right meta class objects. */
823 __objc_resolve_class_links (void)
825 struct class_table_enumerator
*es
= NULL
;
826 Class object_class
= objc_get_class ("Object");
829 assert (object_class
);
831 objc_mutex_lock (__objc_runtime_mutex
);
833 /* Assign subclass links. */
834 while ((class1
= class_table_next (&es
)))
836 /* Make sure we have what we think we have. */
837 assert (CLS_ISCLASS (class1
));
838 assert (CLS_ISMETA (class1
->class_pointer
));
840 /* The class_pointer of all meta classes point to Object's meta
842 class1
->class_pointer
->class_pointer
= object_class
->class_pointer
;
844 if (! CLS_ISRESOLV (class1
))
846 CLS_SETRESOLV (class1
);
847 CLS_SETRESOLV (class1
->class_pointer
);
849 if (class1
->super_class
)
852 = objc_get_class ((char *) class1
->super_class
);
854 assert (a_super_class
);
856 DEBUG_PRINTF ("making class connections for: %s\n",
859 /* Assign subclass links for superclass. */
860 class1
->sibling_class
= a_super_class
->subclass_list
;
861 a_super_class
->subclass_list
= class1
;
863 /* Assign subclass links for meta class of superclass. */
864 if (a_super_class
->class_pointer
)
866 class1
->class_pointer
->sibling_class
867 = a_super_class
->class_pointer
->subclass_list
;
868 a_super_class
->class_pointer
->subclass_list
869 = class1
->class_pointer
;
872 else /* A root class, make its meta object be a subclass of
875 class1
->class_pointer
->sibling_class
876 = object_class
->subclass_list
;
877 object_class
->subclass_list
= class1
->class_pointer
;
882 /* Assign superclass links. */
884 while ((class1
= class_table_next (&es
)))
887 for (sub_class
= class1
->subclass_list
; sub_class
;
888 sub_class
= sub_class
->sibling_class
)
890 sub_class
->super_class
= class1
;
891 if (CLS_ISCLASS (sub_class
))
892 sub_class
->class_pointer
->super_class
= class1
->class_pointer
;
896 objc_mutex_unlock (__objc_runtime_mutex
);
900 class_getName (Class class_
)
909 class_isMetaClass (Class class_
)
911 /* CLS_ISMETA includes the check for Nil class_. */
912 return CLS_ISMETA (class_
);
915 /* Even inside libobjc it may be worth using class_getSuperclass
916 instead of accessing class_->super_class directly because it
917 resolves the class links if needed. If you access
918 class_->super_class directly, make sure to deal with the situation
919 where the class is not resolved yet! */
921 class_getSuperclass (Class class_
)
926 /* Classes that are in construction are not resolved and can not be
928 if (CLS_IS_IN_CONSTRUCTION (class_
))
931 /* If the class is not resolved yet, super_class would point to a
932 string (the name of the super class) as opposed to the actual
933 super class. In that case, we need to resolve the class links
934 before we can return super_class. */
935 if (! CLS_ISRESOLV (class_
))
936 __objc_resolve_class_links ();
938 return class_
->super_class
;
942 class_getVersion (Class class_
)
947 return (int)(class_
->version
);
951 class_setVersion (Class class_
, int version
)
956 class_
->version
= version
;
960 class_getInstanceSize (Class class_
)
965 return class_
->instance_size
;