|
Last change
on this file since 450 was
450,
checked in by alain, 7 years ago
|
|
Fix a bug in function sched_handle_signal():
When the deleted user thread is the last executed thread,
the sched->u_last field must be updated to point on another user thread.
|
|
File size:
704 bytes
|
| Line | |
|---|
| 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> |
|---|
| 12 | #include <almosmkh.h> |
|---|
| 13 | |
|---|
| 14 | /////////// |
|---|
| 15 | void main() |
|---|
| 16 | { |
|---|
| 17 | unsigned long long cycle; |
|---|
| 18 | |
|---|
| 19 | get_cycle( &cycle ); |
|---|
| 20 | |
|---|
| 21 | printf( "\n[IDBG] starts at cycle %d\n", (unsigned int)cycle ); |
|---|
| 22 | |
|---|
| 23 | // idbg(); |
|---|
| 24 | |
|---|
| 25 | exit( 0 ); |
|---|
| 26 | |
|---|
| 27 | } // end main() |
|---|
| 28 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
