TGTGInsighttelegram intelligenceLIVE / telegram public index
← Python Заметки

TGINSIGHT SIMILAR POSTS

Најди сличен содржај

Изворен канал @pythonotes · Post #269 · 7 јул.

­Возможно, стоит пояснить разницу между синхронизацией из thread/process-safe и синхронизацией с помощью Lock🤔 Наша задача — заставить разные процессы и потоки обращаться к базе данных (или любым другим ресурсам) последовательно. Чтобы не случилось так называемого race condition, то есть состояние гонки. Это когда разные потоки или процессы пытаются одновременно что-то сделать с одним и тем же ресурсом. В этом случае нам нужна какая-то логика ограничения. Пока один процесс не завершил своё действие, другие не могут получить доступ к ресурсу. Так вот, thread-safe и process-safe означает что отдельно взятые операции записи в БД гарантированно будут последовательны. Запросы из разных процессов или потоков выстроятся в очередь и не будут мешать друг другу. Лучше всего когда этот блок реализован на уровне БД в виде атомарных операций или ещё как-то. Но зачем нам тогда еще дополнительный Lock? Этот способ синхронизации используется когда процесс никак не укладывается в одно действие и должен сделать множество операций прежде чем дать доступ следующему. В этом случае процесс ставит некий глобальный Lock на ресурс и никто другой, даже получив законное право на доступ, не может ничего сделать. Все ждут пока этот Lock не будет снят. Это решается на уровне приложения и правильность реализации полностью в вашей ответственности. Например, если забыли разблокировать или сделали перекрёстный Lock (Deadlock как на картинке), то всё зависнет в бесконечном ожидании. #basic

Hashtags

Резултати

Пронајдени 2 слични објави

Пребарај: #html2rss

当前筛选 #html2rss清除筛选
ALL About RSS

@AboutRss · Post #795 · 03.09.2020 г., 01:00

HTML2RSS : 通过 CSS 选择器来生成 RSS feed #HTML2RSS 是一款为没有 RSS 的网站生成 RSS feed 的 #开源 项目,使用方式一点也不平民,而是比较偏程序员一些。除了要自建服务外,还需要为目标网站写一个基于 CSS 选择器的 .yml config 文件。好在官方放出了数十个该项目做好的 RSS feed: https://html2rss.github.io/configs/

ALL About RSS

@AboutRss · Post #1359 · 16.08.2023 г., 07:00

「用 RSSHub 替代 Feed43」 为了让 #RSSHub 能够规则化地将任意的 HTML 和 JSON 转换为 RSS,Wechat2RSS 作者贡献了代码,且已并入 RSSHub。 原理是在路由生成过程中引入 CSS 选择器 / JSON Path 进行内容提取。作者写了教程并附上了小工具: https://t.me/allaboutrss/13105 官方文档: https://docs.rsshub.app/routes/other#zhuan-huan P.S. RSS Bridge 亦已支持此类功能: https://rss-bridge.org/bridge01/#bridge-CssSelectorBridge P.P.S. 基于 CSS 选择器的 #HTML2RSS 工具还有: 🔸HTML2RSS 🔸Feed me up, Scotty! 🔸Feedmaker 🔸Feed Creator