mirror of
				https://github.com/ruby/ruby.git
				synced 2022-11-09 12:17:21 -05:00 
			
		
		
		
	[Bug #12628] This patch introduce many changes. * Introduce concept of "Block Handler (BH)" to represent passed blocks. * move rb_control_frame_t::flag to ep[0] (as a special local variable). This flags represents not only frame type, but also env flags such as escaped. * rename `rb_block_t` to `struct rb_block`. * Make Proc, Binding and RubyVM::Env objects wb-protected. Check [Bug #12628] for more details. git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@55766 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
		
			
				
	
	
		
			315 lines
		
	
	
	
		
			7.7 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			315 lines
		
	
	
	
		
			7.7 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
#ifndef RUBY_EVAL_INTERN_H
 | 
						|
#define RUBY_EVAL_INTERN_H
 | 
						|
 | 
						|
#include "ruby/ruby.h"
 | 
						|
#include "vm_core.h"
 | 
						|
 | 
						|
static inline void
 | 
						|
vm_passed_block_handler_set(rb_thread_t *th, VALUE block_handler)
 | 
						|
{
 | 
						|
    VM_ASSERT(vm_block_handler_verify(block_handler));
 | 
						|
    th->passed_block_handler = block_handler;
 | 
						|
}
 | 
						|
 | 
						|
static inline void
 | 
						|
pass_passed_block_handler(rb_thread_t *th)
 | 
						|
{
 | 
						|
    VALUE block_handler = rb_vm_frame_block_handler(th->cfp);
 | 
						|
    VM_ASSERT(vm_block_handler_verify(block_handler));
 | 
						|
    vm_passed_block_handler_set(th, block_handler);
 | 
						|
    VM_ENV_FLAGS_SET(th->cfp->ep, VM_FRAME_FLAG_PASSED);
 | 
						|
}
 | 
						|
 | 
						|
#define PASS_PASSED_BLOCK_HANDLER_TH(th) pass_passed_block_handler(th)
 | 
						|
#define PASS_PASSED_BLOCK_HANDLER() pass_passed_block_handler(GET_THREAD())
 | 
						|
 | 
						|
#ifdef HAVE_STDLIB_H
 | 
						|
#include <stdlib.h>
 | 
						|
#endif
 | 
						|
#ifndef EXIT_SUCCESS
 | 
						|
#define EXIT_SUCCESS 0
 | 
						|
#endif
 | 
						|
#ifndef EXIT_FAILURE
 | 
						|
#define EXIT_FAILURE 1
 | 
						|
#endif
 | 
						|
 | 
						|
#include <stdio.h>
 | 
						|
#include <setjmp.h>
 | 
						|
 | 
						|
#ifdef __APPLE__
 | 
						|
# ifdef HAVE_CRT_EXTERNS_H
 | 
						|
#  include <crt_externs.h>
 | 
						|
# else
 | 
						|
#  include "missing/crt_externs.h"
 | 
						|
# endif
 | 
						|
#endif
 | 
						|
 | 
						|
#ifndef HAVE_STRING_H
 | 
						|
char *strrchr(const char *, const char);
 | 
						|
#endif
 | 
						|
 | 
						|
#ifdef HAVE_UNISTD_H
 | 
						|
#include <unistd.h>
 | 
						|
#endif
 | 
						|
 | 
						|
#ifdef HAVE_NET_SOCKET_H
 | 
						|
#include <net/socket.h>
 | 
						|
#endif
 | 
						|
 | 
						|
#define ruby_setjmp(env) RUBY_SETJMP(env)
 | 
						|
#define ruby_longjmp(env,val) RUBY_LONGJMP((env),(val))
 | 
						|
#ifdef __CYGWIN__
 | 
						|
# ifndef _setjmp
 | 
						|
int _setjmp(jmp_buf);
 | 
						|
# endif
 | 
						|
# ifndef _longjmp
 | 
						|
NORETURN(void _longjmp(jmp_buf, int));
 | 
						|
# endif
 | 
						|
#endif
 | 
						|
 | 
						|
#include <sys/types.h>
 | 
						|
#include <signal.h>
 | 
						|
#include <errno.h>
 | 
						|
 | 
						|
#ifdef HAVE_SYS_SELECT_H
 | 
						|
#include <sys/select.h>
 | 
						|
#endif
 | 
						|
 | 
						|
/*
 | 
						|
  Solaris sys/select.h switches select to select_large_fdset to support larger
 | 
						|
  file descriptors if FD_SETSIZE is larger than 1024 on 32bit environment.
 | 
						|
  But Ruby doesn't change FD_SETSIZE because fd_set is allocated dynamically.
 | 
						|
  So following definition is required to use select_large_fdset.
 | 
						|
*/
 | 
						|
#ifdef HAVE_SELECT_LARGE_FDSET
 | 
						|
#define select(n, r, w, e, t) select_large_fdset((n), (r), (w), (e), (t))
 | 
						|
extern int select_large_fdset(int, fd_set *, fd_set *, fd_set *, struct timeval *);
 | 
						|
#endif
 | 
						|
 | 
						|
#ifdef HAVE_SYS_PARAM_H
 | 
						|
#include <sys/param.h>
 | 
						|
#endif
 | 
						|
 | 
						|
#include <sys/stat.h>
 | 
						|
 | 
						|
#ifdef _MSC_VER
 | 
						|
#define SAVE_ROOT_JMPBUF_BEFORE_STMT \
 | 
						|
    __try {
 | 
						|
#define SAVE_ROOT_JMPBUF_AFTER_STMT \
 | 
						|
    } \
 | 
						|
    __except (GetExceptionCode() == EXCEPTION_STACK_OVERFLOW ? \
 | 
						|
	      (rb_thread_raised_set(GET_THREAD(), RAISED_STACKOVERFLOW), \
 | 
						|
	       raise(SIGSEGV), \
 | 
						|
	       EXCEPTION_EXECUTE_HANDLER) : \
 | 
						|
	      EXCEPTION_CONTINUE_SEARCH) { \
 | 
						|
	/* never reaches here */ \
 | 
						|
    }
 | 
						|
#elif defined(__MINGW32__)
 | 
						|
LONG WINAPI rb_w32_stack_overflow_handler(struct _EXCEPTION_POINTERS *);
 | 
						|
#define SAVE_ROOT_JMPBUF_BEFORE_STMT \
 | 
						|
    do { \
 | 
						|
	PVOID _handler = AddVectoredExceptionHandler(1, rb_w32_stack_overflow_handler);
 | 
						|
 | 
						|
#define SAVE_ROOT_JMPBUF_AFTER_STMT \
 | 
						|
	RemoveVectoredExceptionHandler(_handler); \
 | 
						|
    } while (0);
 | 
						|
#else
 | 
						|
#define SAVE_ROOT_JMPBUF_BEFORE_STMT
 | 
						|
#define SAVE_ROOT_JMPBUF_AFTER_STMT
 | 
						|
#endif
 | 
						|
 | 
						|
#define SAVE_ROOT_JMPBUF(th, stmt) do \
 | 
						|
  if (ruby_setjmp((th)->root_jmpbuf) == 0) { \
 | 
						|
      SAVE_ROOT_JMPBUF_BEFORE_STMT \
 | 
						|
      stmt; \
 | 
						|
      SAVE_ROOT_JMPBUF_AFTER_STMT \
 | 
						|
  } \
 | 
						|
  else { \
 | 
						|
      rb_fiber_start(); \
 | 
						|
  } while (0)
 | 
						|
 | 
						|
#define TH_PUSH_TAG(th) do { \
 | 
						|
  rb_thread_t * const _th = (th); \
 | 
						|
  struct rb_vm_tag _tag; \
 | 
						|
  _tag.tag = 0; \
 | 
						|
  _tag.prev = _th->tag;
 | 
						|
 | 
						|
#define TH_POP_TAG() \
 | 
						|
  _th->tag = _tag.prev; \
 | 
						|
} while (0)
 | 
						|
 | 
						|
#define TH_TMPPOP_TAG() \
 | 
						|
  _th->tag = _tag.prev
 | 
						|
 | 
						|
#define TH_REPUSH_TAG() (void)(_th->tag = &_tag)
 | 
						|
 | 
						|
#define PUSH_TAG() TH_PUSH_TAG(GET_THREAD())
 | 
						|
#define POP_TAG()      TH_POP_TAG()
 | 
						|
 | 
						|
#if defined __GNUC__ && __GNUC__ == 4 && (__GNUC_MINOR__ >= 6 && __GNUC_MINOR__ <= 8)
 | 
						|
# define VAR_FROM_MEMORY(var) __extension__(*(__typeof__(var) volatile *)&(var))
 | 
						|
# define VAR_INITIALIZED(var) ((var) = VAR_FROM_MEMORY(var))
 | 
						|
# define VAR_NOCLOBBERED(var) volatile var
 | 
						|
#else
 | 
						|
# define VAR_FROM_MEMORY(var) (var)
 | 
						|
# define VAR_INITIALIZED(var) ((void)&(var))
 | 
						|
# define VAR_NOCLOBBERED(var) var
 | 
						|
#endif
 | 
						|
 | 
						|
/* clear th->state, and return the value */
 | 
						|
static inline int
 | 
						|
rb_threadptr_tag_state(rb_thread_t *th)
 | 
						|
{
 | 
						|
    int state = th->state;
 | 
						|
    th->state = 0;
 | 
						|
    return state;
 | 
						|
}
 | 
						|
 | 
						|
NORETURN(static inline void rb_threadptr_tag_jump(rb_thread_t *, int));
 | 
						|
static inline void
 | 
						|
rb_threadptr_tag_jump(rb_thread_t *th, int st)
 | 
						|
{
 | 
						|
    th->state = st;
 | 
						|
    ruby_longjmp(th->tag->buf, 1);
 | 
						|
}
 | 
						|
 | 
						|
/*
 | 
						|
  setjmp() in assignment expression rhs is undefined behavior
 | 
						|
  [ISO/IEC 9899:1999] 7.13.1.1
 | 
						|
*/
 | 
						|
#define TH_EXEC_TAG() \
 | 
						|
    (ruby_setjmp(_tag.buf) ? rb_threadptr_tag_state(VAR_FROM_MEMORY(_th)) : (TH_REPUSH_TAG(), 0))
 | 
						|
 | 
						|
#define EXEC_TAG() \
 | 
						|
  TH_EXEC_TAG()
 | 
						|
 | 
						|
#define TH_JUMP_TAG(th, st) rb_threadptr_tag_jump(th, st)
 | 
						|
 | 
						|
#define JUMP_TAG(st) TH_JUMP_TAG(GET_THREAD(), (st))
 | 
						|
 | 
						|
#define INTERNAL_EXCEPTION_P(exc) FIXNUM_P(exc)
 | 
						|
 | 
						|
/* CREF operators */
 | 
						|
 | 
						|
#define CREF_FL_PUSHED_BY_EVAL IMEMO_FL_USER1
 | 
						|
#define CREF_FL_OMOD_SHARED    IMEMO_FL_USER2
 | 
						|
 | 
						|
static inline VALUE
 | 
						|
CREF_CLASS(const rb_cref_t *cref)
 | 
						|
{
 | 
						|
    return cref->klass;
 | 
						|
}
 | 
						|
 | 
						|
static inline rb_cref_t *
 | 
						|
CREF_NEXT(const rb_cref_t *cref)
 | 
						|
{
 | 
						|
    return cref->next;
 | 
						|
}
 | 
						|
 | 
						|
static inline const rb_scope_visibility_t *
 | 
						|
CREF_SCOPE_VISI(const rb_cref_t *cref)
 | 
						|
{
 | 
						|
    return &cref->scope_visi;
 | 
						|
}
 | 
						|
 | 
						|
static inline VALUE
 | 
						|
CREF_REFINEMENTS(const rb_cref_t *cref)
 | 
						|
{
 | 
						|
    return cref->refinements;
 | 
						|
}
 | 
						|
 | 
						|
static inline void
 | 
						|
CREF_REFINEMENTS_SET(rb_cref_t *cref, VALUE refs)
 | 
						|
{
 | 
						|
    RB_OBJ_WRITE(cref, &cref->refinements, refs);
 | 
						|
}
 | 
						|
 | 
						|
static inline int
 | 
						|
CREF_PUSHED_BY_EVAL(const rb_cref_t *cref)
 | 
						|
{
 | 
						|
    return cref->flags & CREF_FL_PUSHED_BY_EVAL;
 | 
						|
}
 | 
						|
 | 
						|
static inline void
 | 
						|
CREF_PUSHED_BY_EVAL_SET(rb_cref_t *cref)
 | 
						|
{
 | 
						|
    cref->flags |= CREF_FL_PUSHED_BY_EVAL;
 | 
						|
}
 | 
						|
 | 
						|
static inline int
 | 
						|
CREF_OMOD_SHARED(const rb_cref_t *cref)
 | 
						|
{
 | 
						|
    return cref->flags & CREF_FL_OMOD_SHARED;
 | 
						|
}
 | 
						|
 | 
						|
static inline void
 | 
						|
CREF_OMOD_SHARED_SET(rb_cref_t *cref)
 | 
						|
{
 | 
						|
    cref->flags |= CREF_FL_OMOD_SHARED;
 | 
						|
}
 | 
						|
 | 
						|
static inline void
 | 
						|
CREF_OMOD_SHARED_UNSET(rb_cref_t *cref)
 | 
						|
{
 | 
						|
    cref->flags &= ~CREF_FL_OMOD_SHARED;
 | 
						|
}
 | 
						|
 | 
						|
void rb_thread_cleanup(void);
 | 
						|
void rb_thread_wait_other_threads(void);
 | 
						|
 | 
						|
enum {
 | 
						|
    RAISED_EXCEPTION = 1,
 | 
						|
    RAISED_STACKOVERFLOW = 2,
 | 
						|
    RAISED_NOMEMORY = 4
 | 
						|
};
 | 
						|
int rb_threadptr_set_raised(rb_thread_t *th);
 | 
						|
int rb_threadptr_reset_raised(rb_thread_t *th);
 | 
						|
#define rb_thread_raised_set(th, f)   ((th)->raised_flag |= (f))
 | 
						|
#define rb_thread_raised_reset(th, f) ((th)->raised_flag &= ~(f))
 | 
						|
#define rb_thread_raised_p(th, f)     (((th)->raised_flag & (f)) != 0)
 | 
						|
#define rb_thread_raised_clear(th)    ((th)->raised_flag = 0)
 | 
						|
 | 
						|
VALUE rb_f_eval(int argc, const VALUE *argv, VALUE self);
 | 
						|
VALUE rb_make_exception(int argc, const VALUE *argv);
 | 
						|
 | 
						|
NORETURN(void rb_method_name_error(VALUE, VALUE));
 | 
						|
 | 
						|
NORETURN(void rb_fiber_start(void));
 | 
						|
 | 
						|
NORETURN(void rb_print_undef(VALUE, ID, rb_method_visibility_t));
 | 
						|
NORETURN(void rb_print_undef_str(VALUE, VALUE));
 | 
						|
NORETURN(void rb_print_inaccessible(VALUE, ID, rb_method_visibility_t));
 | 
						|
NORETURN(void rb_vm_localjump_error(const char *,VALUE, int));
 | 
						|
NORETURN(void rb_vm_jump_tag_but_local_jump(int));
 | 
						|
NORETURN(void rb_raise_method_missing(rb_thread_t *th, int argc, const VALUE *argv,
 | 
						|
				      VALUE obj, int call_status));
 | 
						|
 | 
						|
VALUE rb_vm_make_jump_tag_but_local_jump(int state, VALUE val);
 | 
						|
rb_cref_t *rb_vm_cref(void);
 | 
						|
rb_cref_t *rb_vm_cref_replace_with_duplicated_cref(void);
 | 
						|
VALUE rb_vm_call_cfunc(VALUE recv, VALUE (*func)(VALUE), VALUE arg, VALUE block_handler, VALUE filename);
 | 
						|
void rb_vm_set_progname(VALUE filename);
 | 
						|
void rb_thread_terminate_all(void);
 | 
						|
VALUE rb_vm_cbase(void);
 | 
						|
 | 
						|
#ifndef CharNext		/* defined as CharNext[AW] on Windows. */
 | 
						|
# ifdef HAVE_MBLEN
 | 
						|
#  define CharNext(p) ((p) + mblen((p), RUBY_MBCHAR_MAXSIZE))
 | 
						|
# else
 | 
						|
#  define CharNext(p) ((p) + 1)
 | 
						|
# endif
 | 
						|
#endif
 | 
						|
 | 
						|
#if defined DOSISH || defined __CYGWIN__
 | 
						|
static inline void
 | 
						|
translit_char(char *p, int from, int to)
 | 
						|
{
 | 
						|
    while (*p) {
 | 
						|
	if ((unsigned char)*p == from)
 | 
						|
	    *p = to;
 | 
						|
	p = CharNext(p);
 | 
						|
    }
 | 
						|
}
 | 
						|
#endif
 | 
						|
 | 
						|
#endif /* RUBY_EVAL_INTERN_H */
 |