mirror of
https://github.com/ruby/ruby.git
synced 2022-11-09 12:17:21 -05:00
b9007b6c54
This patch contains several ideas: (1) Disposable inline method cache (IMC) for race-free inline method cache * Making call-cache (CC) as a RVALUE (GC target object) and allocate new CC on cache miss. * This technique allows race-free access from parallel processing elements like RCU. (2) Introduce per-Class method cache (pCMC) * Instead of fixed-size global method cache (GMC), pCMC allows flexible cache size. * Caching CCs reduces CC allocation and allow sharing CC's fast-path between same call-info (CI) call-sites. (3) Invalidate an inline method cache by invalidating corresponding method entries (MEs) * Instead of using class serials, we set "invalidated" flag for method entry itself to represent cache invalidation. * Compare with using class serials, the impact of method modification (add/overwrite/delete) is small. * Updating class serials invalidate all method caches of the class and sub-classes. * Proposed approach only invalidate the method cache of only one ME. See [Feature #16614] for more details.
162 lines
5.3 KiB
C
162 lines
5.3 KiB
C
#ifndef INTERNAL_CLASS_H /* -*- C -*- */
|
|
#define INTERNAL_CLASS_H
|
|
/**
|
|
* @file
|
|
* @brief Internal header for Class.
|
|
* @author \@shyouhei
|
|
* @copyright This file is a part of the programming language Ruby.
|
|
* Permission is hereby granted, to either redistribute and/or
|
|
* modify this file, provided that the conditions mentioned in the
|
|
* file COPYING are met. Consult the file for details.
|
|
*/
|
|
#include "id_table.h" /* for struct rb_id_table */
|
|
#include "internal/gc.h" /* for RB_OBJ_WRITE */
|
|
#include "internal/serial.h" /* for rb_serial_t */
|
|
#include "internal/stdbool.h" /* for bool */
|
|
#include "ruby/intern.h" /* for rb_alloc_func_t */
|
|
#include "ruby/ruby.h" /* for struct RBasic */
|
|
|
|
#ifdef RClass
|
|
# undef RClass /* See also include/ruby/backward.h */
|
|
#endif
|
|
|
|
#ifdef RCLASS_SUPER
|
|
# undef RCLASS_SUPER
|
|
#endif
|
|
|
|
struct rb_deprecated_classext_struct {
|
|
char conflict[sizeof(VALUE) * 3];
|
|
};
|
|
|
|
struct rb_subclass_entry {
|
|
VALUE klass;
|
|
struct rb_subclass_entry *next;
|
|
};
|
|
|
|
struct rb_classext_struct {
|
|
struct st_table *iv_index_tbl;
|
|
struct st_table *iv_tbl;
|
|
#if SIZEOF_SERIAL_T == SIZEOF_VALUE /* otherwise m_tbl is in struct RClass */
|
|
struct rb_id_table *m_tbl;
|
|
#endif
|
|
struct rb_id_table *const_tbl;
|
|
struct rb_id_table *callable_m_tbl;
|
|
struct rb_id_table *cc_tbl; /* ID -> [[ci, cc1], cc2, ...] */
|
|
struct rb_subclass_entry *subclasses;
|
|
struct rb_subclass_entry **parent_subclasses;
|
|
/**
|
|
* In the case that this is an `ICLASS`, `module_subclasses` points to the link
|
|
* in the module's `subclasses` list that indicates that the klass has been
|
|
* included. Hopefully that makes sense.
|
|
*/
|
|
struct rb_subclass_entry **module_subclasses;
|
|
#if SIZEOF_SERIAL_T != SIZEOF_VALUE /* otherwise class_serial is in struct RClass */
|
|
rb_serial_t class_serial;
|
|
#endif
|
|
const VALUE origin_;
|
|
const VALUE refined_class;
|
|
rb_alloc_func_t allocator;
|
|
const VALUE includer;
|
|
};
|
|
|
|
struct RClass {
|
|
struct RBasic basic;
|
|
VALUE super;
|
|
struct rb_classext_struct *ptr;
|
|
#if SIZEOF_SERIAL_T == SIZEOF_VALUE
|
|
/* Class serial is as wide as VALUE. Place it here. */
|
|
rb_serial_t class_serial;
|
|
#else
|
|
/* Class serial does not fit into struct RClass. Place m_tbl instead. */
|
|
struct rb_id_table *m_tbl;
|
|
#endif
|
|
};
|
|
|
|
typedef struct rb_subclass_entry rb_subclass_entry_t;
|
|
typedef struct rb_classext_struct rb_classext_t;
|
|
|
|
#define RCLASS_EXT(c) (RCLASS(c)->ptr)
|
|
#define RCLASS_IV_TBL(c) (RCLASS_EXT(c)->iv_tbl)
|
|
#define RCLASS_CONST_TBL(c) (RCLASS_EXT(c)->const_tbl)
|
|
#if SIZEOF_SERIAL_T == SIZEOF_VALUE
|
|
# define RCLASS_M_TBL(c) (RCLASS_EXT(c)->m_tbl)
|
|
#else
|
|
# define RCLASS_M_TBL(c) (RCLASS(c)->m_tbl)
|
|
#endif
|
|
#define RCLASS_CALLABLE_M_TBL(c) (RCLASS_EXT(c)->callable_m_tbl)
|
|
#define RCLASS_CC_TBL(c) (RCLASS_EXT(c)->cc_tbl)
|
|
#define RCLASS_IV_INDEX_TBL(c) (RCLASS_EXT(c)->iv_index_tbl)
|
|
#define RCLASS_ORIGIN(c) (RCLASS_EXT(c)->origin_)
|
|
#define RCLASS_REFINED_CLASS(c) (RCLASS_EXT(c)->refined_class)
|
|
#if SIZEOF_SERIAL_T == SIZEOF_VALUE
|
|
# define RCLASS_SERIAL(c) (RCLASS(c)->class_serial)
|
|
#else
|
|
# define RCLASS_SERIAL(c) (RCLASS_EXT(c)->class_serial)
|
|
#endif
|
|
#define RCLASS_INCLUDER(c) (RCLASS_EXT(c)->includer)
|
|
|
|
#define RCLASS_CLONED FL_USER6
|
|
#define RICLASS_IS_ORIGIN FL_USER5
|
|
#define RCLASS_REFINED_BY_ANY FL_USER7
|
|
|
|
/* class.c */
|
|
void rb_class_subclass_add(VALUE super, VALUE klass);
|
|
void rb_class_remove_from_super_subclasses(VALUE);
|
|
int rb_singleton_class_internal_p(VALUE sklass);
|
|
VALUE rb_class_boot(VALUE);
|
|
VALUE rb_make_metaclass(VALUE, VALUE);
|
|
VALUE rb_include_class_new(VALUE, VALUE);
|
|
void rb_class_foreach_subclass(VALUE klass, void (*f)(VALUE, VALUE), VALUE);
|
|
void rb_class_detach_subclasses(VALUE);
|
|
void rb_class_detach_module_subclasses(VALUE);
|
|
void rb_class_remove_from_module_subclasses(VALUE);
|
|
VALUE rb_obj_methods(int argc, const VALUE *argv, VALUE obj);
|
|
VALUE rb_obj_protected_methods(int argc, const VALUE *argv, VALUE obj);
|
|
VALUE rb_obj_private_methods(int argc, const VALUE *argv, VALUE obj);
|
|
VALUE rb_obj_public_methods(int argc, const VALUE *argv, VALUE obj);
|
|
VALUE rb_special_singleton_class(VALUE);
|
|
VALUE rb_singleton_class_clone_and_attach(VALUE obj, VALUE attach);
|
|
VALUE rb_singleton_class_get(VALUE obj);
|
|
int rb_class_has_methods(VALUE c);
|
|
void rb_undef_methods_from(VALUE klass, VALUE super);
|
|
static inline void RCLASS_SET_ORIGIN(VALUE klass, VALUE origin);
|
|
static inline VALUE RCLASS_SUPER(VALUE klass);
|
|
static inline VALUE RCLASS_SET_SUPER(VALUE klass, VALUE super);
|
|
static inline void RCLASS_SET_INCLUDER(VALUE iclass, VALUE klass);
|
|
|
|
MJIT_SYMBOL_EXPORT_BEGIN
|
|
VALUE rb_class_inherited(VALUE, VALUE);
|
|
VALUE rb_keyword_error_new(const char *, VALUE);
|
|
MJIT_SYMBOL_EXPORT_END
|
|
|
|
static inline void
|
|
RCLASS_SET_ORIGIN(VALUE klass, VALUE origin)
|
|
{
|
|
RB_OBJ_WRITE(klass, &RCLASS_ORIGIN(klass), origin);
|
|
if (klass != origin) FL_SET(origin, RICLASS_IS_ORIGIN);
|
|
}
|
|
|
|
static inline void
|
|
RCLASS_SET_INCLUDER(VALUE iclass, VALUE klass)
|
|
{
|
|
RB_OBJ_WRITE(iclass, &RCLASS_INCLUDER(iclass), klass);
|
|
}
|
|
|
|
static inline VALUE
|
|
RCLASS_SUPER(VALUE klass)
|
|
{
|
|
return RCLASS(klass)->super;
|
|
}
|
|
|
|
static inline VALUE
|
|
RCLASS_SET_SUPER(VALUE klass, VALUE super)
|
|
{
|
|
if (super) {
|
|
rb_class_remove_from_super_subclasses(klass);
|
|
rb_class_subclass_add(super, klass);
|
|
}
|
|
RB_OBJ_WRITE(klass, &RCLASS(klass)->super, super);
|
|
return super;
|
|
}
|
|
|
|
#endif /* INTERNAL_CLASS_H */
|