Scott Haseley
196bb3b684
Now using static buffers (and protecting with a semaphore) for kernel secprintf.
...
We have to do this because we need secure output in kmalloc.
2016-03-07 15:05:58 -05:00
Geoffrey Challen
a07a4b75c1
Change free to used in new coremap function.
2016-03-05 11:00:48 -05:00
Geoffrey Challen
a367007689
Add function to track free bytes in the coremap.
2016-03-05 09:55:44 -05:00
Geoffrey Challen
a7526befe4
New comments about thread allocation and deallocation.
2016-03-05 09:35:55 -05:00
Geoffrey Challen
e19a872c2b
Static thread names.
2016-03-05 08:46:00 -05:00
Geoffrey Challen
7fa97457a1
Working on ASST2 targets.
2016-03-01 11:44:44 -05:00
Guru Prasad Srinivasa
f141875f20
Updated kmalloc secprintf to satisfy forkbomb
2016-02-29 20:12:01 -05:00
Guru Prasad Srinivasa
f0e1d8722c
Updated libtest161
2016-02-29 20:11:50 -05:00
Scott Haseley
0cda18234c
Undefine secret testing
2016-02-23 15:43:57 -05:00
Scott Haseley
1b99c0e18f
Refactored ksecprintf -> secprintf. Secure code is now all in common libtest161.
...
This library gets linked in by default in userland, and the common files are
included in the kernel.
2016-02-23 15:31:37 -05:00
Geoffrey Challen
2e74764d49
Be better about creating the compile directory.
2016-02-22 13:33:36 -05:00
Geoffrey Challen
02c12c4256
Change to the synchronization problem drivers.
2016-02-18 16:36:11 -05:00
Geoffrey Challen
00eb1b44fb
New CV test.
2016-02-18 16:14:48 -05:00
Scott Haseley
b9b2924ccf
Changed the hashed signed message to be in line with what test161 is expecting (id: message)
2016-02-17 13:44:22 -05:00
Geoffrey Challen
0eaa519f23
Slightly nicer boot print.
2016-02-17 07:53:47 -05:00
Geoffrey Challen
6c55193a58
Eliminate printfs to speed up boot and exit.
2016-02-17 07:12:09 -05:00
Geoffrey Challen
0bdd3681c6
Fixes to problem drivers.
2016-02-15 11:10:19 -05:00
Geoffrey Challen
dc00578b06
Forgot rwt5.
2016-02-15 08:42:54 -05:00
Geoffrey Challen
479acf49c2
Adding stubs for additional RW tests.
2016-02-15 08:37:48 -05:00
Geoffrey Challen
1ba348413d
Cleanup menu items.
2016-02-14 14:53:38 -05:00
Geoffrey Challen
d9de9ca947
Configurations for test161.
2016-02-12 13:04:10 -05:00
Geoffrey Challen
a740c60f6d
Small fix.
2016-02-11 21:13:46 -05:00
Geoffrey Challen
32253d53bc
Fix whitespace errors.
2016-02-11 20:10:39 -05:00
Geoffrey Challen
ec9ae33666
Redisable synchprobs by default.
2016-02-11 19:56:59 -05:00
Geoffrey Challen
4b630a915d
Cleanup.
2016-02-11 19:53:53 -05:00
Geoffrey Challen
db6d3d219d
Command to print total kernel heap usage for debugging.
2016-02-11 16:56:51 -05:00
Geoffrey Challen
27b85a44ab
Nearing done with ASST1 changes.
2016-02-11 16:35:46 -05:00
Geoffrey Challen
71f0074f44
Working on synchronization problem code.
2016-02-11 14:46:27 -05:00
Geoffrey Challen
875b75bf24
Improvements to synchronization tests.
2016-02-11 13:55:09 -05:00
Scott Haseley
01f2d3ea2c
Added ksecprintf for securely printing messages from the kernel.
...
If SECRET_TESTING is defined, the function will compute and print
a salt value and the hmac/sha256 hash of the message, which can be
verified from the test161 server.
2016-02-11 01:30:33 -05:00
Geoffrey Challen
5521823176
Menu changes and test fixes for ASST1.
2016-02-10 17:03:53 -05:00
Yihong Chen
92fbcef5af
correct process index for whalemating
2016-02-01 11:24:20 -05:00
Yihong Chen
1b38886b8d
Merge branch 'master' of gitlab.ops-class.org:staff/os161
2016-02-01 10:40:46 -05:00
Yihong Chen
5e3334057a
change synchprobs codes for reliable test.
2016-02-01 10:40:24 -05:00
Scott Haseley
a97b1c80b2
Added sha256 hash function and hmac functions (with and without salt) to the kernel
...
and userspace.
In userspace, this is accessed through #include <secure.h>
In the kernel, this is access through #include <kern/secure.h>
There is a unit test for this (hm1) that computes the hmac and compares it to
the known value. The salted vesion tested offline.
-----
Also, fixed usespace compile issue with not changing KERNEL_SECRET => SECRET.
2016-02-01 01:35:53 -05:00
Geoffrey Challen
dc49fc79a4
Disable secret for base.
2016-01-31 10:06:08 -05:00
Geoffrey Challen
716d33964b
Secret testing with multiplier working.
2016-01-31 09:53:13 -05:00
Geoffrey Challen
6c7e083827
Rename to allow complete test directory overwrite.
2016-01-22 11:18:13 -05:00
Geoffrey Challen
9f2567ebbe
Adding reader-writer lock primitives.
2016-01-11 21:06:49 -05:00
Geoffrey Challen
a6878c822b
Trying to get closer to the original OS/161 sources.
2016-01-11 20:54:52 -05:00
Geoffrey Challen
b66416e24f
Automation testing tools.
2016-01-11 16:08:40 -05:00
Geoffrey Challen
a2b15b77aa
Finally getting a good mix of threads in stoplight.
2015-12-31 23:36:47 -05:00
Geoffrey Challen
569f4f604d
Better stoplight picture.
2015-12-31 20:54:33 -05:00
Geoffrey Challen
bd0a8dacf6
Better stoplight picture.
2015-12-31 20:54:11 -05:00
Geoffrey Challen
de166aa6a0
Trying without so much yielding.
2015-12-31 20:13:11 -05:00
Geoffrey Challen
183a162e6c
Done for now. Testing yield before exit.
2015-12-31 20:08:53 -05:00
Geoffrey Challen
5a61d1d0df
Another fix.
2015-12-31 20:01:19 -05:00
Geoffrey Challen
64cd81e9b1
More synchproblem driver fixes.
2015-12-31 19:56:40 -05:00
Geoffrey Challen
015b989a66
Fixing synchronization tests.
2015-12-31 19:38:38 -05:00
Geoffrey Challen
26612b6142
Refactor test code.
2015-12-31 19:26:33 -05:00
