Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • libcfa/src/concurrency/ready_subqueue.hfa

    ref94ae7 r353aaba  
    3232        this.prev = mock_head(this);
    3333        this.anchor.next = 0p;
    34         this.anchor.ts   = -1llu;
     34        this.anchor.ts   = 0;
    3535        #if !defined(__CFA_NO_STATISTICS__)
    3636                this.cnt  = 0;
    … …  
    4444        /* paranoid */ verify( &mock_head(this)->link.ts   == &this.anchor.ts   );
    4545        /* paranoid */ verify( mock_head(this)->link.next == 0p );
    46         /* paranoid */ verify( mock_head(this)->link.ts   == -1llu  );
     46        /* paranoid */ verify( mock_head(this)->link.ts   == 0  );
    4747        /* paranoid */ verify( mock_head(this) == this.prev );
    4848        /* paranoid */ verify( __alignof__(__intrusive_lane_t) == 128 );
    … …  
    5555        // Make sure the list is empty
    5656        /* paranoid */ verify( this.anchor.next == 0p );
    57         /* paranoid */ verify( this.anchor.ts   == -1llu );
     57        /* paranoid */ verify( this.anchor.ts   == 0 );
    5858        /* paranoid */ verify( mock_head(this)  == this.prev );
    5959}
    … …  
    6464        /* paranoid */ verify( this.lock );
    6565        /* paranoid */ verify( node->link.next == 0p );
    66         /* paranoid */ verify( node->link.ts   == -1llu  );
     66        /* paranoid */ verify( node->link.ts   == 0  );
    6767        /* paranoid */ verify( this.prev->link.next == 0p );
    68         /* paranoid */ verify( this.prev->link.ts   == -1llu  );
     68        /* paranoid */ verify( this.prev->link.ts   == 0  );
    6969        if( this.anchor.next == 0p ) {
    7070                /* paranoid */ verify( this.anchor.next == 0p );
    71                 /* paranoid */ verify( this.anchor.ts   == -1llu );
    72                 /* paranoid */ verify( this.anchor.ts   != 0  );
     71                /* paranoid */ verify( this.anchor.ts   == 0  );
    7372                /* paranoid */ verify( this.prev == mock_head( this ) );
    7473        } else {
    7574                /* paranoid */ verify( this.anchor.next != 0p );
    76                 /* paranoid */ verify( this.anchor.ts   != -1llu );
    7775                /* paranoid */ verify( this.anchor.ts   != 0  );
    7876                /* paranoid */ verify( this.prev != mock_head( this ) );
    … …  
    9492        /* paranoid */ verify( this.lock );
    9593        /* paranoid */ verify( this.anchor.next != 0p );
    96         /* paranoid */ verify( this.anchor.ts   != -1llu );
    9794        /* paranoid */ verify( this.anchor.ts   != 0  );
    9895
    … …  
    10299        this.anchor.next = node->link.next;
    103100        this.anchor.ts   = node->link.ts;
    104         bool is_empty = this.anchor.next == 0p;
     101        bool is_empty = this.anchor.ts == 0;
    105102        node->link.next = 0p;
    106         node->link.ts   = -1llu;
     103        node->link.ts   = 0;
    107104        #if !defined(__CFA_NO_STATISTICS__)
    108105                this.cnt--;
    … …  
    113110
    114111        /* paranoid */ verify( node->link.next == 0p );
    115         /* paranoid */ verify( node->link.ts   == -1llu  );
    116         /* paranoid */ verify( node->link.ts   != 0  );
    117         /* paranoid */ verify( this.anchor.ts  != 0  );
     112        /* paranoid */ verify( node->link.ts   == 0  );
    118113        return [node, ts];
    119114}
    … …  
    121116// Check whether or not list is empty
    122117static inline bool is_empty(__intrusive_lane_t & this) {
    123         return this.anchor.next == 0p;
     118        return this.anchor.ts == 0;
    124119}
    125120
    … …  
    127122static inline unsigned long long ts(__intrusive_lane_t & this) {
    128123        // Cannot verify here since it may not be locked
    129         /* paranoid */ verify(this.anchor.ts != 0);
    130124        return this.anchor.ts;
    131125}
Note: See TracChangeset for help on using the changeset viewer.