- android - RelativeLayout 背景可绘制重叠内容
- android - 如何链接 cpufeatures lib 以获取 native android 库?
- java - OnItemClickListener 不起作用,但 OnLongItemClickListener 在自定义 ListView 中起作用
- java - Android 文件转字符串
我有一个当前发送电子邮件的 Web 应用程序。在我的 Web 应用程序发送电子邮件时(电子邮件的发送基于用户操作 - 不是自动的),它必须运行其他进程,如压缩文件。
我试图让我的应用程序“面向 future ”——所以当有大量用户时我不希望服务器紧张,所以我认为将需要发送的电子邮件和需要的文件放在一起被压缩在队列中。将它们放入表中,然后使用 cron 作业每秒检查并执行它们(一次 x 行)。
以上是个好主意吗?或者有更好的方法吗?我真的需要帮助才能正确完成这项工作,以免以后让自己头疼 :)
谢谢大家
最佳答案
这是一个很好的方法,但您现在可以做的最重要的事情是拥有一个清晰的界面来排队消息,以及一个用于使用队列的界面。不要将任何一端的用法硬编码到数据库。
稍后,如果这成为一个瓶颈,您可能希望从另一台甚至可能无法访问数据库的机器发送邮件,因此这项微小的前期投资将为您提供以后的选择。
关于php - Web 应用程序架构 : Future Proofing,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/470238/
我想知道是否有人可以帮我回答这个问题。它来自以前的试卷,我可以为今年的考试准备好答案。 这个问题看起来太简单了,我完全迷路了,它到底在问什么? Consider the following secti
我在想这样一个事实,即我们可以证明一个程序有错误。我们可以对其进行测试以评估它或多或少具有抗错误性。 但是有没有办法(甚至理论上)证明程序没有错误? 对于简单的程序,例如“Hello World”,我
有时,当我在写应用风格的证明时,我想要一种修改证明方法的方法foo到 Try foo on the first goal. If it solves the goal, good; if it doe
到目前为止,我在Isabelle中使用以下样式编写了矛盾的证明(使用Jeremy Siek的模式): lemma "" proof - { assume "¬ " then hav
有一个树数据结构和一个flip方法。我想写一个证明,如果你申请flip方法到一棵树两次你得到初始树。我有一个目标 ⊢ flip_mytree (flip_mytree (mytree.branch t
您好,我正在尝试在精益证明助手中做一些数学运算,看看它是如何工作的。我决定玩交换环的幂等函数应该很有趣。这是我尝试过的: variables (A : Type) (R : comm_ring A)
我写了group的定义在 idris : data Group: Type -> Type where Unit: (x: t) -> Group t (*): Group t ->
我在 Idris 上工作了一点,我写了一个概率类型 - Float 介于 0.0 和 1.0 之间: data Probability : Type where MkProbability :
优化编译器的最终目的是在程序空间中搜索与原始程序等效但速度更快的程序。这已在实践中针对非常小的基本块完成:https://en.wikipedia.org/wiki/Superoptimization
我会写函数 powApply : Nat -> (a -> a) -> a -> a powApply Z f = id powApply (S k) f = f . powApply k f 并简单
我正在考虑尽量减少对尚未编写的应用程序的 future 影响。我试图避免任何 3rd 方产品,甚至避免特定于操作系统的调用。任何人都可以建议 future 证明应用程序的其他方法。这个想法是不必在 1
我最近开始学习Isabelle,但我找不到一个非常重要的问题的答案:一个人如何看到Isabelle发现的“证明”的逐步推理?我对“自动”或“通过爆炸使用Theorem_A”这样的行不满意,我想检查逐步
我在上一个问题 Using the value of a computed function for a proof in agda 中看到了一个检查函数的例子。 ,但我仍然无法解决这个问题。 这是一
关闭。这个问题是opinion-based .它目前不接受答案。 想改善这个问题吗?更新问题,以便可以通过 editing this post 用事实和引文回答问题. 5年前关闭。 Improve t
我想在 Isabelle 中使用 nat 类型,但我想重载一些现有的定义,例如加法。我写了以下代码: theory Prueba imports Main HOL begin primrec suma
我写了一小段 Haskell 来弄清楚 GHC 如何证明对于自然数,你只能将偶数减半: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamil
我在 Idris 中编写了以下证明: n : Nat n = S (k + k) lemma: n * n = ((k * n) + k) + (1 + (((k * n) + k) +
我对向量谓词有以下定义,用于标识一个集合是否为集合(没有重复元素)。我使用类型级 bool 值定义成员资格: import Data.Vect %default total data ElemBool
首先,我必须说我试过了。真的。但是我在这一点上停留了 3 天,我需要继续前进并完成它。 我在 man 中找不到任何引用资料。我在 bash 引用中找到了 No references。我在圣经中找不到任
我注意到,在使用 Isabelle/HOL Isar 时,有几种方法可以处理通用量化。我正在尝试以适合本科生理解和重现的风格编写一些证明(这就是我使用 Isar 的原因!),我对如何以一种好的方式表达
我是一名优秀的程序员,十分优秀!