Rémi Rativel
|
32c1237c26
|
Tests lock
Signed-off-by: Rémi Rativel <remi.rativel@etudiant.univ-rennes1.fr>
|
2023-04-19 15:52:31 +02:00 |
|
Rémi Rativel
|
35b2949243
|
implemented lock_release in thread_manager.rs, for this, I derived the clone function for lock in synch.rs and list in list.rs
|
2023-04-18 12:13:56 +02:00 |
|
Rémi Rativel
|
ec2f50f7d3
|
implemented sc_lock_release
TODO : to implement lock_release in thread_manager
|
2023-04-13 14:45:57 +02:00 |
|
Quentin Legot
|
3244584da9
|
Add debug message and debug_assert
|
2023-04-13 02:10:09 +02:00 |
|
Quentin Legot
|
232617c32e
|
Add debug field to thread_manager and tried to fix sc_join (not worked :-( )
|
2023-04-13 02:05:21 +02:00 |
|
Quentin Legot
|
f144438490
|
loader now return better understanable errors, fix when compiler when to use bss section, add join exception, fix get_string_param, add support for thread in obbAddr, add a test
|
2023-04-13 00:18:51 +02:00 |
|
Samy Solhi
|
05f72af035
|
added lock acquire system call
|
2023-04-13 00:17:34 +02:00 |
|
Samy Solhi
|
6e6d3424f5
|
added lock create and destroy system calls
|
2023-04-12 23:10:26 +02:00 |
|
Samy Solhi
|
6c3655bd78
|
write semaphore id in machine on creation
|
2023-04-12 23:03:38 +02:00 |
|
Samy Solhi
|
c419926a4c
|
added sc_sem_remove
|
2023-04-12 23:00:12 +02:00 |
|
Samy Solhi
|
19356a36d9
|
add new semaphore to obj_addrs in sc_sem_create
|
2023-04-12 22:54:40 +02:00 |
|
Quentin Legot
|
35736821c0
|
lint: remove some warning
|
2023-04-12 15:32:46 +02:00 |
|
Quentin Legot
|
752b70e448
|
Remove old P and V semaphore function and moved tests
|
2023-04-12 15:22:22 +02:00 |
|
Quentin Legot
|
21f3a72a3d
|
Fix exceptions with semaphore
|
2023-04-12 14:49:08 +02:00 |
|
Quentin Legot
|
134e2bd2cc
|
Fix a lot of errors
|
2023-04-12 14:01:39 +02:00 |
|
Quentin Legot
|
e8629b1ebf
|
Moving sc_new_thread to it own function
|
2023-04-12 13:55:32 +02:00 |
|
François Autin
|
0d70751279
|
Moved sc_sem_create to own function
|
2023-04-12 13:50:54 +02:00 |
|
François Autin
|
355071a2f1
|
Added sc_p call
|
2023-04-12 13:28:55 +02:00 |
|
François Autin
|
729eba656c
|
Added sc_v call
|
2023-04-12 13:25:33 +02:00 |
|
François Autin
|
afce2c66c9
|
Synch now public mod
|
2023-04-12 13:16:04 +02:00 |
|
Quentin Legot
|
a36e470ea1
|
Add new thread exception (untested)
|
2023-04-11 17:47:36 +02:00 |
|
Quentin Legot
|
6c19f66d62
|
use setter instead of modifying the field itself
|
2023-04-06 13:48:37 +02:00 |
|
Quentin Legot
|
66d6daf0b9
|
Lint: remove some warnings
|
2023-04-06 13:46:59 +02:00 |
|
Quentin Legot
|
9cc57e7f03
|
Add launch argument parser, add debug parameter to machine
burritos now launch binary
|
2023-04-06 13:27:03 +02:00 |
|
François Autin
|
2f0b9e6592
|
Tests now point to the correct locations
|
2023-04-05 17:07:58 +02:00 |
|
François Autin
|
968137cc1b
|
Refactored makefiles
|
2023-04-05 17:06:01 +02:00 |
|
Quentin Legot
|
01ac29160b
|
Fix test
|
2023-04-05 16:57:37 +02:00 |
|
François Autin
|
ffd9b92f24
|
Updated CI
|
2023-04-05 16:53:40 +02:00 |
|
Quentin Legot
|
b804117127
|
Fix loader test, only use one bin file in test_thread_context
|
2023-04-05 16:51:32 +02:00 |
|
François Autin
|
cfb58fd6b3
|
Fixed machine tests not passing
|
2023-04-05 16:44:41 +02:00 |
|
François Autin
|
df4fd53c96
|
Added documentation for trait
|
2023-04-05 16:44:41 +02:00 |
|
Rémi Rativel
|
f79b63e930
|
implemented getter for objaddr
|
2023-04-05 16:43:09 +02:00 |
|
Quentin Legot
|
f246e84f91
|
Use Default trait instead of init_machine()
|
2023-04-05 16:12:57 +02:00 |
|
François Autin
|
91f5c6054c
|
Added trait SynchObj to relevant structs
|
2023-04-05 16:12:15 +02:00 |
|
Rémi Rativel
|
586c077002
|
fixed get_string_param
|
2023-04-05 16:09:39 +02:00 |
|
François Autin
|
8ee7470dc5
|
Added objaddr
|
2023-04-05 16:09:10 +02:00 |
|
Quentin Legot
|
02dd1f5ccf
|
Merge branch 'thread_scheduler' of gitlab.istic.univ-rennes1.fr:simpleos/burritos into thread_scheduler
|
2023-04-05 16:05:31 +02:00 |
|
Quentin Legot
|
44cfb828fb
|
Remove useless libc, elf and ucontext, add comments to exceptions
improve propagation of errors in raise_exception
|
2023-04-05 16:02:54 +02:00 |
|
Samy Solhi
|
7060098809
|
Merge remote-tracking branch 'origin/thread_scheduler' into thread_scheduler
# Conflicts:
# src/kernel/exception.rs
|
2023-04-05 16:00:06 +02:00 |
|
Samy Solhi
|
a151bef7ef
|
added fn get string param
|
2023-04-05 15:57:34 +02:00 |
|
Rémi Rativel
|
77086155b5
|
started to implement sc_sem_create and auxiliar function
|
2023-04-05 15:47:57 +02:00 |
|
François Autin
|
41611b54e8
|
Merge branch 'exception' into 'thread_scheduler'
Exception
See merge request simpleos/burritos!14
|
2023-04-05 13:21:50 +00:00 |
|
François Autin
|
24919a9879
|
Makefile fixes
|
2023-04-05 15:16:11 +02:00 |
|
François Autin
|
7179931224
|
Makefile fixes
|
2023-04-05 15:11:12 +02:00 |
|
Rémi Rativel
|
cb25b09cff
|
Documentation
|
2023-04-05 14:52:46 +02:00 |
|
Rémi Rativel
|
81302b67a1
|
Struct refractore
|
2023-04-05 14:51:50 +02:00 |
|
Rémi Rativel
|
5a5c5a9141
|
Doc and Makefile update
|
2023-04-05 14:50:58 +02:00 |
|
François Autin
|
2756477e67
|
Project now builds
|
2023-04-05 13:49:32 +02:00 |
|
François Autin
|
b96808b55f
|
Fixed incorrect flow control
|
2023-04-05 13:44:43 +02:00 |
|
François Autin
|
3685bb6590
|
Added general failure case in raise exception and removed break in main loop for system exceptions
|
2023-04-05 13:41:56 +02:00 |
|