{"push_id":1130658071,"size":10,"distinct_size":1,"ref":"refs/heads/better-exceptions","head":"fcc92149df745983278b62180660ae1b324a8910","before":"c7478704872addb36b01ad361a7c02fec098951a","commits":[{"sha":"cea4d59b3ce23046504f9bbb59a7758e7fd9373b","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@barrucadu.co.uk","name":"Michael Walker"},"message":"Correctly count preemptions with commit threads.\n\nConceptually, commits are happening truly in parallel\nnondeterministically, and the commit threads are introduced to unify\nthis source of nondeterminism with the scheduling decisions. Commit\nthreads are not real threads, and switching to one is not a real context\nswitch, it therefore doesn't count as a preemption.\n\nFor example, this execution clearly has no preemptions in:\n\n    S1---C-S1---\n\nIt would be absurd to say it has 1 preemption. But what about this?\n\n    S1---C-S2---\n\nThis clearly DOES have a preemption. S1 was preempted by C (but we don't\ncount that), and then S2 started to execute! Control should have been\nreturned to S1.\n\nPrior to now, this case was not considered specially. So every commit\neffectively gives rise to a free preemption! This is bad for two\nreasons:\n\n- More schedules get executed, so testing takes longer.\n- This is actually, in a sense, unsound! Results are potentially being\n  reported which could NEVER arise under ANY real-world execution\n  subject to those bounds!\n\nIt is because of this latter point that some of the expected results in\ntest litmusWP27 have been removed. They require more than the standard\ntwo preemptions to observe.\n\nCloses #39.","distinct":false,"url":"https://api.github.com/repos/barrucadu/dejafu/commits/cea4d59b3ce23046504f9bbb59a7758e7fd9373b"},{"sha":"452cc07553ffe844ff6f96c749c1ccfb4412a00b","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@barrucadu.co.uk","name":"Michael Walker"},"message":"Merge branch 'commit-preemptions'","distinct":false,"url":"https://api.github.com/repos/barrucadu/dejafu/commits/452cc07553ffe844ff6f96c749c1ccfb4412a00b"},{"sha":"88da371bf61aa9dbe0ac77b6fffd610c7e4aaa4e","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@barrucadu.co.uk","name":"Michael Walker"},"message":"Bump versions for dejafu-0.3.1.0","distinct":false,"url":"https://api.github.com/repos/barrucadu/dejafu/commits/88da371bf61aa9dbe0ac77b6fffd610c7e4aaa4e"},{"sha":"832559c4a75af0dccb3f7db656c73dc6340ab519","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@barrucadu.co.uk","name":"Michael Walker"},"message":"Better README","distinct":false,"url":"https://api.github.com/repos/barrucadu/dejafu/commits/832559c4a75af0dccb3f7db656c73dc6340ab519"},{"sha":"246f6802480f7dbfee41f2abd7fcfdada0dac35d","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@barrucadu.co.uk","name":"Michael Walker"},"message":"Add Travis tests","distinct":false,"url":"https://api.github.com/repos/barrucadu/dejafu/commits/246f6802480f7dbfee41f2abd7fcfdada0dac35d"},{"sha":"dd5042e78f921aa1d91e2ca300793ffc2aa34b85","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@barrucadu.co.uk","name":"Michael Walker"},"message":"Build all branches with travis","distinct":false,"url":"https://api.github.com/repos/barrucadu/dejafu/commits/dd5042e78f921aa1d91e2ca300793ffc2aa34b85"},{"sha":"c306deb1f9545ef83c5f912a1a21efbc2a6e5741","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@barrucadu.co.uk","name":"Michael Walker"},"message":"Support Stackage lts-3, lts-4, and lts-6","distinct":false,"url":"https://api.github.com/repos/barrucadu/dejafu/commits/c306deb1f9545ef83c5f912a1a21efbc2a6e5741"},{"sha":"d4cb712b509b8e589bd275180014d3919d6fcb7a","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@barrucadu.co.uk","name":"Michael Walker"},"message":"Make everything build with GHC 8","distinct":false,"url":"https://api.github.com/repos/barrucadu/dejafu/commits/d4cb712b509b8e589bd275180014d3919d6fcb7a"},{"sha":"232e7e5f409dcc9ec991620c2df74aec97a407e5","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@barrucadu.co.uk","name":"Michael Walker"},"message":"Bump version numbers","distinct":false,"url":"https://api.github.com/repos/barrucadu/dejafu/commits/232e7e5f409dcc9ec991620c2df74aec97a407e5"},{"sha":"fcc92149df745983278b62180660ae1b324a8910","author":{"email":"a17fed27eaa842282862ff7c1b9c8395a26ac320@barrucadu.co.uk","name":"Michael Walker"},"message":"Slightly better exception dependency (api change).\n\nTrack thread masking state and use that to inform the exception\ndependency. Doesn't help a huge amount, but it does improve test run\ntime from 118s to 75s on my VPS.\n\nAlso change the ststep type to include the tid.","distinct":true,"url":"https://api.github.com/repos/barrucadu/dejafu/commits/fcc92149df745983278b62180660ae1b324a8910"}]}
{"actor":{"display_login":"barrucadu"}}