minhtrannhat/os161
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
138 Commits 1 Branch 0 Tags
Commit Graph

78 Commits

Author SHA1 Message Date
Scott Haseley
8380115efa Added new kmalloc test (km5) that tests various coremap properties. Also, km1-km4 were 
cleaned up for test161.
 2016-03-25 11:12:09 -04:00
Scott Haseley
501773f90e Added a global variable for the number of cpus 2016-03-25 11:11:08 -04:00
Scott Haseley
25a1d7debc Changed kheap_getused so that it doesn't double-count the pages it's using for 
subpage allocation. We run into problems in determining memory leaks due to
kmalloc framgmentation, which can happen because of delayed thread cleanup.
 2016-03-25 11:09:15 -04:00
Guru Prasad Srinivasa
03f484ff21 Merge branch 'master' of gitlab.ops-class.org:staff/os161 2016-03-10 17:30:37 -05:00
Guru Prasad Srinivasa
c9c9e50155 Updated forkbomb to better detect success 
Previously, we were relying on subpage allocator failing to signal
that forkbomb was succeeding. However, there are cases where the
subpage allocator never fails but the test is still progressing fine.

This commit moves the secure print into forkbomb itself and changes
the test constraints to ensure that forkbomb runs for a certain amount
of time without crashing
 2016-03-10 17:28:47 -05:00
Geoffrey Challen
d322a01342 Adding function to get used bytes. 2016-03-10 11:29:38 -05:00
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