{"id":2268,"date":"2022-12-13T11:25:30","date_gmt":"2022-12-13T10:25:30","guid":{"rendered":"http:\/\/www.fabienm.eu\/flf\/?p=2268"},"modified":"2022-12-13T11:27:25","modified_gmt":"2022-12-13T10:27:25","slug":"un-timeout-dans-cocotb","status":"publish","type":"post","link":"http:\/\/www.fabienm.eu\/flf\/un-timeout-dans-cocotb\/","title":{"rendered":"Un timeout dans cocotb"},"content":{"rendered":"\n

Avec Cocotb<\/a> nous avons parfois des coroutines qui sont susceptible de rester \u00abcoinc\u00e9es\u00bb dans une boucle d’attente infinie. Si l’on y pr\u00eate pas garde, on a vite fait de remplir son disque dur de traces totalement inutile.<\/p>\n\n\n\n

# Une coroutine qui attend bien trop longtemps\nasync def too_long_coroutine(self):\n    await Timer(1, units=\"sec\")<\/code><\/pre>\n\n\n\n
Pour \u00e9viter ce probl\u00e8me, l’id\u00e9al serait de pouvoir ajouter un \u00abtimeout\u00bb \u00e0 l’appel de la coroutine susceptible de bloquer. <\/p>\n\n\n\n
\u00c7a tombe bien, cocotb<\/strong> a pr\u00e9vu un trigger<\/strong> pour \u00e7a : with_timeout()<\/a><\/p>\n\n\n\n
from cocotb.triggers import with_timeout\nawait with_timeout(testcls.too_long_coroutine(), 100, \"ns\")<\/code><\/pre>\n\n\n\n
Sauf que python n’a pas trop l’air d’accord pour ex\u00e9cuter notre coroutine comme un trigger.<\/p>\n\n\n\n
TypeError: All triggers must be instances of Trigger! Got: coroutine<\/code><\/pre>\n\n\n\n
C’est dommage, on perd beaucoup de l\u2019int\u00e9r\u00eat de ce trigger !<\/p>\n\n\n\n
La solution donn\u00e9e par marlonjames<\/a> est d’\u00abempaquetter\u00bb la coroutine dans la fonction start_soon()<\/code> comme ceci :<\/p>\n\n\n\n
await with_timeout(\n     cocotb.start_soon(testcls.too_long_coroutine()),\n     100, \"ns\")<\/code><\/pre>\n\n\n\n
De cette mani\u00e8re, le test s’interromps sur une lev\u00e9 d’interruption SimTimeoutError<\/code> et le test est marqu\u00e9 FAIL<\/code> sans ruiner notre disque dur.<\/p>\n\n\n\n
    raise cocotb.result.SimTimeoutError\ncocotb.result.SimTimeoutError<\/code><\/pre>\n","protected":false},"excerpt":{"rendered":"
Avec Cocotb nous avons parfois des coroutines qui sont susceptible de rester \u00abcoinc\u00e9es\u00bb dans une boucle d’attente infinie. Si l’on y pr\u00eate pas garde, on a vite fait de remplir son disque dur de traces totalement inutile. Pour \u00e9viter ce probl\u00e8me, l’id\u00e9al serait de pouvoir ajouter un \u00abtimeout\u00bb \u00e0 l’appel de la coroutine susceptible de … Continuer la lecture de Un timeout dans cocotb<\/span> →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_uag_custom_page_level_css":"","footnotes":""},"categories":[1],"tags":[55,56,28,232],"class_list":["post-2268","post","type-post","status-publish","format-standard","hentry","category-non-classe","tag-cocotb","tag-python","tag-simulation","tag-timeout"],"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"1536x1536":false,"2048x2048":false,"post-thumbnail":false},"uagb_author_info":{"display_name":"Fabien Marteau","author_link":"http:\/\/www.fabienm.eu\/flf\/author\/admin\/"},"uagb_comment_info":0,"uagb_excerpt":"Avec Cocotb nous avons parfois des coroutines qui sont susceptible de rester \u00abcoinc\u00e9es\u00bb dans une boucle d’attente infinie. Si l’on y pr\u00eate pas garde, on a vite fait de remplir son disque dur de traces totalement inutile. Pour \u00e9viter ce probl\u00e8me, l’id\u00e9al serait de pouvoir ajouter un \u00abtimeout\u00bb \u00e0 l’appel de la coroutine susceptible de\u2026","_links":{"self":[{"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/posts\/2268","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/comments?post=2268"}],"version-history":[{"count":2,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/posts\/2268\/revisions"}],"predecessor-version":[{"id":2271,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/posts\/2268\/revisions\/2271"}],"wp:attachment":[{"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/media?parent=2268"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/categories?post=2268"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.fabienm.eu\/flf\/wp-json\/wp\/v2\/tags?post=2268"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}