Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 289 - finally back to deadlock detection | Kartik K. Agaram | 2014-11-21 | 2 | -5/+27 |
| | |||||
* | 288 - support sleeping while watching a memory location | Kartik K. Agaram | 2014-11-21 | 2 | -3/+52 |
| | |||||
* | 287 | Kartik K. Agaram | 2014-11-21 | 1 | -19/+21 |
| | |||||
* | 286 | Kartik K. Agaram | 2014-11-21 | 1 | -5/+7 |
| | |||||
* | 285 | Kartik K. Agaram | 2014-11-21 | 1 | -2/+1 |
| | |||||
* | 284 | Kartik K. Agaram | 2014-11-21 | 1 | -9/+9 |
| | |||||
* | 283 | Kartik K. Agaram | 2014-11-21 | 2 | -22/+25 |
| | |||||
* | 282 - scheduler skips ahead when all routines are asleep | Kartik K. Agaram | 2014-11-21 | 2 | -30/+50 |
| | |||||
* | 281 | Kartik K. Agaram | 2014-11-21 | 2 | -28/+36 |
| | |||||
* | 280 - waking up sleeping routines | Kartik K. Agaram | 2014-11-21 | 2 | -5/+47 |
| | | | | Tests still hanging at some point. | ||||
* | 279 - one new test passing, but sleep now hangs | Kartik K. Agaram | 2014-11-21 | 1 | -2/+5 |
| | |||||
* | 278 | Kartik K. Agaram | 2014-11-21 | 1 | -0/+5 |
| | |||||
* | 277 - back up, start refactoring the scheduler | Kartik K. Agaram | 2014-11-21 | 2 | -56/+119 |
| | | | | | | | | | In trying to share pipes between routines, I realized my scheduler was actually quite brittle. Changing scheduling-interval* shouldn't be required in most tests, and shouldn't change the outcome most of the time. Current state: all scheduler tests fail, but everything else passes. | ||||
* | 276 - now fork can take any args | Kartik K. Agaram | 2014-11-19 | 2 | -2/+15 |
| | | | | | | | | | No oargs, though. Hopefully we don't need them. Use channels for passing data back. Drawback: channels must all be passed in by value, and their direction isn't obvious. Hard to tell when multiple threads read/write the same channel. Hopefully it's amenable to static analysis. | ||||
* | 275 - pass args to fork | Kartik K. Agaram | 2014-11-19 | 2 | -3/+15 |
| | | | | Only literals for starters. | ||||
* | 274 - long overdue test for 'fork' | Kartik K. Agaram | 2014-11-19 | 1 | -0/+11 |
| | |||||
* | 273 | Kartik K. Agaram | 2014-11-18 | 1 | -1/+1 |
| | |||||
* | 272 | Kartik K. Agaram | 2014-11-18 | 1 | -1/+1 |
| | |||||
* | 271 | Kartik K. Agaram | 2014-11-18 | 1 | -7/+7 |
| | |||||
* | 270 | Kartik K. Agaram | 2014-11-18 | 1 | -2/+8 |
| | |||||
* | 269 | Kartik K. Agaram | 2014-11-18 | 2 | -12/+30 |
| | | | | | | Minor cleanup and code comments. I'm starting to feel the need for formatting primitives, so I don't use comments just to provide section headings. | ||||
* | 268 - recursive function: factorial | Kartik K. Agaram | 2014-11-17 | 1 | -0/+15 |
| | | | | | Is this really harder to reason about by being somehow 'operational' and 'abstraction free'? http://cacm.acm.org/magazines/2010/8/96632-an-interview-with-edsger-w-dijkstra/fulltext | ||||
* | 267 - more intuitive channel capacity | Kartik K. Agaram | 2014-11-15 | 2 | -5/+6 |
| | |||||
* | 266 - update html | Kartik K. Agaram | 2014-11-09 | 3 | -71/+560 |
| | |||||
* | 265 | Kartik K. Agaram | 2014-11-09 | 1 | -1/+3 |
| | |||||
* | 263 | Kartik K. Agaram | 2014-11-08 | 1 | -3/+4 |
| | | | | | | | | | | | | | | | | | I'm trying to think about how to write a test for the race condition, and how to fix it. One thing that's been hard is even remembering where it lies. It's not between wiping the watch and sleeping on it; that's innocuous because the sleep would just immediately wake up. No, the race condition lies between the empty check and the wipe. For the innocuous race we could just create an atomic wipe-and-sleep. But the more serious race requires a lock. If we need a lock anyway, is there any reason to have two watch variables? I'm going to preserve these alternative functions in the code. Alternatives will only ever be called from other alteratives or tests. | ||||
* | 262 | Kartik K. Agaram | 2014-11-08 | 1 | -4/+4 |
| | |||||
* | 261 - render matchadd() to html as well | Kartik K. Agaram | 2014-11-08 | 2 | -54/+145 |
| | |||||
* | 260 | Kartik K. Agaram | 2014-11-08 | 1 | -2/+2 |
| | |||||
* | 259 - finally channel read/write can cause routine to sleep | Kartik K. Agaram | 2014-11-07 | 2 | -6/+74 |
| | |||||
* | 258 - new channel helpers: empty? and full? | Kartik K. Agaram | 2014-11-07 | 2 | -4/+118 |
| | |||||
* | 257 - cleanup the narrative in mu.arc.t | Kartik K. Agaram | 2014-11-07 | 1 | -59/+103 |
| | |||||
* | 256 - channel pointers can now wrap | Kartik K. Agaram | 2014-11-07 | 2 | -10/+82 |
| | |||||
* | 255 | Kartik K. Agaram | 2014-11-07 | 1 | -3/+3 |
| | | | | | As per 248, ignoring output values can reduce some of the pressure of dealing with raw locations. | ||||
* | 254 | Kartik K. Agaram | 2014-11-07 | 1 | -0/+1 |
| | |||||
* | 253 | Kartik K. Agaram | 2014-11-07 | 1 | -17/+17 |
| | |||||
* | 252 | Kartik K. Agaram | 2014-11-07 | 1 | -3/+3 |
| | | | | Single idiom for setting oargs. | ||||
* | 251 | Kartik K. Agaram | 2014-11-07 | 1 | -5/+8 |
| | |||||
* | 250 - experimental support for _ oarg | Kartik K. Agaram | 2014-11-07 | 2 | -11/+33 |
| | | | | | | | This radically overhauls our assumption that args must always be lists, so we're probably missing things. Where we do, more tests are required. Only important trace change: .traces/dummy-oarg | ||||
* | 249 | Kartik K. Agaram | 2014-11-07 | 1 | -2/+2 |
| | | | | I've been meaning to fix that misleading label for some time now.. | ||||
* | 248 | Kartik K. Agaram | 2014-11-07 | 1 | -8/+8 |
| | | | | | | | | | | I've been using raw locations to make tests easy to read (test checks the same locations that code modifies). But this means I have to manage them myself, and I've been shoving variables into the storage for compounds like tagged-value. Doesn't matter in this case since we don't look at the contents of the tagged-value, but still unhygienic. Maybe we need syntax for ignoring some output values? | ||||
* | 247 | Kartik K. Agaram | 2014-11-07 | 2 | -3/+41 |
| | |||||
* | 246 | Kartik K. Agaram | 2014-11-07 | 2 | -6/+17 |
| | |||||
* | 245 - sanity check for type table | Kartik K. Agaram | 2014-11-06 | 1 | -0/+8 |
| | |||||
* | 244 | Kartik K. Agaram | 2014-11-06 | 2 | -2/+3 |
| | |||||
* | 243 - robustify channel tests | Kartik K. Agaram | 2014-11-06 | 1 | -9/+15 |
| | |||||
* | 242 | Kartik K. Agaram | 2014-11-06 | 1 | -13/+0 |
| | |||||
* | 241 - 'sleep' on a memory location | Kartik K. Agaram | 2014-11-06 | 2 | -5/+37 |
| | | | | I thought we could be oblivious of channels, but that requires more work. | ||||
* | 240 | Kartik K. Agaram | 2014-11-06 | 1 | -6/+6 |
| | |||||
* | 239 | Kartik K. Agaram | 2014-11-06 | 1 | -2/+2 |
| |