Changeset 212 in svn for trunk


Ignore:
Timestamp:
2006-10-04T00:38:45Z (9 years ago)
Author:
Xuefer
Message:

fixed #41, early class binding

Location:
trunk
Files:
6 edited

Legend:

Unmodified
Added
Removed
  • trunk/coverager.c

    r208 r212  
    147147            for (; len >= sizeof(long) * 2; len -= sizeof(long) * 2, p += 2) {
    148148                if (zend_hash_index_find(cov, p[0], (void**)&phits) == SUCCESS) {
    149                     if (p[1] == 0) {
     149                    if (p[1] == -1) {
    150150                        /* OPTIMIZE: already marked */
    151151                        continue;
    152152                    }
    153                     p[1] += *phits;
     153                    if (*phits != -1) {
     154                        p[1] += *phits;
     155                    }
    154156                }
    155157                zend_hash_index_update(cov, p[0], &p[1], sizeof(p[1]), NULL);
     
    219221                long hits = *phits;
    220222
    221                 if (hits != 0) {
    222                     hits = 0;
     223                if (hits != -1) {
     224                    hits = -1;
    223225                    zend_hash_index_update(cov, pos2->h, &hits, sizeof(hits), NULL);
    224226                }
     
    377379    }
    378380    if (zend_hash_index_find(cov, line, (void**)&poldhits) == SUCCESS) {
    379         if (hits == 0) {
    380             /* OPTIMIZE: already marked */
     381        if (hits == -1) {
     382            /* OPTIMIZE: -1 == init-ing, but it's already initized */
    381383            return;
    382384        }
    383         hits += *poldhits;
     385        if (*poldhits != -1) {
     386            hits += *poldhits;
     387        }
    384388    }
    385389    zend_hash_index_update(cov, line, &hits, sizeof(hits), NULL);
     
    430434            case ZEND_EXT_FCALL_END:
    431435#endif
    432                 xc_coverager_add_hits(cov, op_array->opcodes[i].lineno, 0 TSRMLS_CC);
     436                xc_coverager_add_hits(cov, op_array->opcodes[i].lineno, -1 TSRMLS_CC);
    433437                break;
    434438        }
  • trunk/processor/processor.m4

    r200 r212  
    474474DEF_STRUCT_P_FUNC(`zend_op_array', , `dnl {{{
    475475    IFRESTORE(`
    476     if (!processor->readonly_protection) {
     476    dnl shadow copy must NOT meet:
     477    dnl readonly_protection=on
     478    dnl main op_array && have early binding
     479    if (!processor->readonly_protection && !(src == processor->xce_src->data.php->op_array && processor->xce_src->data.php->have_early_binding)) {
    477480        /* really fast shallow copy */
    478481        memcpy(dst, src, sizeof(src[0]));
     
    685688    STRUCT(zend_class_entry, cest)
    686689#endif
     690    DISPATCH(int, oplineno)
    687691')
    688692dnl }}}
     
    715719    ')
    716720    STRUCT_ARRAY(classinfo_cnt, xc_classinfo_t, classinfos)
     721    DISPATCH(zend_bool, have_early_binding)
    717722    popdef(`BEFORE_LOOP')
    718723')
  • trunk/utils.c

    r210 r212  
    1 #include "php.h"
     1
    22#include "xcache.h"
    33#include "utils.h"
     
    99#include "assert.h"
    1010
     11#ifndef ZEND_VM_SET_OPCODE_HANDLER
     12#   define ZEND_VM_SET_OPCODE_HANDLER(opline) do { } while (0)
     13#endif
     14
     15#define OP_ZVAL_DTOR(op) do { \
     16    (op).u.constant.is_ref = 0; \
     17    zval_dtor(&(op).u.constant); \
     18} while(0)
    1119xc_compile_result_t *xc_compile_result_init(xc_compile_result_t *cr, /* {{{ */
    1220        zend_op_array *op_array,
     
    264272/* }}} */
    265273#endif
     274
     275int xc_foreach_early_binding_class(zend_op_array *op_array, void (*callback)(zend_op *opline, int oplineno, void *data TSRMLS_DC), void *data TSRMLS_DC) /* {{{ */
     276{
     277    zend_op *opline, *begin, *end, *next = NULL;
     278    xc_cest_t cest;
     279
     280    opline = begin = op_array->opcodes;
     281    end = opline + op_array->last;
     282    while (opline < end) {
     283        switch (opline->opcode) {
     284            case ZEND_JMP:
     285                next = begin + opline->op1.u.opline_num;
     286                break;
     287
     288            case ZEND_JMPZNZ:
     289                next = begin + max(opline->op2.u.opline_num, opline->extended_value);
     290                break;
     291
     292            case ZEND_JMPZ:
     293            case ZEND_JMPNZ:
     294            case ZEND_JMPZ_EX:
     295            case ZEND_JMPNZ_EX:
     296                next = begin + opline->op2.u.opline_num;
     297                break;
     298
     299            case ZEND_RETURN:
     300                opline = end;
     301                break;
     302
     303            case ZEND_DECLARE_INHERITED_CLASS:
     304                callback(opline, opline - begin, data TSRMLS_CC);
     305                break;
     306        }
     307
     308        if (opline < next) {
     309            opline = next;
     310        }
     311        else {
     312            opline ++;
     313        }
     314    }
     315}
     316/* }}} */
     317int xc_do_early_binding(zend_op_array *op_array, HashTable *class_table, int oplineno TSRMLS_DC) /* {{{ */
     318{
     319    zend_op *opline, *opcodes;
     320
     321#ifdef DEBUG
     322    fprintf(stderr, "binding %d\n", oplineno);
     323#endif
     324    assert(oplineno >= 0);
     325
     326    /* do early binding */
     327    opline = &(op_array->opcodes[oplineno]);
     328
     329    switch (opline->opcode) {
     330    case ZEND_DECLARE_INHERITED_CLASS:
     331#ifdef ZEND_ENGINE_2
     332        {
     333            zval *parent_name;
     334            zend_class_entry **pce;
     335            parent_name = &(opline - 1)->op2.u.constant;
     336#ifdef DEBUG
     337            fprintf(stderr, "binding with parent %s\n", Z_STRVAL_P(parent_name));
     338#endif
     339            if (zend_lookup_class(Z_STRVAL_P(parent_name), Z_STRLEN_P(parent_name), &pce TSRMLS_CC) == FAILURE) {
     340                return FAILURE;
     341            }
     342
     343            if (do_bind_inherited_class(opline, class_table, *pce, 1 TSRMLS_CC) == NULL) {
     344                return FAILURE;
     345            }
     346        }
     347#else
     348        if (do_bind_function_or_class(opline, NULL, class_table, 1) == FAILURE) {
     349            return FAILURE;
     350        }
     351#endif
     352
     353#ifdef ZEND_FETCH_CLASS
     354        /* clear unnecessary ZEND_FETCH_CLASS opcode */
     355        if (opline > op_array->opcodes
     356         && (opline - 1)->opcode == ZEND_FETCH_CLASS) {
     357            zend_op *fetch_class_opline = opline - 1;
     358
     359#ifdef DEBUG
     360            fprintf(stderr, "%s %p\n", Z_STRVAL(fetch_class_opline->op2.u.constant), Z_STRVAL(fetch_class_opline->op2.u.constant));
     361#endif
     362            OP_ZVAL_DTOR(fetch_class_opline->op2);
     363            fetch_class_opline->opcode = ZEND_NOP;
     364            ZEND_VM_SET_OPCODE_HANDLER(fetch_class_opline);
     365            memset(&fetch_class_opline->op1, 0, sizeof(znode));
     366            memset(&fetch_class_opline->op2, 0, sizeof(znode));
     367            SET_UNUSED(fetch_class_opline->op1);
     368            SET_UNUSED(fetch_class_opline->op2);
     369            SET_UNUSED(fetch_class_opline->result);
     370        }
     371#endif
     372        break;
     373
     374    default:
     375        return FAILURE;
     376    }
     377
     378    zend_hash_del(class_table, opline->op1.u.constant.value.str.val, opline->op1.u.constant.value.str.len);
     379    OP_ZVAL_DTOR(opline->op1);
     380    OP_ZVAL_DTOR(opline->op2);
     381    opline->opcode = ZEND_NOP;
     382    ZEND_VM_SET_OPCODE_HANDLER(opline);
     383    memset(&opline->op1, 0, sizeof(znode));
     384    memset(&opline->op2, 0, sizeof(znode));
     385    SET_UNUSED(opline->op1);
     386    SET_UNUSED(opline->op2);
     387    return SUCCESS;
     388}
     389/* }}} */
    266390
    267391#ifdef HAVE_XCACHE_CONSTANT
     
    320444}
    321445/* }}} */
    322 ZESW(xc_cest_t *, void) xc_install_class(char *filename, xc_cest_t *cest, zend_uchar type, zstr key, uint len TSRMLS_DC) /* {{{ */
     446ZESW(xc_cest_t *, void) xc_install_class(char *filename, xc_cest_t *cest, int oplineno, zend_uchar type, zstr key, uint len TSRMLS_DC) /* {{{ */
    323447{
    324448    zend_bool istmpkey;
     
    336460                    ZESW(&stored_ce_ptr, NULL)
    337461                    );
     462        if (oplineno != -1) {
     463            xc_do_early_binding(CG(active_op_array), CG(class_table), oplineno TSRMLS_CC);
     464        }
    338465    }
    339466    else if (zend_u_hash_add(CG(class_table), type, key, len,
     
    349476        zend_error(E_ERROR, "Cannot redeclare class %s", cep->name);
    350477#endif
     478        assert(oplineno == -1);
    351479    }
    352480    ZESW(return (xc_cest_t *) stored_ce_ptr, NOTHING);
     
    403531
    404532    return sandbox;
     533}
     534/* }}} */
     535static void xc_early_binding_cb(zend_op *opline, int oplineno, void *data TSRMLS_DC) /* {{{ */
     536{
     537    xc_sandbox_t *sandbox = (xc_sandbox_t *) data;
     538    xc_do_early_binding(CG(active_op_array), OG(class_table), oplineno TSRMLS_CC);
    405539}
    406540/* }}} */
     
    433567    /* install class */
    434568    while (b != NULL) {
    435         xc_install_class(sandbox->filename, (xc_cest_t*) b->pData,
     569        xc_install_class(sandbox->filename, (xc_cest_t*) b->pData, -1,
    436570                BUCKET_KEY_TYPE(b), ZSTR(BUCKET_KEY_S(b)), b->nKeyLength TSRMLS_CC);
    437571        b = b->pListNext;
    438572    }
     573    xc_undo_pass_two(CG(active_op_array) TSRMLS_CC);
     574    xc_foreach_early_binding_class(CG(active_op_array), xc_early_binding_cb, (void *) sandbox TSRMLS_CC);
     575    xc_redo_pass_two(CG(active_op_array) TSRMLS_CC);
    439576
    440577    i = 1;
  • trunk/utils.h

    r209 r212  
    2525zend_uchar xc_get_fixed_opcode(zend_uchar opcode, int line);
    2626
     27int xc_foreach_early_binding_class(zend_op_array *op_array, void (*callback)(zend_op *opline, int oplineno, void *data TSRMLS_DC), void *data TSRMLS_DC);
     28
    2729/* installer */
    2830#ifdef HAVE_XCACHE_CONSTANT
     
    3032#endif
    3133void xc_install_function(char *filename, zend_function *func, zend_uchar type, zstr key, uint len TSRMLS_DC);
    32 ZESW(xc_cest_t *, void) xc_install_class(char *filename, xc_cest_t *cest, zend_uchar type, zstr key, uint len TSRMLS_DC);
     34ZESW(xc_cest_t *, void) xc_install_class(char *filename, xc_cest_t *cest, int oplineno, zend_uchar type, zstr key, uint len TSRMLS_DC);
    3335
    3436/* sandbox */
  • trunk/xcache.c

    r205 r212  
    6666    } \
    6767} while(0)
     68
     69#ifndef max
     70#define max(a, b) ((a) < (b) ? (b) : (a))
     71#endif
    6872
    6973/* }}} */
     
    542546#endif
    543547
     548    CG(active_op_array) = p->op_array;
     549
    544550#ifdef HAVE_XCACHE_CONSTANT
    545551    /* install constant */
     
    571577        new_cest_ptrs[i] =
    572578#endif
    573         xc_install_class(xce->name.str.val, &ci->cest,
     579        xc_install_class(xce->name.str.val, &ci->cest, ci->oplineno,
    574580                UNISW(0, ci->type), ci->key, ci->key_size TSRMLS_CC);
    575581    }
     
    771777    xce->type = XC_TYPE_PHP;
    772778    return 1;
     779}
     780/* }}} */
     781static void xc_cache_early_binding_class_cb(zend_op *opline, int oplineno, void *data TSRMLS_DC) /* {{{ */
     782{
     783    char *class_name;
     784    int i, class_len;
     785    xc_cest_t cest;
     786    xc_entry_data_php_t *php = (xc_entry_data_php_t *) data;
     787
     788    class_name = opline->op1.u.constant.value.str.val;
     789    class_len  = opline->op1.u.constant.value.str.len;
     790    if (zend_hash_find(CG(class_table), class_name, class_len, (void **) &cest) == FAILURE) {
     791        assert(0);
     792    }
     793#ifdef DEBUG
     794    fprintf(stderr, "got ZEND_DECLARE_INHERITED_CLASS: %s\n", class_name + 1);
     795#endif
     796    /* let's see which class */
     797    for (i = 0; i < php->classinfo_cnt; i ++) {
     798        if (memcmp(ZSTR_S(php->classinfos[i].key), class_name, class_len) == 0) {
     799            php->classinfos[i].oplineno = oplineno;
     800            php->have_early_binding = 1;
     801            break;
     802        }
     803    }
     804
     805    if (i == php->classinfo_cnt) {
     806        assert(0);
     807    }
    773808}
    774809/* }}} */
     
    785820    char opened_path_buffer[MAXPATHLEN];
    786821    int old_constinfo_cnt, old_funcinfo_cnt, old_classinfo_cnt;
     822    int i;
    787823
    788824    if (!xc_initized) {
     
    895931#ifdef HAVE_INODE
    896932    if (xce.data.php->inode)
    897 #endif
    898933    {
    899934        if (xce.name.str.val != filename) {
     
    902937        }
    903938    }
     939#endif
    904940
    905941#ifdef HAVE_XCACHE_OPTIMIZER
     
    908944    }
    909945#endif
    910 
     946    /* }}} */
     947    /* {{{ prepare */
    911948    php.op_array      = op_array;
    912949
     
    9721009    }
    9731010    /* }}} */
     1011    /* {{{ find inherited classes that should be early-binding */
     1012    php.have_early_binding = 0;
     1013    for (i = 0; i < php.classinfo_cnt; i ++) {
     1014        php.classinfos[i].oplineno = -1;
     1015    }
     1016
     1017    xc_undo_pass_two(php.op_array TSRMLS_CC);
     1018    xc_foreach_early_binding_class(php.op_array, xc_cache_early_binding_class_cb, (void *) &php TSRMLS_CC);
     1019    xc_redo_pass_two(php.op_array TSRMLS_CC);
     1020    /* }}} */
    9741021    ENTER_LOCK_EX(cache) { /* {{{ store/add entry */
    9751022        stored_xce = xc_entry_store_dmz(&xce TSRMLS_CC);
     
    10011048    }
    10021049    else {
     1050        CG(active_op_array) = op_array;
    10031051        xc_sandbox_free(&sandbox, 1 TSRMLS_CC);
    10041052    }
  • trunk/xcache.h

    r200 r212  
    169169    zend_uint key_size;
    170170    xc_cest_t cest;
     171    int       oplineno;
    171172} xc_classinfo_t;
    172173/* }}} */
     
    215216    zend_uint classinfo_cnt;
    216217    xc_classinfo_t *classinfos;
     218    zend_bool have_early_binding;
    217219} xc_entry_data_php_t;
    218220/* }}} */
Note: See TracChangeset for help on using the changeset viewer.