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

58 Commits

Author SHA1 Message Date
Geoffrey Challen
1a5b9cd54b Trying new lock tests. 2017-02-20 10:28:28 -05:00
Geoffrey Challen
4c9b617140 New lock tests. 2017-02-20 10:23:19 -05:00
Zachary Moore
4298d0634f alignment 2017-02-16 18:30:51 -05:00
Zachary Moore
2be98d540e Formatted code to align tabs 2017-02-16 18:18:00 -05:00
zsmoore
434a8856c6 Added more functionality to lock test 4 to also make sure release functions properly 2017-02-16 18:15:14 -05:00
Zachary Moore
694062537d switched string from lt1 to lt4 2017-02-16 12:32:34 -05:00
Zachary Moore
8eb6dc55df Changed spaces to tabs on synch.c 2017-02-16 12:19:53 -05:00
zsmoore
b51f2a88de added new lock test to check do i hold functionality. tested on incorrect implementation, fails. tested on correct implementation, passed. 2017-02-16 01:41:05 -05:00
Geoffrey Challen
a662851491 Initial fix of upstream merge. 2017-02-09 10:09:30 -05:00
Geoffrey Challen
52d122b854 Minor test changes. 2017-02-09 09:50:07 -05:00
Geoffrey Challen
e318e3171e Revert "Merging in 1.0.2." 
This reverts commit 50cf3276e747c545b4ae53853d9b911731dc463e.
 2017-01-09 22:52:13 -05:00
Geoffrey Challen
50cf3276e7 Merging in 2.0.2. 2017-01-09 22:40:23 -05:00
Scott Haseley
6d0d7c9230 Fixed unused label in change to kmalloctest 2016-04-11 17:02:51 -04:00
Scott Haseley
ec1c1de132 km1 and km2 need to panic on failure, not print just print failed. 2016-04-08 16:04:11 -04:00
Scott Haseley
eede850f54 The km4 thread was checking the correct magic value, but printing the one on the first page. 
The test result is correct, but might look like it is failing when it shouldn't.
 2016-03-30 16:09:24 -04:00
Scott Haseley
7f3f686b1a Updated km4 to write to, and check, each page allocated in the multi-page allocation. 
This should find cases where students ignore npages and just allocate one page, which
would previously work.
 2016-03-28 15:43:39 -04:00
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
Geoffrey Challen
e19a872c2b Static thread names. 2016-03-05 08:46:00 -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
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
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
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
4b630a915d Cleanup. 2016-02-11 19:53:53 -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
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
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
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
Geoffrey Challen
f818d0bd30 Synchronization problem stubs and drivers. 2015-12-31 14:28:15 -05:00