Rémi Rativel
597ffa753a
test lock for multiple threads
...
Signed-off-by: Rémi Rativel <remi.rativel@etudiant.univ-rennes1.fr>
2023-04-20 15:20:28 +02:00
François Autin
aba2fbc718
Updated lock_release to update lock in objaddr list
2023-04-20 14:50:44 +02:00
Rémi Rativel
c33df28307
Merging
...
Signed-off-by: Rémi Rativel <remi.rativel@etudiant.univ-rennes1.fr>
2023-04-20 14:43:15 +02:00
François Autin
bb1d2383bb
Simplified Rc<RefCell<Thread>>
2023-04-20 11:31:25 +02:00
François Autin
780ed4b461
📝 Added module documentation for thread_manager
2023-04-20 00:05:37 +02:00
François Autin
5c66577989
Cleanup of clippy warnings
2023-04-19 23:38:58 +02:00
François Autin
fe519555cc
Removed thread_to_be_destroyed field and associated methods
...
This used to exist in NachOS' source code as memory management is manual in C++.
Here, simply dropping the Thread from the thread list allows the borrow checker to
automatically destroy the thread.
2023-04-19 23:33:37 +02:00
François Autin
8b13cc6ef6
♻️ Clean-up of some nasty nesting in sem_v and sem_p
2023-04-19 23:24:51 +02:00
François Autin
5734e02b30
♻️ Refactored lock_acquire
2023-04-19 23:13:27 +02:00
François Autin
f55189f1fe
♻️ Refactored lock_release
2023-04-19 21:30:28 +02:00
François Autin
efe00ffa26
📝 Documentation update
2023-04-19 18:12:27 +02:00
François Autin
73ac8d3083
BurritOS now read configuration file
2023-04-19 18:09:08 +02:00
François Autin
1c4c51b0ba
Merge branch 'settings' into thread_scheduler
2023-04-19 16:39:58 +02:00
François Autin
74a0960ec3
Added user configuration to utility module
2023-04-19 16:39:39 +02:00
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
3244584da9
Add debug message and debug_assert
2023-04-13 02:10:09 +02:00
232617c32e
Add debug field to thread_manager and tried to fix sc_join (not worked :-( )
2023-04-13 02:05:21 +02:00
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
35736821c0
lint: remove some warning
2023-04-12 15:32:46 +02:00
752b70e448
Remove old P and V semaphore function and moved tests
2023-04-12 15:22:22 +02:00
21f3a72a3d
Fix exceptions with semaphore
2023-04-12 14:49:08 +02:00
134e2bd2cc
Fix a lot of errors
2023-04-12 14:01:39 +02:00
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
a36e470ea1
Add new thread exception (untested)
2023-04-11 17:47:36 +02:00
6c19f66d62
use setter instead of modifying the field itself
2023-04-06 13:48:37 +02:00
66d6daf0b9
Lint: remove some warnings
2023-04-06 13:46:59 +02:00
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
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
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
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
