source: trunk/user/idbg/idbg.c @ 585

Last change on this file since 585 was 580, checked in by alain, 6 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
RevLine 
[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]15void 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.