| 
                Last change
                  on this file since 608 was
                  580,
                  checked in by alain, 7 years ago
           | 
        
        
          | 
               
1) Register the kernel process in the cluster manager local list. 
2) Introduce a new service in idbg : display the set of busylocks taken by a given thread. 
 
           | 
        
        | 
            File size:
            809 bytes
           | 
      
      
        
  | Rev | Line |   | 
|---|
| [442] | 1 | /////////////////////////////////////////////////////////////////////////////// | 
|---|
 | 2 | // File   :  idbg.c | 
|---|
 | 3 | // Date   :  May 2018 | 
|---|
 | 4 | // Author :  Alain Greiner <alain.greiner@lip6.fr> | 
|---|
 | 5 | /////////////////////////////////////////////////////////////////////////////// | 
|---|
 | 6 | // This single thread interactive debuger can be used to access and display | 
|---|
 | 7 | // various kernel structures  | 
|---|
 | 8 | /////////////////////////////////////////////////////////////////////////////// | 
|---|
 | 9 |  | 
|---|
 | 10 | #include <stdlib.h> | 
|---|
 | 11 | #include <stdio.h> | 
|---|
| [445] | 12 | #include <almosmkh.h> | 
|---|
| [442] | 13 |  | 
|---|
 | 14 | /////////// | 
|---|
| [475] | 15 | void main( void ) | 
|---|
| [442] | 16 | { | 
|---|
 | 17 |     unsigned long long  cycle; | 
|---|
| [580] | 18 |     unsigned int        cxy; | 
|---|
 | 19 |     unsigned int        lid; | 
|---|
| [442] | 20 |  | 
|---|
 | 21 |     get_cycle( &cycle ); | 
|---|
| [580] | 22 |     get_core( &cxy , &lid ); | 
|---|
| [450] | 23 |  | 
|---|
| [580] | 24 |     printf( "\n[IDBG] starts on core[%x,%d] / cycle %d\n", | 
|---|
 | 25 |     cxy , lid , (unsigned int)cycle );  | 
|---|
| [442] | 26 |  | 
|---|
| [457] | 27 |     idbg(); | 
|---|
| [442] | 28 |  | 
|---|
 | 29 | } // end main() | 
|---|
 | 30 |  | 
|---|
       
      
      Note: See 
TracBrowser
        for help on using the repository browser.