{"action":"created","comment":{"url":"https://api.github.com/repos/sondrele/thesis/pulls/comments/32204426","id":32204426,"diff_hunk":"@@ -85,25 +88,24 @@ \\subsection{Alternative Approaches}\n The weaknesses that we have described throughout this section are partly introduced in the border between {\\rust} and {\\C}.\n However, the main problem with data races that can occur in interrupt handlers are present in both languages.\n Thus, there is no obvious way that {\\rust}'s ownership semantics can be used \\emph{directly} to discover and prevent data races across interrupt handlers.\n-This is because the currently executing part of the program is put on hold in favor of the interrupt handler, and the new execution scope defines a different program environment.\n+This is because the part of the program that is currently executing is put on hold in favor of the interrupt handler, and the new execution scope defines a different program environment.","path":"discussion/avoiding-mutable-aliases-to-hardware.tex","position":113,"original_position":113,"commit_id":"dfc600be15d6b2eda13f02d2b8d7cce977b5e814","original_commit_id":"dfc600be15d6b2eda13f02d2b8d7cce977b5e814","user":{"login":"havardh","id":451855,"avatar_url":"https://avatars.githubusercontent.com/u/451855?v=3","gravatar_id":"","url":"https://api.github.com/users/havardh","html_url":"https://github.com/havardh","followers_url":"https://api.github.com/users/havardh/followers","following_url":"https://api.github.com/users/havardh/following{/other_user}","gists_url":"https://api.github.com/users/havardh/gists{/gist_id}","starred_url":"https://api.github.com/users/havardh/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/havardh/subscriptions","organizations_url":"https://api.github.com/users/havardh/orgs","repos_url":"https://api.github.com/users/havardh/repos","events_url":"https://api.github.com/users/havardh/events{/privacy}","received_events_url":"https://api.github.com/users/havardh/received_events","type":"User","site_admin":false},"body":"`... and the new interrupt defines a different execution context`","created_at":"2015-06-11T09:40:05Z","updated_at":"2015-06-11T09:40:05Z","html_url":"https://github.com/sondrele/thesis/pull/88#discussion_r32204426","pull_request_url":"https://api.github.com/repos/sondrele/thesis/pulls/88","_links":{"self":{"href":"https://api.github.com/repos/sondrele/thesis/pulls/comments/32204426"},"html":{"href":"https://github.com/sondrele/thesis/pull/88#discussion_r32204426"},"pull_request":{"href":"https://api.github.com/repos/sondrele/thesis/pulls/88"}}},"pull_request":{"url":"https://api.github.com/repos/sondrele/thesis/pulls/88","id":37369894,"html_url":"https://github.com/sondrele/thesis/pull/88","diff_url":"https://github.com/sondrele/thesis/pull/88.diff","patch_url":"https://github.com/sondrele/thesis/pull/88.patch","issue_url":"https://api.github.com/repos/sondrele/thesis/issues/88","number":88,"state":"open","locked":false,"title":"Typos discussio","user":{"login":"sondrele","id":1423083,"avatar_url":"https://avatars.githubusercontent.com/u/1423083?v=3","gravatar_id":"","url":"https://api.github.com/users/sondrele","html_url":"https://github.com/sondrele","followers_url":"https://api.github.com/users/sondrele/followers","following_url":"https://api.github.com/users/sondrele/following{/other_user}","gists_url":"https://api.github.com/users/sondrele/gists{/gist_id}","starred_url":"https://api.github.com/users/sondrele/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sondrele/subscriptions","organizations_url":"https://api.github.com/users/sondrele/orgs","repos_url":"https://api.github.com/users/sondrele/repos","events_url":"https://api.github.com/users/sondrele/events{/privacy}","received_events_url":"https://api.github.com/users/sondrele/received_events","type":"User","site_admin":false},"body":"","created_at":"2015-06-10T15:15:28Z","updated_at":"2015-06-11T09:40:05Z","closed_at":null,"merged_at":null,"merge_commit_sha":"f10d22975ab7700cf1bba6f6d572bcc3f53c6175","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/sondrele/thesis/pulls/88/commits","review_comments_url":"https://api.github.com/repos/sondrele/thesis/pulls/88/comments","review_comment_url":"https://api.github.com/repos/sondrele/thesis/pulls/comments{/number}","comments_url":"https://api.github.com/repos/sondrele/thesis/issues/88/comments","statuses_url":"https://api.github.com/repos/sondrele/thesis/statuses/dfc600be15d6b2eda13f02d2b8d7cce977b5e814","head":{"label":"sondrele:typos-discussion","ref":"typos-discussion","sha":"dfc600be15d6b2eda13f02d2b8d7cce977b5e814","user":{"login":"sondrele","id":1423083,"avatar_url":"https://avatars.githubusercontent.com/u/1423083?v=3","gravatar_id":"","url":"https://api.github.com/users/sondrele","html_url":"https://github.com/sondrele","followers_url":"https://api.github.com/users/sondrele/followers","following_url":"https://api.github.com/users/sondrele/following{/other_user}","gists_url":"https://api.github.com/users/sondrele/gists{/gist_id}","starred_url":"https://api.github.com/users/sondrele/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sondrele/subscriptions","organizations_url":"https://api.github.com/users/sondrele/orgs","repos_url":"https://api.github.com/users/sondrele/repos","events_url":"https://api.github.com/users/sondrele/events{/privacy}","received_events_url":"https://api.github.com/users/sondrele/received_events","type":"User","site_admin":false},"repo":{"id":29209107,"name":"thesis","full_name":"sondrele/thesis","owner":{"login":"sondrele","id":1423083,"avatar_url":"https://avatars.githubusercontent.com/u/1423083?v=3","gravatar_id":"","url":"https://api.github.com/users/sondrele","html_url":"https://github.com/sondrele","followers_url":"https://api.github.com/users/sondrele/followers","following_url":"https://api.github.com/users/sondrele/following{/other_user}","gists_url":"https://api.github.com/users/sondrele/gists{/gist_id}","starred_url":"https://api.github.com/users/sondrele/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sondrele/subscriptions","organizations_url":"https://api.github.com/users/sondrele/orgs","repos_url":"https://api.github.com/users/sondrele/repos","events_url":"https://api.github.com/users/sondrele/events{/privacy}","received_events_url":"https://api.github.com/users/sondrele/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/sondrele/thesis","description":"","fork":false,"url":"https://api.github.com/repos/sondrele/thesis","forks_url":"https://api.github.com/repos/sondrele/thesis/forks","keys_url":"https://api.github.com/repos/sondrele/thesis/keys{/key_id}","collaborators_url":"https://api.github.com/repos/sondrele/thesis/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/sondrele/thesis/teams","hooks_url":"https://api.github.com/repos/sondrele/thesis/hooks","issue_events_url":"https://api.github.com/repos/sondrele/thesis/issues/events{/number}","events_url":"https://api.github.com/repos/sondrele/thesis/events","assignees_url":"https://api.github.com/repos/sondrele/thesis/assignees{/user}","branches_url":"https://api.github.com/repos/sondrele/thesis/branches{/branch}","tags_url":"https://api.github.com/repos/sondrele/thesis/tags","blobs_url":"https://api.github.com/repos/sondrele/thesis/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/sondrele/thesis/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/sondrele/thesis/git/refs{/sha}","trees_url":"https://api.github.com/repos/sondrele/thesis/git/trees{/sha}","statuses_url":"https://api.github.com/repos/sondrele/thesis/statuses/{sha}","languages_url":"https://api.github.com/repos/sondrele/thesis/languages","stargazers_url":"https://api.github.com/repos/sondrele/thesis/stargazers","contributors_url":"https://api.github.com/repos/sondrele/thesis/contributors","subscribers_url":"https://api.github.com/repos/sondrele/thesis/subscribers","subscription_url":"https://api.github.com/repos/sondrele/thesis/subscription","commits_url":"https://api.github.com/repos/sondrele/thesis/commits{/sha}","git_commits_url":"https://api.github.com/repos/sondrele/thesis/git/commits{/sha}","comments_url":"https://api.github.com/repos/sondrele/thesis/comments{/number}","issue_comment_url":"https://api.github.com/repos/sondrele/thesis/issues/comments{/number}","contents_url":"https://api.github.com/repos/sondrele/thesis/contents/{+path}","compare_url":"https://api.github.com/repos/sondrele/thesis/compare/{base}...{head}","merges_url":"https://api.github.com/repos/sondrele/thesis/merges","archive_url":"https://api.github.com/repos/sondrele/thesis/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/sondrele/thesis/downloads","issues_url":"https://api.github.com/repos/sondrele/thesis/issues{/number}","pulls_url":"https://api.github.com/repos/sondrele/thesis/pulls{/number}","milestones_url":"https://api.github.com/repos/sondrele/thesis/milestones{/number}","notifications_url":"https://api.github.com/repos/sondrele/thesis/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/sondrele/thesis/labels{/name}","releases_url":"https://api.github.com/repos/sondrele/thesis/releases{/id}","created_at":"2015-01-13T20:20:06Z","updated_at":"2015-04-29T14:20:58Z","pushed_at":"2015-06-11T08:36:00Z","git_url":"git://github.com/sondrele/thesis.git","ssh_url":"git@github.com:sondrele/thesis.git","clone_url":"https://github.com/sondrele/thesis.git","svn_url":"https://github.com/sondrele/thesis","homepage":null,"size":4336,"stargazers_count":0,"watchers_count":0,"language":"TeX","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":26,"forks":0,"open_issues":26,"watchers":0,"default_branch":"master"}},"base":{"label":"sondrele:master","ref":"master","sha":"6ffc1f7412ed9a2a07aa9fb3b3304e252b7c1305","user":{"login":"sondrele","id":1423083,"avatar_url":"https://avatars.githubusercontent.com/u/1423083?v=3","gravatar_id":"","url":"https://api.github.com/users/sondrele","html_url":"https://github.com/sondrele","followers_url":"https://api.github.com/users/sondrele/followers","following_url":"https://api.github.com/users/sondrele/following{/other_user}","gists_url":"https://api.github.com/users/sondrele/gists{/gist_id}","starred_url":"https://api.github.com/users/sondrele/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sondrele/subscriptions","organizations_url":"https://api.github.com/users/sondrele/orgs","repos_url":"https://api.github.com/users/sondrele/repos","events_url":"https://api.github.com/users/sondrele/events{/privacy}","received_events_url":"https://api.github.com/users/sondrele/received_events","type":"User","site_admin":false},"repo":{"id":29209107,"name":"thesis","full_name":"sondrele/thesis","owner":{"login":"sondrele","id":1423083,"avatar_url":"https://avatars.githubusercontent.com/u/1423083?v=3","gravatar_id":"","url":"https://api.github.com/users/sondrele","html_url":"https://github.com/sondrele","followers_url":"https://api.github.com/users/sondrele/followers","following_url":"https://api.github.com/users/sondrele/following{/other_user}","gists_url":"https://api.github.com/users/sondrele/gists{/gist_id}","starred_url":"https://api.github.com/users/sondrele/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sondrele/subscriptions","organizations_url":"https://api.github.com/users/sondrele/orgs","repos_url":"https://api.github.com/users/sondrele/repos","events_url":"https://api.github.com/users/sondrele/events{/privacy}","received_events_url":"https://api.github.com/users/sondrele/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/sondrele/thesis","description":"","fork":false,"url":"https://api.github.com/repos/sondrele/thesis","forks_url":"https://api.github.com/repos/sondrele/thesis/forks","keys_url":"https://api.github.com/repos/sondrele/thesis/keys{/key_id}","collaborators_url":"https://api.github.com/repos/sondrele/thesis/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/sondrele/thesis/teams","hooks_url":"https://api.github.com/repos/sondrele/thesis/hooks","issue_events_url":"https://api.github.com/repos/sondrele/thesis/issues/events{/number}","events_url":"https://api.github.com/repos/sondrele/thesis/events","assignees_url":"https://api.github.com/repos/sondrele/thesis/assignees{/user}","branches_url":"https://api.github.com/repos/sondrele/thesis/branches{/branch}","tags_url":"https://api.github.com/repos/sondrele/thesis/tags","blobs_url":"https://api.github.com/repos/sondrele/thesis/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/sondrele/thesis/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/sondrele/thesis/git/refs{/sha}","trees_url":"https://api.github.com/repos/sondrele/thesis/git/trees{/sha}","statuses_url":"https://api.github.com/repos/sondrele/thesis/statuses/{sha}","languages_url":"https://api.github.com/repos/sondrele/thesis/languages","stargazers_url":"https://api.github.com/repos/sondrele/thesis/stargazers","contributors_url":"https://api.github.com/repos/sondrele/thesis/contributors","subscribers_url":"https://api.github.com/repos/sondrele/thesis/subscribers","subscription_url":"https://api.github.com/repos/sondrele/thesis/subscription","commits_url":"https://api.github.com/repos/sondrele/thesis/commits{/sha}","git_commits_url":"https://api.github.com/repos/sondrele/thesis/git/commits{/sha}","comments_url":"https://api.github.com/repos/sondrele/thesis/comments{/number}","issue_comment_url":"https://api.github.com/repos/sondrele/thesis/issues/comments{/number}","contents_url":"https://api.github.com/repos/sondrele/thesis/contents/{+path}","compare_url":"https://api.github.com/repos/sondrele/thesis/compare/{base}...{head}","merges_url":"https://api.github.com/repos/sondrele/thesis/merges","archive_url":"https://api.github.com/repos/sondrele/thesis/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/sondrele/thesis/downloads","issues_url":"https://api.github.com/repos/sondrele/thesis/issues{/number}","pulls_url":"https://api.github.com/repos/sondrele/thesis/pulls{/number}","milestones_url":"https://api.github.com/repos/sondrele/thesis/milestones{/number}","notifications_url":"https://api.github.com/repos/sondrele/thesis/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/sondrele/thesis/labels{/name}","releases_url":"https://api.github.com/repos/sondrele/thesis/releases{/id}","created_at":"2015-01-13T20:20:06Z","updated_at":"2015-04-29T14:20:58Z","pushed_at":"2015-06-11T08:36:00Z","git_url":"git://github.com/sondrele/thesis.git","ssh_url":"git@github.com:sondrele/thesis.git","clone_url":"https://github.com/sondrele/thesis.git","svn_url":"https://github.com/sondrele/thesis","homepage":null,"size":4336,"stargazers_count":0,"watchers_count":0,"language":"TeX","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":26,"forks":0,"open_issues":26,"watchers":0,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/sondrele/thesis/pulls/88"},"html":{"href":"https://github.com/sondrele/thesis/pull/88"},"issue":{"href":"https://api.github.com/repos/sondrele/thesis/issues/88"},"comments":{"href":"https://api.github.com/repos/sondrele/thesis/issues/88/comments"},"review_comments":{"href":"https://api.github.com/repos/sondrele/thesis/pulls/88/comments"},"review_comment":{"href":"https://api.github.com/repos/sondrele/thesis/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/sondrele/thesis/pulls/88/commits"},"statuses":{"href":"https://api.github.com/repos/sondrele/thesis/statuses/dfc600be15d6b2eda13f02d2b8d7cce977b5e814"}}}}