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

71 Commits

Author SHA1 Message Date
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
Geoffrey Challen
3b2267123d Synchronization driver problem changes. 2015-12-31 14:53:16 -05:00