| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | implement page table and use it for lazy loading of segments | manuel | 2012-06-19 | 1 | -4/+4 |
| * | * fix possible race in thread_set_priority | manuel | 2012-05-11 | 1 | -8/+8 |
| * | accidentally removed semaphore_priority_cmp_greater | manuel | 2012-05-11 | 1 | -1/+13 |
| * | fix wrong behavior of cond_wait/cond_signal in donation case. | manuel | 2012-05-11 | 1 | -18/+12 |
| * | slightly better description | manuel | 2012-05-11 | 1 | -2/+3 |
| * | major: added support for nested priority donation | manuel | 2012-05-11 | 1 | -9/+22 |
| * | * only wake up one thread in sema_up() and remove pre-sorting in sema_down() | manuel | 2012-05-10 | 1 | -31/+36 |
| * | fix sema_up() and hence the priority-sema testcase => 2/18 failed | manuel | 2012-05-10 | 1 | -14/+6 |
| * | * fixed sema_up which didn't yield the cpu | manuel | 2012-05-08 | 1 | -12/+39 |
| * | first priority donation implementation | manuel | 2012-05-07 | 1 | -3/+68 |
| * | reorganize file structure to match the upstream requirements | manuel | 2012-03-27 | 1 | -0/+338 |
 |
index : progos | |
| progos repository | P. Ketscher, K. Knoth, M. Mausz |
| summaryrefslogtreecommitdiffstats |