{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":14597745,"defaultBranch":"main","name":"mpl","ownerLogin":"MPLLang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-11-21T19:45:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32104577?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718802386.0","currentOid":""},"activityList":{"items":[{"before":"e316bf99b99b6c75c73708418d751c077c086e20","after":"1f26f042f8442e9ac42940e07cc57972d6fd5aea","ref":"refs/heads/hybrid-sched-multi-gpu","pushedAt":"2024-06-19T20:57:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"adjust scheduler to mark devices in use explicitly, and attempt to prioritize GPU reservation","shortMessageHtmlLink":"adjust scheduler to mark devices in use explicitly, and attempt to pr…"}},{"before":"495e46a8a739a0ce32b10a06469fab000c69d7a1","after":null,"ref":"refs/heads/remove-unused-drand","pushedAt":"2024-06-19T13:06:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"}},{"before":"62504e07678a29dc75db54a7d90ed110b8464153","after":"81d21d7d1b89c7e7290eeab5593d39af83e632c6","ref":"refs/heads/main","pushedAt":"2024-06-19T13:06:21.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"Merge pull request #191 from MPLLang/remove-unused-drand\n\nRemove unused `drand48`","shortMessageHtmlLink":"Merge pull request #191 from MPLLang/remove-unused-drand"}},{"before":null,"after":"495e46a8a739a0ce32b10a06469fab000c69d7a1","ref":"refs/heads/remove-unused-drand","pushedAt":"2024-06-18T18:24:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"Remove unused drand48\n\nThis is a relic of an old lock-based synchronization strategy for\nhierarchical heaps which was deprecated a few years ago (deprecated\nsince 2019; see e.g. e0404a7823effeb69d19c21dca38f3baeb5909b0).\n\nIIRC, the deprecated strategy associated a rwlock with each\nhierarchical heap, and used a randomized backoff algorithm to reduce\ncontention. The randomization came from `s->tlsObjects.drand48_data`\nand `drand48_r(...)` which are no longer used.\n\nOne benefit of removing these now is that #189 is easier. The best\nportability is no code at all.","shortMessageHtmlLink":"Remove unused drand48"}},{"before":"ef2588b3a3ba1b5dca8f2c472a7c7f2250021596","after":"62504e07678a29dc75db54a7d90ed110b8464153","ref":"refs/heads/main","pushedAt":"2024-06-07T14:56:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"fix #190: ensure that there is always at least one use of PCall_getData","shortMessageHtmlLink":"fix #190: ensure that there is always at least one use of PCall_getData"}},{"before":"ea85dbf6f4865ec82cdd48b4e30253ee5e6a8ff2","after":"7114c6bea45b8cb497540b223300926cbf07e1ac","ref":"refs/heads/spannable","pushedAt":"2024-06-05T17:24:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"attempt to optimize CGC policy and remove overhead on CGC policy checking","shortMessageHtmlLink":"attempt to optimize CGC policy and remove overhead on CGC policy chec…"}},{"before":"0f23a58caeedbe386830370896315a1b3c1c1f7c","after":"ea85dbf6f4865ec82cdd48b4e30253ee5e6a8ff2","ref":"refs/heads/spannable","pushedAt":"2024-06-05T14:45:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"at heartbeat, maybe switch to CGC and make continuation available for steal","shortMessageHtmlLink":"at heartbeat, maybe switch to CGC and make continuation available for…"}},{"before":null,"after":"0f23a58caeedbe386830370896315a1b3c1c1f7c","ref":"refs/heads/spannable","pushedAt":"2024-06-05T14:06:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"allow signal handler to finish by switching to a different thread","shortMessageHtmlLink":"allow signal handler to finish by switching to a different thread"}},{"before":null,"after":"5cbcc6ea87dd2a884bde42baa499975fa0afb872","ref":"refs/heads/avoid-closure-alloc-on-par-fast-path","pushedAt":"2024-06-04T18:56:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"allow for \"youngest frame\" optimization in forkThreadAndSetData\n\nIntroduce a new prim:\n PCall_forkThreadAndSetData_youngest\n\nThis prim is the same as the normal forkThreadAndSetData, except that\nit only walks the stack to find the youngest frame. The intent is that\nthis can be used as an optimization in the scheduler: if we have a spare\nheartbeat token at the moment that we execute a pcall, then we know that\nno other ancestor frames in the stack are promotable (otherwise the\nspare token would have already been spent to promote them). Therefore,\nwe can promote the \"current\" pcall by only searching for the youngest\nframe.\n\nIt's important to note that this is just an optimization, and doesn't\nchange the promotion policy. The promotion policy is still oldest-first.\nThe optimization is just for the case that the youngest frame happens\nto coincide with the oldest.","shortMessageHtmlLink":"allow for \"youngest frame\" optimization in forkThreadAndSetData"}},{"before":"78de541335216f589cb3b2429ef15a41bd20ded0","after":"ef2588b3a3ba1b5dca8f2c472a7c7f2250021596","ref":"refs/heads/main","pushedAt":"2024-06-04T03:04:09.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"Merge pull request #188 from MatthewFluet/pcall-return-addresses-in-frame-info\n\n Store PCall alternate return addresses in frame info","shortMessageHtmlLink":"Merge pull request #188 from MatthewFluet/pcall-return-addresses-in-f…"}},{"before":"b6681c1d0c9a9021e1716860e34a088f5c098f44","after":null,"ref":"refs/heads/prim-heartbeat-tokens","pushedAt":"2024-06-03T15:46:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"}},{"before":"3c0a2cc29f140d429c57bb6fe236ef2c9067ec4f","after":"78de541335216f589cb3b2429ef15a41bd20ded0","ref":"refs/heads/main","pushedAt":"2024-06-03T15:46:23.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"Merge pull request #187 from MPLLang/prim-heartbeat-tokens\n\nadd prim `Heartbeat_tokens` for a faster `par` fast path","shortMessageHtmlLink":"Merge pull request #187 from MPLLang/prim-heartbeat-tokens"}},{"before":"746bfa08d81d4cddb9b748e39026cc0520de9ee3","after":"e316bf99b99b6c75c73708418d751c077c086e20","ref":"refs/heads/hybrid-sched-multi-gpu","pushedAt":"2024-06-03T15:41:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"Allow for multiple device indices to refer to the same device string\n\nThis change decouples device indices from device strings, allowing\nfor two different device indices to map to the same physical device,\nif desired. The motivation is to allow for us to run multiple GPU\ntasks concurrently on the same device; we can do so by creating\nmultiple \"virtual\" device ids that all have the same physical id.\n\nFor example, running with\n -devices \"#0,#0\"\nwill create two virtual device ids, both of which map to the same\nphysical device (#0).\n\nThe next step is to adjust the scheduling algorithm to incorporate\ndevice feedback, to prevent each physical device from becoming\noverloaded. (At the moment, the scheduler assumes that each virtual\ndevice index maps to an uncontended device, but this assumption\nobviously doesn't hold if multiple virtual ids map to the same\nphysical device.)\n\nBy the way, the previous behavior of the scheduler is still preserved.\nPreviously the scheduler assumed that each element of -devices \"...\"\nis unique, and this patch doesn't change the behavior of the scheduler\nin that case.","shortMessageHtmlLink":"Allow for multiple device indices to refer to the same device string"}},{"before":null,"after":"b6681c1d0c9a9021e1716860e34a088f5c098f44","ref":"refs/heads/prim-heartbeat-tokens","pushedAt":"2024-06-02T16:22:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"add prim Heartbeat_tokens, implement (in ssa2-to-rssa) by reading s->spareHeartbeatTokens directly from GC_state","shortMessageHtmlLink":"add prim Heartbeat_tokens, implement (in ssa2-to-rssa) by reading s->…"}},{"before":"ff9b96d2b5e0218e8be5074ac79fd9c6e967f289","after":"3c0a2cc29f140d429c57bb6fe236ef2c9067ec4f","ref":"refs/heads/main","pushedAt":"2024-06-01T17:38:27.000Z","pushType":"pr_merge","commitsCount":149,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"Merge pull request #185 from MatthewFluet/upstream-merge\n\nUpstream merge","shortMessageHtmlLink":"Merge pull request #185 from MatthewFluet/upstream-merge"}},{"before":"bb0e42fc99a3d1759db2d40d68b4e9518ebab3ba","after":"ff9b96d2b5e0218e8be5074ac79fd9c6e967f289","ref":"refs/heads/main","pushedAt":"2024-06-01T16:20:19.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"Merge pull request #184 from MatthewFluet/applicative-universal\n\nImplement `structure Universal` with an applicative exception declaration","shortMessageHtmlLink":"Merge pull request #184 from MatthewFluet/applicative-universal"}},{"before":"89c04827ebc978724e6135dfbf2d102a0f0aa399","after":"746bfa08d81d4cddb9b748e39026cc0520de9ee3","ref":"refs/heads/hybrid-sched-multi-gpu","pushedAt":"2024-05-21T03:55:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"byeongjee","name":"Byeongjee Kang","path":"/byeongjee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24953444?s=80&v=4"},"commit":{"message":"Support setting devices from CLA","shortMessageHtmlLink":"Support setting devices from CLA"}},{"before":"4e6f0670b912d9d909873f47810a826c1b97717e","after":"89c04827ebc978724e6135dfbf2d102a0f0aa399","ref":"refs/heads/hybrid-sched-multi-gpu","pushedAt":"2024-05-21T03:55:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"byeongjee","name":"Byeongjee Kang","path":"/byeongjee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24953444?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"89c04827ebc978724e6135dfbf2d102a0f0aa399","after":"4e6f0670b912d9d909873f47810a826c1b97717e","ref":"refs/heads/hybrid-sched-multi-gpu","pushedAt":"2024-05-21T03:43:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"byeongjee","name":"Byeongjee Kang","path":"/byeongjee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24953444?s=80&v=4"},"commit":{"message":"Support setting devices from CLA","shortMessageHtmlLink":"Support setting devices from CLA"}},{"before":"e33613eadaefc6b301b114cc68a499ad2f829f13","after":"bb0e42fc99a3d1759db2d40d68b4e9518ebab3ba","ref":"refs/heads/main","pushedAt":"2024-03-08T18:48:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"Merge pull request #183 from shwestrick/fix-rssa-type-check\n\nFix rssa type check error: word size mismatch","shortMessageHtmlLink":"Merge pull request #183 from shwestrick/fix-rssa-type-check"}},{"before":"607dc8699a4cd80b283d10ac7263dd903a4890cd","after":"e33613eadaefc6b301b114cc68a499ad2f829f13","ref":"refs/heads/main","pushedAt":"2024-03-08T17:59:05.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"Merge pull request #182 from shwestrick/decheck-cleanup\n\ndecheck cleanup","shortMessageHtmlLink":"Merge pull request #182 from shwestrick/decheck-cleanup"}},{"before":"95873f627f9d12b061aaafab5e3999af75bc31e5","after":"607dc8699a4cd80b283d10ac7263dd903a4890cd","ref":"refs/heads/main","pushedAt":"2024-02-25T16:50:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"wording tweaks for readme, and mention mpl-switch install v0.5","shortMessageHtmlLink":"wording tweaks for readme, and mention mpl-switch install v0.5"}},{"before":"95873f627f9d12b061aaafab5e3999af75bc31e5","after":null,"ref":"refs/heads/master","pushedAt":"2024-02-24T17:23:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"}},{"before":null,"after":"95873f627f9d12b061aaafab5e3999af75bc31e5","ref":"refs/heads/main","pushedAt":"2024-02-24T17:21:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"update readme","shortMessageHtmlLink":"update readme"}},{"before":"7ec9fd67c8430b7319cc19caba9e529a23ee3ff7","after":"95873f627f9d12b061aaafab5e3999af75bc31e5","ref":"refs/heads/master","pushedAt":"2024-02-24T17:17:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"update readme","shortMessageHtmlLink":"update readme"}},{"before":"249ec8fe0f2c913545ad5513855cf94a31a6368a","after":"7ec9fd67c8430b7319cc19caba9e529a23ee3ff7","ref":"refs/heads/master","pushedAt":"2024-02-24T17:15:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"update readme","shortMessageHtmlLink":"update readme"}},{"before":"2f8d3498d94ed07c07cbded80e213bf57906b9b3","after":"249ec8fe0f2c913545ad5513855cf94a31a6368a","ref":"refs/heads/master","pushedAt":"2024-02-20T21:16:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"fix for bug in assertions: traverseAndCheck was checking too much\n\ntraverseAndCheck is used to verify (in debug mode) that\nmake_entangled/manage_entangled have pinned and suspected the\nentanglement region. But, it was checking too much -- it was\nchecking all immutable objects reachable, even those outside the\nentanglement region. This patch fixes that.","shortMessageHtmlLink":"fix for bug in assertions: traverseAndCheck was checking too much"}},{"before":"e5950f32d24f0d014488bcaee879046639c1161e","after":"2f8d3498d94ed07c07cbded80e213bf57906b9b3","ref":"refs/heads/master","pushedAt":"2024-02-19T03:57:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"update readme, add auto-par-management reference","shortMessageHtmlLink":"update readme, add auto-par-management reference"}},{"before":"32b51ff4ceed0c05b38ede3ebfae25592d7d043b","after":null,"ref":"refs/heads/auto-par-management","pushedAt":"2024-02-19T03:42:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"}},{"before":"b59d9e68f8099cef5eb09cd7486b8d544fae4ffd","after":"e5950f32d24f0d014488bcaee879046639c1161e","ref":"refs/heads/master","pushedAt":"2024-02-19T03:41:47.000Z","pushType":"pr_merge","commitsCount":199,"pusher":{"login":"shwestrick","name":"Sam Westrick","path":"/shwestrick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3360515?s=80&v=4"},"commit":{"message":"Merge pull request #180 from MPLLang/auto-par-management\n\n(WIP) merge: automatic parallelism management","shortMessageHtmlLink":"Merge pull request #180 from MPLLang/auto-par-management"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEae2LMgA","startCursor":null,"endCursor":null}},"title":"Activity · MPLLang/mpl"}