ADT
        aaron-thesis
        arm-eh
        ast-experimental
        cleanup-dtors
        deferred_resn
        demangler
        enum
        forall-pointer-decay
        jacob/cs343-translation
        jenkins-sandbox
        new-ast
        new-ast-unique-expr
        new-env
        no_list
        persistent-indexer
        pthread-emulation
        qualifiedEnum
        resolv-new
        with_gc
      
      
        
          | 
            Last change
 on this file since 5363fdf was             303406a, checked in by Thierry Delisle <tdelisle@…>, 8 years ago           | 
        
        
          | 
             
Fixed randomness in internal scheduling tests 
 
           | 
        
        
          
            
              - 
Property                 mode
 set to                 
100644
               
             
           | 
        
        
          | 
            File size:
            567 bytes
           | 
        
      
      
| Line |   | 
|---|
| 1 | #include <kernel>
 | 
|---|
| 2 | #include <thread>
 | 
|---|
| 3 | 
 | 
|---|
| 4 | #include <math>
 | 
|---|
| 5 | 
 | 
|---|
| 6 | #ifndef PREEMPTION_RATE
 | 
|---|
| 7 | #define PREEMPTION_RATE 10_000ul
 | 
|---|
| 8 | #endif
 | 
|---|
| 9 | 
 | 
|---|
| 10 | unsigned int default_preemption() {
 | 
|---|
| 11 |         return PREEMPTION_RATE;
 | 
|---|
| 12 | }
 | 
|---|
| 13 | 
 | 
|---|
| 14 | thread worker_t {};
 | 
|---|
| 15 | 
 | 
|---|
| 16 | void main(worker_t * this) {
 | 
|---|
| 17 |         volatile long long p = 5_021_609ul;
 | 
|---|
| 18 |         volatile long long a = 326_417ul;
 | 
|---|
| 19 |         volatile long long n = 1l;
 | 
|---|
| 20 |         for (volatile long long i = 0; i < p; i++) {
 | 
|---|
| 21 |                 n *= a;
 | 
|---|
| 22 |                 n %= p;
 | 
|---|
| 23 |         }
 | 
|---|
| 24 | 
 | 
|---|
| 25 |         if( n != a ) {
 | 
|---|
| 26 |                 abort();
 | 
|---|
| 27 |         }
 | 
|---|
| 28 | }
 | 
|---|
| 29 | 
 | 
|---|
| 30 | extern "C" {
 | 
|---|
| 31 | static worker_t * workers;
 | 
|---|
| 32 | }
 | 
|---|
| 33 | 
 | 
|---|
| 34 | int main(int argc, char* argv[]) {
 | 
|---|
| 35 |         processor p;
 | 
|---|
| 36 |         {
 | 
|---|
| 37 |                 worker_t w[7];
 | 
|---|
| 38 |                 workers = w;
 | 
|---|
| 39 |         }
 | 
|---|
| 40 | }
 | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.