没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
并发Web服务器Pluto.zip
并发Web服务器Pluto.zip
共15个文件
v:6个
ml:2个
md:1个
开源项目
需积分: 9
0 下载量
74 浏览量
2019-07-16
05:49:03
上传
评论
收藏
11KB
ZIP
举报
温馨提示
立即下载
Pluto 是一个用 Gallina (Coq 的函数编程语言)编写的首个并发的 Web 服务器。 标签:Pluto
资源详情
资源评论
收起资源包目录
pluto-master.zip
(15个子文件)
pluto-master
Dockerfile
1KB
.gitignore
153B
README.md
628B
LICENSE
1KB
Make
93B
configure.sh
52B
src
MimeType.v
863B
Request.v
3KB
FileName.v
150B
Pluto.v
4KB
Answer.v
3KB
Url.v
1KB
extraction
big.ml
6KB
Makefile
85B
native.ml
1KB
共 15 条
1
评论
收藏
内容反馈
立即下载
评论0
去评论
最新资源
软考真题+软考+软件设计师
性能测试第一天笔记.pdf
ASP.NET学生成绩管理系统
HIT计统大作业-Hello的一生
F407-General
asp.net学生成绩管理系统(源码)
802.11wifi的QAM解调及EVM参数计算
wpsjs登录框实例.xls
《计算机网络:自顶向下方法》第八版 PPT 第4章 网络层:数据平面
基于帧间差法进行视频目标检测
weixin_39840387
粉丝: 786
资源:
3万+
私信
上传资源 快速赚钱
前往需求广场,查看用户热搜
相关推荐
处理服务器大并发的技术.zip
处理服务器大并发的技术.zip 1、分层,包括:... 2、冗余,包括:... 3、分隔,包括:... 4、异步,包括:... 5、分布式,包括:... 6、安全,包括:... ...
基于Linux的多线程池并发Web服务器设计
时至今日,Web服务已成为互联网上最常用的服务。目前Linux平台的Web服务器主要基于进程或线程机制,面对大数量的并发请求,延时现象较为明显。这主要原因在于服务器存在着利用率不高,资源消耗大等问题。文中利用信号量机制和生产者一消费者模型,设计基于多线程池并发Web服务器能够更高效的实现资源调度与共享。文中最后的测试结果表明,设计实现的Web服务器具有更强的并发处理能力和服务效率。
高并发轻量级Web服务器
高并发轻量级Web服务器
基于Linux的多线程池并发Web服务器设计.pdf
基于Linux的多线程池并发Web服务器设计.pdf
教你搭建百万级大并发的高性能服务器集群.zip
教你搭建百万级大并发的高性能服务器集群.zip
5星 · 资源好评率100%
2018a_PLUTO.zip
本资源是针对matlab2018a平台上通过离线方式安装pluto小模块的离线硬件支持包,通过离线方式安装更快
开源项目-ishanjain28-pluto.zip
开源项目-ishanjain28-pluto.zip,A Highly Aggressive, Fast and Reliable Multipart File Downloader Tool
sdrsharp-x86_pluto.zip
sdrsharp-x86_pluto,SDR sharp的标准版本里面添加了Pluto的支持,可以直接跑,不过里面其他airspy的不支持pluto,所以无法跑
SDRSharp_v1_community_for_Pluto.zip
针对PLUTOSDR制作的SDR#软件打包软件(绿色免安装)。
高性能并发Web服务器实现核心内幕
高性能并发Web服务器实现核心内幕,对于服务器学习的同学希望有所帮助
IIS Web服务器支持高并发设置方法详解
适用的IIS版本:IIS 7.0, IIS 7.5, IIS 8.0适用的Windows版本:Windows Server 2008, Windows Server 2008 R2, Windows Server 2012 1、应用程序池(Application Pool)的设置: General->Queue Length设置为65535(队列长度所支持的最大值)Process Model->
concurrency:python中Web服务器并发的一些带注释的例子
Web 应用程序并发 尤其是在 Python 中 这个存储库包含一堆我正在注释的代码,这些代码演示了在 Web 应用程序中实现并发的不同方法。 它在 Apache 2 许可下,但经过精心设计,不用于演示以外的目的。 这个回购中有什么? 应用程序 示例应用程序在这里实现了很多次,包括至少两个端点:一个充当 HTTP 代理,向“慢”上游发出 HTTP 请求(参见sleepserver.go ); 以
pluto-src-1.0.1-rc1.zip
pluto-src-1.0.1-rc1.zip portlet开发所需
5星 · 资源好评率100%
pluto-2.0.0-bundle.zip
pluto-2.0.0-bundle.zip
4星 · 用户满意度95%
pluto-2.0.0-src.zip
pluto-2.0.0-src.zip pluto-2.0.0-src.zip pluto-2.0.0-src.zip
Atom-pluto,冥王星宝石.zip
Atom-pluto.zip,pluto gems - planet (static) site generator - auto-build web pages from published web feedspluto-planet(静态)站点生成器-从已发布的web提要自动生成web页面,atom是一个用web技术构建的开源...
Atom-pluto,行星冥王星快速启动套件.zip
Atom-pluto.starter.zip,planet pluto quick starter kit - (auto-) build your own (static) planet news site from web feeds行星冥王星快速启动套件,atom是一个用web技术构建的开源文本编辑器。
CS架构高并发服务器C源码.zip
【资源说明】 CS架构高并发服务器C源码.zipCS架构高并发服务器C源码.zipCS架构高并发服务器C源码.zipCS架构高并发服务器C源码.zipCS架构高并发服务器C源码.zipCS架构高并发服务器C源码.zipCS架构高并发服务器C源码.zipCS架构高并发服务器C源码.zipCS架构高并发服务器C源码.zipCS架构高并发服务器C源码.zipCS架构高并发服务器C源码.zipCS架构高并
Nerv.zip_linux 服务器_socket 高并发_socket高并发_跨平台_跨平台socket
开源的socket服务器,支持跨平台,具有高并发等特点,能够7*24小时运行
基于C语言编写的高并发Epoll服务器.zip
基于C语言编写的高并发Epoll服务器.zip
Web服务器高并发访问机制的设计与优化
在互联网高速发展的今天,人们的娛乐、购物、支付等活动已经离不开互联网应用。电脑手机等移动设备的快速发展,使得获取信息的途径更加多样化,娱乐服务吏加精巧化。随着网络用户访间量的不断增加,Web服务器的压力成倍增加,会导致服务器宕机和数据库崩溃等问题。本文通过对网上商城项目高并发场景的分析,总结了影响服务器并发量的客观原因,针对这些因素,本文以数据库缓存和高并发web服务器负载均衡技术为主,设计并优化
高并发Java服务器设计研究.zip
高并发Java服务器设计研究
pluto-1.0.1-rc1.zip
Portlet开发所需的pluto-1.0.1-rc1.zip
5星 · 资源好评率100%
sdrsharp-plutosdr-0.5.4.zip
sdrsharp-plutosdr-0.5.4.zip,SDR sharp里面添加过了Pluto的配置文件了,可以直接在pluto上面跑,比较简单
Pluto Player 1.3.2 TVbox二次开发版.zip
Pluto Player 1.3.2 TVbox二次开发版.zip含下载地址可存云盘
Pluto_FM_examples.zip
一个使用PLUTOSDR进行FM频道接收以及发射的示例。
4星 · 用户满意度95%
PlutoIPTV:从Pluto.tv获取EPG和M3U
冥王星IPTV 从Pluto.tv获取EPG和M3U 基于用法跑步$ npx pluto-iptv 这将创建一个epg.xml文件和一个playlist.m3u文件筛选收藏夹如果您不希望所有频道都来自pluto,则可以创建一个“收藏夹”文件: pluto-favorites 。...
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0
最新资源